论文信息 - On Weighted Configuration Logics - 字舞流文

On Weighted Configuration Logics

George Rahonis | Paulina Paraponiari | George Rahonis | Paulina Paraponiari

[1] Maria Pittou,et al. Weighted Recognizability over Infinite Alphabets , 2017, Acta Cybern..

[2] Joseph Sifakis,et al. Configuration logics: Modeling architecture styles , 2017, J. Log. Algebraic Methods Program..

[3] Manfred Droste,et al. Weighted Linear Dynamic Logic , 2016, GandALF.

[4] Joseph Sifakis,et al. Configuration Logics: Modelling Architecture Styles , 2015, FACS.

[5] Eleni Mandrali,et al. Weighted First-Order Logics over Semirings , 2015, Acta Cybern..

[6] David Garlan,et al. Software architecture: a travelogue , 2014, FOSE.

[7] Joseph Sifakis. Rigorous system design , 2014, PODC '14.

[8] Eleni Mandrali,et al. On weighted first-order logics with discounting , 2013, Acta Informatica.

[9] Eleni Mandrali,et al. Weighted computability with discounting , 2013 .

[10] Manfred Droste,et al. Weighted automata and weighted MSO logics for average and long-time behaviors , 2012, Inf. Comput..

[11] Edward Curry,et al. Approximate semantic matching of heterogeneous events , 2012, DEBS.

[12] M. Droste,et al. Handbook of Weighted Automata , 2009 .

[13] Ugo Montanari,et al. Quantitative mu-calculus and CTL defined over constraint semirings , 2005, Theor. Comput. Sci..

[14] Ugo Montanari,et al. Quantitative ?-calculus and CTL Based on Constraint Semirings , 2004, QAPL.

[15] Anne-Marie Kermarrec,et al. The many faces of publish/subscribe , 2003, CSUR.