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