Matteo Slanina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2000–2006
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ICTAC | Proving ATL* Properties of Infinite-State Systems. | Matteo Slanina, Henny B. Sipma, Zohar Manna |
| 2005 | CALCO | Final Semantics for Event-Pattern Reactive Programs. | Csar Snchez, Henny B. Sipma, Matteo Slanina, Zohar Manna |
| 2005 | FORTE | Expressive Completeness of an Event-Pattern Reactive Programming Language. | Csar Snchez, Matteo Slanina, Henny B. Sipma, Zohar Manna |
| 2000 | KR | Supporting automated deduction in first-order modal logics. | Angelo Montanari, Alberto Policriti, Matteo Slanina |
| 2000 | MFCS | Derivability in Locally Quantified Modal Logics via Translation in Set Theory. | Angelo Montanari, Alberto Policriti, Matteo Slanina |