Luca Tesei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2002–2015
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | AINA | A Constrained ECA Language Supporting Formal Verification of WSNs. | Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi |
| 2015 | SEFM | Probabilistic Modelling and Analysis of a Fish Population. | Chiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar Augusto Nieto Coria, Emanuela Merelli |
| 2014 | SEFM | Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea. | Cesar Augusto Nieto Coria, Luca Tesei, Giuseppe Scarcella, Tommaso Russo, Emanuela Merelli |
| 2013 | SEFM | DISPAS: An Agent-Based Tool for the Management of Fishing Effort. | Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli |
| 2012 | SIMULTECH | A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. | Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei |
| 2008 | IIWAS | A model-prover for constrained dynamic conversations. | Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito |
| 2002 | SEKE | Fixing the Java bytecode verifier by a suitable type domain. | Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco |