| 2008 |
|---|
| 8 | EE | Cé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 |
| 7 | EE | Matteo Slanina,
Henny B. Sipma,
Zohar Manna:
Deductive verification of alternating systems.
Formal Asp. Comput. 20(4-5): 507-560 (2008) |
| 2006 |
|---|
| 6 | EE | Matteo Slanina,
Henny B. Sipma,
Zohar Manna:
Proving ATL* Properties of Infinite-State Systems.
ICTAC 2006: 242-256 |
| 2005 |
|---|
| 5 | EE | César Sánchez,
Henny B. Sipma,
Matteo Slanina,
Zohar Manna:
Final Semantics for Event-Pattern Reactive Programs.
CALCO 2005: 364-378 |
| 4 | EE | Cé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 |
| 1 | EE | Angelo Montanari,
Alberto Policriti,
Matteo Slanina:
Derivability in Locally Quantified Modal Logics via Translation in Set Theory.
MFCS 2000: 559-568 |
