publication_list_final.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob publication_list_final.bib -c 'year>2003 and ((author : "Milazzo") or (author : "Barbuti") or (author : "Levi") or (author : "Gori") or (author : "Pardini") or (author : "Broccia") or (author : "Bove"))' publication_list_expanded.bib}}
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib --expand-xrefs -ob publication_list_expanded.bib publication_list_clean.bib}}
@article{barbuti2009methodology,
  title = {A methodology for the stochastic modeling and simulation
		  of sympatric speciation by sexual selection},
  author = {Barbuti, Roberto and Maggiolo-Schettini, Andrea and
		  Milazzo, Paolo and Troina, Angelo},
  journal = {Journal of Biological Systems},
  volume = {17},
  number = {03},
  pages = {349--376},
  year = {2009},
  publisher = {World Scientific}
}
@article{barbuti2012population,
  title = {Population dynamics with a mixed type of sexual and
		  asexual reproduction in a fluctuating environment},
  author = {Barbuti, Roberto and Mautner, Selma and Carnevale, Giorgio
		  and Milazzo, Paolo and Rama, Aureliano and Sturmbauer,
		  Christian},
  journal = {BMC evolutionary biology},
  volume = {12},
  number = {1},
  pages = {1},
  year = {2012},
  publisher = {BioMed Central}
}
@article{caravagna2010tumour,
  title = {Tumour suppression by immune system through stochastic
		  oscillations},
  author = {Caravagna, Giulio and d’Onofrio, Alberto and Milazzo,
		  Paolo and Barbuti, Roberto},
  journal = {Journal of theoretical biology},
  volume = {265},
  number = {3},
  pages = {336--345},
  year = {2010},
  publisher = {Elsevier}
}
@inproceedings{dblp:conf/acsd/carpinetilm05,
  isbn = {0-7695-2363-3},
  publisher = {{IEEE} Computer Society},
  author = {Samuele Carpineti and Cosimo Laneve and Paolo Milazzo},
  title = {BoPi - {A} Distributed Machine for Experimenting Web
		  Services Technologies},
  booktitle = {Fifth International Conference on Application of
		  Concurrency to System Design {(ACSD} 2005), 6-9 June 2005,
		  St. Malo, France},
  pages = {202--211},
  year = {2005},
  url = {http://dx.doi.org/10.1109/ACSD.2005.6},
  doi = {10.1109/ACSD.2005.6},
  timestamp = {Sat, 09 May 2015 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/acsd/CarpinetiLM05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/aplas/goril05,
  isbn = {3-540-29735-9},
  publisher = {Springer},
  volume = {3780},
  series = {Lecture Notes in Computer Science},
  editor = {Kwangkeun Yi},
  author = {Roberta Gori and Francesca Levi},
  title = {A New Occurrence Counting Analysis for BioAmbients},
  booktitle = {Programming Languages and Systems, Third Asian Symposium,
		  {APLAS} 2005, Tsukuba, Japan, November 2-5, 2005,
		  Proceedings},
  pages = {381--400},
  year = {2005},
  url = {http://dx.doi.org/10.1007/11575467_25},
  doi = {10.1007/11575467_25},
  timestamp = {Fri, 23 Dec 2005 14:14:24 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/aplas/GoriL05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/aplas/goril06,
  isbn = {3-540-48937-1},
  publisher = {Springer},
  volume = {4279},
  series = {Lecture Notes in Computer Science},
  editor = {Naoki Kobayashi},
  author = {Roberta Gori and Francesca Levi},
  title = {An Analysis for Proving Temporal Properties of Biological
		  Systems},
  booktitle = {Programming Languages and Systems, 4th Asian Symposium,
		  {APLAS} 2006, Sydney, Australia, November 8-10, 2006,
		  Proceedings},
  pages = {234--252},
  year = {2006},
  url = {http://dx.doi.org/10.1007/11924661_15},
  doi = {10.1007/11924661_15},
  timestamp = {Fri, 19 Jul 2013 09:37:21 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/aplas/GoriL06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/birthday/barbutimmpt14,
  isbn = {978-3-319-13349-2},
  publisher = {Springer},
  volume = {8808},
  series = {Lecture Notes in Computer Science},
  editor = {Cristian S. Calude and Rusins Freivalds and Kazuo Iwama},
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Giovanni Pardini and Simone Tini},
  title = {Systolic Automata and {P} Systems},
  booktitle = {Computing with New Resources - Essays Dedicated to Jozef
		  Gruska on the Occasion of His 80th Birthday},
  pages = {17--31},
  year = {2014},
  url = {http://dx.doi.org/10.1007/978-3-319-13350-8_2},
  doi = {10.1007/978-3-319-13350-8_2},
  timestamp = {Mon, 06 Jun 2016 08:15:14 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/birthday/BarbutiMMPT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/cie/pardinibmmt13,
  isbn = {978-3-642-39052-4},
  publisher = {Springer},
  volume = {7921},
  series = {Lecture Notes in Computer Science},
  editor = {Paola Bonizzoni and Vasco Brattka and Benedikt L{\"{o}}we},
  author = {Giovanni Pardini and Roberto Barbuti and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini},
  title = {A Compositional Semantics of Reaction Systems with
		  Restriction},
  booktitle = {The Nature of Computation. Logic, Algorithms, Applications
		  - 9th Conference on Computability in Europe, CiE 2013,
		  Milan, Italy, July 1-5, 2013. Proceedings},
  pages = {330--339},
  year = {2013},
  url = {http://dx.doi.org/10.1007/978-3-642-39053-1_39},
  doi = {10.1007/978-3-642-39053-1_39},
  timestamp = {Tue, 04 Jun 2013 15:39:09 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/cie/PardiniBMMT13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/csp/barbutiglm15,
  urn = {urn:nbn:de:0074-1492-5},
  publisher = {CEUR-WS.org},
  volume = {1492},
  series = {{CEUR} Workshop Proceedings},
  editor = {Zbigniew Suraj and Ludwik Czaja},
  author = {Roberto Barbuti and Roberta Gori and Francesca Levi and
		  Paolo Milazzo},
  title = {Specialized Predictor for Reaction Systems with Context
		  Properties},
  booktitle = {Proceedings of the 24th International Workshop on
		  Concurrency, Specification and Programming, Rzeszow,
		  Poland, September 28-30, 2015.},
  pages = {31--43},
  year = {2015},
  url = {http://ceur-ws.org/Vol-1492/Paper_04.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/csp/BarbutiGLM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/ershov/barbutilmmpr09,
  isbn = {978-3-642-11485-4},
  publisher = {Springer},
  volume = {5947},
  series = {Lecture Notes in Computer Science},
  editor = {Amir Pnueli and Irina Virbitskaite and Andrei Voronkov},
  author = {Roberto Barbuti and Daniela Lepri and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini
		  and Aureliano Rama},
  title = {Simulation of Kohn's Molecular Interaction Maps through
		  Translation into Stochastic {CLS+}},
  booktitle = {Perspectives of Systems Informatics, 7th International
		  Andrei Ershov Memorial Conference, {PSI} 2009, Novosibirsk,
		  Russia, June 15-19, 2009. Revised Papers},
  pages = {58--69},
  year = {2009},
  url = {http://dx.doi.org/10.1007/978-3-642-11486-1_6},
  doi = {10.1007/978-3-642-11486-1_6},
  timestamp = {Tue, 16 Mar 2010 14:52:14 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/ershov/BarbutiLMMPR09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/esop/levib04,
  isbn = {3-540-21313-9},
  publisher = {Springer},
  volume = {2986},
  series = {Lecture Notes in Computer Science},
  editor = {David A. Schmidt},
  author = {Francesca Levi and Chiara Bodei},
  title = {A Control Flow Analysis for Safe and Boxed Ambients},
  booktitle = {Programming Languages and Systems, 13th European Symposium
		  on Programming, {ESOP} 2004, Held as Part of the Joint
		  European Conferences on Theory and Practice of Software,
		  {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004,
		  Proceedings},
  pages = {188--203},
  year = {2004},
  url = {http://dx.doi.org/10.1007/978-3-540-24725-8_14},
  doi = {10.1007/978-3-540-24725-8_14},
  timestamp = {Wed, 06 Jul 2011 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/esop/LeviB04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/fmoods/lanottemmt06,
  isbn = {3-540-34893-X},
  publisher = {Springer},
  volume = {4037},
  series = {Lecture Notes in Computer Science},
  editor = {Roberto Gorrieri and Heike Wehrheim},
  author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Angelo Troina},
  title = {Modeling Long-Running Transactions with Communicating
		  Hierarchical Timed Automata},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems,
		  8th {IFIP} {WG} 6.1 International Conference, {FMOODS}
		  2006, Bologna, Italy, June 14-16, 2006, Proceedings},
  pages = {108--122},
  year = {2006},
  url = {http://dx.doi.org/10.1007/11768869_10},
  doi = {10.1007/11768869_10},
  timestamp = {Tue, 30 May 2006 13:06:01 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/fmoods/LanotteMMT06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/icse/milazzopsb15,
  isbn = {978-1-4673-7046-2},
  publisher = {{IEEE} Computer Society},
  editor = {Walt Scacchi and Jim Whitehead},
  author = {Paolo Milazzo and Giovanni Pardini and Dario Sestini and
		  Pasquale Bove},
  title = {Case Studies of Application of Probabilistic and
		  Statistical Model Checking in Game Design},
  booktitle = {4th {IEEE/ACM} International Workshop on Games and
		  Software Engineering, {GAS} 2015, Florence, Italy, May 18,
		  2015},
  pages = {29--35},
  year = {2015},
  url = {http://dx.doi.org/10.1109/GAS.2015.13},
  doi = {10.1109/GAS.2015.13},
  timestamp = {Tue, 03 May 2016 16:33:30 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/icse/MilazzoPSB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/icst/bagnaracgg13,
  isbn = {978-1-4673-5961-0},
  publisher = {{IEEE} Computer Society},
  author = {Roberto Bagnara and Matthieu Carlier and Roberta Gori and
		  Arnaud Gotlieb},
  title = {Symbolic Path-Oriented Test Data Generation for
		  Floating-Point Programs},
  booktitle = {Sixth {IEEE} International Conference on Software Testing,
		  Verification and Validation, {ICST} 2013, Luxembourg,
		  Luxembourg, March 18-22, 2013},
  pages = {1--10},
  year = {2013},
  url = {http://dx.doi.org/10.1109/ICST.2013.17},
  doi = {10.1109/ICST.2013.17},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/icst/BagnaraCGG13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/ictac/barbutimmt06,
  isbn = {3-540-48815-4},
  publisher = {Springer},
  volume = {4281},
  series = {Lecture Notes in Computer Science},
  editor = {Kamel Barkaoui and Ana Cavalcanti and Antonio Cerone},
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Angelo Troina},
  title = {Bisimulation Congruences in the Calculus of Looping
		  Sequences},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third
		  International Colloquium, Tunis, Tunisia, November 20-24,
		  2006, Proceedings},
  pages = {93--107},
  year = {2006},
  url = {http://dx.doi.org/10.1007/11921240_7},
  doi = {10.1007/11921240_7},
  timestamp = {Mon, 13 Nov 2006 13:09:15 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/ictac/BarbutiMMT06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/imis/caravagnacwp12,
  isbn = {978-1-4673-1328-5},
  publisher = {{IEEE} Computer Society},
  editor = {Ilsun You and Leonard Barolli and Antonio Gentile and
		  Hae{-}Duck Joshua Jeong and Marek R. Ogiela and Fatos
		  Xhafa},
  author = {Giulio Caravagna and Gabriele Costa and Luca Wiegand and
		  Giovanni Pardini},
  title = {Lazy Monitoring for Distributed Computing Environments},
  booktitle = {Sixth International Conference on Innovative Mobile and
		  Internet Services in Ubiquitous Computing, {IMIS} 2012,
		  Palermo, Italy, July 4-6, 2012},
  pages = {259--265},
  year = {2012},
  url = {http://dx.doi.org/10.1109/IMIS.2012.186},
  doi = {10.1109/IMIS.2012.186},
  timestamp = {Fri, 27 Mar 2015 16:15:42 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/imis/CaravagnaCWP12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/isbra/barbutimm07,
  isbn = {978-3-540-72030-0},
  publisher = {Springer},
  volume = {4463},
  series = {Lecture Notes in Computer Science},
  editor = {Ion I. Mandoiu and Alexander Zelikovsky},
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo},
  title = {Extending the Calculus of Looping Sequences to Model
		  Protein Interaction at the Domain Level},
  booktitle = {Bioinformatics Research and Applications, Third
		  International Symposium, {ISBRA} 2007, Atlanta, GA, USA,
		  May 7-10, 2007, Proceedings},
  pages = {638--649},
  year = {2007},
  url = {http://dx.doi.org/10.1007/978-3-540-72031-7_58},
  doi = {10.1007/978-3-540-72031-7_58},
  timestamp = {Tue, 28 Aug 2007 14:29:21 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/isbra/BarbutiMM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/lopstr/bodeibghl15,
  isbn = {978-3-319-27435-5},
  publisher = {Springer},
  volume = {9527},
  series = {Lecture Notes in Computer Science},
  editor = {Moreno Falaschi},
  author = {Chiara Bodei and Linda Brodo and Roberta Gori and Diana
		  Hermith and Francesca Levi},
  title = {A Global Occurrence Counting Analysis for Brane Calculi},
  booktitle = {Logic-Based Program Synthesis and Transformation - 25th
		  International Symposium, {LOPSTR} 2015, Siena, Italy, July
		  13-15, 2015. Revised Selected Papers},
  pages = {179--200},
  year = {2015},
  url = {http://dx.doi.org/10.1007/978-3-319-27436-2_11},
  doi = {10.1007/978-3-319-27436-2_11},
  timestamp = {Thu, 17 Dec 2015 16:13:29 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/lopstr/BodeiBGHL15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/membrane/barbutimmt07,
  isbn = {978-3-540-77311-5},
  publisher = {Springer},
  volume = {4860},
  series = {Lecture Notes in Computer Science},
  editor = {George Eleftherakis and Petros Kefalas and Gheorghe
		  P\u{a}un and Grzegorz Rozenberg and Arto Salomaa},
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Angelo Troina},
  title = {The Calculus of Looping Sequences for Modeling Biological
		  Membranes},
  booktitle = {Membrane Computing, 8th International Workshop, {WMC}
		  2007, Thessaloniki, Greece, June 25-28, 2007 Revised
		  Selected and Invited Papers},
  pages = {54--76},
  year = {2007},
  url = {http://dx.doi.org/10.1007/978-3-540-77312-2_4},
  doi = {10.1007/978-3-540-77312-2_4},
  timestamp = {Thu, 29 Nov 2007 09:18:40 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/BarbutiMMT07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/membrane/barbutimmt10,
  isbn = {978-3-642-18122-1},
  publisher = {Springer},
  volume = {6501},
  series = {Lecture Notes in Computer Science},
  editor = {Marian Gheorghe and Thomas Hinze and Gheorghe P\u{a}un and
		  Grzegorz Rozenberg and Arto Salomaa},
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Simone Tini},
  title = {Membrane Systems Working in Generating and Accepting
		  Modes: Expressiveness and Encodings},
  booktitle = {Membrane Computing - 11th International Conference, {CMC}
		  2010, Jena, Germany, August 24-27, 2010. Revised Selected
		  Papers},
  pages = {103--118},
  year = {2010},
  url = {http://dx.doi.org/10.1007/978-3-642-18123-8_11},
  doi = {10.1007/978-3-642-18123-8_11},
  timestamp = {Tue, 15 Feb 2011 15:21:25 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/BarbutiMMT10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/ncma/drabikmm10,
  isbn = {978-3-85403-263-2},
  publisher = {Austrian Computer Society},
  volume = {263},
  series = {books@ocg.at},
  editor = {Henning Bordihn and Rudolf Freund and Markus Holzer and
		  Thomas Hinze and Martin Kutrib and Friedrich Otto},
  author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and
		  Paolo Milazzo},
  title = {Dynamic Sync-Programs for Modular Verification of
		  Biological Systems},
  booktitle = {Second Workshop on Non-Classical Models for Automata and
		  Applications - {NCMA} 2010, Jena, Germany, August 23 -
		  August 24, 2010. Proceedings},
  pages = {71--83},
  year = {2010},
  timestamp = {Thu, 17 Mar 2016 10:50:07 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/ncma/DrabikMM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/rp/barbutilms09,
  isbn = {978-3-642-04419-9},
  publisher = {Springer},
  volume = {5797},
  series = {Lecture Notes in Computer Science},
  editor = {Olivier Bournez and Igor Potapov},
  author = {Roberto Barbuti and Francesca Levi and Paolo Milazzo and
		  Guido Scatena},
  title = {Probabilistic Model Checking of Biological Systems with
		  Uncertain Kinetic Rates},
  booktitle = {Reachability Problems, 3rd International Workshop, {RP}
		  2009, Palaiseau, France, September 23-25, 2009.
		  Proceedings},
  pages = {64--78},
  year = {2009},
  url = {http://dx.doi.org/10.1007/978-3-642-04420-5_8},
  doi = {10.1007/978-3-642-04420-5_8},
  timestamp = {Tue, 01 Sep 2009 10:32:25 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/rp/BarbutiLMS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/sac/barbutic04,
  isbn = {1-58113-812-1},
  publisher = {{ACM}},
  editor = {Hisham Haddad and Andrea Omicini and Roger L. Wainwright
		  and Lorie M. Liebrock},
  author = {Roberto Barbuti and Stefano Cataudella},
  title = {Java bytecode verification on Java cards},
  booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied
		  Computing (SAC), Nicosia, Cyprus, March 14-17, 2004},
  pages = {431--438},
  year = {2004},
  url = {http://doi.acm.org/10.1145/967900.967991},
  doi = {10.1145/967900.967991},
  timestamp = {Tue, 03 Nov 2015 12:36:37 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/sac/BarbutiC04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/sefm/barbutibbmp15,
  isbn = {978-3-662-49223-9},
  publisher = {Springer},
  volume = {9509},
  series = {Lecture Notes in Computer Science},
  editor = {Domenico Bianculli and Radu Calinescu and Bernhard Rumpe},
  author = {Roberto Barbuti and Alessandro Bompadre and Pasquale Bove
		  and Paolo Milazzo and Giovanni Pardini},
  title = {Attributed Probabilistic {P} Systems and Their Application
		  to the Modelling of Social Interactions in Primates},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2015
		  Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART,
		  York, UK, September 7-8, 2015, Revised Selected Papers},
  pages = {176--191},
  year = {2015},
  url = {http://dx.doi.org/10.1007/978-3-662-49224-6_15},
  doi = {10.1007/978-3-662-49224-6_15},
  timestamp = {Tue, 12 Jan 2016 10:05:39 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/sefm/BarbutiBBMP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/sefm/barbutibmmp13,
  isbn = {978-3-319-05031-7},
  publisher = {Springer},
  volume = {8368},
  series = {Lecture Notes in Computer Science},
  editor = {Steve Counsell and Manuel N{\'{u}}{\~{n}}ez},
  author = {Roberto Barbuti and Pasquale Bove and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo and Giovanni
		  Pardini},
  title = {A Computational Formal Model of the Invasiveness of
		  Eastern Species in European Water Frog Populations},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2013
		  Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD,
		  and OpenCert, Madrid, Spain, September 23-24, 2013, Revised
		  Selected Papers},
  pages = {329--344},
  year = {2013},
  url = {http://dx.doi.org/10.1007/978-3-319-05032-4_24},
  doi = {10.1007/978-3-319-05032-4_24},
  timestamp = {Tue, 11 Mar 2014 08:56:27 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/sefm/BarbutiBMMP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/sefm/barbuticmms12,
  isbn = {978-3-642-54337-1},
  publisher = {Springer},
  volume = {7991},
  series = {Lecture Notes in Computer Science},
  editor = {Antonio Cerone and Donatella Persico and Sara Fernandes
		  and Alexeis Garcia{-}Perez and Panagiotis Katsaros and
		  Siraj Ahmed Shaikh and Ioannis Stamelos},
  author = {Roberto Barbuti and Antonio Cerone and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo and Suryana
		  Setiawan},
  title = {Modelling Population Dynamics Using Grid Systems},
  booktitle = {Information Technology and Open Source: Applications for
		  Education, Innovation, and Sustainability - {SEFM} 2012
		  Satellite Events, InSuEdu, MoKMaDS, and OpenCert,
		  Thessaloniki, Greece, October 1-2, 2012, Revised Selected
		  Papers},
  pages = {172--189},
  year = {2012},
  url = {http://dx.doi.org/10.1007/978-3-642-54338-8_14},
  doi = {10.1007/978-3-642-54338-8_14},
  timestamp = {Mon, 10 Mar 2014 14:22:02 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/sefm/BarbutiCMMS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/sefm/sameenbmc14,
  isbn = {978-3-319-15200-4},
  publisher = {Springer},
  volume = {8938},
  series = {Lecture Notes in Computer Science},
  editor = {Carlos Canal and Akram Idani},
  author = {Sheema Sameen and Roberto Barbuti and Paolo Milazzo and
		  Antonio Cerone},
  title = {A Mathematical Model for Assessing {KRAS} Mutation Effect
		  on Monoclonal Antibody Treatment of Colorectal Cancer},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2014
		  Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD,
		  WS-FMDS, Grenoble, France, September 1-2, 2014, Revised
		  Selected Papers},
  pages = {243--258},
  year = {2014},
  url = {http://dx.doi.org/10.1007/978-3-319-15201-1_16},
  doi = {10.1007/978-3-319-15201-1_16},
  timestamp = {Thu, 05 Feb 2015 10:57:53 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/sefm/SameenBMC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/sefm/setiawancm15,
  isbn = {978-3-662-49223-9},
  publisher = {Springer},
  volume = {9509},
  series = {Lecture Notes in Computer Science},
  editor = {Domenico Bianculli and Radu Calinescu and Bernhard Rumpe},
  author = {Suryana Setiawan and Antonio Cerone and Paolo Milazzo},
  title = {A Tool for the Modelling and Simulation of Ecological
		  Systems Based on Grid Systems},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2015
		  Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART,
		  York, UK, September 7-8, 2015, Revised Selected Papers},
  pages = {198--212},
  year = {2015},
  url = {http://dx.doi.org/10.1007/978-3-662-49224-6_17},
  doi = {10.1007/978-3-662-49224-6_17},
  timestamp = {Tue, 12 Jan 2016 10:05:39 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/sefm/SetiawanCM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/sfm/barbuticmmp08,
  isbn = {978-3-540-68892-1},
  publisher = {Springer},
  volume = {5016},
  series = {Lecture Notes in Computer Science},
  editor = {Marco Bernardo and Pierpaolo Degano and Gianluigi
		  Zavattaro},
  author = {Roberto Barbuti and Giulio Caravagna and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo and Giovanni
		  Pardini},
  title = {The Calculus of Looping Sequences},
  booktitle = {Formal Methods for Computational Systems Biology, 8th
		  International School on Formal Methods for the Design of
		  Computer, Communication, and Software Systems, {SFM} 2008,
		  Bertinoro, Italy, June 2-7, 2008, Advanced Lectures},
  pages = {387--423},
  year = {2008},
  url = {http://dx.doi.org/10.1007/978-3-540-68894-5_11},
  doi = {10.1007/978-3-540-68894-5_11},
  timestamp = {Mon, 09 Jun 2008 15:13:54 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/sfm/BarbutiCMMP08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/staf/pardinim16,
  isbn = {978-3-319-50229-8},
  publisher = {Springer},
  volume = {9946},
  series = {Lecture Notes in Computer Science},
  editor = {Paolo Milazzo and D{\'{a}}niel Varr{\'{o}} and Manuel
		  Wimmer},
  author = {Giovanni Pardini and Paolo Milazzo},
  title = {A High-Level Model Checking Language with Compile-Time
		  Pruning of Local Variables},
  booktitle = {Software Technologies: Applications and Foundations -
		  {STAF} 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO,
		  SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised
		  Selected Papers},
  pages = {67--82},
  year = {2016},
  url = {http://dx.doi.org/10.1007/978-3-319-50230-4_6},
  doi = {10.1007/978-3-319-50230-4_6},
  timestamp = {Fri, 02 Dec 2016 12:21:26 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/staf/PardiniM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:conf/stm/caravagnacp12,
  isbn = {978-3-642-38003-7},
  publisher = {Springer},
  volume = {7783},
  series = {Lecture Notes in Computer Science},
  editor = {Audun J{\o}sang and Pierangela Samarati and Marinella
		  Petrocchi},
  author = {Giulio Caravagna and Gabriele Costa and Giovanni Pardini},
  title = {Lazy Security Controllers},
  booktitle = {Security and Trust Management - 8th International
		  Workshop, {STM} 2012, Pisa, Italy, September 13-14, 2012,
		  Revised Selected Papers},
  pages = {33--48},
  year = {2012},
  url = {http://dx.doi.org/10.1007/978-3-642-38004-4_3},
  doi = {10.1007/978-3-642-38004-4_3},
  timestamp = {Tue, 28 May 2013 15:35:32 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/stm/CaravagnaCP12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/acta/barbutit04,
  author = {Roberto Barbuti and Luca Tesei},
  title = {Timed automata with urgent transitions},
  journal = {Acta Inf.},
  volume = {40},
  number = {5},
  pages = {317--347},
  year = {2004},
  url = {http://dx.doi.org/10.1007/s00236-003-0135-6},
  doi = {10.1007/s00236-003-0135-6},
  timestamp = {Mon, 28 Jun 2004 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/acta/BarbutiT04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/acta/levi06,
  author = {Francesca Levi},
  title = {A typed encoding of boxed into safe ambients},
  journal = {Acta Inf.},
  volume = {42},
  number = {6-7},
  pages = {429--500},
  year = {2006},
  url = {http://dx.doi.org/10.1007/s00236-005-0002-8},
  doi = {10.1007/s00236-005-0002-8},
  timestamp = {Wed, 10 May 2006 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/acta/Levi06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/bmcbi/caravagnabd12,
  author = {Giulio Caravagna and Roberto Barbuti and Alberto
		  d'Onofrio},
  title = {Fine-tuning anti-tumor immunotherapies via stochastic
		  simulations},
  journal = {{BMC} Bioinformatics},
  volume = {13},
  number = {{S-4}},
  pages = {S8},
  year = {2012},
  url = {http://dx.doi.org/10.1186/1471-2105-13-S4-S8},
  doi = {10.1186/1471-2105-13-S4-S8},
  timestamp = {Sat, 05 Jan 2013 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/bmcbi/CaravagnaBd12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/cj/barbutibf04,
  author = {Roberto Barbuti and Cinzia Bernardeschi and Nicoletta De
		  Francesco},
  title = {Analyzing Information Flow Properties in Assembly Code by
		  Abstract Interpretation},
  journal = {Comput. J.},
  volume = {47},
  number = {1},
  pages = {25--45},
  year = {2004},
  url = {http://dx.doi.org/10.1093/comjnl/47.1.25},
  doi = {10.1093/comjnl/47.1.25},
  timestamp = {Tue, 28 Jun 2011 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/cj/BarbutiBF04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/cj/barbutift10,
  author = {Roberto Barbuti and Nicoletta De Francesco and Luca
		  Tesei},
  title = {An Abstract Interpretation Approach for Enhancing the Java
		  Bytecode Verifier},
  journal = {Comput. J.},
  volume = {53},
  number = {6},
  pages = {679--700},
  year = {2010},
  url = {http://dx.doi.org/10.1093/comjnl/bxp031},
  doi = {10.1093/comjnl/bxp031},
  timestamp = {Tue, 28 Dec 2010 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/cj/BarbutiFT10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:journals/corr/abs-0910-1219,
  volume = {6},
  series = {{EPTCS}},
  editor = {Ralph{-}Johan Back and Ion Petre and Erik P. de Vink},
  author = {Roberto Barbuti and Giulio Caravagna and Paolo Milazzo and
		  Andrea Maggiolo{-}Schettini},
  title = {On the Interpretation of Delays in Delay Stochastic
		  Simulation of Biological Systems},
  booktitle = {Proceedings Second International Workshop on Computational
		  Models for Cell Processes, {COMPMOD} 2009, Eindhoven, the
		  Netherlands, November 3, 2009.},
  pages = {17--29},
  year = {2009},
  url = {http://dx.doi.org/10.4204/EPTCS.6.2},
  doi = {10.4204/EPTCS.6.2},
  timestamp = {Mon, 28 Oct 2013 16:56:55 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0910-1219},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:journals/corr/abs-0911-4854,
  volume = {11},
  series = {{EPTCS}},
  editor = {Gabriel Ciobanu},
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Giovanni Pardini and Aureliano Rama},
  title = {A Process Calculus for Molecular Interaction Maps},
  booktitle = {Proceedings Third Workshop on Membrane Computing and
		  Biologically Inspired Process Calculi, MeCBIC 2009,
		  Bologna, Italy, 5th September 2009.},
  pages = {35},
  year = {2009},
  url = {http://dx.doi.org/10.4204/EPTCS.11.3},
  doi = {10.4204/EPTCS.11.3},
  timestamp = {Mon, 28 Oct 2013 16:56:55 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0911-4854},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:journals/corr/abs-0911-4988,
  volume = {11},
  series = {{EPTCS}},
  editor = {Gabriel Ciobanu},
  author = {Roberta Gori and Francesca Levi},
  title = {Abstract Interpretation for Probabilistic Termination of
		  Biological Systems},
  booktitle = {Proceedings Third Workshop on Membrane Computing and
		  Biologically Inspired Process Calculi, MeCBIC 2009,
		  Bologna, Italy, 5th September 2009.},
  pages = {137--153},
  year = {2009},
  url = {http://dx.doi.org/10.4204/EPTCS.11.9},
  doi = {10.4204/EPTCS.11.9},
  timestamp = {Mon, 28 Oct 2013 16:56:55 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0911-4988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:journals/corr/abs-1002-4067,
  volume = {19},
  series = {{EPTCS}},
  editor = {Emanuela Merelli and Paola Quaglia},
  author = {Chiara Bodei and Andrea Bracciali and Davide Chiarugi and
		  Roberta Gori},
  title = {A Taxonomy of Causality-Based Biological Properties},
  booktitle = {Proceedings Third Workshop From Biology To Concurrency and
		  back, {FBTC} 2010, Paphos, Cyprus, 27th March 2010.},
  pages = {116--133},
  year = {2010},
  url = {http://dx.doi.org/10.4204/EPTCS.19.8},
  doi = {10.4204/EPTCS.19.8},
  timestamp = {Mon, 28 Oct 2013 16:56:54 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1002-4067},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:journals/corr/abs-1008-3301,
  volume = {33},
  series = {{EPTCS}},
  editor = {Paolo Milazzo and Mario de J. P{\'{e}}rez{-}Jim{\'{e}}nez},
  author = {Thomas Anung Basuki and Antonio Cerone and Roberto Barbuti
		  and Andrea Maggiolo{-}Schettini and Paolo Milazzo and
		  Elisabetta Rossi},
  title = {Modelling the Dynamics of an Aedes albopictus Population},
  booktitle = {Proceedings First Workshop on Applications of Membrane
		  computing, Concurrency and Agent-based modelling in
		  POPulation biology, {AMCA-POP} 2010, Jena, Germany, 25th
		  August 2010.},
  pages = {18--36},
  year = {2010},
  url = {http://dx.doi.org/10.4204/EPTCS.33.2},
  doi = {10.4204/EPTCS.33.2},
  timestamp = {Mon, 28 Oct 2013 16:56:55 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1008-3301},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:journals/corr/abs-1011-0491,
  volume = {40},
  series = {{EPTCS}},
  editor = {Gabriel Ciobanu and Maciej Koutny},
  author = {Roberto Barbuti and Giulio Caravagna and Paolo Milazzo and
		  Andrea Maggiolo{-}Schettini and Simone Tini},
  title = {Aspects of multiscale modelling in a process algebra for
		  biological systems},
  booktitle = {Proceedings Fourth Workshop on Membrane Computing and
		  Biologically Inspired Process Calculi, MeCBIC 2010, Jena,
		  Germany, 23 August 2010.},
  pages = {54--69},
  year = {2010},
  url = {http://dx.doi.org/10.4204/EPTCS.40.5},
  doi = {10.4204/EPTCS.40.5},
  timestamp = {Mon, 28 Oct 2013 16:56:55 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1011-0491},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/corr/abs-1011-5389,
  author = {Roberto Barbuti and Giovanni A. Cignoni and Paolo
		  Milazzo},
  title = {A Model for Configuration Management of Open Software
		  Systems},
  journal = {CoRR},
  volume = {abs/1011.5389},
  year = {2010},
  url = {http://arxiv.org/abs/1011.5389},
  timestamp = {Mon, 05 Dec 2011 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1011-5389},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/corr/abs-1108-3424,
  author = {Roberto Barbuti and Diletta Romana Cacciagrano and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo and Luca Tesei},
  title = {A Testing Framework for {P} Systems},
  journal = {CoRR},
  volume = {abs/1108.3424},
  year = {2011},
  url = {http://arxiv.org/abs/1108.3424},
  timestamp = {Mon, 05 Dec 2011 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1108-3424},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:journals/corr/abs-1211-4093,
  volume = {100},
  series = {{EPTCS}},
  editor = {Gabriel Ciobanu},
  author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and
		  Paolo Milazzo},
  title = {Towards modular verification of pathways: fairness and
		  assumptions},
  booktitle = {Proceedings 6th Workshop on Membrane Computing and
		  Biologically Inspired Process Calculi, MeCBIC 2012,
		  Newcastle, UK, 8th September 2012.},
  pages = {63--81},
  year = {2012},
  url = {http://dx.doi.org/10.4204/EPTCS.100.5},
  doi = {10.4204/EPTCS.100.5},
  timestamp = {Mon, 28 Oct 2013 16:56:55 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1211-4093},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/corr/bagnaracgb16,
  author = {Roberto Bagnara and Michele Chiari and Roberta Gori and
		  Abramo Bagnara},
  title = {A Practical Approach to Interval Refinement for
		  math.h/cmath Functions},
  journal = {CoRR},
  volume = {abs/1610.07390},
  year = {2016},
  url = {http://arxiv.org/abs/1610.07390},
  timestamp = {Wed, 02 Nov 2016 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/BagnaraCGB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/corr/bagnaracgg13,
  author = {Roberto Bagnara and Matthieu Carlier and Roberta Gori and
		  Arnaud Gotlieb},
  title = {Filtering Floating-Point Constraints by Maximum {ULP}},
  journal = {CoRR},
  volume = {abs/1308.3847},
  year = {2013},
  url = {http://arxiv.org/abs/1308.3847},
  timestamp = {Sun, 01 Sep 2013 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/BagnaraCGG13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/corr/cs-db-0404003,
  author = {Elisa Bertino and Barbara Catania and Roberta Gori},
  title = {Enhancing the expressive power of the U-Datalog language},
  journal = {CoRR},
  volume = {cs.DB/0404003},
  year = {2004},
  url = {http://arxiv.org/abs/cs.DB/0404003},
  timestamp = {Mon, 05 Dec 2011 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/cs-DB-0404003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/corr/cs-pl-0404055,
  author = {Roberto Bagnara and Roberta Gori and Patricia M. Hill and
		  Enea Zaffanella},
  title = {Finite-Tree Analysis for Constraint Logic-Based Languages:
		  The Complete Unabridged Version},
  journal = {CoRR},
  volume = {cs.PL/0404055},
  year = {2004},
  url = {http://arxiv.org/abs/cs.PL/0404055},
  timestamp = {Mon, 05 Dec 2011 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/cs-PL-0404055},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{dblp:journals/corr/maggiolo-schettinimp13,
  volume = {130},
  series = {{EPTCS}},
  editor = {Alex Graudenzi and Giulio Caravagna and Giancarlo Mauri
		  and Marco Antoniotti},
  author = {Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni
		  Pardini},
  title = {Application of a Semi-automatic Algorithm for
		  Identification of Molecular Components in {SBML} Models},
  booktitle = {Proceedings Wivace 2013 - Italian Workshop on Artificial
		  Life and Evolutionary Computation, Milan, Italy, July 1-2,
		  2013.},
  pages = {43--52},
  year = {2013},
  url = {http://dx.doi.org/10.4204/EPTCS.130.7},
  doi = {10.4204/EPTCS.130.7},
  timestamp = {Mon, 28 Oct 2013 16:56:55 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/Maggiolo-SchettiniMP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/cuza/drabikmm11,
  author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and
		  Paolo Milazzo},
  title = {Modular Verification of Interactive Systems with an
		  Application to Biology},
  journal = {Sci. Ann. Comp. Sci.},
  volume = {21},
  number = {1},
  pages = {39--72},
  year = {2011},
  url = {http://www.infoiasi.ro/bin/Annals/Article?v=XXI1&a=8},
  timestamp = {Sat, 13 Oct 2012 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/cuza/DrabikMM11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/cuza/drabikmmp13,
  author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and
		  Paolo Milazzo and Giovanni Pardini},
  title = {Modular Verification of Qualitative Pathway Models with
		  Fairness},
  journal = {Sci. Ann. Comp. Sci.},
  volume = {23},
  number = {1},
  pages = {75--117},
  year = {2013},
  url = {http://dx.doi.org/10.7561/SACS.2013.1.75},
  doi = {10.7561/SACS.2013.1.75},
  timestamp = {Mon, 28 Oct 2013 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/cuza/DrabikMMP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/entcs/barbuticmm08,
  author = {Roberto Barbuti and Giulio Caravagna and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo},
  title = {An Intermediate Language for the Simulation of Biological
		  Systems},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {194},
  number = {3},
  pages = {19--34},
  year = {2008},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.12.004},
  doi = {10.1016/j.entcs.2007.12.004},
  timestamp = {Thu, 12 Jun 2008 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/entcs/BarbutiCMM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/entcs/barbutimmp09,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Giovanni Pardini},
  title = {Spatial Calculus of Looping Sequences},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {229},
  number = {1},
  pages = {21--39},
  year = {2009},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.02.003},
  doi = {10.1016/j.entcs.2009.02.003},
  timestamp = {Sun, 19 Apr 2009 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/entcs/BarbutiMMP09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/entcs/barbutimmt09,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Luca Tesei},
  title = {Timed {P} Automata},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {227},
  pages = {21--36},
  year = {2009},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.12.102},
  doi = {10.1016/j.entcs.2008.12.102},
  timestamp = {Fri, 30 Jan 2009 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/entcs/BarbutiMMT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/entcs/basukicm09,
  author = {Thomas Anung Basuki and Antonio Cerone and Paolo Milazzo},
  title = {Translating Stochastic {CLS} into Maude},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {227},
  pages = {37--58},
  year = {2009},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.12.103},
  doi = {10.1016/j.entcs.2008.12.103},
  timestamp = {Fri, 30 Jan 2009 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/entcs/BasukiCM09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/entcs/bodeigl13,
  author = {Chiara Bodei and Roberta Gori and Francesca Levi},
  title = {An Analysis for Causal Properties of Membrane
		  Interactions},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {299},
  pages = {15--31},
  year = {2013},
  url = {http://dx.doi.org/10.1016/j.entcs.2013.11.003},
  doi = {10.1016/j.entcs.2013.11.003},
  timestamp = {Fri, 03 Jan 2014 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/entcs/BodeiGL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/entcs/colettagl09,
  author = {Alessio Coletta and Roberta Gori and Francesca Levi},
  title = {Approximating Probabilistic Behaviors of Biological
		  Systems Using Abstract Interpretation},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {229},
  number = {1},
  pages = {165--182},
  year = {2009},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.02.011},
  doi = {10.1016/j.entcs.2009.02.011},
  timestamp = {Sun, 19 Apr 2009 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/entcs/ColettaGL09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/entcs/drabikmm10,
  author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and
		  Paolo Milazzo},
  title = {Modular Verification of Interactive Systems with an
		  Application to Biology},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {268},
  pages = {61--75},
  year = {2010},
  url = {http://dx.doi.org/10.1016/j.entcs.2010.12.006},
  doi = {10.1016/j.entcs.2010.12.006},
  timestamp = {Wed, 29 Dec 2010 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/entcs/DrabikMM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/entcs/pardinimm13,
  author = {Giovanni Pardini and Paolo Milazzo and Andrea
		  Maggiolo{-}Schettini},
  title = {An Algorithm for the Identification of Components in
		  Biochemical Pathways},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {299},
  pages = {69--84},
  year = {2013},
  url = {http://dx.doi.org/10.1016/j.entcs.2013.11.007},
  doi = {10.1016/j.entcs.2013.11.007},
  timestamp = {Fri, 03 Jan 2014 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/entcs/PardiniMM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fac/barbutimmt08,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Angelo Troina},
  title = {Bisimulations in calculi modelling membranes},
  journal = {Formal Asp. Comput.},
  volume = {20},
  number = {4-5},
  pages = {351--377},
  year = {2008},
  url = {http://dx.doi.org/10.1007/s00165-008-0071-x},
  doi = {10.1007/s00165-008-0071-x},
  timestamp = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fac/BarbutiMMT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fmsd/barbutifsv05,
  author = {Roberto Barbuti and Nicoletta De Francesco and Antonella
		  Santone and Gigliola Vaglini},
  title = {Reduced Models for Efficient {CCS} Verification},
  journal = {Formal Methods in System Design},
  volume = {26},
  number = {3},
  pages = {319--350},
  year = {2005},
  url = {http://dx.doi.org/10.1007/s10703-005-1634-6},
  doi = {10.1007/s10703-005-1634-6},
  timestamp = {Mon, 13 Feb 2006 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fmsd/BarbutiFSV05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbutic05,
  author = {Roberto Barbuti and Stefano Cataudella},
  title = {Abstract Interpretation of an Object Calculus for
		  Synchronization Optimizations},
  journal = {Fundam. Inform.},
  volume = {67},
  number = {1-3},
  pages = {1--12},
  year = {2005},
  url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-02},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiC05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbuticmmt05,
  author = {Roberto Barbuti and Stefano Cataudella and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo and Angelo Troina},
  title = {A Probabilistic Model for Molecular Systems},
  journal = {Fundam. Inform.},
  volume = {67},
  number = {1-3},
  pages = {13--27},
  year = {2005},
  url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-03},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiCMMT05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbutict04,
  author = {Roberto Barbuti and Stefano Cataudella and Luca Tesei},
  title = {Abstract Interpretation Against Races},
  journal = {Fundam. Inform.},
  volume = {60},
  number = {1-4},
  pages = {67--79},
  year = {2004},
  url = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-06},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiCT04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbutiglm16,
  author = {Roberto Barbuti and Roberta Gori and Francesca Levi and
		  Paolo Milazzo},
  title = {Specialized Predictor for Reaction Systems with Context
		  Properties},
  journal = {Fundam. Inform.},
  volume = {147},
  number = {2-3},
  pages = {173--191},
  year = {2016},
  url = {http://dx.doi.org/10.3233/FI-2016-1403},
  doi = {10.3233/FI-2016-1403},
  timestamp = {Mon, 21 Nov 2016 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiGLM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbutilms11,
  author = {Roberto Barbuti and Francesca Levi and Paolo Milazzo and
		  Guido Scatena},
  title = {Maximally Parallel Probabilistic Semantics for Multiset
		  Rewriting},
  journal = {Fundam. Inform.},
  volume = {112},
  number = {1},
  pages = {1--17},
  year = {2011},
  url = {http://dx.doi.org/10.3233/FI-2011-575},
  doi = {10.3233/FI-2011-575},
  timestamp = {Mon, 19 Dec 2011 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiLMS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbutimmg10,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Damas P. Gruska},
  title = {A Notion of Biological Diagnosability Inspired by the
		  Notion of Opacity in Systems Security},
  journal = {Fundam. Inform.},
  volume = {102},
  number = {1},
  pages = {19--34},
  year = {2010},
  url = {http://dx.doi.org/10.3233/FI-2010-294},
  doi = {10.3233/FI-2010-294},
  timestamp = {Mon, 25 Oct 2010 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiMMG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbutimmt06,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Angelo Troina},
  title = {A Calculus of Looping Sequences for Modelling
		  Microbiological Systems},
  journal = {Fundam. Inform.},
  volume = {72},
  number = {1-3},
  pages = {21--35},
  year = {2006},
  url = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-03},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiMMT06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbutimmt08,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Simone Tini},
  title = {A {P} Systems Flat Form Preserving Step-by-step
		  Behaviour},
  journal = {Fundam. Inform.},
  volume = {87},
  number = {1},
  pages = {1--34},
  year = {2008},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiMMT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbutimmt09,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Simone Tini},
  title = {P Systems with Transport and Diffusion Membrane Channels},
  journal = {Fundam. Inform.},
  volume = {93},
  number = {1-3},
  pages = {17--31},
  year = {2009},
  url = {http://dx.doi.org/10.3233/FI-2009-0085},
  doi = {10.3233/FI-2009-0085},
  timestamp = {Thu, 20 Aug 2009 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiMMT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbutimmt09a,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Luca Tesei},
  title = {Timed {P} Automata},
  journal = {Fundam. Inform.},
  volume = {94},
  number = {1},
  pages = {1--19},
  year = {2009},
  url = {http://dx.doi.org/10.3233/FI-2009-114},
  doi = {10.3233/FI-2009-114},
  timestamp = {Thu, 20 Aug 2009 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiMMT09a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/barbutimtdm10,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Angelo
		  Troina and Mariangiola Dezani{-}Ciancaglini and Paolo
		  Milazzo},
  title = {A Formalism for the Description of Protein Interaction
		  Dedicated to Jerzy Tiuryn on the Occasion of his 60th
		  Birthday},
  journal = {Fundam. Inform.},
  volume = {103},
  number = {1-4},
  pages = {1--29},
  year = {2010},
  url = {http://dx.doi.org/10.3233/FI-2010-316},
  doi = {10.3233/FI-2010-316},
  timestamp = {Thu, 06 Jan 2011 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BarbutiMTDM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/drabikmm12,
  author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and
		  Paolo Milazzo},
  title = {On Conditions for Modular Verification in Systems of
		  Synchronising Components},
  journal = {Fundam. Inform.},
  volume = {120},
  number = {3-4},
  pages = {259--274},
  year = {2012},
  url = {http://dx.doi.org/10.3233/FI-2012-761},
  doi = {10.3233/FI-2012-761},
  timestamp = {Tue, 15 Jan 2013 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/DrabikMM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/fuin/gruskamm08,
  author = {Damas P. Gruska and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo},
  title = {Security in a Model for Long-running Transactions},
  journal = {Fundam. Inform.},
  volume = {85},
  number = {1-4},
  pages = {189--203},
  year = {2008},
  url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-14},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/GruskaMM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/iandc/bagnaraghz04,
  author = {Roberto Bagnara and Roberta Gori and Patricia M. Hill and
		  Enea Zaffanella},
  title = {Finite-tree analysis for constraint logic-based
		  languages},
  journal = {Inf. Comput.},
  volume = {193},
  number = {2},
  pages = {84--116},
  year = {2004},
  url = {http://dx.doi.org/10.1016/j.ic.2004.04.005},
  doi = {10.1016/j.ic.2004.04.005},
  timestamp = {Tue, 05 Apr 2005 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/iandc/BagnaraGHZ04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/iandc/goril10,
  author = {Roberta Gori and Francesca Levi},
  title = {Abstract interpretation based verification of temporal
		  properties for BioAmbients},
  journal = {Inf. Comput.},
  volume = {208},
  number = {8},
  pages = {869--921},
  year = {2010},
  url = {http://dx.doi.org/10.1016/j.ic.2010.03.004},
  doi = {10.1016/j.ic.2010.03.004},
  timestamp = {Tue, 02 Nov 2010 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/iandc/GoriL10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/iandc/levim04,
  author = {Francesca Levi and Sergio Maffeis},
  title = {On abstract interpretation of Mobile Ambients},
  journal = {Inf. Comput.},
  volume = {188},
  number = {2},
  pages = {179--240},
  year = {2004},
  url = {http://dx.doi.org/10.1016/j.ic.2003.06.001},
  doi = {10.1016/j.ic.2003.06.001},
  timestamp = {Thu, 15 Jan 2004 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/iandc/LeviM04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/ijfcs/barbutimmt11,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Simone Tini},
  title = {An Overview on Operational Semantics in Membrane
		  Computing},
  journal = {Int. J. Found. Comput. Sci.},
  volume = {22},
  number = {1},
  pages = {119--131},
  year = {2011},
  url = {http://dx.doi.org/10.1142/S0129054111007885},
  doi = {10.1142/S0129054111007885},
  timestamp = {Sun, 13 Feb 2011 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/ijfcs/BarbutiMMT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/informs/bagnaracgg16,
  author = {Roberto Bagnara and Matthieu Carlier and Roberta Gori and
		  Arnaud Gotlieb},
  title = {Exploiting Binary Floating-Point Representations for
		  Constraint Propagation},
  journal = {{INFORMS} Journal on Computing},
  volume = {28},
  number = {1},
  pages = {31--46},
  year = {2016},
  url = {http://dx.doi.org/10.1287/ijoc.2015.0663},
  doi = {10.1287/ijoc.2015.0663},
  timestamp = {Mon, 11 Apr 2016 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/informs/BagnaraCGG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/jcss/goril05,
  author = {Roberta Gori and Giorgio Levi},
  title = {On the verification of finite failure},
  journal = {J. Comput. Syst. Sci.},
  volume = {71},
  number = {4},
  pages = {535--575},
  year = {2005},
  url = {http://dx.doi.org/10.1016/j.jcss.2005.06.001},
  doi = {10.1016/j.jcss.2005.06.001},
  timestamp = {Tue, 25 Jul 2006 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/jcss/GoriL05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/jlp/barbutimmt10,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Simone Tini},
  title = {Compositional semantics of spiking neural {P} systems},
  journal = {J. Log. Algebr. Program.},
  volume = {79},
  number = {6},
  pages = {304--316},
  year = {2010},
  url = {http://dx.doi.org/10.1016/j.jlap.2010.03.011},
  doi = {10.1016/j.jlap.2010.03.011},
  timestamp = {Tue, 01 Feb 2011 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/jlp/BarbutiMMT10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/nc/barbutifp11,
  author = {Roberto Barbuti and Giuditta Franco and Gheorghe P\u{a}un},
  title = {Foreword},
  journal = {Natural Computing},
  volume = {10},
  number = {1},
  pages = {1--2},
  year = {2011},
  url = {http://dx.doi.org/10.1007/s11047-010-9203-3},
  doi = {10.1007/s11047-010-9203-3},
  timestamp = {Thu, 07 Apr 2011 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/nc/BarbutiFP11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/nc/barbutimmpt11,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Giovanni Pardini and Luca Tesei},
  title = {Spatial {P} systems},
  journal = {Natural Computing},
  volume = {10},
  number = {1},
  pages = {3--16},
  year = {2011},
  url = {http://dx.doi.org/10.1007/s11047-010-9187-z},
  doi = {10.1007/s11047-010-9187-z},
  timestamp = {Thu, 07 Apr 2011 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/nc/BarbutiMMPT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/nc/mancap14,
  author = {Vincenzo Manca and Giovanni Pardini},
  title = {Morphogenesis through moving membranes},
  journal = {Natural Computing},
  volume = {13},
  number = {3},
  pages = {403--419},
  year = {2014},
  url = {http://dx.doi.org/10.1007/s11047-013-9407-4},
  doi = {10.1007/s11047-013-9407-4},
  timestamp = {Wed, 03 Sep 2014 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/nc/MancaP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/nc/pardinimm14,
  author = {Giovanni Pardini and Paolo Milazzo and Andrea
		  Maggiolo{-}Schettini},
  title = {Identification of components in biochemical pathways:
		  extensive application to {SBML} models},
  journal = {Natural Computing},
  volume = {13},
  number = {3},
  pages = {351--365},
  year = {2014},
  url = {http://dx.doi.org/10.1007/s11047-014-9433-x},
  doi = {10.1007/s11047-014-9433-x},
  timestamp = {Wed, 03 Sep 2014 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/nc/PardiniMM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/scp/lanottemmt08,
  author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Angelo Troina},
  title = {Design and verification of long-running transactions in a
		  timed framework},
  journal = {Sci. Comput. Program.},
  volume = {73},
  number = {2-3},
  pages = {76--94},
  year = {2008},
  url = {http://dx.doi.org/10.1016/j.scico.2008.07.001},
  doi = {10.1016/j.scico.2008.07.001},
  timestamp = {Tue, 13 Jan 2009 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/scp/LanotteMMT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/barbuti09,
  author = {Roberto Barbuti},
  title = {Giorgio Levi in Pisa},
  journal = {Theor. Comput. Sci.},
  volume = {410},
  number = {46},
  pages = {4603--4604},
  year = {2009},
  url = {http://dx.doi.org/10.1016/j.tcs.2009.07.035},
  doi = {10.1016/j.tcs.2009.07.035},
  timestamp = {Tue, 29 Dec 2009 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/Barbuti09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/barbutibmp15,
  author = {Roberto Barbuti and Pasquale Bove and Paolo Milazzo and
		  Giovanni Pardini},
  title = {Minimal probabilistic {P} systems for modelling ecological
		  systems},
  journal = {Theor. Comput. Sci.},
  volume = {608},
  pages = {36--56},
  year = {2015},
  url = {http://dx.doi.org/10.1016/j.tcs.2015.07.035},
  doi = {10.1016/j.tcs.2015.07.035},
  timestamp = {Sat, 05 Dec 2015 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarbutiBMP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/barbuticmm09,
  author = {Roberto Barbuti and Giulio Caravagna and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo},
  title = {An intermediate language for the stochastic simulation of
		  biological systems},
  journal = {Theor. Comput. Sci.},
  volume = {410},
  number = {33-34},
  pages = {3085--3109},
  year = {2009},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.09.032},
  doi = {10.1016/j.tcs.2008.09.032},
  timestamp = {Thu, 03 Sep 2009 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarbutiCMM09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/barbuticmmt12,
  author = {Roberto Barbuti and Giulio Caravagna and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini},
  title = {Foundational aspects of multiscale modeling of biological
		  systems with process algebras},
  journal = {Theor. Comput. Sci.},
  volume = {431},
  pages = {96--116},
  year = {2012},
  url = {http://dx.doi.org/10.1016/j.tcs.2011.12.058},
  doi = {10.1016/j.tcs.2011.12.058},
  timestamp = {Sat, 10 Nov 2012 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarbutiCMMT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/barbutiglm16,
  author = {Roberto Barbuti and Roberta Gori and Francesca Levi and
		  Paolo Milazzo},
  title = {Investigating dynamic causalities in reaction systems},
  journal = {Theor. Comput. Sci.},
  volume = {623},
  pages = {114--145},
  year = {2016},
  url = {http://dx.doi.org/10.1016/j.tcs.2015.11.041},
  doi = {10.1016/j.tcs.2015.11.041},
  timestamp = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarbutiGLM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/barbutilms12,
  author = {Roberto Barbuti and Francesca Levi and Paolo Milazzo and
		  Guido Scatena},
  title = {Probabilistic model checking of biological systems with
		  uncertain kinetic rates},
  journal = {Theor. Comput. Sci.},
  volume = {419},
  pages = {2--16},
  year = {2012},
  url = {http://dx.doi.org/10.1016/j.tcs.2011.10.022},
  doi = {10.1016/j.tcs.2011.10.022},
  timestamp = {Tue, 07 Feb 2012 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarbutiLMS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/barbutimmp11,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Giovanni Pardini},
  title = {Spatial Calculus of Looping Sequences},
  journal = {Theor. Comput. Sci.},
  volume = {412},
  number = {43},
  pages = {5976--6001},
  year = {2011},
  url = {http://dx.doi.org/10.1016/j.tcs.2011.01.020},
  doi = {10.1016/j.tcs.2011.01.020},
  timestamp = {Thu, 20 Oct 2011 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarbutiMMP11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/barbutimmp14,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Giovanni Pardini},
  title = {Simulation of Spatial {P} system models},
  journal = {Theor. Comput. Sci.},
  volume = {529},
  pages = {11--45},
  year = {2014},
  url = {http://dx.doi.org/10.1016/j.tcs.2013.08.002},
  doi = {10.1016/j.tcs.2013.08.002},
  timestamp = {Thu, 27 Mar 2014 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarbutiMMP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/barbutimmt08,
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Simone Tini},
  title = {Compositional semantics and behavioral equivalences for
		  {P} Systems},
  journal = {Theor. Comput. Sci.},
  volume = {395},
  number = {1},
  pages = {77--100},
  year = {2008},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.01.028},
  doi = {10.1016/j.tcs.2008.01.028},
  timestamp = {Fri, 11 Jul 2008 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarbutiMMT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/bodeigl15,
  author = {Chiara Bodei and Roberta Gori and Francesca Levi},
  title = {Causal static analysis for Brane Calculi},
  journal = {Theor. Comput. Sci.},
  volume = {587},
  pages = {73--103},
  year = {2015},
  url = {http://dx.doi.org/10.1016/j.tcs.2015.03.014},
  doi = {10.1016/j.tcs.2015.03.014},
  timestamp = {Fri, 19 Jun 2015 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BodeiGL15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/goril13,
  author = {Roberta Gori and Francesca Levi},
  title = {An analysis for proving probabilistic termination of
		  biological systems},
  journal = {Theor. Comput. Sci.},
  volume = {471},
  pages = {27--73},
  year = {2013},
  url = {http://dx.doi.org/10.1016/j.tcs.2012.10.058},
  doi = {10.1016/j.tcs.2012.10.058},
  timestamp = {Wed, 13 Feb 2013 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/GoriL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/pardinibmmt14,
  author = {Giovanni Pardini and Roberto Barbuti and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini},
  title = {Compositional semantics and behavioural equivalences for
		  reaction systems with restriction},
  journal = {Theor. Comput. Sci.},
  volume = {551},
  pages = {1--21},
  year = {2014},
  url = {http://dx.doi.org/10.1016/j.tcs.2014.04.010},
  doi = {10.1016/j.tcs.2014.04.010},
  timestamp = {Thu, 18 Sep 2014 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/PardiniBMMT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcs/pardinimm15,
  author = {Giovanni Pardini and Paolo Milazzo and Andrea
		  Maggiolo{-}Schettini},
  title = {Component identification in biochemical pathways},
  journal = {Theor. Comput. Sci.},
  volume = {587},
  pages = {104--124},
  year = {2015},
  url = {http://dx.doi.org/10.1016/j.tcs.2015.03.013},
  doi = {10.1016/j.tcs.2015.03.013},
  timestamp = {Fri, 19 Jun 2015 01:00:00 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/PardiniMM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcsb/barbuticmm11,
  isbn = {978-3-642-19747-5},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  editor = {Corrado Priami and Ralph{-}Johan Back and Ion Petre and
		  Erik P. de Vink},
  author = {Roberto Barbuti and Giulio Caravagna and Andrea
		  Maggiolo{-}Schettini and Paolo Milazzo},
  title = {Delay Stochastic Simulation of Biological Systems: {A}
		  Purely Delayed Approach},
  journal = {Trans. Computational Systems Biology},
  volume = {13},
  pages = {61--84},
  year = {2011},
  url = {http://dx.doi.org/10.1007/978-3-642-19748-2_4},
  doi = {10.1007/978-3-642-19748-2_4},
  timestamp = {Fri, 11 Mar 2016 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcsb/BarbutiCMM11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{dblp:journals/tcsb/barbutimmtt08,
  isbn = {978-3-540-88764-5},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  editor = {Corrado Priami},
  author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo
		  Milazzo and Paolo Tiberi and Angelo Troina},
  title = {Stochastic Calculus of Looping Sequences for the Modelling
		  and Simulation of Cellular Pathways},
  journal = {Trans. Computational Systems Biology},
  volume = {9},
  pages = {86--113},
  year = {2008},
  url = {http://dx.doi.org/10.1007/978-3-540-88765-2_3},
  doi = {10.1007/978-3-540-88765-2_3},
  timestamp = {Fri, 11 Mar 2016 00:00:00 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcsb/BarbutiMMTT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@phdthesis{milazzo2007qualitative,
  title = {Qualitative and quantitative formal modeling of biological
		  systems},
  author = {Milazzo, Paolo},
  year = {2007},
  school = {Ph. D. Thesis, University of Pisa}
}
@book{milazzo2008formal,
  title = {Formal Modeling in Systems Biology: An Approach from
		  Theoretical Computer Science},
  author = {Milazzo, Paolo},
  year = {2008},
  publisher = {VDM Verlag}
}
@article{sameen2016mathematical,
  title = {Mathematical modeling of drug resistance due to KRAS
		  mutation in colorectal cancer},
  author = {Sameen, Sheema and Barbuti, Roberto and Milazzo, Paolo and
		  Cerone, Antonio and Del Re, Marzia and Danesi, Romano},
  journal = {Journal of theoretical biology},
  volume = {389},
  pages = {263--273},
  year = {2016},
  publisher = {Elsevier}
}

This file was generated by bibtex2html 1.98.