According to our database1, Matteo Slanina authored at least 8 papers between 2000 and 2008.
Legend:Book In proceedings Article PhD thesis Other
Deductive verification of alternating systems.
Formal Asp. Comput., 2008
The Reaction Algebra: A Formal Language for Event Correlation.
Proceedings of the Pillars of Computer Science, 2008
Proving ATL* Properties of Infinite-State Systems.
Proceedings of the Theoretical Aspects of Computing, 2006
Expressive Completeness of an Event-Pattern Reactive Programming Language.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
Final Semantics for Event-Pattern Reactive Programs.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
Alternative Translation Techniques for Propositional and First-Order Modal Logics.
J. Autom. Reasoning, 2002
Derivability in Locally Quantified Modal Logics via Translation in Set Theory.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000
Supporting automated deduction in first-order modal logics.
Proceedings of the KR 2000, 2000