The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Matteo Slanina: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
    Final Semantics for Event-Pattern Reactive Programs. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:364-378 [Conf]
  2. César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
    Expressive Completeness of an Event-Pattern Reactive Programming Language. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:529-532 [Conf]
  3. Matteo Slanina, Henny B. Sipma, Zohar Manna
    Proving ATL* Properties of Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:242-256 [Conf]
  4. Angelo Montanari, Alberto Policriti, Matteo Slanina
    Supporting automated deduction in first-order modal logics. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:547-556 [Conf]
  5. Angelo Montanari, Alberto Policriti, Matteo Slanina
    Derivability in Locally Quantified Modal Logics via Translation in Set Theory. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:559-568 [Conf]
  6. Angelo Montanari, Alberto Policriti, Matteo Slanina
    Alternative Translation Techniques for Propositional and First-Order Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:28, n:5, pp:397-415 [Journal]

  7. The Reaction Algebra: A Formal Language for Event Correlation. [Citation Graph (, )][DBLP]


Search in 0.088secs, Finished in 0.088secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002