# Matteo Slanina

According to our database

^{1}, Matteo Slanina## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2008

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

2006

Proving ATL* Properties of Infinite-State Systems.

Proceedings of the Theoretical Aspects of Computing, 2006

2005

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

2002

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

J. Autom. Reasoning, 2002

2000

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