List of Luca Tesei's Publications

2016

Journal Papers

Bernardo, Marco and Corradini, Flavio and Tesei, Luca (2016) “Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions”, Theoretical Computer Science 629, 2-39.
Entry at Publisher, Entry at UNICAM Repository, PDF
Merelli, Emanuela and Paoletti, Nicola and Tesei, Luca (2016) “Adaptability checking in complex systems”, Science of Computer Programming 115-116, 23-46.
Full Text and PDF at Publisher (Open Access), Entry at UNICAM Repository, Initial ArXiv Version

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

Merelli, Emanuela and Rucco, Matteo and Sloot, Peter and Tesei, Luca (2015) “Topological Characterization of Complex Systems: Using Persistent Entropy”, Entropy 17(10), 6872-6892.
Full Text and PDF at Publisher (Open Access), Entry at UNICAM Repository

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

Bernardo, Marco and Tesei, Luca (2013) “Encoding Timed Models as Uniform Labeled Transition Systems”, In Proceedings of the 10th European Workshop on Performance Engineering (EPEW 2013), Lecture Notes in Computer Science 8168, 104-118, Springer.
DOI, Entry at UNICAM Repository, PDF with proofs in appendix, PDF without proofs

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

Bartocci, Ezio and Corradini, Flavio and Di Berardini, Maria Rita and Merelli, Emanuela; and Tesei, Luca (2010) “Shape Calculus. A Spatial Mobile Calculus for 3D Shapes”, Scientific Annals of Computer Science 20, 1-31.
Full Text and PDF at Publisher (Open Access), Entry at UNICAM Repository
Bartocci, Ezio and Cacciagrano, Diletta Romana and Di Berardini, Maria Rita and Merelli, Emanuela and Tesei, Luca (2010) “Timed Operational Semantics and Well-Formedness of Shape Calculus”, Scientific Annals of Computer Science 20, 33-52.
Full Text and PDF at Publisher (Open Access), Entry at UNICAM Repository
Buti, Federico and Cacciagrano, Diletta Romana and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca and Pani, Martino (2010) “Bone Remodelling in BioShape”, Electronic Notes in Theoretical Computer Science 268, 17-29.
DOI, Entry at UNICAM Repository, PDF
Barbuti, Roberto and De Francesco, Nicoletta and Tesei, Luca (2010) “An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier”, The Computer Journal 53(6), 679-700.
Full Text and PDF at Publisher (Open Access), Entry at UNICAM Repository
This paper has been awarded the Wilkes Award edition 2011 for papers published in 2010, Luca Tesei's Wilkes Award certificate
Bartocci, Ezio and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca (2010) “Detecting Synchronisation of Biological Oscillators by Model Checking”, Theoretical Computer Science 411(20), 1999-2018.
Full Text and PDF at Publisher (User License), Entry at UNICAM Repository, PDF (Postprint)

Conference Papers

Buti, Federico and Cacciagrano, Diletta Romana and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca (2010) “BioShape: a spatial shape-based scale-independent simulation environment for biological systems”, Procedia Computer Science 1, 827-835.
Full Text and PDF at Publisher (Open Access), Entry at UNICAM Repository
…

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

Barbuti, Roberto; Cataudella, Stefano; Tesei, Luca (2004) “Abstract Interpretation Against Races”, Fundamenta Informaticae 60(1-4), 67-79.
Page at Publisher, Entry at UNICAM Repository, PDF
Barbuti, Roberto and Tesei, Luca (2004) “Timed automata with urgent transitions”, Acta Informatica 40(5), 317-347.
DOI, Entry at UNICAM Repository, PDF

2003

Journal Papers

Barbuti, Roberto and Tesei, Luca (2003) “A Decidable Notion of Timed Non-Interference”, Fundamenta Informaticae 54(2-3), 137-150.
Page at Publisher, Entry at UNICAM Repository, PDF
De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca (2003) “Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems”, Fundamenta Informaticae 54(2-3), 195-211.
Page at Publisher, Entry at UNICAM Repository, PDF

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

Barbuti, Roberto and De Francesco, Nicoletta and Tesei, Luca (2001) “Timed Automata with non-Instantaneous Actions”, Fundamenta Informaticae 47(3-4), 189-200.
Page at Publisher, Entry at UNICAM Repository, PDF

Table of Contents

List of Luca Tesei's Publications

2016

Journal Papers

Conference Papers

2015

Journal Papers

Conference Papers

2014

Conference Papers

Posters

2013

Conference Papers

Book Chapters

Posters

2012

Journal Papers

Conference Papers

2011

Journal Papers

Conference Papers

2010

Journal Papers

Conference Papers

2009

Journal Papers

2008

Journal Papers

Conference Papers

2004

Journal Papers

2003

Journal Papers

2002

Journal Papers

2001

Journal Papers