====== 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.\\ [[http://www.sciencedirect.com/science/article/pii/S0304397516001444|Entry at Publisher]], [[http://hdl.handle.net/11581/392585|Entry at UNICAM Repository]], {{ :research:bct16-postprint.pdf |PDF}} * Merelli, Emanuela and Paoletti, Nicola and Tesei, Luca (2016) "Adaptability checking in complex systems", //Science of Computer Programming// **115-116**, 23-46.\\ [[http://www.sciencedirect.com/science/article/pii/S0167642315000659|Full Text and PDF at Publisher (Open Access)]], [[http://hdl.handle.net/11581/378582|Entry at UNICAM Repository]], [[https://arxiv.org/abs/1404.0698|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.\\ [[http://dx.doi.org/10.4108%2Feai.3-12-2015.2262523|DOI]], [[http://hdl.handle.net/11581/392584|Entry at UNICAM Repository]], {{ :research:mmt16-postprint.pdf |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. \\ [[http://www.mdpi.com/1099-4300/17/10/6872|Full Text and PDF at Publisher (Open Access)]], [[http://hdl.handle.net/11581/387719|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.\\ [[http://dx.doi.org/10.1007%2F978-3-662-49224-6_16|DOI]], [[http://hdl.handle.net/11581/388252|Entry at UNICAM Repository]], {{ :research:ctsnm-postprint.pdf |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.\\ [[http://dx.doi.org/10.1109%2FWAINA.2015.109|DOI]], [[http://hdl.handle.net/11581/381782|Entry at UNICAM Repository]], {{ :research:ccmtr15-postprint.pdf |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.\\ [[http://dx.doi.org/10.1007%2F978-3-319-15201-1_17|DOI]], [[http://hdl.handle.net/11581/388708|Entry at UNICAM Repository]], {{ :research:ntsrm15-postprint.pdf |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), [[http://ceur-ws.org/Vol-1231/|CEUR Workshop Proceedings 1231]], 21-32.\\ [[http://ceur-ws.org/Vol-1231/long1.pdf|Full Text and PDF at Publisher (Open Access)]], [[http://hdl.handle.net/11581/373183|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.\\ [[http://dx.doi.org/10.1007%2F978-3-319-05032-4_26|DOI]], [[http://hdl.handle.net/11581/337193|Entry at UNICAM Repository]], {{ :research:ppstmm14-postprint.pdf |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.\\ [[http://hdl.handle.net/11581/337192|Entry at UNICAM Repository]], {{ :research:nst14-poster.pdf |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.\\ [[http://dx.doi.org/10.1007%2F978-3-642-40725-3_9|DOI]], [[http://hdl.handle.net/11581/337189|Entry at UNICAM Repository]], {{ :research:bt13-postprint.pdf |PDF with proofs in appendix}}, {{ :research:bt13-postprint-noappendix.pdf |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.\\ [[http://dx.doi.org/10.1007%2F978-1-62703-059-5_18|DOI]], [[http://hdl.handle.net/11581/266035|Entry at UNICAM Repository]], {{ :research:ccmt13-postprint.pdf |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.\\ [[http://hdl.handle.net/11581/337194|Entry at UNICAM Repository]], {{ :research:tpltmm13-postprint.pdf |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.\\ [[http://dx.doi.org/10.1016%2Fj.entcs.2012.05.013|DOI]], [[http://hdl.handle.net/11581/243115|Entry at UNICAM Repository]], {{ :research:bcdcdmt12-postprint.pdf |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.\\ [[http://eptcs.web.cse.unsw.edu.au/paper.cgi?FOCLASA12.8|Full text and PDF at Publisher (Open Access)]], [[http://hdl.handle.net/11581/250161|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.\\ [[http://dx.doi.org/10.5220%2F0004060802180227|DOI]], [[http://hdl.handle.net/11581/250159|Entry at UNICAM Repository]], {{ :research:bcmt12-postprint.pdf |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.\\ [[http://dx.doi.org/10.1007%2Fs11047-010-9187-z|DOI]], [[http://hdl.handle.net/11581/201308|Entry at UNICAM Repository]], {{ :research:bmmpt11-postprint.pdf |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.\\ [[http://dx.doi.org/10.1016%2Fj.entcs.2011.09.032|DOI]], [[http://hdl.handle.net/11581/219090|Entry at UNICAM Repository]], {{ :research:bccmt11-postprint.pdf |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.\\ [[http://dx.doi.org/10.1007%2F978-3-642-21530-8_45|DOI]], [[http://hdl.handle.net/11581/250719|Entry at UNICAM Repository]], {{ :research:bcccmt11-postprint.pdf |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.\\ [[http://www.info.uaic.ro/bin/Annals/Article?v=XX&a=0|Full Text and PDF at Publisher (Open Access)]], [[http://hdl.handle.net/11581/203261|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.\\ [[http://www.info.uaic.ro/bin/Annals/Article?v=XX&a=1|Full Text and PDF at Publisher (Open Access)]], [[http://hdl.handle.net/11581/203262|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.\\ [[http://dx.doi.org/10.1016%2Fj.entcs.2010.12.003|DOI]], [[http://hdl.handle.net/11581/203416|Entry at UNICAM Repository]], {{ :research:bccmtp10-postprint.pdf |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.\\ [[http://dx.doi.org/10.1093%2Fcomjnl%2Fbxp031|Full Text and PDF at Publisher (Open Access)]], [[http://hdl.handle.net/11581/201307|Entry at UNICAM Repository]]\\ **This paper has been awarded** the [[http://www.oxfordjournals.org/our_journals/computer_journal/wilkes_award.html|Wilkes Award]] [[http://www.oxfordjournals.org/our_journals/computer_journal/previouswinners.html|edition 2011 for papers published in 2010]], {{ :research:the_wilkes_award_luca_tesei.pdf |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.\\ [[http://dx.doi.org/10.1016%2Fj.tcs.2009.12.019|Full Text and PDF at Publisher (User License)]], [[http://hdl.handle.net/11581/201309|Entry at UNICAM Repository]], {{ :research:bcmt10-postprint.pdf |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.\\ [[http://dx.doi.org/10.1016%2Fj.procs.2010.04.090|Full Text and PDF at Publisher (Open Access)]], [[http://hdl.handle.net/11581/203440|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.\\ [[http://dx.doi.org/10.3233%2FFI-2009-114|DOI]], [[http://hdl.handle.net/11581/201305|Entry at UNICAM Repository]], {{ :research:bmmt09b-postprint.pdf |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.\\ [[http://dx.doi.org/10.1016%2Fj.entcs.2008.12.102|DOI]], [[http://hdl.handle.net/11581/9901|Entry at UNICAM Repository]], {{ :research:bmmt09-postprint.pdf |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.\\ [[http://dx.doi.org/10.1016%2Fj.entcs.2009.02.004|DOI]], [[http://hdl.handle.net/11581/115139|Entry at UNICAM Repository]], {{ :research:bcmt09-postprint.pdf |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.\\ [[http://dx.doi.org/10.1504%2FIJIQ.2008.022960|DOI]], [[http://hdl.handle.net/11581/201306|Entry at UNICAM Repository]], {{ :research:cprt08-postprint.pdf |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.\\ [[http://dx.doi.org/10.1145%2F1497308.1497428|DOI]], [[http://hdl.handle.net/11581/202369|Entry at UNICAM Repository]], {{ :research:ccclt08-postprint.pdf |PDF}} ===== 2004 ===== ==== Journal Papers ==== * Barbuti, Roberto; Cataudella, Stefano; Tesei, Luca (2004) "Abstract Interpretation Against Races", //Fundamenta Informaticae// **60**(1-4), 67-79.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-06|Page at Publisher]], [[http://hdl.handle.net/11581/201304|Entry at UNICAM Repository]], {{ :research:bct04-postprint.pdf |PDF}} * Barbuti, Roberto and Tesei, Luca (2004) "Timed automata with urgent transitions", //Acta Informatica// **40**(5), 317-347.\\ [[http://dx.doi.org/10.1007%2Fs00236-003-0135-6|DOI]], [[http://hdl.handle.net/11581/201303|Entry at UNICAM Repository]], {{ :research:bt04-postprint.pdf |PDF}} ===== 2003 ===== ==== Journal Papers ==== * Barbuti, Roberto and Tesei, Luca (2003) "A Decidable Notion of Timed Non-Interference", //Fundamenta Informaticae// **54**(2-3), 137-150.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-03|Page at Publisher]], [[http://hdl.handle.net/11581/201245|Entry at UNICAM Repository]], {{ :research:bt03-postprint.pdf |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.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-07|Page at Publisher]], [[http://hdl.handle.net/11581/201302|Entry at UNICAM Repository]], {{ :research:dst03-postprint.pdf |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.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-02|Page at Publisher]], [[http://hdl.handle.net/11581/201244|Entry at UNICAM Repository]], {{ :research:bdst02-postprint.pdf |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.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi47-3-4-02|Page at Publisher]], [[http://hdl.handle.net/11581/201243|Entry at UNICAM Repository]], {{ :research:bdt01-postprint.pdf |PDF}}