@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}}
@inproceedings{8373044,
author = {G. {Burchi} and S. {Chessa} and F. {Gambineri} and A.
{Kocian} and D. {Massa} and P. {Milazzo} and L.
{Rimediotti} and A. {Ruggeri}},
booktitle = {2018 IoT Vertical and Topical Summit on Agriculture -
Tuscany (IOT Tuscany)},
title = {Information technology controlled greenhouse: A system
architecture},
year = {2018},
volume = {},
number = {},
pages = {1-6},
keywords = {crops;data acquisition;decision support
systems;greenhouses;horticulture;irrigation;Information
technology controlled greenhouse;greenhouse
cultivation;HouseGarden High Tech;innovative
technology;High-Tech greenhouse;NonThermal Plasma
technology;agronomic development;horticultural
crops;monitoring systems;data acquisition;crop management
optimization;decision support tool;Green
products;Sensors;Monitoring;Mathematical
model;Irrigation;Biological system
modeling;Greenhouses;high tech protected crops;precision
horticulture;non-thermal plasma;mathematical yield model},
doi = {10.1109/IOT-TUSCANY.2018.8373044},
issn = {},
month = {May}
}
@article{ahluwalia2018inauguration,
title = {Inauguration of the Centro 3R for the Promotion of 3Rs
Principles in Teaching and Research},
author = {Ahluwalia, Arti and Bassi, Anna Maria and Milazzo, Paolo},
journal = {ALTEX-Alternatives to animal experimentation},
volume = {35},
number = {2},
pages = {260--261},
year = {2018}
}
@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{barbuti2018mathematical,
title = {A mathematical model for the study of the impact of small
commercial fishing on the biodiversity of artificial
reefs},
author = {Barbuti, Roberto and Berni, Paolo and Milazzo, Paolo},
journal = {Atti della Soc. Toscana di Scienze Naturali, Memorie Serie
B},
volume = {125},
pages = {45-52},
year = {2018}
}
@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/aaai/gotlieblnrsg17,
publisher = {{AAAI} Press},
editor = {Satinder P. Singh and Shaul Markovitch},
author = {Arnaud Gotlieb and Marine Louarn and Mari Nyg{\aa}rd and
Tom{\'{a}}s Ruiz{-}L{\'{o}}pez and Sagar Sen and Roberta
Gori},
title = {Constraint-Based Verification of a Mobile App Game
Designed for Nudging People to Attend Cancer Screening},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on
Artificial Intelligence, February 4-9, 2017, San Francisco,
California, {USA.}},
pages = {4678--4685},
year = {2017},
url = {http://aaai.org/ocs/index.php/IAAI/IAAI17/paper/view/14432},
timestamp = {Mon, 06 Mar 2017 08:17:31 +0100},
biburl = {https://dblp.org/rec/bib/conf/aaai/GotliebLNRSG17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {https://doi.org/10.1109/ACSD.2005.6},
doi = {10.1109/ACSD.2005.6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/acsd/CarpinetiLM05},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/11575467\_25},
doi = {10.1007/11575467\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/aplas/GoriL05},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/11924661\_15},
doi = {10.1007/11924661\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/aplas/GoriL06},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/biostec/gorimn19,
publisher = {SciTePress},
editor = {Elisabetta De Maria and Ana L. N. Fred and Hugo Gamboa},
author = {Roberta Gori and Paolo Milazzo and Lucia Nasti},
title = {Towards an Efficient Verification Method for Monotonicity
Properties of Chemical Reaction Networks},
booktitle = {Proceedings of the 12th International Joint Conference on
Biomedical Engineering Systems and Technologies {(BIOSTEC}
2019) - Volume 3: BIOINFORMATICS, Prague, Czech Republic,
February 22-24, 2019.},
pages = {250--257},
year = {2019},
url = {https://doi.org/10.5220/0007522002500257},
doi = {10.5220/0007522002500257},
timestamp = {Tue, 04 Jun 2019 14:38:54 +0200},
biburl = {https://dblp.org/rec/bib/conf/biostec/GoriMN19},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-319-13350-8\_2},
doi = {10.1007/978-3-319-13350-8\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/bib/conf/birthday/BarbutiMMPT14},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-642-39053-1\_39},
doi = {10.1007/978-3-642-39053-1\_39},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/cie/PardiniBMMT13},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/csp/barbutibglm18,
urn = {urn:nbn:de:0074-2240-3},
publisher = {CEUR-WS.org},
volume = {2240},
series = {{CEUR} Workshop Proceedings},
editor = {Bernd{-}Holger Schlingloff and Samira Akili},
author = {Roberto Barbuti and Pasquale Bove and Roberta Gori and
Francesca Levi and Paolo Milazzo},
title = {Simulating Gene Regulatory Networks using Reaction
Systems},
booktitle = {Proceedings of the 27th International Workshop on
Concurrency, Specification and Programming, Berlin,
Germany, September 24-26, 2018.},
year = {2018},
url = {http://ceur-ws.org/Vol-2240/paper11.pdf},
timestamp = {Tue, 28 May 2019 16:23:30 +0200},
biburl = {https://dblp.org/rec/bib/conf/csp/BarbutiBGLM18},
bibsource = {dblp computer science bibliography, https://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 = {Tue, 28 May 2019 16:23:29 +0200},
biburl = {https://dblp.org/rec/bib/conf/csp/BarbutiGLM15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/csp/gorigm18,
urn = {urn:nbn:de:0074-2240-3},
publisher = {CEUR-WS.org},
volume = {2240},
series = {{CEUR} Workshop Proceedings},
editor = {Bernd{-}Holger Schlingloff and Samira Akili},
author = {Roberta Gori and Damas P. Gruska and Paolo Milazzo},
title = {Hidden States in Reaction Systems},
booktitle = {Proceedings of the 27th International Workshop on
Concurrency, Specification and Programming, Berlin,
Germany, September 24-26, 2018.},
year = {2018},
url = {http://ceur-ws.org/Vol-2240/paper12.pdf},
timestamp = {Tue, 28 May 2019 16:23:30 +0200},
biburl = {https://dblp.org/rec/bib/conf/csp/GoriGM18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/eics/brocciamm18,
publisher = {{ACM}},
author = {Giovanna Broccia and Paolo Masci and Paolo Milazzo},
title = {Modeling and Analysis of Human Memory Load in Multitasking
Scenarios: Late-Breaking Results},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering
Interactive Computing Systems, {EICS} 2018, Paris, France,
June 19-22, 2018},
pages = {9:1--9:7},
year = {2018},
url = {https://doi.org/10.1145/3220134.3220140},
doi = {10.1145/3220134.3220140},
timestamp = {Wed, 21 Nov 2018 12:44:12 +0100},
biburl = {https://dblp.org/rec/bib/conf/eics/BrocciaMM18},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-642-11486-1\_6},
doi = {10.1007/978-3-642-11486-1\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/bib/conf/ershov/BarbutiLMMPR09},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-540-24725-8\_14},
doi = {10.1007/978-3-540-24725-8\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/esop/LeviB04},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/11768869\_10},
doi = {10.1007/11768869\_10},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/bib/conf/fmoods/LanotteMMT06},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1109/GAS.2015.13},
doi = {10.1109/GAS.2015.13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/icse/MilazzoPSB15},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1109/ICST.2013.17},
doi = {10.1109/ICST.2013.17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/icst/BagnaraCGG13},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/11921240\_7},
doi = {10.1007/11921240\_7},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/bib/conf/ictac/BarbutiMMT06},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1109/IMIS.2012.186},
doi = {10.1109/IMIS.2012.186},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/conf/imis/CaravagnaCWP12},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-540-72031-7\_58},
doi = {10.1007/978-3-540-72031-7\_58},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/bib/conf/isbra/BarbutiMM07},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-319-27436-2\_11},
doi = {10.1007/978-3-319-27436-2\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/lopstr/BodeiBGHL15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/membrane/barbutibmp16,
isbn = {978-3-319-54071-9},
publisher = {Springer},
volume = {10105},
series = {Lecture Notes in Computer Science},
editor = {Alberto Leporati and Grzegorz Rozenberg and Arto Salomaa
and Claudio Zandron},
author = {Roberto Barbuti and Pasquale Bove and Paolo Milazzo and
Giovanni Pardini},
title = {Applications of {P} Systems in Population Biology and
Ecology: The Cases of {MPP} and {APP} Systems},
booktitle = {Membrane Computing - 17th International Conference, {CMC}
2016, Milan, Italy, July 25-29, 2016, Revised Selected
Papers},
pages = {28--48},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54072-6\_3},
doi = {10.1007/978-3-319-54072-6\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/bib/conf/membrane/BarbutiBMP16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/membrane/barbutigm17,
isbn = {978-3-319-73358-6},
publisher = {Springer},
volume = {10725},
series = {Lecture Notes in Computer Science},
editor = {Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa
and Claudio Zandron},
author = {Roberto Barbuti and Roberta Gori and Paolo Milazzo},
title = {Multiset Patterns and Their Application to Dynamic
Causalities in Membrane Systems},
booktitle = {Membrane Computing - 18th International Conference, {CMC}
2017, Bradford, UK, July 25-28, 2017, Revised Selected
Papers},
pages = {54--73},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73359-3\_4},
doi = {10.1007/978-3-319-73359-3\_4},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/bib/conf/membrane/BarbutiGM17},
bibsource = {dblp computer science bibliography, https://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
Pu{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 = {https://doi.org/10.1007/978-3-540-77312-2\_4},
doi = {10.1007/978-3-540-77312-2\_4},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/bib/conf/membrane/BarbutiMMT07},
bibsource = {dblp computer science bibliography, https://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 Pu{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 = {https://doi.org/10.1007/978-3-642-18123-8\_11},
doi = {10.1007/978-3-642-18123-8\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/bib/conf/membrane/BarbutiMMT10},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/ncma/DrabikMM10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/nfm/brocciamo18,
isbn = {978-3-319-77934-8},
publisher = {Springer},
volume = {10811},
series = {Lecture Notes in Computer Science},
editor = {Aaron Dutle and C{\'{e}}sar A. Mu{\~{n}}oz and Anthony
Narkawicz},
author = {Giovanna Broccia and Paolo Milazzo and Peter Csaba
{\"{O}}lveczky},
title = {An Executable Formal Framework for Safety-Critical Human
Multitasking},
booktitle = {{NASA} Formal Methods - 10th International Symposium,
{NFM} 2018, Newport News, VA, USA, April 17-19, 2018,
Proceedings},
pages = {54--69},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_4},
doi = {10.1007/978-3-319-77935-5\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/bib/conf/nfm/BrocciaMO18},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-642-04420-5\_8},
doi = {10.1007/978-3-642-04420-5\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/bib/conf/rp/BarbutiLMS09},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1145/967900.967991},
doi = {10.1145/967900.967991},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/bib/conf/sac/BarbutiC04},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-662-49224-6\_15},
doi = {10.1007/978-3-662-49224-6\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/bib/conf/sefm/BarbutiBBMP15},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-319-05032-4\_24},
doi = {10.1007/978-3-319-05032-4\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/bib/conf/sefm/BarbutiBMMP13},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-642-54338-8\_14},
doi = {10.1007/978-3-642-54338-8\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/bib/conf/sefm/BarbutiCMMS12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/sefm/brocciamo17,
isbn = {978-3-319-74780-4},
publisher = {Springer},
volume = {10729},
series = {Lecture Notes in Computer Science},
editor = {Antonio Cerone and Marco Roveri},
author = {Giovanna Broccia and Paolo Milazzo and Peter Csaba
{\"{O}}lveczky},
title = {An Algorithm for Simulating Human Selective Attention},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017
Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and
FOCLASA, Trento, Italy, September 4-5, 2017, Revised
Selected Papers},
pages = {48--55},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_4},
doi = {10.1007/978-3-319-74781-1\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/bib/conf/sefm/BrocciaMO17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/sefm/nastim17,
isbn = {978-3-319-74780-4},
publisher = {Springer},
volume = {10729},
series = {Lecture Notes in Computer Science},
editor = {Antonio Cerone and Marco Roveri},
author = {Lucia Nasti and Paolo Milazzo},
title = {A Computational Model of Internet Addiction Phenomena in
Social Networks},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017
Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and
FOCLASA, Trento, Italy, September 4-5, 2017, Revised
Selected Papers},
pages = {86--100},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_7},
doi = {10.1007/978-3-319-74781-1\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/bib/conf/sefm/NastiM17},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-319-15201-1\_16},
doi = {10.1007/978-3-319-15201-1\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/bib/conf/sefm/SameenBMC14},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-662-49224-6\_17},
doi = {10.1007/978-3-662-49224-6\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/bib/conf/sefm/SetiawanCM15},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-540-68894-5\_11},
doi = {10.1007/978-3-540-68894-5\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/bib/conf/sfm/BarbutiCMMP08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/staf/nastigm18,
isbn = {978-3-030-04770-2},
publisher = {Springer},
volume = {11176},
series = {Lecture Notes in Computer Science},
editor = {Manuel Mazzara and Iulian Ober and Gwen Sala{\"{u}}n},
author = {Lucia Nasti and Roberta Gori and Paolo Milazzo},
title = {Formalizing a Notion of Concentration Robustness for
Biochemical Networks},
booktitle = {Software Technologies: Applications and Foundations -
{STAF} 2018 Collocated Workshops, Toulouse, France, June
25-29, 2018, Revised Selected Papers},
pages = {81--97},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04771-9\_8},
doi = {10.1007/978-3-030-04771-9\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/bib/conf/staf/NastiGM18},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-319-50230-4\_6},
doi = {10.1007/978-3-319-50230-4\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/bib/conf/staf/PardiniM16},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-642-38004-4\_3},
doi = {10.1007/978-3-642-38004-4\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/bib/conf/stm/CaravagnaCP12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/tpnc/barbutibgm18,
isbn = {978-3-030-04069-7},
publisher = {Springer},
volume = {11324},
series = {Lecture Notes in Computer Science},
editor = {David Fagan and Carlos Mart{\'{\i}}n{-}Vide and Michael
O'Neill and Miguel A. Vega{-}Rodr{\'{\i}}guez},
author = {Roberto Barbuti and Anna Bernasconi and Roberta Gori and
Paolo Milazzo},
title = {Computing Preimages and Ancestors in Reaction Systems},
booktitle = {Theory and Practice of Natural Computing - 7th
International Conference, {TPNC} 2018, Dublin, Ireland,
December 12-14, 2018, Proceedings},
pages = {23--35},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04070-3\_2},
doi = {10.1007/978-3-030-04070-3\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/bib/conf/tpnc/BarbutiBGM18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dblp:conf/vmcai/brunigg18,
isbn = {978-3-319-73720-1},
publisher = {Springer},
volume = {10747},
series = {Lecture Notes in Computer Science},
editor = {Isil Dillig and Jens Palsberg},
author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori},
title = {Code Obfuscation Against Abstract Model Checking Attacks},
booktitle = {Verification, Model Checking, and Abstract Interpretation
- 19th International Conference, {VMCAI} 2018, Los Angeles,
CA, USA, January 7-9, 2018, Proceedings},
pages = {94--115},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_5},
doi = {10.1007/978-3-319-73721-8\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/bib/conf/vmcai/BruniGG18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{dblp:journals/acta/barbutiglm18,
author = {Roberto Barbuti and Roberta Gori and Francesca Levi and
Paolo Milazzo},
title = {Generalized contexts for reaction systems: definition and
study of dynamic causalities},
journal = {Acta Inf.},
volume = {55},
number = {3},
pages = {227--267},
year = {2018},
url = {https://doi.org/10.1007/s00236-017-0296-3},
doi = {10.1007/s00236-017-0296-3},
timestamp = {Wed, 04 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/acta/BarbutiGLM18},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/s00236-003-0135-6},
doi = {10.1007/s00236-003-0135-6},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/acta/BarbutiT04},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/s00236-005-0002-8},
doi = {10.1007/s00236-005-0002-8},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/acta/Levi06},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1186/1471-2105-13-S4-S8},
doi = {10.1186/1471-2105-13-S4-S8},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/bmcbi/CaravagnaBd12},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1093/comjnl/47.1.25},
doi = {10.1093/comjnl/47.1.25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/cj/BarbutiBF04},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1093/comjnl/bxp031},
doi = {10.1093/comjnl/bxp031},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/cj/BarbutiFT10},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.4204/EPTCS.6.2},
doi = {10.4204/EPTCS.6.2},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-0910-1219},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.4204/EPTCS.11.3},
doi = {10.4204/EPTCS.11.3},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-0911-4854},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.4204/EPTCS.11.9},
doi = {10.4204/EPTCS.11.9},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-0911-4988},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.4204/EPTCS.19.8},
doi = {10.4204/EPTCS.19.8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1002-4067},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.4204/EPTCS.33.2},
doi = {10.4204/EPTCS.33.2},
timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1008-3301},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.4204/EPTCS.40.5},
doi = {10.4204/EPTCS.40.5},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1011-0491},
bibsource = {dblp computer science bibliography, https://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},
archiveprefix = {arXiv},
eprint = {1011.5389},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1011-5389},
bibsource = {dblp computer science bibliography, https://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},
archiveprefix = {arXiv},
eprint = {1108.3424},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1108-3424},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.4204/EPTCS.100.5},
doi = {10.4204/EPTCS.100.5},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1211-4093},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{dblp:journals/corr/abs-1903-06119,
author = {Roberto Bagnara and Abramo Bagnara and Fabio Biselli and
Michele Chiari and Roberta Gori},
title = {Correct Approximation of {IEEE} 754 Floating-Point
Arithmetic for Program Verification},
journal = {CoRR},
volume = {abs/1903.06119},
year = {2019},
url = {http://arxiv.org/abs/1903.06119},
archiveprefix = {arXiv},
eprint = {1903.06119},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1903-06119},
bibsource = {dblp computer science bibliography, https://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},
archiveprefix = {arXiv},
eprint = {1610.07390},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/BagnaraCGB16},
bibsource = {dblp computer science bibliography, https://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},
archiveprefix = {arXiv},
eprint = {1308.3847},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/BagnaraCGG13},
bibsource = {dblp computer science bibliography, https://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, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/cs-DB-0404003},
bibsource = {dblp computer science bibliography, https://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, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/cs-PL-0404055},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.4204/EPTCS.130.7},
doi = {10.4204/EPTCS.130.7},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/Maggiolo-SchettiniMP13},
bibsource = {dblp computer science bibliography, https://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.info.uaic.ro/bin/Annals/Article?v=XXI1\&\#38;a=8},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/cuza/DrabikMM11},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.7561/SACS.2013.1.75},
doi = {10.7561/SACS.2013.1.75},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/cuza/DrabikMMP13},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.entcs.2007.12.004},
doi = {10.1016/j.entcs.2007.12.004},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/entcs/BarbutiCMM08},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.entcs.2009.02.003},
doi = {10.1016/j.entcs.2009.02.003},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/entcs/BarbutiMMP09},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.entcs.2008.12.102},
doi = {10.1016/j.entcs.2008.12.102},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/entcs/BarbutiMMT09},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.entcs.2008.12.103},
doi = {10.1016/j.entcs.2008.12.103},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/entcs/BasukiCM09},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.entcs.2013.11.003},
doi = {10.1016/j.entcs.2013.11.003},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/entcs/BodeiGL13},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.entcs.2009.02.011},
doi = {10.1016/j.entcs.2009.02.011},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/entcs/ColettaGL09},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.entcs.2010.12.006},
doi = {10.1016/j.entcs.2010.12.006},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/entcs/DrabikMM10},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.entcs.2013.11.007},
doi = {10.1016/j.entcs.2013.11.007},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/entcs/PardiniMM13},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/s00165-008-0071-x},
doi = {10.1007/s00165-008-0071-x},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fac/BarbutiMMT08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{dblp:journals/fac/brunigg18,
author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori},
title = {Code obfuscation against abstraction refinement attacks},
journal = {Formal Asp. Comput.},
volume = {30},
number = {6},
pages = {685--711},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0462-6},
doi = {10.1007/s00165-018-0462-6},
timestamp = {Thu, 15 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/fac/BruniGG18},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/s10703-005-1634-6},
doi = {10.1007/s10703-005-1634-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fmsd/BarbutiFSV05},
bibsource = {dblp computer science bibliography, https://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 = {Sat, 03 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/fuin/BarbutiC05},
bibsource = {dblp computer science bibliography, https://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 = {Sat, 03 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/fuin/BarbutiCMMT05},
bibsource = {dblp computer science bibliography, https://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 = {Sat, 03 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/fuin/BarbutiCT04},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.3233/FI-2016-1403},
doi = {10.3233/FI-2016-1403},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fuin/BarbutiGLM16},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.3233/FI-2011-575},
doi = {10.3233/FI-2011-575},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fuin/BarbutiLMS11},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.3233/FI-2010-294},
doi = {10.3233/FI-2010-294},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fuin/BarbutiMMG10},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/journals/fuin/BarbutiMMT06},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/journals/fuin/BarbutiMMT08},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.3233/FI-2009-0085},
doi = {10.3233/FI-2009-0085},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fuin/BarbutiMMT09},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.3233/FI-2009-114},
doi = {10.3233/FI-2009-114},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fuin/BarbutiMMT09a},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.3233/FI-2010-316},
doi = {10.3233/FI-2010-316},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fuin/BarbutiMTDM10},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.3233/FI-2012-761},
doi = {10.3233/FI-2012-761},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fuin/DrabikMM12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{dblp:journals/fuin/gorigm19,
author = {Roberta Gori and Damas P. Gruska and Paolo Milazzo},
title = {Studying Opacity of Reaction Systems through Formula Based
Predictors},
journal = {Fundam. Inform.},
volume = {165},
number = {3-4},
pages = {303--319},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1787},
doi = {10.3233/FI-2019-1787},
timestamp = {Fri, 29 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/fuin/GoriGM19},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/journals/fuin/GruskaMM08},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.ic.2004.04.005},
doi = {10.1016/j.ic.2004.04.005},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/iandc/BagnaraGHZ04},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.ic.2010.03.004},
doi = {10.1016/j.ic.2010.03.004},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/iandc/GoriL10},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.ic.2003.06.001},
doi = {10.1016/j.ic.2003.06.001},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/iandc/LeviM04},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1142/S0129054111007885},
doi = {10.1142/S0129054111007885},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/ijfcs/BarbutiMMT11},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1287/ijoc.2015.0663},
doi = {10.1287/ijoc.2015.0663},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/informs/BagnaraCGG16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{dblp:journals/isse/brocciamo19,
author = {Giovanna Broccia and Paolo Milazzo and Peter Csaba
{\"{O}}lveczky},
title = {Formal modeling and analysis of safety-critical human
multitasking},
journal = {{ISSE}},
volume = {15},
number = {3-4},
pages = {169--190},
year = {2019},
url = {https://doi.org/10.1007/s11334-019-00333-7},
doi = {10.1007/s11334-019-00333-7},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/isse/BrocciaMO19},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.jcss.2005.06.001},
doi = {10.1016/j.jcss.2005.06.001},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/jcss/GoriL05},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{dblp:journals/jiis/milazzop19,
author = {Paolo Milazzo and Giovanni Pardini},
title = {Objective/MC: {A} high-level model checking language -
Formalization of the imperative core and translation into
{PRISM}},
journal = {J. Intell. Inf. Syst.},
volume = {52},
number = {3},
pages = {533--571},
year = {2019},
url = {https://doi.org/10.1007/s10844-017-0475-2},
doi = {10.1007/s10844-017-0475-2},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/jiis/MilazzoP19},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.jlap.2010.03.011},
doi = {10.1016/j.jlap.2010.03.011},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/jlp/BarbutiMMT10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{dblp:journals/jlp/nastim18,
author = {Lucia Nasti and Paolo Milazzo},
title = {A Hybrid Automata model of social networking addiction},
journal = {J. Log. Algebr. Meth. Program.},
volume = {100},
pages = {215--229},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.07.002},
doi = {10.1016/j.jlamp.2018.07.002},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/jlp/NastiM18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{dblp:journals/nc/barbutifp11,
author = {Roberto Barbuti and Giuditta Franco and Gheorghe Pu{a}un},
title = {Foreword},
journal = {Natural Computing},
volume = {10},
number = {1},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1007/s11047-010-9203-3},
doi = {10.1007/s11047-010-9203-3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/nc/BarbutiFP11},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/s11047-010-9187-z},
doi = {10.1007/s11047-010-9187-z},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/nc/BarbutiMMPT11},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/s11047-013-9407-4},
doi = {10.1007/s11047-013-9407-4},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/nc/MancaP14},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/s11047-014-9433-x},
doi = {10.1007/s11047-014-9433-x},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/nc/PardiniMM14},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.scico.2008.07.001},
doi = {10.1016/j.scico.2008.07.001},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/scp/LanotteMMT08},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2009.07.035},
doi = {10.1016/j.tcs.2009.07.035},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/Barbuti09},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2015.07.035},
doi = {10.1016/j.tcs.2015.07.035},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/tcs/BarbutiBMP15},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2008.09.032},
doi = {10.1016/j.tcs.2008.09.032},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/BarbutiCMM09},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2011.12.058},
doi = {10.1016/j.tcs.2011.12.058},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/BarbutiCMMT12},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2015.11.041},
doi = {10.1016/j.tcs.2015.11.041},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/BarbutiGLM16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{dblp:journals/tcs/barbutigm18,
author = {Roberto Barbuti and Roberta Gori and Paolo Milazzo},
title = {Predictors for flat membrane systems},
journal = {Theor. Comput. Sci.},
volume = {736},
pages = {79--102},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.04.007},
doi = {10.1016/j.tcs.2018.04.007},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/BarbutiGM18},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2011.10.022},
doi = {10.1016/j.tcs.2011.10.022},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/BarbutiLMS12},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2011.01.020},
doi = {10.1016/j.tcs.2011.01.020},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/BarbutiMMP11},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2013.08.002},
doi = {10.1016/j.tcs.2013.08.002},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/tcs/BarbutiMMP14},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2008.01.028},
doi = {10.1016/j.tcs.2008.01.028},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/BarbutiMMT08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{dblp:journals/tcs/bodeibglbh17,
author = {Chiara Bodei and Linda Brodo and Roberta Gori and
Francesca Levi and Antonio Bernini and Diana Hermith},
title = {A static analysis for Brane Calculi providing global
occurrence counting information},
journal = {Theor. Comput. Sci.},
volume = {696},
pages = {11--51},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.07.008},
doi = {10.1016/j.tcs.2017.07.008},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/tcs/BodeiBGLBH17},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2015.03.014},
doi = {10.1016/j.tcs.2015.03.014},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/BodeiGL15},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2012.10.058},
doi = {10.1016/j.tcs.2012.10.058},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/GoriL13},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2014.04.010},
doi = {10.1016/j.tcs.2014.04.010},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/PardiniBMMT14},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1016/j.tcs.2015.03.013},
doi = {10.1016/j.tcs.2015.03.013},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/tcs/PardiniMM15},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-642-19748-2\_4},
doi = {10.1007/978-3-642-19748-2\_4},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcsb/BarbutiCMM11},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1007/978-3-540-88765-2\_3},
doi = {10.1007/978-3-540-88765-2\_3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcsb/BarbutiMMTT08},
bibsource = {dblp computer science bibliography, https://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.