Supporting automated deduction in first-order modal logics. - Angelo Montanari; Alberto Policriti; Matteo Slanina (KR, 2000)

Derivability in Locally Quantified Modal Logics via Translation in Set Theory. - Angelo Montanari; Alberto Policriti; Matteo Slanina (MFCS, 2000)

Alternative Translation Techniques for Propositional and First-Order Modal Logics. - Angelo Montanari; Alberto Policriti; Matteo Slanina (J. Autom. Reason., 2002)

Final Semantics for Event-Pattern Reactive Programs. - César Sánchez 001; Henny B. Sipma; Matteo Slanina; Zohar Manna (CALCO, 2005)

Expressive Completeness of an Event-Pattern Reactive Programming Language. - César Sánchez 001; Matteo Slanina; Henny B. Sipma; Zohar Manna (FORTE, 2005)

Proving ATL* Properties of Infinite-State Systems. - Matteo Slanina; Henny B. Sipma; Zohar Manna (ICTAC, 2006)

Deductive verification of alternating systems. - Matteo Slanina (2007)

The Reaction Algebra: A Formal Language for Event Correlation. - César Sánchez 001; Matteo Slanina; Henny B. Sipma; Zohar Manna (Pillars of Computer Science, 2008)

Deductive verification of alternating systems. - Matteo Slanina; Henny B. Sipma; Zohar Manna (Formal Aspects Comput., 2008)