default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Angelo Troina
@article{DBLP:journals/corr/abs-2212-07105,
author = {Marco Aldinucci and
Livio Bioglio and
Cristina Calcagno and
Mario Coppo and
Ferruccio Damiani and
Maurizio Drocco and
Elena Grassi and
Pablo Ram{\'{o}}n and
Eva Sciacca and
Salvatore Spinella and
Angelo Troina},
title = {Modelling Biological and Ecological Systems with the Calculus of Wrapped
Compartments},
journal = {CoRR},
volume = {abs/2212.07105},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.07105},
doi = {10.48550/ARXIV.2212.07105},
eprinttype = {arXiv},
eprint = {2212.07105},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Troina17,
author = {Angelo Troina},
title = {Probabilistic Timed Automata for Security Analysis and Design},
school = {University of Pisa, Italy},
year = {2017},
url = {http://www.grin.com/en/e-book/371637/probabilistic-timed-automata-for-security-analysis-and-design},
urn = {urn:nbn:de:101:1-201708103275},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Troina17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GianniniMT15,
author = {Paola Giannini and
Emanuela Merelli and
Angelo Troina},
title = {Interactions between Computer Science and Biology},
journal = {Theor. Comput. Sci.},
volume = {587},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.05.024},
doi = {10.1016/J.TCS.2015.05.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GianniniMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/BioglioDGT13,
author = {Livio Bioglio and
Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Angelo Troina},
title = {Type Directed Semantics for the Calculus of Looping Sequences},
journal = {Int. J. Softw. Informatics},
volume = {7},
number = {4},
pages = {501--526},
year = {2013},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i172},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/BioglioDGT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MerelliT13,
author = {Emanuela Merelli and
Angelo Troina},
editor = {Emanuela Merelli and
Angelo Troina},
title = {Preface},
booktitle = {Proceedings of the fourth International Workshop on Interactions between
Computer Science and Biology, CS2Bio 2013, Florence, Italy, June 6,
2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {299},
pages = {1--3},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.11.001},
doi = {10.1016/J.ENTCS.2013.11.001},
timestamp = {Tue, 22 Nov 2022 13:29:02 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MerelliT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cs2bio/2013,
editor = {Emanuela Merelli and
Angelo Troina},
title = {Proceedings of the fourth International Workshop on Interactions between
Computer Science and Biology, CS2Bio 2013, Florence, Italy, June 6,
2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {299},
publisher = {Elsevier},
year = {2013},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/299/suppl/C},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cs2bio/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CoppoDDGSST12,
author = {Mario Coppo and
Ferruccio Damiani and
Maurizio Drocco and
Elena Grassi and
Eva Sciacca and
Salvatore Spinella and
Angelo Troina},
title = {Simulation techniques for the calculus of wrapped compartments},
journal = {Theor. Comput. Sci.},
volume = {431},
pages = {75--95},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.063},
doi = {10.1016/J.TCS.2011.12.063},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CoppoDDGSST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BioglioDGT12,
author = {Livio Bioglio and
Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Angelo Troina},
title = {Typed stochastic semantics for the calculus of looping sequences},
journal = {Theor. Comput. Sci.},
volume = {431},
pages = {165--180},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.062},
doi = {10.1016/J.TCS.2011.12.062},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BioglioDGT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/RamonT12,
author = {Pablo Ram{\'{o}}n and
Angelo Troina},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Marian Gheorghe and
Grzegorz Rozenberg and
Arto Salomaa and
Gy{\"{o}}rgy Vaszil},
title = {Modelling Ecological Systems with the Calculus of Wrapped Compartments},
booktitle = {Membrane Computing - 13th International Conference, {CMC} 2012, Budapest,
Hungary, August 28-31, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7762},
pages = {358--377},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36751-9\_24},
doi = {10.1007/978-3-642-36751-9\_24},
timestamp = {Fri, 28 Feb 2020 19:27:04 +0100},
biburl = {https://dblp.org/rec/conf/membrane/RamonT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-4779,
author = {Adriana B. Compagnoni and
Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Karin Sauer and
Vishakha Sharma and
Angelo Troina},
editor = {Gabriel Ciobanu},
title = {Parallel BioScape: {A} Stochastic and Parallel Language for Mobile
and Spatial Interactions},
booktitle = {Proceedings 6th Workshop on Membrane Computing and Biologically Inspired
Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012},
series = {{EPTCS}},
volume = {100},
pages = {101--106},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.100.7},
doi = {10.4204/EPTCS.100.7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4779.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MokhtarBBST11,
author = {Sonia Ben Mokhtar and
Simon Bliudze and
Roberto Bruni and
Alexandra Silva and
Angelo Troina},
title = {Concurrency and Interaction in Complex Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {1},
pages = {1--4},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1\&\#38;a=6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/MokhtarBBST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/CoppoDDGGT11,
author = {Mario Coppo and
Ferruccio Damiani and
Maurizio Drocco and
Elena Grassi and
Mike Guether and
Angelo Troina},
title = {Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis},
journal = {Trans. Comp. Sys. Biology},
volume = {13},
pages = {85--109},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19748-2\_5},
doi = {10.1007/978-3-642-19748-2\_5},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/CoppoDDGGT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/AldinucciCDDSSTT11,
author = {Marco Aldinucci and
Mario Coppo and
Ferruccio Damiani and
Maurizio Drocco and
Eva Sciacca and
Salvatore Spinella and
Massimo Torquati and
Angelo Troina},
editor = {Michael Alexander and
Pasqua D'Ambra and
Adam Belloum and
George Bosilca and
Mario Cannataro and
Marco Danelutto and
Beniamino Di Martino and
Michael Gerndt and
Emmanuel Jeannot and
Raymond Namyst and
Jean Roman and
Stephen L. Scott and
Jesper Larsson Tr{\"{a}}ff and
Geoffroy Vall{\'{e}}e and
Josef Weidendorfer},
title = {On Parallelizing On-Line Statistics for Stochastic Biological Simulations},
booktitle = {Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar,
HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC,
Bordeaux, France, August 29 - September 2, 2011, Revised Selected
Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7156},
pages = {3--12},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29740-3\_2},
doi = {10.1007/978-3-642-29740-3\_2},
timestamp = {Wed, 19 Feb 2020 14:52:57 +0100},
biburl = {https://dblp.org/rec/conf/europar/AldinucciCDDSSTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AldinucciCDDTT11,
author = {Marco Aldinucci and
Mario Coppo and
Ferruccio Damiani and
Maurizio Drocco and
Massimo Torquati and
Angelo Troina},
editor = {Yiannis Cotronis and
Marco Danelutto and
George Angelos Papadopoulos},
title = {On Designing Multicore-Aware Simulators for Biological Systems},
booktitle = {Proceedings of the 19th International Euromicro Conference on Parallel,
Distributed and Network-based Processing, {PDP} 2011, Ayia Napa, Cyprus,
9-11 February 2011},
pages = {318--325},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PDP.2011.81},
doi = {10.1109/PDP.2011.81},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/AldinucciCDDTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-1363,
author = {Cristina Calcagno and
Mario Coppo and
Ferruccio Damiani and
Maurizio Drocco and
Eva Sciacca and
Salvatore Spinella and
Angelo Troina},
editor = {Ion Petre and
Erik P. de Vink},
title = {Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis
using the Calculus of Wrapped Compartments},
booktitle = {Proceedings Third International Workshop on Computational Models for
Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011},
series = {{EPTCS}},
volume = {67},
pages = {3--18},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.67.3},
doi = {10.4204/EPTCS.67.3},
timestamp = {Tue, 21 Mar 2023 21:05:31 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-1363.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-7147,
author = {Livio Bioglio and
Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Angelo Troina},
editor = {Elham Kashefi and
Jean Krivine and
Femke van Raamsdonk},
title = {A Calculus of Looping Sequences with Local Rules},
booktitle = {Proceedings 7th International Workshop on Developments of Computational
Methods, {DCM} 2011, Zurich, Switzerland, 3rd July 2011},
series = {{EPTCS}},
volume = {88},
pages = {43--58},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.88.4},
doi = {10.4204/EPTCS.88.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-7147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3426,
author = {Livio Bioglio and
Cristina Calcagno and
Mario Coppo and
Ferruccio Damiani and
Eva Sciacca and
Salvatore Spinella and
Angelo Troina},
title = {A Spatial Calculus of Wrapped Compartments},
journal = {CoRR},
volume = {abs/1108.3426},
year = {2011},
url = {http://arxiv.org/abs/1108.3426},
eprinttype = {arXiv},
eprint = {1108.3426},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3426.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LanotteMT10,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
title = {Reachability results for timed automata with unbounded data structures},
journal = {Acta Informatica},
volume = {47},
number = {5-6},
pages = {279--311},
year = {2010},
url = {https://doi.org/10.1007/s00236-010-0121-8},
doi = {10.1007/S00236-010-0121-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LanotteMT10.bib},
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. Informaticae},
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 = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BarbutiMTDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LanotteMT10,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
title = {Weak bisimulation for Probabilistic Timed Automata},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {50},
pages = {4291--4322},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.09.003},
doi = {10.1016/J.TCS.2010.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LanotteMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LanotteMT10,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
title = {Time and Probability-Based Information Flow Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {36},
number = {5},
pages = {719--734},
year = {2010},
url = {https://doi.org/10.1109/TSE.2010.4},
doi = {10.1109/TSE.2010.4},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LanotteMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/SprostonT10,
author = {Jeremy Sproston and
Angelo Troina},
editor = {Krishnendu Chatterjee and
Thomas A. Henzinger},
title = {Simulation and Bisimulation for Probabilistic Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6246},
pages = {213--227},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15297-9\_17},
doi = {10.1007/978-3-642-15297-9\_17},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/SprostonT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-5099,
author = {Mario Coppo and
Ferruccio Damiani and
Maurizio Drocco and
Elena Grassi and
Angelo Troina},
editor = {Alessandra Di Pierro and
Gethin Norman},
title = {Stochastic Calculus of Wrapped Compartments},
booktitle = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
series = {{EPTCS}},
volume = {28},
pages = {82--98},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.28.6},
doi = {10.4204/EPTCS.28.6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-5099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-0494,
author = {Mario Coppo and
Ferruccio Damiani and
Maurizio Drocco and
Elena Grassi and
Eva Sciacca and
Salvatore Spinella and
Angelo Troina},
editor = {Gabriel Ciobanu and
Maciej Koutny},
title = {Hybrid Calculus of Wrapped Compartments},
booktitle = {Proceedings Fourth Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010},
series = {{EPTCS}},
volume = {40},
pages = {102--120},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.40.8},
doi = {10.4204/EPTCS.40.8},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0494.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-4066,
author = {Sara Capecchi and
Angelo Troina},
editor = {Emanuela Merelli and
Paola Quaglia},
title = {Types for BioAmbients},
booktitle = {Proceedings Third Workshop From Biology To Concurrency and back, {FBTC}
2010, Paphos, Cyprus, 27th March 2010},
series = {{EPTCS}},
volume = {19},
pages = {103--115},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.19.7},
doi = {10.4204/EPTCS.19.7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-4066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KrivineT10,
author = {Jean Krivine and
Angelo Troina},
editor = {Jean Krivine and
Angelo Troina},
title = {Preface},
booktitle = {Proceedings of the 1st International Workshop on Interactions between
Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands,
June 10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {268},
pages = {1--2},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.12.001},
doi = {10.1016/J.ENTCS.2010.12.001},
timestamp = {Thu, 09 Mar 2023 16:02:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KrivineT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cs2bio/2010,
editor = {Jean Krivine and
Angelo Troina},
title = {Proceedings of the 1st International Workshop on Interactions between
Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands,
June 10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {268},
publisher = {Elsevier},
year = {2010},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/268/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cs2bio/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-2438,
author = {Marco Aldinucci and
Mario Coppo and
Ferruccio Damiani and
Maurizio Drocco and
Massimo Torquati and
Angelo Troina},
title = {On Designing Multicore-aware Simulators for Biological Systems},
journal = {CoRR},
volume = {abs/1010.2438},
year = {2010},
url = {http://arxiv.org/abs/1010.2438},
eprinttype = {arXiv},
eprint = {1010.2438},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-2438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-2323,
author = {Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Angelo Troina},
editor = {S. Barry Cooper and
Vincent Danos},
title = {A Type System for Required/Excluded Elements in {CLS}},
booktitle = {Proceedings Fifth Workshop on Developments in Computational Models--Computational
Models From Nature, {DCM} 2009, Rhodes, Greece, 11th July 2009},
series = {{EPTCS}},
volume = {9},
pages = {38--48},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.9.5},
doi = {10.4204/EPTCS.9.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-2323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0910-1418,
author = {Mario Coppo and
Ferruccio Damiani and
Elena Grassi and
Mike Guether and
Angelo Troina},
editor = {Ralph{-}Johan Back and
Ion Petre and
Erik P. de Vink},
title = {Modelling an Ammonium Transporter with {SCLS}},
booktitle = {Proceedings Second International Workshop on Computational Models
for Cell Processes, {COMPMOD} 2009, Eindhoven, the Netherlands, November
3, 2009},
series = {{EPTCS}},
volume = {6},
pages = {77--92},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.6.6},
doi = {10.4204/EPTCS.6.6},
timestamp = {Mon, 15 Jun 2020 16:54:36 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-1418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-4985,
author = {Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Angelo Troina},
editor = {Gabriel Ciobanu},
title = {A Type System for a Stochastic {CLS}},
booktitle = {Proceedings Third Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September
2009},
series = {{EPTCS}},
volume = {11},
pages = {91--105},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.11.6},
doi = {10.4204/EPTCS.11.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-4985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ice/2008,
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/3},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ice/2008.bib},
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 Aspects 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 = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BarbutiMMT08.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LanotteMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/BarbutiMMTT08,
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. Comp. Sys. 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 = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/BarbutiMMTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonchiGSTT09,
author = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Preface},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.035},
doi = {10.1016/J.ENTCS.2009.06.035},
timestamp = {Fri, 24 Feb 2023 11:41:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonchiGSTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KrivineMT08,
author = {Jean Krivine and
Robin Milner and
Angelo Troina},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Stochastic Bigraphs},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {73--96},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.006},
doi = {10.1016/J.ENTCS.2008.10.006},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KrivineMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmanDT09,
author = {Bogdan Aman and
Mariangiola Dezani{-}Ciancaglini and
Angelo Troina},
editor = {Gabriel Ciobanu},
title = {Type Disciplines for Analysing Biologically Relevant Properties},
booktitle = {Proceedings of the Second International Meeting on Membrane Computing
and Biologically Inspired Process Calculi, MeCBIC 2008, Ia{\c{s}}i,
Romania, September 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {227},
pages = {97--111},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.106},
doi = {10.1016/J.ENTCS.2008.12.106},
timestamp = {Fri, 24 Feb 2023 10:20:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmanDT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LanotteMT07,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
title = {Parametric probabilistic transition systems for system design and
analysis},
journal = {Formal Aspects Comput.},
volume = {19},
number = {1},
pages = {93--109},
year = {2007},
url = {https://doi.org/10.1007/s00165-006-0015-2},
doi = {10.1007/S00165-006-0015-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LanotteMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Goubault-LarrecqPT07,
author = {Jean Goubault{-}Larrecq and
Catuscia Palamidessi and
Angelo Troina},
editor = {Zhong Shao},
title = {A Probabilistic Applied Pi-Calculus},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {175--190},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_12},
doi = {10.1007/978-3-540-76637-7\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Goubault-LarrecqPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/BarbutiMMT07,
author = {Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Angelo Troina},
editor = {George Eleftherakis and
Petros Kefalas and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
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},
series = {Lecture Notes in Computer Science},
volume = {4860},
pages = {54--76},
publisher = {Springer},
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/conf/membrane/BarbutiMMT07.bib},
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. Informaticae},
volume = {72},
number = {1-3},
pages = {21--35},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BarbutiMMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/LanotteMMT06,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Angelo Troina},
editor = {Roberto Gorrieri and
Heike Wehrheim},
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},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {108--122},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_10},
doi = {10.1007/11768869\_10},
timestamp = {Thu, 14 Oct 2021 10:14:37 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/LanotteMMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BarbutiMMT06,
author = {Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Angelo Troina},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
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},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {93--107},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_7},
doi = {10.1007/11921240\_7},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BarbutiMMT06.bib},
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. Informaticae},
volume = {67},
number = {1-3},
pages = {13--27},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BarbutiCMMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LanotteMT05,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Timed Automata with Data Structures for Distributed Systems Design
and Analysis},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {44--53},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.49},
doi = {10.1109/SEFM.2005.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LanotteMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanotteMT06,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
editor = {Antonio Cerone and
Herbert Wiklicky},
title = {A Classification of Time and/or Probability Dependent Security Properties},
booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {2},
pages = {177--193},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.038},
doi = {10.1016/J.ENTCS.2005.10.038},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LanotteMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/TroinaAG04,
author = {Angelo Troina and
Alessandro Aldini and
Roberto Gorrieri},
editor = {Corrado Priami and
Paola Quaglia},
title = {Towards a Formal Treatment of Secrecy Against Computational Adversaries},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {77--92},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_5},
doi = {10.1007/978-3-540-31794-4\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gc/TroinaAG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/LanotteMTTT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini and
Angelo Troina and
Enrico Tronci},
editor = {Javier L{\'{o}}pez and
Sihan Qing and
Eiji Okamoto},
title = {Automatic Covert Channel Analysis of a Multilevel Secure Component},
booktitle = {Information and Communications Security, 6th International Conference,
{ICICS} 2004, Malaga, Spain, October 27-29, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3269},
pages = {249--261},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30191-2\_20},
doi = {10.1007/978-3-540-30191-2\_20},
timestamp = {Thu, 29 Aug 2019 08:10:01 +0200},
biburl = {https://dblp.org/rec/conf/icics/LanotteMTTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/LanotteMT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Information Flow Analysis for Probabilistic Timed Automata},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {13--26},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_2},
doi = {10.1007/0-387-24098-5\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/LanotteMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LanotteMT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
title = {Decidability Results for Parametric Probabilistic Transition Systems
with an Application to Security},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {114--121},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.12},
doi = {10.1109/SEFM.2004.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LanotteMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanotteMT05,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
editor = {Antonio Cerone and
Alessandra Di Pierro},
title = {Automatic Analysis of a Non-Repudiation Protocol},
booktitle = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {112},
pages = {113--129},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.020},
doi = {10.1016/J.ENTCS.2004.01.020},
timestamp = {Thu, 01 Dec 2022 16:35:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LanotteMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LanotteMT03,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Angelo Troina},
title = {Weak Bisimulation for Probabilistic Timed Automata and Applications
to Security},
booktitle = {1st International Conference on Software Engineering and Formal Methods
{(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
pages = {34--43},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEFM.2003.1236205},
doi = {10.1109/SEFM.2003.1236205},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LanotteMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TroinaAG04,
author = {Angelo Troina and
Alessandro Aldini and
Roberto Gorrieri},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Approximating Imperfect Cryptography in a Formal Model},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {183--203},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.008},
doi = {10.1016/J.ENTCS.2004.02.008},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TroinaAG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanotteMTTT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini and
Angelo Troina and
Enrico Tronci},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Automatic Analysis of the {NRL} Pump},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {245--266},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.011},
doi = {10.1016/J.ENTCS.2004.02.011},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LanotteMTTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
