Search the dblp DataBase
Simone Semprini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
Mobile Agents Coordination in Mobadtl. [Citation Graph (0, 0)][DBLP]
COORDINATION, 2000, pp:232-248 [Conf] - Carlo Montangero, Laura Semini, Simone Semprini
Logic Based Coordination for Event-Driven Self-healing Distributed Systems. [Citation Graph (0, 0)][DBLP]
COORDINATION, 2004, pp:248-263 [Conf] - Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
Formal analysis of hardware requirements. [Citation Graph (0, 0)][DBLP]
DAC, 2006, pp:821-826 [Conf] - Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta
From PSL to NBA: a Modular Symbolic Encoding. [Citation Graph (0, 0)][DBLP]
FMCAD, 2006, pp:125-133 [Conf] - Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini
For-LySa: UML for Authentication Analysis. [Citation Graph (0, 0)][DBLP]
Global Computing, 2004, pp:93-106 [Conf] - Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini
Symbolic Implementation of Alternating Automata. [Citation Graph (0, 0)][DBLP]
CIAA, 2006, pp:208-218 [Conf] - Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
Mark, a Reasoning Kit for Mobility. [Citation Graph (0, 0)][DBLP]
Autom. Softw. Eng., 2002, v:9, n:2, pp:137-150 [Journal]
Search in 0.002secs, Finished in 0.002secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002