Matteo Slanina

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

Publications

César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science (2008)
Matteo Slanina, Henny B. Sipma, Zohar Manna
Deductive verification of alternating systems. Formal Aspects Comput. 20 (4-5) (2008)
Matteo Slanina, Henny B. Sipma, Zohar Manna
Proving ATL* Properties of Infinite-State Systems. ICTAC (2006)
César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE (2005)
César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
Final Semantics for Event-Pattern Reactive Programs. CALCO (2005)
Angelo Montanari, Alberto Policriti, Matteo Slanina
Alternative Translation Techniques for Propositional and First-Order Modal Logics. J. Autom. Reason. 28 (5) (2002)
Angelo Montanari, Alberto Policriti, Matteo Slanina
Supporting automated deduction in first-order modal logics. KR (2000)
Angelo Montanari, Alberto Policriti, Matteo Slanina
Derivability in Locally Quantified Modal Logics via Translation in Set Theory. MFCS (2000)