Matteo Slanina

According to our database, Matteo Slanina authored at least 9 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Deductive verification of alternating systems.

Matteo Slanina, Henny B. Sipma, Zohar Manna

Formal Aspects Comput., 2008

The Reaction Algebra: A Formal Language for Event Correlation.

César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna

Proceedings of the Pillars of Computer Science, 2008

2007

Deductive verification of alternating systems.

Matteo Slanina

PhD thesis, 2007

2006

Proving ATL* Properties of Infinite-State Systems.

Matteo Slanina, Henny B. Sipma, Zohar Manna

Proceedings of the Theoretical Aspects of Computing, 2006

2005

Expressive Completeness of an Event-Pattern Reactive Programming Language.

César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Final Semantics for Event-Pattern Reactive Programs.

César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2002

Alternative Translation Techniques for Propositional and First-Order Modal Logics.

Angelo Montanari, Alberto Policriti, Matteo Slanina

J. Autom. Reason., 2002

2000

Derivability in Locally Quantified Modal Logics via Translation in Set Theory.

Angelo Montanari, Alberto Policriti, Matteo Slanina

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Supporting automated deduction in first-order modal logics.

Angelo Montanari, Alberto Policriti, Matteo Slanina

Proceedings of the KR 2000, 2000