List of Luca Tesei's Publications

2016

Journal Papers

Conference Papers

  • Mamuye, Adane Letta and Merelli, Emanuela and Tesei, Luca (2016) “Towards a Shape Language for Interpreting RNA Folding”, In BICT'15: Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (Formerly BIONETICS), New York City, United States, 3-5 December 2015, 185-188, ACM.
    DOI, Entry at UNICAM Repository, PDF

2015

Journal Papers

Conference Papers

  • Cini, Chiara and Tesei, Luca and Scarcella, Giuseppe and Nieto Coria, Cesar Augusto and Merelli, Emanuela (2015) “Probabilistic Modelling and Analysis of a Fish Population”, In Software Engineering and Formal Methods. SEFM 2015 Collocated Workshops, Lecture Notes in Computer Science 9509, 192-197, Springer.
    DOI, Entry at UNICAM Repository, PDF
  • Corradini, Flavio and Culmone, Rosario and Mostarda, Leonardo and Tesei, Luca and Raimondi, Franco (2015) “A Constrained ECA Language Supporting Formal Verification of WSNs”, In Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, AINA 2015 Workshops, Gwangju, South Korea, March 24-27, 2015, 187-192, IEEE.
    DOI, Entry at UNICAM Repository, PDF
  • Nieto Coria, Cesar Augusto and Tesei, Luca and Scarcella, Giuseppe and Russo, Tommaso and Merelli, Emanuela (2015) “Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea”, In Software Engineering and Formal Methods. SEFM 2014 Collocated Workshops, Lecture Notes in Computer Science 8938, 259-275, Springer.
    DOI, Entry at UNICAM Repository, PDF

2014

Conference Papers

  • Bernardo, Marco and Corradini, Flavio and Tesei, Luca (2014) “Timed process calculi: from durationless actions to durational ones”, In Proceedings of the 15th Italian Conference on Theoretical Computer Science (ICTCS 2014), CEUR Workshop Proceedings 1231, 21-32.
    Full Text and PDF at Publisher (Open Access), Entry at UNICAM Repository
  • Penna, Pierluigi and Paoletti, Nicola and Scarcella, Giuseppe and Tesei, Luca and Marini, Mauro and Merelli, Emanuela (2014) “DISPAS: An Agent-Based Tool for the Management of Fishing Effort”, In Software Engineering and Formal Methods. SEFM 2013 Collocated Workshops, Lecture Notes in Computer Science 8368, 362-367.
    DOI, Entry at UNICAM Repository, PDF

Posters

  • Nieto Coria, Cesar Augusto; Scarcella, Giuseppe; Tesei, Luca (2014) “Introducing Space and Spatial Interactions in DISPAS: Demersal Fish Probabilistic Agent-based Simulator”, Presented at 4th Scientific Day of School of Science and Technology, UNICAM, Camerino, Italy, June 11, 2014, 33-33.
    Entry at UNICAM Repository, PDF

2013

Conference Papers

Book Chapters

  • Cannata, Nicola and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca (2013) “Agent-Based Models of Cellular Systems”, In Computational Toxicology. Volume II, Methods in Molecular Biology 930, 399-426, Humana Press.
    DOI, Entry at UNICAM Repository, PDF

Posters

  • Taffi, Marianna and Paoletti, Nicola and Liò, Pietro and Tesei, Luca and Merelli, Emanuela and Marini, Mauro (2013) “A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems”, In Proceedings of the 11th International Conference on Computational Methods in Systems Biology (CMSB 2013), Lecture Notes in Computer Science 8130, 238-239, Springer.
    Entry at UNICAM Repository, PDF

2012

Journal Papers

  • Buti, Federico and Callisto De Donato, Massimo and Corradini, Flavio and Di Berardini, Maria Rita and Merelli, Emanuela and Tesei, Luca (2012) “Towards Abstraction-Based Verification of Shape Calculus”, Electronic Notes in Theoretical Computer Science 284, 23-34.
    DOI, Entry at UNICAM Repository, PDF

Conference Papers

  • Merelli, Emanuela and Paoletti, Nicola and Tesei, Luca (2012) “A multi-level model for self-adaptive systems”, Electronic Proceedings in Theoretical Computer Science 91, 112-126.
    Full text and PDF at Publisher (Open Access), Entry at UNICAM Repository
  • Buti, Federico and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca (2012) “A Geometrical Refinement of Shape Calculus Enabling Direct Simulation”, In Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2012), 218-227, SciTePress.
    DOI, Entry at UNICAM Repository, PDF

2011

Journal Papers

  • Barbuti, Roberto and Maggiolo-Schettini, Andrea and Milazzo, Paolo and Pardini, Giovanni and Tesei, Luca (2011) “Spatial P Systems”, Natural Computing 10, 3-16.
    DOI, Entry at UNICAM Repository, PDF
  • Buti, Federico and Cacciagrano, Diletta Romana and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca (2011) “A Uniform Multiscale Meta-model of BioShape”, Electronic Notes in Theoretical Computer Science 277, 15-27.
    DOI, Entry at UNICAM Repository, PDF

Conference Papers

  • Buti, Federico and Cacciagrano, Diletta Romana and Callisto De Donato, Massimo and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca (2011) “ BIOSHAPE: End-User Development for Simulating Biological Systems”, In Proceedings of the 3rd International Symposium on End-User Development (IS-EUD 2011), Lecture Notes in Computer Science 6654, 379-382.
    DOI, Entry at UNICAM Repository, PDF

2010

Journal Papers

Conference Papers

2009

Journal Papers

  • Barbuti, Roberto and Maggiolo-Schettini, Andrea and Milazzo, Paolo and Tesei, Luca (2009) “Timed P Automata”, Fundamenta Informaticae 94, 1-19.
    DOI, Entry at UNICAM Repository, PDF
  • Barbuti, Roberto and Maggiolo-Schettini, Andrea and Milazzo, Paolo and Tesei, Luca (2009) “Timed P Automata”, Electronic Notes in Theoretical Computer Science 227, 21-36.
    DOI, Entry at UNICAM Repository, PDF
  • Bartocci, Ezio and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca (2009) “Model Checking Biological Oscillators”, Electronic Notes in Theoretical Computer Science 229, 41-58.
    DOI, Entry at UNICAM Repository, PDF

2008

Journal Papers

  • Corradini, Flavio and Polzonetti, Alberto and Re, Barbara and Tesei, Luca (2008) “Quality of service in e-Government underlines the role of information usability”, International Journal of Information Quality 2(2), 133-151.
    DOI, Entry at UNICAM Repository, PDF

Conference Papers

  • Cacciagrano, Diletta Romana and Corradini, Flavio and Culmone, Rosario and Tesei, Luca and Vito, Leonardo (2008) “A model-prover for constrained dynamic conversations”, In Proceedings of the 10th International Conference on Information Integration and Web-based Applications & services (iiWAS2008), Linz, Austria, November 24-26, 2008, 630-633.
    DOI, Entry at UNICAM Repository, PDF

2004

Journal Papers

2003

Journal Papers

2002

Journal Papers

  • Barbuti, Roberto and De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca (2002) “A Notion of Non-Interference for Timed Automata”, Fundamenta Informaticae 51(1-2), 1-11.
    Page at Publisher, Entry at UNICAM Repository, PDF

2001

Journal Papers