dblp.uni-trier.dewww.uni-trier.de

Matteo Slanina

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EECésar Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna: The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science 2008: 596-619
7EEMatteo Slanina, Henny B. Sipma, Zohar Manna: Deductive verification of alternating systems. Formal Asp. Comput. 20(4-5): 507-560 (2008)
2006
6EEMatteo Slanina, Henny B. Sipma, Zohar Manna: Proving ATL* Properties of Infinite-State Systems. ICTAC 2006: 242-256
2005
5EECésar Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna: Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378
4EECésar Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna: Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532
2002
3 Angelo Montanari, Alberto Policriti, Matteo Slanina: Alternative Translation Techniques for Propositional and First-Order Modal Logics. J. Autom. Reasoning 28(5): 397-415 (2002)
2000
2 Angelo Montanari, Alberto Policriti, Matteo Slanina: Supporting automated deduction in first-order modal logics. KR 2000: 547-556
1EEAngelo Montanari, Alberto Policriti, Matteo Slanina: Derivability in Locally Quantified Modal Logics via Translation in Set Theory. MFCS 2000: 559-568

Coauthor Index

1Zohar Manna [4] [5] [6] [7] [8]
2Angelo Montanari [1] [2] [3]
3Alberto Policriti [1] [2] [3]
4César Sánchez [4] [5] [8]
5Henny B. Sipma (Henny Sipma) [4] [5] [6] [7] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)