Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Corrado Priami
@inproceedings{DBLP:conf/bigdataconf/TestaPPS23,
author = {Irene Testa and
Giuseppe Prencipe and
Corrado Priami and
Alina S{\^{\i}}rbu},
editor = {Jingrui He and
Themis Palpanas and
Xiaohua Hu and
Alfredo Cuzzocrea and
Dejing Dou and
Dominik Slezak and
Wei Wang and
Aleksandra Gruca and
Jerry Chun{-}Wei Lin and
Rakesh Agrawal},
title = {Comparison of Machine Learning Classifiers on Integrated Transcriptomic
Data},
booktitle = {{IEEE} International Conference on Big Data, BigData 2023, Sorrento,
Italy, December 15-18, 2023},
pages = {4987--4996},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/BigData59044.2023.10386445},
doi = {10.1109/BIGDATA59044.2023.10386445},
timestamp = {Fri, 02 Feb 2024 12:00:39 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/TestaPPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/GravinaWBGP22,
author = {Alessio Gravina and
Jennifer L. Wilson and
Davide Bacciu and
Kevin Grimes and
Corrado Priami},
title = {Controlling astrocyte-mediated synaptic pruning signals for schizophrenia
drug repurposing with deep graph networks},
journal = {PLoS Comput. Biol.},
volume = {18},
number = {5},
year = {2022},
url = {https://doi.org/10.1371/journal.pcbi.1009531},
doi = {10.1371/JOURNAL.PCBI.1009531},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/GravinaWBGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdh/MorinePCHK22,
author = {Melissa J. Morine and
Corrado Priami and
Edith Coronado and
Juliana Haber and
Jim Kaput},
editor = {Sheikh Iqbal Ahamed and
Claudio Agostino Ardagna and
Hongyi Bian and
Mario A. Bochicchio and
Carl K. Chang and
Rong N. Chang and
Ernesto Damiani and
Lin Liu and
Misha Pavel and
Corrado Priami and
Hossain Shahriar and
Robert Ward and
Fatos Xhafa and
Jia Zhang and
Farhana H. Zulkernine},
title = {A Comprehensive and Holistic Health Database},
booktitle = {{IEEE} International Conference on Digital Health, {ICDH} 2022, Barcelona,
Spain, July 10-16, 2022},
pages = {202--207},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICDH55609.2022.00039},
doi = {10.1109/ICDH55609.2022.00039},
timestamp = {Fri, 23 Jun 2023 11:36:46 +0200},
biburl = {https://dblp.org/rec/conf/icdh/MorinePCHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdh/2022,
editor = {Sheikh Iqbal Ahamed and
Claudio Agostino Ardagna and
Hongyi Bian and
Mario A. Bochicchio and
Carl K. Chang and
Rong N. Chang and
Ernesto Damiani and
Lin Liu and
Misha Pavel and
Corrado Priami and
Hossain Shahriar and
Robert Ward and
Fatos Xhafa and
Jia Zhang and
Farhana H. Zulkernine},
title = {{IEEE} International Conference on Digital Health, {ICDH} 2022, Barcelona,
Spain, July 10-16, 2022},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICDH55609.2022},
doi = {10.1109/ICDH55609.2022},
isbn = {978-1-6654-8149-6},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdh/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SimoniKTRTPANM21,
author = {Giulia Simoni and
Chanchala Kaddi and
Mengdi Tao and
Federico Reali and
Danilo Tomasoni and
Corrado Priami and
Karim Azer and
Susana Neves{-}Zaph and
Luca Marchetti},
title = {A robust computational pipeline for model-based and data-driven phenotype
clustering},
journal = {Bioinform.},
volume = {37},
number = {9},
pages = {1269--1277},
year = {2021},
url = {https://doi.org/10.1093/bioinformatics/btaa948},
doi = {10.1093/BIOINFORMATICS/BTAA948},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/SimoniKTRTPANM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/RamponiGTPL20,
author = {Alan Ramponi and
Stefano Giampiccolo and
Danilo Tomasoni and
Corrado Priami and
Rosario Lombardo},
title = {High-Precision Biomedical Relation Extraction for Reducing Human Curation
Efforts in Industrial Applications},
journal = {{IEEE} Access},
volume = {8},
pages = {150999--151011},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3014862},
doi = {10.1109/ACCESS.2020.3014862},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/RamponiGTPL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/SimoniVPM20,
author = {Giulia Simoni and
Vo Hong Thanh and
Corrado Priami and
Luca Marchetti},
title = {A comparison of deterministic and stochastic approaches for sensitivity
analysis in computational systems biology},
journal = {Briefings Bioinform.},
volume = {21},
number = {2},
pages = {527--540},
year = {2020},
url = {https://doi.org/10.1093/bib/bbz014},
doi = {10.1093/BIB/BBZ014},
timestamp = {Wed, 09 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/SimoniVPM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/data/RossiPMTPSCMM20,
author = {Alessio Rossi and
Eleonora Da Pozzo and
Dario Menicagli and
Chiara Tremolanti and
Corrado Priami and
Alina S{\^{\i}}rbu and
David A. Clifton and
Claudia Martini and
Davide Morelli},
title = {A Public Dataset of 24-h Multi-Levels Psycho-Physiological Responses
in Young Healthy Adults},
journal = {Data},
volume = {5},
number = {4},
pages = {91},
year = {2020},
url = {https://doi.org/10.3390/data5040091},
doi = {10.3390/DATA5040091},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/data/RossiPMTPSCMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/TiniMPS19,
author = {Giulia Tini and
Luca Marchetti and
Corrado Priami and
Marie{-}Pier Scott{-}Boyer},
title = {Multi-omics integration - a comparison of unsupervised clustering
methodologies},
journal = {Briefings Bioinform.},
volume = {20},
number = {4},
pages = {1269--1279},
year = {2019},
url = {https://doi.org/10.1093/bib/bbx167},
doi = {10.1093/BIB/BBX167},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bib/TiniMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbra/ThanhZP19,
author = {Vo Hong Thanh and
Roberto Zunino and
Corrado Priami},
title = {Efficient formulation of the rejection-based algorithm for biochemical
reactions with delays},
journal = {Int. J. Bioinform. Res. Appl.},
volume = {15},
number = {2},
pages = {159--173},
year = {2019},
url = {https://doi.org/10.1504/IJBRA.2019.099573},
doi = {10.1504/IJBRA.2019.099573},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbra/ThanhZP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txtcs/MarchettiPT17,
author = {Luca Marchetti and
Corrado Priami and
Vo Hong Thanh},
title = {Simulation Algorithms for Computational Systems Biology},
series = {Texts in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63113-4},
doi = {10.1007/978-3-319-63113-4},
isbn = {978-3-319-63111-0},
timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txtcs/MarchettiPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/MarchettiLP17,
author = {Luca Marchetti and
Rosario Lombardo and
Corrado Priami},
title = {HSimulator: Hybrid Stochastic/Deterministic Simulation of Biochemical
Reaction Networks},
journal = {Complex.},
volume = {2017},
pages = {1232868:1--1232868:12},
year = {2017},
url = {https://doi.org/10.1155/2017/1232868},
doi = {10.1155/2017/1232868},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/MarchettiLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/MarchettiSLMPPM17,
author = {Luca Marchetti and
Emilio Siena and
Mario Lauria and
Denise Maffione and
Nicola Pacchiani and
Corrado Priami and
Duccio Medini},
title = {Exploring the Limitations of Peripheral Blood Transcriptional Biomarkers
in Predicting Influenza Vaccine Responsiveness},
journal = {Complex.},
volume = {2017},
pages = {3017632:1--3017632:9},
year = {2017},
url = {https://doi.org/10.1155/2017/3017632},
doi = {10.1155/2017/3017632},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/MarchettiSLMPPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fams/RealiPM17,
author = {Federico Reali and
Corrado Priami and
Luca Marchetti},
title = {Optimization Algorithms for Computational Systems Biology},
journal = {Frontiers Appl. Math. Stat.},
volume = {3},
pages = {6},
year = {2017},
url = {https://doi.org/10.3389/fams.2017.00006},
doi = {10.3389/FAMS.2017.00006},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fams/RealiPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/ThanhZP17,
author = {Vo Hong Thanh and
Roberto Zunino and
Corrado Priami},
title = {Efficient Constant-Time Complexity Algorithm for Stochastic Simulation
of Large Reaction Networks},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {14},
number = {3},
pages = {657--667},
year = {2017},
url = {https://doi.org/10.1109/TCBB.2016.2530066},
doi = {10.1109/TCBB.2016.2530066},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/ThanhZP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcphy/MarchettiPT16,
author = {Luca Marchetti and
Corrado Priami and
Vo Hong Thanh},
title = {{HRSSA} - Efficient hybrid stochastic simulation for spatially homogeneous
biochemical reaction networks},
journal = {J. Comput. Phys.},
volume = {317},
pages = {301--317},
year = {2016},
url = {https://doi.org/10.1016/j.jcp.2016.04.056},
doi = {10.1016/J.JCP.2016.04.056},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcphy/MarchettiPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ws/PriamiM15,
author = {Corrado Priami and
Melissa J. Morine},
title = {Analysis of Biological Systems},
publisher = {Imperial College Press},
year = {2015},
url = {https://doi.org/10.1142/p1004},
doi = {10.1142/P1004},
isbn = {9781783266876},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ws/PriamiM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/LauriaMP15,
author = {Mario Lauria and
Petros Moyseos and
Corrado Priami},
title = {{SCUDO:} a tool for signature-based clustering of expression profiles},
journal = {Nucleic Acids Res.},
volume = {43},
number = {Webserver-Issue},
pages = {W188--W192},
year = {2015},
url = {https://doi.org/10.1093/nar/gkv449},
doi = {10.1093/NAR/GKV449},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/LauriaMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/RizzettoPC15,
author = {Simone Rizzetto and
Corrado Priami and
Attila Csik{\'{a}}sz{-}Nagy},
title = {Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide
Simulations},
journal = {PLoS Comput. Biol.},
volume = {11},
number = {10},
year = {2015},
url = {https://doi.org/10.1371/journal.pcbi.1004424},
doi = {10.1371/JOURNAL.PCBI.1004424},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/RizzettoPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BodeiFP15,
author = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {Pierpaolo Degano},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {1--6},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_1},
doi = {10.1007/978-3-319-25527-9\_1},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BodeiFP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ZuninoNPKS15,
author = {Roberto Zunino and
Durica Nikolic and
Corrado Priami and
Ozan Kahramanogullari and
Tommaso Schiavinotto},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {{\(\mathscr{l}\)}: An Imperative {DSL} to Stochastically Simulate
Biological Systems},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {354--374},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_23},
doi = {10.1007/978-3-319-25527-9\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ZuninoNPKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015degano,
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9},
doi = {10.1007/978-3-319-25527-9},
isbn = {978-3-319-25526-2},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2015degano.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/GostnerBMP14,
author = {Roswitha Gostner and
Bianca Baldacci and
Melissa J. Morine and
Corrado Priami},
title = {Graphical Modeling Tools for Systems Biology},
journal = {{ACM} Comput. Surv.},
volume = {47},
number = {2},
pages = {16:1--16:21},
year = {2014},
url = {https://doi.org/10.1145/2633461},
doi = {10.1145/2633461},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/GostnerBMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kse/TranNCP13,
author = {Dang Hung Tran and
Thanh{-}Phuong Nguyen and
Laura Caberlotto and
Corrado Priami},
editor = {Van{-}Nam Huynh and
Thierry Denoeux and
Dang Hung Tran and
Anh{-}Cuong Le and
Son Bao Pham},
title = {Inference of Autism-Related Genes by Integrating Protein-Protein Interactions
and miRNA-Target Interactions},
booktitle = {Knowledge and Systems Engineering - Proceedings of the Fifth International
Conference, {KSE} 2013, Volume 1, Hanoi, Vietnam, 17-19 October, 2013},
series = {Advances in Intelligent Systems and Computing},
volume = {244},
pages = {299--311},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02741-8\_26},
doi = {10.1007/978-3-319-02741-8\_26},
timestamp = {Sat, 16 Sep 2017 12:10:18 +0200},
biburl = {https://dblp.org/rec/conf/kse/TranNCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/LeccaMFCP12,
author = {Paola Lecca and
Daniele Morpurgo and
Gianluca Fantaccini and
Alessandro Casagrande and
Corrado Priami},
title = {Inferring biochemical reaction pathways: the case of the gemcitabine
pharmacokinetics},
journal = {{BMC} Syst. Biol.},
volume = {6},
pages = {51},
year = {2012},
url = {https://doi.org/10.1186/1752-0509-6-51},
doi = {10.1186/1752-0509-6-51},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcsb/LeccaMFCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PriamiQZ12,
author = {Corrado Priami and
Paola Quaglia and
Roberto Zunino},
editor = {Sascha Ossowski and
Paola Lecca},
title = {An imperative language of self-modifying graphs for biological systems},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1903--1909},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232089},
doi = {10.1145/2245276.2232089},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/PriamiQZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NikolicPZ12,
author = {Durica Nikolic and
Corrado Priami and
Roberto Zunino},
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {A Rule-Based and Imperative Language for Biochemical Modeling and
Simulation},
booktitle = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
pages = {16--32},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7\_2},
doi = {10.1007/978-3-642-33826-7\_2},
timestamp = {Sat, 05 Sep 2020 18:01:22 +0200},
biburl = {https://dblp.org/rec/conf/sefm/NikolicPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KahramanogullariLP12,
author = {Ozan Kahramanogullari and
James F. Lynch and
Corrado Priami},
editor = {Antonio Cerone and
Donatella Persico and
Sara Fernandes and
Alexeis Garcia{-}Perez and
Panagiotis Katsaros and
Siraj Ahmed Shaikh and
Ioannis Stamelos},
title = {Algorithmic Systems Ecology: Experiments on Multiple Interaction Types
and Patches},
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},
series = {Lecture Notes in Computer Science},
volume = {7991},
pages = {154--171},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-54338-8\_13},
doi = {10.1007/978-3-642-54338-8\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/KahramanogullariLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/nc/Priami12,
author = {Corrado Priami},
editor = {Grzegorz Rozenberg and
Thomas B{\"{a}}ck and
Joost N. Kok},
title = {Algorithmic Systems Biology - Computer Science Propels Systems Biology},
booktitle = {Handbook of Natural Computing},
pages = {1835--1862},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-540-92910-9\_54},
doi = {10.1007/978-3-540-92910-9\_54},
timestamp = {Fri, 09 Apr 2021 18:35:12 +0200},
biburl = {https://dblp.org/rec/reference/nc/Priami12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2012-14,
editor = {Corrado Priami and
Ion Petre and
Erik P. de Vink},
title = {Transactions on Computational Systems Biology {XIV} - Special Issue
on Computational Models for Cell Processes},
series = {Lecture Notes in Computer Science},
volume = {7625},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35524-0},
doi = {10.1007/978-3-642-35524-0},
isbn = {978-3-642-35523-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2012-14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/NguyenSMP11,
author = {Thanh{-}Phuong Nguyen and
Marco Scotti and
Melissa J. Morine and
Corrado Priami},
title = {Model-based clustering reveals vitamin {D} dependent multi-centrality
hubs in a network of vitamin-related proteins},
journal = {{BMC} Syst. Biol.},
volume = {5},
pages = {195},
year = {2011},
url = {https://doi.org/10.1186/1752-0509-5-195},
doi = {10.1186/1752-0509-5-195},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/NguyenSMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccabs/LeccaKMPS11,
author = {Paola Lecca and
Ozan Kahramanogullari and
Daniele Morpurgo and
Corrado Priami and
Ross A. Soo},
editor = {Ion I. Mandoiu and
Satoru Miyano and
Teresa M. Przytycka and
Sanguthevar Rajasekaran},
title = {Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX},
booktitle = {{IEEE} 1st International Conference on Computational Advances in Bio
and Medical Sciences, {ICCABS} 2011, Orlando, FL, USA, February 3-5,
2011},
pages = {251},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICCABS.2011.5729904},
doi = {10.1109/ICCABS.2011.5729904},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccabs/LeccaKMPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uksim/LeccaKMPS11,
author = {Paola Lecca and
Ozan Kahramanogullari and
Daniele Morpurgo and
Corrado Priami and
Ross A. Soo},
editor = {David Al{-}Dabass and
Alessandra Orsoni and
Richard J. Cant and
Ajith Abraham},
title = {Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and
Kinfer},
booktitle = {Proceedings of the 13th UKSim-AMSS International Conference on Computer
Modelling and Simulation, Cambridge University, Emmanuel College,
Cambridge, UK, 30 March - 1 April 2011},
pages = {75--80},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/UKSIM.2011.24},
doi = {10.1109/UKSIM.2011.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uksim/LeccaKMPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2011-13,
editor = {Corrado Priami and
Ralph{-}Johan Back and
Ion Petre and
Erik P. de Vink},
title = {Transactions on Computational Systems Biology {XIII}},
series = {Lecture Notes in Computer Science},
volume = {6575},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19748-2},
doi = {10.1007/978-3-642-19748-2},
isbn = {978-3-642-19747-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2011-13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BreitlingBPU11,
author = {Rainer Breitling and
Frank J. Bruggeman and
Corrado Priami and
Adelinde M. Uhrmacher},
title = {Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)},
journal = {Dagstuhl Reports},
volume = {1},
number = {4},
pages = {41--64},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.4.41},
doi = {10.4230/DAGREP.1.4.41},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BreitlingBPU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/MazzaIP10,
author = {Tommaso Mazza and
Gennaro Iaccarino and
Corrado Priami},
title = {Snazer: the simulations and networks analyzer},
journal = {{BMC} Syst. Biol.},
volume = {4},
pages = {1},
year = {2010},
url = {https://doi.org/10.1186/1752-0509-4-1},
doi = {10.1186/1752-0509-4-1},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/MazzaIP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/LeccaIDP10,
author = {Paola Lecca and
Adaoha E. C. Ihekwaba and
Lorenzo Dematt{\'{e}} and
Corrado Priami},
title = {Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion
systems: the case for the bicoid gradient},
journal = {J. Integr. Bioinform.},
volume = {7},
number = {1},
year = {2010},
url = {https://doi.org/10.2390/biecoll-jib-2010-150},
doi = {10.2390/BIECOLL-JIB-2010-150},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/LeccaIDP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RomanelP10,
author = {Alessandro Romanel and
Corrado Priami},
title = {On the computational power of BlenX},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {2},
pages = {542--565},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.09.038},
doi = {10.1016/J.TCS.2009.09.038},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RomanelP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/LarcherPR10,
author = {Roberto Larcher and
Corrado Priami and
Alessandro Romanel},
title = {Modelling Self-assembly in BlenX},
journal = {Trans. Comp. Sys. Biology},
volume = {12},
pages = {163--198},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11712-1\_5},
doi = {10.1007/978-3-642-11712-1\_5},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/LarcherPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anb/KahramanogullariJP10,
author = {Ozan Kahramanogullari and
Ferenc Jord{\'{a}}n and
Corrado Priami},
editor = {Katsuhisa Horimoto and
Masahiko Nakatsui and
Nikolaj Popov},
title = {Composability: Perspectives in Ecological Modeling},
booktitle = {Algebraic and Numeric Biology - 4th International Conference, {ANB}
2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6479},
pages = {136--148},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-28067-2\_8},
doi = {10.1007/978-3-642-28067-2\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/anb/KahramanogullariJP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-4065,
author = {Judit Z{\'{a}}mborszky and
Corrado Priami},
editor = {Emanuela Merelli and
Paola Quaglia},
title = {BlenX-based compositional modeling of complex reaction mechanisms},
booktitle = {Proceedings Third Workshop From Biology To Concurrency and back, {FBTC}
2010, Paphos, Cyprus, 27th March 2010},
series = {{EPTCS}},
volume = {19},
pages = {85--102},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.19.6},
doi = {10.4204/EPTCS.19.6},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-4065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2010-12,
editor = {Corrado Priami and
Rainer Breitling and
David R. Gilbert and
Monika Heiner and
Adelinde M. Uhrmacher},
title = {Transactions on Computational Systems Biology XII, Special Issue on
Modeling Methodologies},
series = {Lecture Notes in Computer Science},
volume = {5945},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11712-1},
doi = {10.1007/978-3-642-11712-1},
isbn = {978-3-642-11711-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2010-12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/IhekwabaNP09,
author = {Adaoha E. C. Ihekwaba and
Phuong T. Nguyen and
Corrado Priami},
title = {Elucidation of functional consequences of signalling pathway interactions},
journal = {{BMC} Bioinform.},
volume = {10},
pages = {370},
year = {2009},
url = {https://doi.org/10.1186/1471-2105-10-370},
doi = {10.1186/1471-2105-10-370},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/IhekwabaNP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/GuerrieroDUHP09,
author = {Maria Luisa Guerriero and
Anna Dudka and
Nicholas Underhill{-}Day and
John K. Heath and
Corrado Priami},
title = {Narrative-based computational modelling of the Gp130/JAK/STAT signalling
pathway},
journal = {{BMC} Syst. Biol.},
volume = {3},
pages = {40},
year = {2009},
url = {https://doi.org/10.1186/1752-0509-3-40},
doi = {10.1186/1752-0509-3-40},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/GuerrieroDUHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Priami09,
author = {Corrado Priami},
title = {Algorithmic systems biology},
journal = {Commun. {ACM}},
volume = {52},
number = {5},
pages = {80--88},
year = {2009},
url = {https://doi.org/10.1145/1506409.1506427},
doi = {10.1145/1506409.1506427},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Priami09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GuerrieroPPQ09,
author = {Maria Luisa Guerriero and
Davide Prandi and
Corrado Priami and
Paola Quaglia},
editor = {Anne Condon and
David Harel and
Joost N. Kok and
Arto Salomaa and
Erik Winfree},
title = {Process Calculi Abstractions for Biology},
booktitle = {Algorithmic Bioprocesses},
series = {Natural Computing Series},
pages = {463--486},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-88869-7\_23},
doi = {10.1007/978-3-540-88869-7\_23},
timestamp = {Sun, 25 Jul 2021 11:52:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GuerrieroPPQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/PriamiBQ09,
author = {Corrado Priami and
Paolo Ballarini and
Paola Quaglia},
editor = {Pierpaolo Degano and
Roberto Gorrieri},
title = {BlenX4Bio - BlenX for Biologists},
booktitle = {Computational Methods in Systems Biology, 7th International Conference,
{CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5688},
pages = {26--51},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03845-7\_3},
doi = {10.1007/978-3-642-03845-7\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/PriamiBQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PriamiQR09,
author = {Corrado Priami and
Paola Quaglia and
Alessandro Romanel},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {BlenX Static and Dynamic Semantics},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {37--52},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_4},
doi = {10.1007/978-3-642-04081-8\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/PriamiQR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psb/PalmisanoMP09,
author = {Alida Palmisano and
Ivan Mura and
Corrado Priami},
editor = {Russ B. Altman and
A. Keith Dunker and
Lawrence Hunter and
Tiffany Murray and
Teri E. Klein},
title = {From {ODES} to Language-Based, Executable Models of Biological Systems},
booktitle = {Biocomputing 2009: Proceedings of the Pacific Symposium, Kohala Coast,
Hawaii, USA, 5-9 January 2009},
pages = {239--250},
year = {2009},
url = {http://psb.stanford.edu/psb-online/proceedings/psb09/palmisano.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/psb/PalmisanoMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeccaPPS09,
author = {Paola Lecca and
Alida Palmisano and
Corrado Priami and
Guido Sanguinetti},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {A new probabilistic generative model of parameter inference in biochemical
networks},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {758--765},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529442},
doi = {10.1145/1529282.1529442},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/LeccaPPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uksim/LeccaPP09,
author = {Paola Lecca and
Alida Palmisano and
Corrado Priami},
editor = {David Al{-}Dabass},
title = {Deducing Chemical Reaction Rate Constants and Their Regions of Confidence
from Noisy Measurements of Time Series of Concentration},
booktitle = {Proceedings of the UKSim'11, International Conference on Computer
Modelling and Simulation, Cambridge University, Emmanuel College,
Cambridge, UK, 25-27 March 2009},
pages = {200--205},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/UKSIM.2009.18},
doi = {10.1109/UKSIM.2009.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uksim/LeccaPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MuraPPR09,
author = {Ivan Mura and
Davide Prandi and
Corrado Priami and
Alessandro Romanel},
editor = {Christel Baier and
Alessandra Di Pierro},
title = {Exploiting non-Markovian Bio-Processes},
booktitle = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2009, York, UK, March 28-29, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {3},
pages = {83--98},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.007},
doi = {10.1016/J.ENTCS.2009.10.007},
timestamp = {Fri, 20 Jan 2023 14:27:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MuraPPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ms/4paradigm2009/CardelliP09,
author = {Luca Cardelli and
Corrado Priami},
editor = {Tony Hey and
Stewart Tansley and
Kristin M. Tolle},
title = {Visualization in process algebra models of biological systems},
booktitle = {The Fourth Paradigm: Data-Intensive Scientific Discovery},
pages = {99--105},
publisher = {Microsoft Research},
year = {2009},
url = {http://research.microsoft.com/en-us/collaboration/fourthparadigm/4th\_paradigm\_book\_part2\_cardelli\_priami.pdf},
timestamp = {Thu, 22 Sep 2011 19:32:10 +0200},
biburl = {https://dblp.org/rec/books/ms/4paradigm2009/CardelliP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9091,
editor = {Rainer Breitling and
David Roger Gilbert and
Monika Heiner and
Corrado Priami},
title = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09091},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09091/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2009-11,
editor = {Corrado Priami and
Ralph{-}Johan Back and
Ion Petre},
title = {Transactions on Computational Systems Biology {XI}},
series = {Lecture Notes in Computer Science},
volume = {5750},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04186-0},
doi = {10.1007/978-3-642-04186-0},
isbn = {978-3-642-04185-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2009-11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BreitlingGHP09,
author = {Rainer Breitling and
David Roger Gilbert and
Monika Heiner and
Corrado Priami},
editor = {Rainer Breitling and
David Roger Gilbert and
Monika Heiner and
Corrado Priami},
title = {09091 Abstracts Collection - Formal Methods in Molecular Biology},
booktitle = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09091},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/1997/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BreitlingGHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BreitlingGHP09a,
author = {Rainer Breitling and
David Roger Gilbert and
Monika Heiner and
Corrado Priami},
editor = {Rainer Breitling and
David Roger Gilbert and
Monika Heiner and
Corrado Priami},
title = {09091 Executive Summary - Formal Methods in Molecular Biology},
booktitle = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09091},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/1996/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BreitlingGHP09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/DemattePR08,
author = {Lorenzo Dematt{\'{e}} and
Corrado Priami and
Alessandro Romanel},
title = {The Beta Workbench: a computational tool to study the dynamics of
biological systems},
journal = {Briefings Bioinform.},
volume = {9},
number = {5},
pages = {437--449},
year = {2008},
url = {https://doi.org/10.1093/bib/bbn023},
doi = {10.1093/BIB/BBN023},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/DemattePR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/SegataBP08,
author = {Nicola Segata and
Enrico Blanzieri and
Corrado Priami},
title = {Towards the integration of computational systems biology and high-throughput
data: supporting differential analysis of microarray gene expression
data},
journal = {J. Integr. Bioinform.},
volume = {5},
number = {1},
year = {2008},
url = {https://doi.org/10.2390/biecoll-jib-2008-87},
doi = {10.2390/BIECOLL-JIB-2008-87},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/SegataBP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PrandiPQ08,
author = {Davide Prandi and
Corrado Priami and
Paola Quaglia},
title = {Communicating by compatibility},
journal = {J. Log. Algebraic Methods Program.},
volume = {75},
number = {2},
pages = {167--181},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2007.09.001},
doi = {10.1016/J.JLAP.2007.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PrandiPQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/DemattePR08,
author = {Lorenzo Dematt{\'{e}} and
Corrado Priami and
Alessandro Romanel},
title = {Modelling and simulation of biological processes in BlenX},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {35},
number = {4},
pages = {32--39},
year = {2008},
url = {https://doi.org/10.1145/1364644.1364653},
doi = {10.1145/1364644.1364653},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/DemattePR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/CiocchettaPQ08,
author = {Federica Ciocchetta and
Corrado Priami and
Paola Quaglia},
title = {An Automatic Translation of {SBML} into Beta-Binders},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {5},
number = {1},
pages = {80--90},
year = {2008},
url = {https://doi.org/10.1109/TCBB.2007.70219},
doi = {10.1109/TCBB.2007.70219},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/CiocchettaPQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Priami08,
author = {Corrado Priami},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {391},
number = {3},
pages = {189},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.11.005},
doi = {10.1016/J.TCS.2007.11.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Priami08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RomanelP08,
author = {Alessandro Romanel and
Corrado Priami},
title = {On the decidability and complexity of the structural congruence for
beta-binders},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {156--169},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.007},
doi = {10.1016/J.TCS.2008.04.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RomanelP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DemattePRS08,
author = {Lorenzo Dematt{\'{e}} and
Corrado Priami and
Alessandro Romanel and
Orkun S. Soyer},
title = {Evolving BlenX programs to simulate the evolution of biological networks},
journal = {Theor. Comput. Sci.},
volume = {408},
number = {1},
pages = {83--96},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.07.013},
doi = {10.1016/J.TCS.2008.07.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DemattePRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/LeyeUP08,
author = {Stefan Leye and
Adelinde M. Uhrmacher and
Corrado Priami},
editor = {David J. Roberts and
Abdulmotaleb El{-}Saddik and
Alois Ferscha},
title = {A Bounded-Optimistic, Parallel Beta-Binders Simulator},
booktitle = {12th {IEEE/ACM} International Symposium on Distributed Simulation
and Real-Time Applications, 27-29 October 2008, Vancouver, BC, Canada,
Proceedings},
pages = {139--148},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DS-RT.2008.32},
doi = {10.1109/DS-RT.2008.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/LeyeUP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/DemattePR08,
author = {Lorenzo Dematt{\'{e}} and
Corrado Priami and
Alessandro Romanel},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {The BlenX Language: {A} Tutorial},
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},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {313--365},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_9},
doi = {10.1007/978-3-540-68894-5\_9},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/DemattePR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2008-9,
editor = {Corrado Priami},
title = {Transactions on Computational Systems Biology {IX}},
series = {Lecture Notes in Computer Science},
volume = {5121},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88765-2},
doi = {10.1007/978-3-540-88765-2},
isbn = {978-3-540-88764-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2008-9.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2008-10,
editor = {Corrado Priami and
Falko Dressler and
{\"{O}}zg{\"{u}}r B. Akan and
Alioune Ngom},
title = {Transactions on Computational Systems Biology {X}},
series = {Lecture Notes in Computer Science},
volume = {5410},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92273-5},
doi = {10.1007/978-3-540-92273-5},
isbn = {978-3-540-92272-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2008-10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/Priami07,
author = {Corrado Priami},
title = {Computational Thinking in Biology},
journal = {Trans. Comp. Sys. Biology},
volume = {8},
pages = {63--76},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76639-1\_4},
doi = {10.1007/978-3-540-76639-1\_4},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/Priami07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/GuerrieroPR07,
author = {Maria Luisa Guerriero and
Corrado Priami and
Alessandro Romanel},
editor = {Hirokazu Anai and
Katsuhisa Horimoto and
Temur Kutsia},
title = {Modeling Static Biological Compartments with Beta-binders},
booktitle = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
of Hagenberg, Austria, July 2-4, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4545},
pages = {247--261},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73433-8\_18},
doi = {10.1007/978-3-540-73433-8\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ab/GuerrieroPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DemattePRS07,
author = {Lorenzo Dematt{\'{e}} and
Corrado Priami and
Alessandro Romanel and
Orkun S. Soyer},
editor = {Muffy Calder and
Stephen Gilmore},
title = {A Formal and Integrated Framework to Simulate Evolution of Biological
Pathways},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4695},
pages = {106--120},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75140-3\_8},
doi = {10.1007/978-3-540-75140-3\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DemattePRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/GuerrieroHP07,
author = {Maria Luisa Guerriero and
John K. Heath and
Corrado Priami},
editor = {Muffy Calder and
Stephen Gilmore},
title = {An Automated Translation from a Narrative Language for Biological
Modelling into Process Algebra},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4695},
pages = {136--151},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75140-3\_10},
doi = {10.1007/978-3-540-75140-3\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/GuerrieroHP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BrodoDP07,
author = {Linda Brodo and
Pierpaolo Degano and
Corrado Priami},
editor = {Victor E. Malyshkin},
title = {A Stochastic Semantics for BioAmbients},
booktitle = {Parallel Computing Technologies, 9th International Conference, PaCT
2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4671},
pages = {22--34},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73940-1\_3},
doi = {10.1007/978-3-540-73940-1\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/pact/BrodoDP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsc/DemattePR07,
author = {Lorenzo Dematt{\'{e}} and
Corrado Priami and
Alessandro Romanel},
editor = {Gabriel A. Wainer},
title = {BetaWB: modelling and simulating biological processes},
booktitle = {Proceedings of the 2007 Summer Computer Simulation Conference, {SCSC}
2007, San Diego, California, USA, July 16-19, 2007},
pages = {777--784},
publisher = {Simulation Councils, Inc.},
year = {2007},
url = {https://dl.acm.org/citation.cfm?id=1358030},
timestamp = {Wed, 28 Nov 2018 12:57:16 +0100},
biburl = {https://dblp.org/rec/conf/scsc/DemattePR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2007-8,
editor = {Corrado Priami},
title = {Transactions on Computational Systems Biology {VIII}},
series = {Lecture Notes in Computer Science},
volume = {4780},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76639-1},
doi = {10.1007/978-3-540-76639-1},
isbn = {978-3-540-76638-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2007-8.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/EccherP06,
author = {Claudio Eccher and
Corrado Priami},
title = {Design and implementation of a tool for translating {SBML} into the
biochemical stochastic pi-calculus},
journal = {Bioinform.},
volume = {22},
number = {24},
pages = {3075--3081},
year = {2006},
url = {https://doi.org/10.1093/bioinformatics/btl516},
doi = {10.1093/BIOINFORMATICS/BTL516},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/EccherP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MardareP06,
author = {Radu Mardare and
Corrado Priami},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {Decidable Extensions of Hennessy-Milner Logic},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {196--211},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_16},
doi = {10.1007/11888116\_16},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/MardareP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/HimmelspachLPPQU06,
author = {Jan Himmelspach and
Paola Lecca and
Davide Prandi and
Corrado Priami and
Paola Quaglia and
Adelinde M. Uhrmacher},
title = {Developing An Hierarchical Simulator for Beta-binders},
booktitle = {20th {IEEE/ACM/SCS} Workshop on Principles of Advanced and Distributed
Simulation, {PADS} 2006, Singapore, May 23-26, 2006},
pages = {92--102},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/PADS.2006.14},
doi = {10.1109/PADS.2006.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pads/HimmelspachLPPQU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiocchettaP07,
author = {Federica Ciocchetta and
Corrado Priami},
editor = {Nadia Busi and
Claudio Zandron},
title = {Biological Transactions for Quantitative Models},
booktitle = {Proceedings of the First Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC@ICALP 2006, Venice, Italy, July 9,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {171},
number = {2},
pages = {55--67},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.007},
doi = {10.1016/J.ENTCS.2007.05.007},
timestamp = {Fri, 27 Jan 2023 11:08:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiocchettaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DeganoPPQ06,
author = {Pierpaolo Degano and
Davide Prandi and
Corrado Priami and
Paola Quaglia},
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Beta-binders for Biological Quantitative Experiments},
booktitle = {Proceedings of the 4th International Workshop on Quantitative Aspects
of Programming Languages, {QAPL} 2006, Vienna, Austria, April 1-2,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {3},
pages = {101--117},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.07.014},
doi = {10.1016/J.ENTCS.2006.07.014},
timestamp = {Fri, 20 Jan 2023 13:06:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DeganoPPQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PriamiR07,
author = {Corrado Priami and
Alessandro Romanel},
editor = {Nadia Busi and
Claudio Zandron},
title = {The Decidability of the Structural Congruence for Beta-binders},
booktitle = {Proceedings of the First Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC@ICALP 2006, Venice, Italy, July 9,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {171},
number = {2},
pages = {155--170},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.014},
doi = {10.1016/J.ENTCS.2007.05.014},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PriamiR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2006,
editor = {Corrado Priami},
title = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4210},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11885191},
doi = {10.1007/11885191},
isbn = {3-540-46166-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6161,
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/06161/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2006-4,
editor = {Corrado Priami and
Luca Cardelli and
Stephen Emmott},
title = {Transactions on Computational Systems Biology {IV}},
series = {Lecture Notes in Computer Science},
volume = {3939},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11732488},
doi = {10.1007/11732488},
isbn = {3-540-33245-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2006-4.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2006-5,
editor = {Corrado Priami and
Xiaohua Hu and
Yi Pan and
Tsau Young Lin},
title = {Transactions on Computational Systems Biology {V}},
series = {Lecture Notes in Computer Science},
volume = {4070},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11790105},
doi = {10.1007/11790105},
isbn = {3-540-36048-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2006-5.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2006-6,
editor = {Corrado Priami and
Gordon D. Plotkin},
title = {Transactions on Computational Systems Biology {VI}},
series = {Lecture Notes in Computer Science},
volume = {4220},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11880646},
doi = {10.1007/11880646},
isbn = {3-540-45779-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2006-6.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2006-7,
editor = {Corrado Priami and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bud Mishra and
Hanne Riis Nielson},
title = {Transactions on Computational Systems Biology {VII}},
series = {Lecture Notes in Computer Science},
volume = {4230},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11905455},
doi = {10.1007/11905455},
isbn = {3-540-48837-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2006-7.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NicolPNU06,
author = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {06161 Abstracts Collection -- Simulation and Verification of Dynamic
Systems},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/710},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NicolPNU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NielsonNPU06,
author = {Hanne Riis Nielson and
David M. Nicol and
Corrado Priami and
Adelinde M. Uhrmacher},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {06161 Executive Summary -- Simulation and Verification of Dynamic
Systems},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/702},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NielsonNPU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/PrandiPQ05,
author = {Davide Prandi and
Corrado Priami and
Paola Quaglia},
title = {Process Calculi in a Biological Context},
journal = {Bull. {EATCS}},
volume = {85},
pages = {53--69},
year = {2005},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/PrandiPQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BodeiDFP05,
author = {Chiara Bodei and
Pierpaolo Degano and
Riccardo Focardi and
Corrado Priami},
title = {Authentication primitives for secure protocol specifications},
journal = {Future Gener. Comput. Syst.},
volume = {21},
number = {4},
pages = {645--653},
year = {2005},
url = {https://doi.org/10.1016/j.future.2004.05.004},
doi = {10.1016/J.FUTURE.2004.05.004},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BodeiDFP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MardareP05,
author = {Radu Mardare and
Corrado Priami},
title = {Logical Analysis of Biological Systems},
journal = {Fundam. Informaticae},
volume = {64},
number = {1-4},
pages = {275--289},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi64-1-4-24},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MardareP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BodeiDP05,
author = {Chiara Bodei and
Pierpaolo Degano and
Corrado Priami},
title = {Checking security policies through an enhanced Control Flow Analysis},
journal = {J. Comput. Secur.},
volume = {13},
number = {1},
pages = {49--85},
year = {2005},
url = {https://doi.org/10.3233/jcs-2005-13103},
doi = {10.3233/JCS-2005-13103},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BodeiDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/PriamiQ05,
author = {Corrado Priami and
Paola Quaglia},
title = {Operational Patterns in Beta-Binders},
journal = {Trans. Comp. Sys. Biology},
volume = {1},
pages = {50--65},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32126-2\_5},
doi = {10.1007/978-3-540-32126-2\_5},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/PriamiQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/CiocchettaPQ05,
author = {Federica Ciocchetta and
Corrado Priami and
Paola Quaglia},
title = {Modeling Kohn Interaction Maps with Beta-Binders: An Example},
journal = {Trans. Comp. Sys. Biology},
volume = {3},
pages = {33--48},
year = {2005},
url = {https://doi.org/10.1007/11599128\_3},
doi = {10.1007/11599128\_3},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/CiocchettaPQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BodeiBCDNNP05,
author = {Chiara Bodei and
Mikael Buchholtz and
Michele Curti and
Pierpaolo Degano and
Flemming Nielson and
Hanne Riis Nielson and
Corrado Priami},
editor = {Victor E. Malyshkin},
title = {On Evaluating the Performance of Security Protocols},
booktitle = {Parallel Computing Technologies, 8th International Conference, PaCT
2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3606},
pages = {1--15},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11535294\_1},
doi = {10.1007/11535294\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/pact/BodeiBCDNNP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/UhrmacherP05,
author = {Adelinde M. Uhrmacher and
Corrado Priami},
title = {Discrete event systems specification in systems biology - a discussion
of stochastic pi calculus and {DEVS}},
booktitle = {Proceedings of the 37th Winter Simulation Conference, Orlando, FL,
USA, December 4-7, 2005},
pages = {317--326},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WSC.2005.1574266},
doi = {10.1109/WSC.2005.1574266},
timestamp = {Thu, 10 Jun 2021 22:18:45 +0200},
biburl = {https://dblp.org/rec/conf/wsc/UhrmacherP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Priami06,
author = {Corrado Priami},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Process Calculi and Life Science},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {301--304},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.097},
doi = {10.1016/J.ENTCS.2005.12.097},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Priami06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gc/2004,
editor = {Corrado Priami and
Paola Quaglia},
title = {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},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b103251},
doi = {10.1007/B103251},
isbn = {3-540-24101-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gc/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2005-1,
editor = {Corrado Priami},
title = {Transactions on Computational Systems Biology {I}},
series = {Lecture Notes in Computer Science},
volume = {3380},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b107357},
doi = {10.1007/B107357},
isbn = {3-540-25422-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2005-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2005-2,
editor = {Corrado Priami and
Alexander Zelikovsky},
title = {Transactions on Computational Systems Biology {II}},
series = {Lecture Notes in Computer Science},
volume = {3680},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11567752},
doi = {10.1007/11567752},
isbn = {3-540-29401-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2005-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2005-3,
editor = {Corrado Priami and
Emanuela Merelli and
Pedro Pablo Gonz{\'{a}}lez P{\'{e}}rez and
Andrea Omicini},
title = {Transactions on Computational Systems Biology {III}},
series = {Lecture Notes in Computer Science},
volume = {3737},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11599128},
doi = {10.1007/11599128},
isbn = {3-540-30883-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/2005-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/PriamiQ04,
author = {Corrado Priami and
Paola Quaglia},
title = {Modelling the dynamics of biosystems},
journal = {Briefings Bioinform.},
volume = {5},
number = {3},
pages = {259--269},
year = {2004},
url = {https://doi.org/10.1093/bib/5.3.259},
doi = {10.1093/BIB/5.3.259},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/PriamiQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/Priami04,
author = {Corrado Priami},
title = {Preface to the special issue on Security in global computing},
journal = {Int. J. Inf. Sec.},
volume = {2},
number = {3-4},
pages = {125},
year = {2004},
url = {https://doi.org/10.1007/s10207-004-0034-z},
doi = {10.1007/S10207-004-0034-Z},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/Priami04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/LeccaPQRLC04,
author = {Paola Lecca and
Corrado Priami and
Paola Quaglia and
Barbara Rossi and
Carlo Laudanna and
Gabriela Constantin},
title = {A Stochastic Process Algebra Approach to Simulation of Autoreactive
Lymphocyte Recruitment},
journal = {Simul.},
volume = {80},
number = {6},
pages = {273--288},
year = {2004},
url = {https://doi.org/10.1177/0037549704045800},
doi = {10.1177/0037549704045800},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/simulation/LeccaPQRLC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Priami04,
author = {Corrado Priami},
title = {Prefac},
journal = {Theor. Comput. Sci.},
volume = {325},
number = {1},
pages = {1--2},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.060},
doi = {10.1016/J.TCS.2004.03.060},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Priami04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CurtiDPB04,
author = {Michele Curti and
Pierpaolo Degano and
Corrado Priami and
Cosima Tatiana Baldari},
title = {Modelling biochemical pathways through enhanced pi-calculus},
journal = {Theor. Comput. Sci.},
volume = {325},
number = {1},
pages = {111--140},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.066},
doi = {10.1016/J.TCS.2004.03.066},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CurtiDPB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/PriamiQ04,
author = {Corrado Priami and
Paola Quaglia},
editor = {Vincent Danos and
Vincent Sch{\"{a}}chter},
title = {Beta Binders for Biological Interactions},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3082},
pages = {20--33},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25974-9\_3},
doi = {10.1007/978-3-540-25974-9\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/PriamiQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MardarePQV04,
author = {Radu Mardare and
Corrado Priami and
Paola Quaglia and
Oleksandr Vagin},
editor = {Vincent Danos and
Vincent Sch{\"{a}}chter},
title = {Model Checking Biological Systems Described Using Ambient Calculus},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3082},
pages = {85--103},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25974-9\_8},
doi = {10.1007/978-3-540-25974-9\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/MardarePQV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/Pokozy-KorenblatPQ04,
author = {Katerina Pokozy{-}Korenblat and
Corrado Priami and
Paola Quaglia},
editor = {Corrado Priami and
Paola Quaglia},
title = {Performance Analysis of a {UML} Micro-business Case Study},
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 = {107--126},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_7},
doi = {10.1007/978-3-540-31794-4\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/gc/Pokozy-KorenblatPQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psb/LeccaPLC04,
author = {Paola Lecca and
Corrado Priami and
Carlo Laudanna and
Gabriela Constantin},
editor = {Russ B. Altman and
A. Keith Dunker and
Lawrence Hunter and
Tiffany A. Jung and
Teri E. Klein},
title = {A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed
Brain Venules},
booktitle = {Biocomputing 2004, Proceedings of the Pacific Symposium, Hawaii, USA,
6-10 January 2004},
pages = {521--532},
publisher = {World Scientific},
year = {2004},
url = {http://psb.stanford.edu/psb-online/proceedings/psb04/lecca.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/psb/LeccaPLC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeccaPLC04,
author = {Paola Lecca and
Corrado Priami and
Carlo Laudanna and
Gabriela Constantin},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Predicting cell adhesion probability via the biochemical stochastic
pi-calculus},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {211--212},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.967944},
doi = {10.1145/967900.967944},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/LeccaPLC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BodeiCDP05,
author = {Chiara Bodei and
Michele Curti and
Pierpaolo Degano and
Corrado Priami},
editor = {Nadia Busi and
Roberto Gorrieri and
Fabio Martinelli},
title = {A Quantitative Study of Two Attacks},
booktitle = {Proceedings of the 2nd International Workshop on Security Issues with
Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna,
Italy, June 26, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {121},
pages = {65--85},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.008},
doi = {10.1016/J.ENTCS.2004.10.008},
timestamp = {Tue, 13 Dec 2022 11:53:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BodeiCDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BodeiCDBNNP05,
author = {Chiara Bodei and
Michele Curti and
Pierpaolo Degano and
Mikael Buchholtz and
Flemming Nielson and
Hanne Riis Nielson and
Corrado Priami},
editor = {Antonio Cerone and
Alessandra Di Pierro},
title = {Performance Evaluation of Security Protocols Specified in LySa},
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 = {167--189},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.017},
doi = {10.1016/J.ENTCS.2004.01.017},
timestamp = {Thu, 01 Dec 2022 16:35:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BodeiCDBNNP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DeganoP03,
author = {Pierpaolo Degano and
Corrado Priami},
editor = {Corrado Priami},
title = {Enhanced Operational Semantics in Systems Biology},
booktitle = {Computational Methods in Systems Biology, First International Workshop,
{CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2602},
pages = {178--181},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36481-1\_25},
doi = {10.1007/3-540-36481-1\_25},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DeganoP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/DeganoGP03,
author = {Pierpaolo Degano and
Fabio Gadducci and
Corrado Priami},
editor = {Manfred Broy and
Alexandre V. Zamulin},
title = {Causality and Replication in Concurrent Processes},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov
Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
July 9-12, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2890},
pages = {307--318},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39866-0\_30},
doi = {10.1007/978-3-540-39866-0\_30},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/DeganoGP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BrodoDP03,
author = {Linda Brodo and
Pierpaolo Degano and
Corrado Priami},
editor = {Corrado Priami},
title = {Reflecting Mobile Ambients into the p-Calculus},
booktitle = {Global Computing. Programming Environments, Languages, Security, and
Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
Rovereto, Italy, February 9-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2874},
pages = {25--56},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40042-4\_2},
doi = {10.1007/978-3-540-40042-4\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/global/BrodoDP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BrodoDGHP03,
author = {Linda Brodo and
Pierpaolo Degano and
Stephen Gilmore and
Jane Hillston and
Corrado Priami},
editor = {Corrado Priami},
title = {Performance Evaluation for Global Computation},
booktitle = {Global Computing. Programming Environments, Languages, Security, and
Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
Rovereto, Italy, February 9-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2874},
pages = {229--253},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40042-4\_8},
doi = {10.1007/978-3-540-40042-4\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/global/BrodoDGHP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BodeiDFP03,
author = {Chiara Bodei and
Pierpaolo Degano and
Riccardo Focardi and
Corrado Priami},
editor = {Victor E. Malyshkin},
title = {Authentication Primitives for Protocol Specifications},
booktitle = {Parallel Computing Technologies, 7th International Conference, PaCT
2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2763},
pages = {49--65},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45145-7\_5},
doi = {10.1007/978-3-540-45145-7\_5},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/pact/BodeiDFP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/Priami03,
author = {Corrado Priami},
editor = {Stephen E. Chick and
Paul J. Sanchez and
David M. Ferrin and
Douglas J. Morrice},
title = {Simulation and verification {I:} design environments for complex systems},
booktitle = {Proceedings of the 35th Winter Simulation Conference: Driving Innovation,
New Orleans, Louisiana, USA, December 7-10, 2003},
pages = {897--905},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/WSC.2003.1261509},
doi = {10.1109/WSC.2003.1261509},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/Priami03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MardareP04,
author = {Radu Mardare and
Corrado Priami},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {A Logical Approach to Security in the Context of Ambient Calculus},
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 = {3--29},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.001},
doi = {10.1016/J.ENTCS.2004.02.001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MardareP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LeccaP07,
author = {Paola Lecca and
Corrado Priami},
editor = {Vincent Danos and
Cosimo Laneve},
title = {Cell Cycle Control in Eukaryotes: {A} BioSpi model},
booktitle = {Proceedings of the First Workshop on Concurrent Models in Molecular
Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {3},
pages = {51--63},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.08.072},
doi = {10.1016/J.ENTCS.2004.08.072},
timestamp = {Tue, 31 Jan 2023 14:03:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LeccaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pokozy-KorenblatP04,
author = {Katerina Pokozy{-}Korenblat and
Corrado Priami},
editor = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {Toward Extracting ?-calculus from {UML} Sequence and State Diagrams},
booktitle = {Proceedings of the Workshop on the Compositional Verification of {UML}
Models, {CVUML} 2003, San Francisco, CA, USA, October 21, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {101},
pages = {51--72},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.007},
doi = {10.1016/J.ENTCS.2004.09.007},
timestamp = {Thu, 08 Dec 2022 23:10:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pokozy-KorenblatP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsonNPR07,
author = {Flemming Nielson and
Hanne Riis Nielson and
Corrado Priami and
Debora Rosa},
editor = {Vincent Danos and
Cosimo Laneve},
title = {Control Flow Analysis for BioAmbients},
booktitle = {Proceedings of the First Workshop on Concurrent Models in Molecular
Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {3},
pages = {65--79},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.01.041},
doi = {10.1016/J.ENTCS.2004.01.041},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NielsonNPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2003,
editor = {Corrado Priami},
title = {Computational Methods in Systems Biology, First International Workshop,
{CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2602},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36481-1},
doi = {10.1007/3-540-36481-1},
isbn = {3-540-00605-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/global/2003,
editor = {Corrado Priami},
title = {Global Computing. Programming Environments, Languages, Security, and
Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
Rovereto, Italy, February 9-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2874},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b94264},
doi = {10.1007/B94264},
isbn = {3-540-20583-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/global/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Priami02,
author = {Corrado Priami},
title = {Language-based Performance Prediction for Distributed and Mobile Systems},
journal = {Inf. Comput.},
volume = {175},
number = {2},
pages = {119--145},
year = {2002},
url = {https://doi.org/10.1006/inco.2000.3058},
doi = {10.1006/INCO.2000.3058},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Priami02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DeganoGP02,
author = {Pierpaolo Degano and
Fabio Gadducci and
Corrado Priami},
title = {A causal semantics for {CCS} via rewriting logic},
journal = {Theor. Comput. Sci.},
volume = {275},
number = {1-2},
pages = {259--282},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00165-7},
doi = {10.1016/S0304-3975(01)00165-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DeganoGP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BodeiDFP02,
author = {Chiara Bodei and
Pierpaolo Degano and
Riccardo Focardi and
Corrado Priami},
title = {Primitives for authentication in process algebras},
journal = {Theor. Comput. Sci.},
volume = {283},
number = {2},
pages = {271--304},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00136-0},
doi = {10.1016/S0304-3975(01)00136-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BodeiDFP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/DeganoP01,
author = {Pierpaolo Degano and
Corrado Priami},
title = {Enhanced operational semantics},
journal = {{ACM} Comput. Surv.},
volume = {33},
number = {2},
pages = {135--176},
year = {2001},
url = {https://doi.org/10.1145/384192.384194},
doi = {10.1145/384192.384194},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/DeganoP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/PriamiRSS01,
author = {Corrado Priami and
Aviv Regev and
Ehud Shapiro and
William Silverman},
title = {Application of a stochastic name-passing calculus to representation
and simulation of molecular processes},
journal = {Inf. Process. Lett.},
volume = {80},
number = {1},
pages = {25--31},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(01)00214-9},
doi = {10.1016/S0020-0190(01)00214-9},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/PriamiRSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BodeiDP01,
author = {Chiara Bodei and
Pierpaolo Degano and
Corrado Priami},
title = {Names of the -calculus agents handled locally},
journal = {Theor. Comput. Sci.},
volume = {253},
number = {2},
pages = {155--184},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00093-1},
doi = {10.1016/S0304-3975(00)00093-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BodeiDP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NottegarPD01,
author = {Chiara Nottegar and
Corrado Priami and
Pierpaolo Degano},
title = {Performance Evaluation of Mobile Processes via Abstract Machines},
journal = {{IEEE} Trans. Software Eng.},
volume = {27},
number = {10},
pages = {867--889},
year = {2001},
url = {https://doi.org/10.1109/32.962559},
doi = {10.1109/32.962559},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NottegarPD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrodoDP00,
author = {Linda Brodo and
Pierpaolo Degano and
Corrado Priami},
editor = {Jos{\'{e}} D. P. Rolim and
Andrei Z. Broder and
Andrea Corradini and
Roberto Gorrieri and
Reiko Heckel and
Juraj Hromkovic and
Ugo Vaccaro and
J. B. Wells},
title = {A tool for quantitative analysis of calculus processes},
booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
27th International Colloquium on Automata, Languages and Programming,
Geneva, Switzerland, July 9-15, 2000},
pages = {535--550},
publisher = {Carleton Scientific, Waterloo, Ontario, Canada},
year = {2000},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrodoDP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/PriamiS00,
author = {Corrado Priami and
Ugo Solitro},
editor = {Mar{\'{\i}}a Alpuente},
title = {Functional features of a calculus for logic and concurrency},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {144--153},
year = {2000},
timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},
biburl = {https://dblp.org/rec/conf/wflp/PriamiS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DeganoPLT99,
author = {Pierpaolo Degano and
Corrado Priami and
Lone Leth Thomsen and
Bent Thomsen},
title = {Causality for Debugging Mobile Agents},
journal = {Acta Informatica},
volume = {36},
number = {5},
pages = {335--374},
year = {1999},
url = {https://doi.org/10.1007/s002360050164},
doi = {10.1007/S002360050164},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DeganoPLT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Priami99,
author = {Corrado Priami},
title = {Operational Methods in Theoretical Computer Science},
journal = {{ACM} Comput. Surv.},
volume = {31},
number = {3es},
pages = {13},
year = {1999},
url = {https://doi.org/10.1145/333580.333592},
doi = {10.1145/333580.333592},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Priami99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DeganoP99,
author = {Pierpaolo Degano and
Corrado Priami},
title = {Non-Interleaving Semantics for Mobile Processes},
journal = {Theor. Comput. Sci.},
volume = {216},
number = {1-2},
pages = {237--270},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(99)80003-6},
doi = {10.1016/S0304-3975(99)80003-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DeganoP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BodeiDFP99,
author = {Chiara Bodei and
Pierpaolo Degano and
Riccardo Focardi and
Corrado Priami},
title = {Authentication via Localized Names},
booktitle = {Proceedings of the 12th {IEEE} Computer Security Foundations Workshop,
{CSFW} 1999, Mordano, Italy, June 28-30, 1999},
pages = {98--110},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/CSFW.1999.779766},
doi = {10.1109/CSFW.1999.779766},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BodeiDFP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NottegarPD99,
author = {Chiara Nottegar and
Corrado Priami and
Pierpaolo Degano},
editor = {Jean{-}Pierre Finance},
title = {Semantic-Driven Performance Evaluation (Extended Abstract)},
booktitle = {Fundamental Approaches to Software Engineering, Second Internationsl
Conference, FASE'99, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands,
March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1577},
pages = {204--218},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-49020-3\_14},
doi = {10.1007/978-3-540-49020-3\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/NottegarPD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DeganoP98,
author = {Pierpaolo Degano and
Corrado Priami},
title = {{LR} Techniques for Handling Syntax Errors},
journal = {Comput. Lang.},
volume = {24},
number = {2},
pages = {73--98},
year = {1998},
url = {https://doi.org/10.1016/S0096-0551(97)00016-7},
doi = {10.1016/S0096-0551(97)00016-7},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/DeganoP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BodeiDP98,
author = {Chiara Bodei and
Pierpaolo Degano and
Corrado Priami},
editor = {Giorgio Levi},
title = {Constructing Specific {SOS} Semantics for Concurrency via Abstract
Interpretation},
booktitle = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
September 14-16, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1503},
pages = {168--183},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49727-7\_10},
doi = {10.1007/3-540-49727-7\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BodeiDP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BodeiP97,
author = {Chiara Bodei and
Corrado Priami},
editor = {Pascal Van Hentenryck},
title = {True Concurrency via Abstract Interpretation},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {202--216},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032743},
doi = {10.1007/BFB0032743},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BodeiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/DeganoP96,
author = {Pierpaolo Degano and
Corrado Priami},
title = {Enhanced Operational Semantics},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {352--354},
year = {1996},
url = {https://doi.org/10.1145/234528.234748},
doi = {10.1145/234528.234748},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/DeganoP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/InverardiP96,
author = {Paola Inverardi and
Corrado Priami},
title = {Automatic Verification of Distributed Systems: The Process Algebra
Approach},
journal = {Formal Methods Syst. Des.},
volume = {8},
number = {1},
pages = {7--38},
year = {1996},
url = {https://doi.org/10.1007/BF00121261},
doi = {10.1007/BF00121261},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/InverardiP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Priami96,
author = {Corrado Priami},
title = {Integrating Behavioural and Performance Analysis with Topology Information},
booktitle = {29th Annual Hawaii International Conference on System Sciences (HICSS-29),
January 3-6, 1996, Maui, Hawaii, {USA}},
pages = {508--516},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/HICSS.1996.495500},
doi = {10.1109/HICSS.1996.495500},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/Priami96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BodeiDP96,
author = {Chiara Bodei and
Pierpaolo Degano and
Corrado Priami},
editor = {Friedhelm Meyer auf der Heide and
Burkhard Monien},
title = {Mobile Processes with a Distributed Environment},
booktitle = {Automata, Languages and Programming, 23rd International Colloquium,
ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1099},
pages = {490--501},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61440-0\_153},
doi = {10.1007/3-540-61440-0\_153},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BodeiDP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/DeganoLP96,
author = {Pierpaolo Degano and
Jean{-}Vincent Loddo and
Corrado Priami},
editor = {Mads Dam},
title = {Mobile Processes with Local Clocks},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {296--319},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_14},
doi = {10.1007/3-540-62503-8\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/DeganoLP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/DeganoPLT96,
author = {Pierpaolo Degano and
Corrado Priami and
Lone Leth Thomsen and
Bent Thomsen},
editor = {Mads Dam},
title = {Analysis of Facile Programs: {A} Case Study},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {345--369},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_16},
doi = {10.1007/3-540-62503-8\_16},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/DeganoPLT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BorgiaDPLT96,
author = {Roberta Borgia and
Pierpaolo Degano and
Corrado Priami and
Lone Leth Thomsen and
Bent Thomsen},
editor = {Radhia Cousot and
David A. Schmidt},
title = {Understanding Mobile Agents via a Non-Interleaving Semantics for Facile},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {98--112},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_36},
doi = {10.1007/3-540-61739-6\_36},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BorgiaDPLT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Priami95,
author = {Corrado Priami},
title = {Stochastic pi-Calculus},
journal = {Comput. J.},
volume = {38},
number = {7},
pages = {578--589},
year = {1995},
url = {https://doi.org/10.1093/comjnl/38.7.578},
doi = {10.1093/COMJNL/38.7.578},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Priami95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/DeganoP95,
author = {Pierpaolo Degano and
Corrado Priami},
title = {Comparison of Syntactic Error Handling in {LR} Parsers},
journal = {Softw. Pract. Exp.},
volume = {25},
number = {6},
pages = {657--679},
year = {1995},
url = {https://doi.org/10.1002/spe.4380250606},
doi = {10.1002/SPE.4380250606},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/DeganoP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DeganoP95,
author = {Pierpaolo Degano and
Corrado Priami},
editor = {Mar{\'{\i}}a Alpuente and
Maria I. Sessa},
title = {A Transitional Semantics of Full Prolog},
booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
di Vietri, Italy, September 11-14, 1995},
pages = {511--520},
year = {1995},
timestamp = {Wed, 01 Dec 2004 15:33:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/DeganoP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/MycroftDP95,
author = {Alan Mycroft and
Pierpaolo Degano and
Corrado Priami},
editor = {Kanchana Kanchanasut and
Jean{-}Jacques L{\'{e}}vy},
title = {Complexity as a Basis for Comparing Semantic Models of Concurrency},
booktitle = {Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science
Conference, {ACSC} '95, Pathumthani, Thailand, December 11-13, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1023},
pages = {141--155},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60688-2\_41},
doi = {10.1007/3-540-60688-2\_41},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/MycroftDP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DeganoP95,
author = {Pierpaolo Degano and
Corrado Priami},
editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Ferenc G{\'{e}}cseg},
title = {Causality for Mobile Processes},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {944},
pages = {660--671},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60084-1\_113},
doi = {10.1007/3-540-60084-1\_113},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DeganoP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BianchiCDP95,
author = {Alessandro Bianchi and
Stefano Coluccini and
Pierpaolo Degano and
Corrado Priami},
editor = {Victor E. Malyshkin},
title = {An Efficient Verifier of Truly Concurrent Properties},
booktitle = {Parallel Computing Technologies, 3rd International Conference, PaCT-95,
St. Petersburg, Russia, September 12-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {964},
pages = {36--50},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60222-4\_95},
doi = {10.1007/3-540-60222-4\_95},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/pact/BianchiCDP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/InverardiPY94,
author = {Paola Inverardi and
Corrado Priami and
Daniel Yankelevich},
title = {Automatizing Parametric Reasoning on Distributed Concurrent Systems},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6},
pages = {676--695},
year = {1994},
url = {https://doi.org/10.1007/BF03259392},
doi = {10.1007/BF03259392},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/InverardiPY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PriamiY94,
author = {Corrado Priami and
Daniel Yankelevich},
editor = {Igor Pr{\'{\i}}vara and
Branislav Rovan and
Peter Ruzicka},
title = {Read-Write Causality},
booktitle = {Mathematical Foundations of Computer Science 1994, 19th International
Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {841},
pages = {567--576},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58338-6\_103},
doi = {10.1007/3-540-58338-6\_103},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/PriamiY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BianchiDMMMPS93,
author = {U. Bianchi and
Pierpaolo Degano and
Stefano Mannucci and
Simone Martini and
Bruno Mojana and
Corrado Priami and
E. Salvatori},
title = {Generating the analytic component parts of syntax-directed editors
with efficient-error recovery},
journal = {J. Syst. Softw.},
volume = {23},
number = {1},
pages = {65--79},
year = {1993},
url = {https://doi.org/10.1016/0164-1212(93)90061-2},
doi = {10.1016/0164-1212(93)90061-2},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BianchiDMMMPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/InverardiPY93,
author = {Paola Inverardi and
Corrado Priami and
Daniel Yankelevich},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {Extended Transition Systems for Parametric Bisimulation},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {558--569},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_102},
doi = {10.1007/3-540-56939-1\_102},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/InverardiPY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DeganoP92,
author = {Pierpaolo Degano and
Corrado Priami},
editor = {Werner Kuich},
title = {Proved Trees},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {629--640},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_110},
doi = {10.1007/3-540-55719-9\_110},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DeganoP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/InverardiP91,
author = {Paola Inverardi and
Corrado Priami},
title = {Evaluation of Tools for the Analysis of Communicating Systems},
journal = {Bull. {EATCS}},
volume = {45},
pages = {158--185},
year = {1991},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/InverardiP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-25 05:50 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:
