Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Andrea Maggiolo-Schettini
@article{DBLP:journals/tcs/PardiniMM15, author = {Giovanni Pardini and Paolo Milazzo and Andrea Maggiolo{-}Schettini}, title = {Component identification in biochemical pathways}, journal = {Theor. Comput. Sci.}, volume = {587}, pages = {104--124}, year = {2015}, url = {https://doi.org/10.1016/j.tcs.2015.03.013}, doi = {10.1016/J.TCS.2015.03.013}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/PardiniMM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nc/PardiniMM14, author = {Giovanni Pardini and Paolo Milazzo and Andrea Maggiolo{-}Schettini}, title = {Identification of components in biochemical pathways: extensive application to {SBML} models}, journal = {Nat. Comput.}, volume = {13}, number = {3}, pages = {351--365}, year = {2014}, url = {https://doi.org/10.1007/s11047-014-9433-x}, doi = {10.1007/S11047-014-9433-X}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nc/PardiniMM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BarbutiMMP14, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini}, title = {Simulation of Spatial {P} system models}, journal = {Theor. Comput. Sci.}, volume = {529}, pages = {11--45}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2013.08.002}, doi = {10.1016/J.TCS.2013.08.002}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BarbutiMMP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/PardiniBMMT14, author = {Giovanni Pardini and Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini}, title = {Compositional semantics and behavioural equivalences for reaction systems with restriction}, journal = {Theor. Comput. Sci.}, volume = {551}, pages = {1--21}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2014.04.010}, doi = {10.1016/J.TCS.2014.04.010}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/PardiniBMMT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BarbutiMMPT14, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini and Simone Tini}, editor = {Cristian S. Calude and Rusins Freivalds and Kazuo Iwama}, title = {Systolic Automata and {P} Systems}, booktitle = {Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday}, series = {Lecture Notes in Computer Science}, volume = {8808}, pages = {17--31}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-13350-8\_2}, doi = {10.1007/978-3-319-13350-8\_2}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BarbutiMMPT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/DrabikMMP13, author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini}, title = {Modular Verification of Qualitative Pathway Models with Fairness}, journal = {Sci. Ann. Comput. Sci.}, volume = {23}, number = {1}, pages = {75--117}, year = {2013}, url = {https://doi.org/10.7561/SACS.2013.1.75}, doi = {10.7561/SACS.2013.1.75}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/DrabikMMP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/PardiniBMMT13, author = {Giovanni Pardini and Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini}, editor = {Paola Bonizzoni and Vasco Brattka and Benedikt L{\"{o}}we}, title = {A Compositional Semantics of Reaction Systems with Restriction}, booktitle = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7921}, pages = {330--339}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39053-1\_39}, doi = {10.1007/978-3-642-39053-1\_39}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/cie/PardiniBMMT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BarbutiBMMP13, author = {Roberto Barbuti and Pasquale Bove and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini}, editor = {Steve Counsell and Manuel N{\'{u}}{\~{n}}ez}, title = {A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations}, booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8368}, pages = {329--344}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-05032-4\_24}, doi = {10.1007/978-3-319-05032-4\_24}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/BarbutiBMMP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Maggiolo-SchettiniMP13, author = {Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini}, editor = {Alex Graudenzi and Giulio Caravagna and Giancarlo Mauri and Marco Antoniotti}, title = {Application of a Semi-automatic Algorithm for Identification of Molecular Components in {SBML} Models}, booktitle = {Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013}, series = {{EPTCS}}, volume = {130}, pages = {43--52}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.130.7}, doi = {10.4204/EPTCS.130.7}, timestamp = {Tue, 11 May 2021 13:27:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/Maggiolo-SchettiniMP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PardiniMM13, author = {Giovanni Pardini and Paolo Milazzo and Andrea Maggiolo{-}Schettini}, editor = {Emanuela Merelli and Angelo Troina}, title = {An Algorithm for the Identification of Components in Biochemical Pathways}, booktitle = {Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, CS2Bio 2013, Florence, Italy, June 6, 2013}, series = {Electronic Notes in Theoretical Computer Science}, volume = {299}, pages = {69--84}, publisher = {Elsevier}, year = {2013}, url = {https://doi.org/10.1016/j.entcs.2013.11.007}, doi = {10.1016/J.ENTCS.2013.11.007}, timestamp = {Tue, 22 Nov 2022 13:29:02 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PardiniMM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DrabikMM12, author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, title = {On Conditions for Modular Verification in Systems of Synchronising Components}, journal = {Fundam. Informaticae}, volume = {120}, number = {3-4}, pages = {259--274}, year = {2012}, url = {https://doi.org/10.3233/FI-2012-761}, doi = {10.3233/FI-2012-761}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DrabikMM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BarbutiCMMT12, author = {Roberto Barbuti and Giulio Caravagna and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini}, title = {Foundational aspects of multiscale modeling of biological systems with process algebras}, journal = {Theor. Comput. Sci.}, volume = {431}, pages = {96--116}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2011.12.058}, doi = {10.1016/J.TCS.2011.12.058}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BarbutiCMMT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BarbutiCMMS12, author = {Roberto Barbuti and Antonio Cerone and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Suryana Setiawan}, editor = {Antonio Cerone and Donatella Persico and Sara Fernandes and Alexeis Garcia{-}Perez and Panagiotis Katsaros and Siraj Ahmed Shaikh and Ioannis Stamelos}, title = {Modelling Population Dynamics Using Grid Systems}, booktitle = {Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - {SEFM} 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7991}, pages = {172--189}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-54338-8\_14}, doi = {10.1007/978-3-642-54338-8\_14}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/BarbutiCMMS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1211-4093, author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, editor = {Gabriel Ciobanu}, title = {Towards modular verification of pathways: fairness and assumptions}, booktitle = {Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012}, series = {{EPTCS}}, volume = {100}, pages = {63--81}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.100.5}, doi = {10.4204/EPTCS.100.5}, timestamp = {Tue, 29 Dec 2020 18:21:24 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1211-4093.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/DrabikMM11, author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, title = {Modular Verification of Interactive Systems with an Application to Biology}, journal = {Sci. Ann. Comput. Sci.}, volume = {21}, number = {1}, pages = {39--72}, year = {2011}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1\&\#38;a=8}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/DrabikMM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/BarbutiMMT11, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini}, title = {An Overview on Operational Semantics in Membrane Computing}, journal = {Int. J. Found. Comput. Sci.}, volume = {22}, number = {1}, pages = {119--131}, year = {2011}, url = {https://doi.org/10.1142/S0129054111007885}, doi = {10.1142/S0129054111007885}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/BarbutiMMT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nc/BarbutiMMPT11, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini and Luca Tesei}, title = {Spatial {P} systems}, journal = {Nat. Comput.}, volume = {10}, number = {1}, pages = {3--16}, year = {2011}, url = {https://doi.org/10.1007/s11047-010-9187-z}, doi = {10.1007/S11047-010-9187-Z}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nc/BarbutiMMPT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BarbutiMMP11, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini}, title = {Spatial Calculus of Looping Sequences}, journal = {Theor. Comput. Sci.}, volume = {412}, number = {43}, pages = {5976--6001}, year = {2011}, url = {https://doi.org/10.1016/j.tcs.2011.01.020}, doi = {10.1016/J.TCS.2011.01.020}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BarbutiMMP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcsb/BarbutiCMM11, author = {Roberto Barbuti and Giulio Caravagna and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, title = {Delay Stochastic Simulation of Biological Systems: {A} Purely Delayed Approach}, journal = {Trans. Comp. Sys. Biology}, volume = {13}, pages = {61--84}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19748-2\_4}, doi = {10.1007/978-3-642-19748-2\_4}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcsb/BarbutiCMM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1108-3424, author = {Roberto Barbuti and Diletta Romana Cacciagrano and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Luca Tesei}, title = {A Testing Framework for {P} Systems}, journal = {CoRR}, volume = {abs/1108.3424}, year = {2011}, url = {http://arxiv.org/abs/1108.3424}, eprinttype = {arXiv}, eprint = {1108.3424}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-3424.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/LanotteMT10, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Angelo Troina}, title = {Reachability results for timed automata with unbounded data structures}, journal = {Acta Informatica}, volume = {47}, number = {5-6}, pages = {279--311}, year = {2010}, url = {https://doi.org/10.1007/s00236-010-0121-8}, doi = {10.1007/S00236-010-0121-8}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/LanotteMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BarbutiMMG10, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Damas P. Gruska}, title = {A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security}, journal = {Fundam. Informaticae}, volume = {102}, number = {1}, pages = {19--34}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-294}, doi = {10.3233/FI-2010-294}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BarbutiMMG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BarbutiMTDM10, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Angelo Troina and Mariangiola Dezani{-}Ciancaglini and Paolo Milazzo}, title = {A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday}, journal = {Fundam. Informaticae}, volume = {103}, number = {1-4}, pages = {1--29}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-316}, doi = {10.3233/FI-2010-316}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BarbutiMTDM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BarbutiMMT10, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini}, title = {Compositional semantics of spiking neural {P} systems}, journal = {J. Log. Algebraic Methods Program.}, volume = {79}, number = {6}, pages = {304--316}, year = {2010}, url = {https://doi.org/10.1016/j.jlap.2010.03.011}, doi = {10.1016/J.JLAP.2010.03.011}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/BarbutiMMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/LanotteMT10, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Angelo Troina}, title = {Weak bisimulation for Probabilistic Timed Automata}, journal = {Theor. Comput. Sci.}, volume = {411}, number = {50}, pages = {4291--4322}, year = {2010}, url = {https://doi.org/10.1016/j.tcs.2010.09.003}, doi = {10.1016/J.TCS.2010.09.003}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/LanotteMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LanotteMT10, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Angelo Troina}, title = {Time and Probability-Based Information Flow Analysis}, journal = {{IEEE} Trans. Software Eng.}, volume = {36}, number = {5}, pages = {719--734}, year = {2010}, url = {https://doi.org/10.1109/TSE.2010.4}, doi = {10.1109/TSE.2010.4}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/LanotteMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/membrane/BarbutiMMT10, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini}, editor = {Marian Gheorghe and Thomas Hinze and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings}, booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6501}, pages = {103--118}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-18123-8\_11}, doi = {10.1007/978-3-642-18123-8\_11}, timestamp = {Mon, 03 Jan 2022 22:42:19 +0100}, biburl = {https://dblp.org/rec/conf/membrane/BarbutiMMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ncma/DrabikMM10, author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, editor = {Henning Bordihn and Rudolf Freund and Markus Holzer and Thomas Hinze and Martin Kutrib and Friedrich Otto}, title = {Dynamic Sync-Programs for Modular Verification of Biological Systems}, booktitle = {Second Workshop on Non-Classical Models for Automata and Applications - {NCMA} 2010, Jena, Germany, August 23 - August 24, 2010. Proceedings}, series = {books@ocg.at}, volume = {263}, pages = {71--83}, publisher = {Austrian Computer Society}, year = {2010}, timestamp = {Thu, 17 Mar 2016 10:50:07 +0100}, biburl = {https://dblp.org/rec/conf/ncma/DrabikMM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1008-3301, author = {Thomas Anung Basuki and Antonio Cerone and Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Elisabetta Rossi}, editor = {Paolo Milazzo and Mario de J. P{\'{e}}rez{-}Jim{\'{e}}nez}, title = {Modelling the Dynamics of an Aedes albopictus Population}, booktitle = {Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology, {AMCA-POP} 2010, Jena, Germany, 25th August 2010}, series = {{EPTCS}}, volume = {33}, pages = {18--36}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.33.2}, doi = {10.4204/EPTCS.33.2}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1008-3301.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1011-0491, author = {Roberto Barbuti and Giulio Caravagna and Paolo Milazzo and Andrea Maggiolo{-}Schettini and Simone Tini}, editor = {Gabriel Ciobanu and Maciej Koutny}, title = {Aspects of multiscale modelling in a process algebra for biological systems}, booktitle = {Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010}, series = {{EPTCS}}, volume = {40}, pages = {54--69}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.40.5}, doi = {10.4204/EPTCS.40.5}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1011-0491.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DrabikMM10, author = {Peter Dr{\'{a}}bik and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, editor = {Jean Krivine and Angelo Troina}, title = {Modular Verification of Interactive Systems with an Application to Biology}, booktitle = {Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands, June 10, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {268}, pages = {61--75}, publisher = {Elsevier}, year = {2010}, url = {https://doi.org/10.1016/j.entcs.2010.12.006}, doi = {10.1016/J.ENTCS.2010.12.006}, timestamp = {Thu, 09 Mar 2023 16:02:23 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DrabikMM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sefm/2010, editor = {Jos{\'{e}} Luiz Fiadeiro and Stefania Gnesi and Andrea Maggiolo{-}Schettini}, title = {8th {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://ieeexplore.ieee.org/xpl/conhome/5635422/proceeding}, isbn = {978-0-7695-4153-2}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BarbutiMMT09, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini}, title = {P Systems with Transport and Diffusion Membrane Channels}, journal = {Fundam. Informaticae}, volume = {93}, number = {1-3}, pages = {17--31}, year = {2009}, url = {https://doi.org/10.3233/FI-2009-0085}, doi = {10.3233/FI-2009-0085}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BarbutiMMT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BarbutiMMT09a, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Luca Tesei}, title = {Timed {P} Automata}, journal = {Fundam. Informaticae}, volume = {94}, number = {1}, pages = {1--19}, year = {2009}, url = {https://doi.org/10.3233/FI-2009-114}, doi = {10.3233/FI-2009-114}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BarbutiMMT09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijccc/BarbutiCMM09, author = {Roberto Barbuti and Giulio Caravagna and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, title = {P Systems with Endosomes}, journal = {Int. J. Comput. Commun. Control}, volume = {4}, number = {3}, pages = {214--223}, year = {2009}, url = {https://doi.org/10.15837/ijccc.2009.3.2429}, doi = {10.15837/IJCCC.2009.3.2429}, timestamp = {Fri, 20 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijccc/BarbutiCMM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BarbutiCMM09, author = {Roberto Barbuti and Giulio Caravagna and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, title = {An intermediate language for the stochastic simulation of biological systems}, journal = {Theor. Comput. Sci.}, volume = {410}, number = {33-34}, pages = {3085--3109}, year = {2009}, url = {https://doi.org/10.1016/j.tcs.2008.09.032}, doi = {10.1016/J.TCS.2008.09.032}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BarbutiCMM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/BarbutiLMMPR09, author = {Roberto Barbuti and Daniela Lepri and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini and Aureliano Rama}, editor = {Amir Pnueli and Irina B. Virbitskaite and Andrei Voronkov}, title = {Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic {CLS+}}, booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {5947}, pages = {58--69}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-11486-1\_6}, doi = {10.1007/978-3-642-11486-1\_6}, timestamp = {Mon, 16 Dec 2019 13:26:25 +0100}, biburl = {https://dblp.org/rec/conf/ershov/BarbutiLMMPR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-0910-1219, author = {Roberto Barbuti and Giulio Caravagna and Paolo Milazzo and Andrea Maggiolo{-}Schettini}, editor = {Ralph{-}Johan Back and Ion Petre and Erik P. de Vink}, title = {On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems}, booktitle = {Proceedings Second International Workshop on Computational Models for Cell Processes, {COMPMOD} 2009, Eindhoven, the Netherlands, November 3, 2009}, series = {{EPTCS}}, volume = {6}, pages = {17--29}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.6.2}, doi = {10.4204/EPTCS.6.2}, timestamp = {Mon, 15 Jun 2020 16:54:36 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0910-1219.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-0911-4854, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini and Aureliano Rama}, editor = {Gabriel Ciobanu}, title = {A Process Calculus for Molecular Interaction Maps}, booktitle = {Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009}, series = {{EPTCS}}, volume = {11}, pages = {35}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.11.3}, doi = {10.4204/EPTCS.11.3}, timestamp = {Tue, 29 Dec 2020 18:21:21 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-0911-4854.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BarbutiMMT08, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Angelo Troina}, title = {Bisimulations in calculi modelling membranes}, journal = {Formal Aspects Comput.}, volume = {20}, number = {4-5}, pages = {351--377}, year = {2008}, url = {https://doi.org/10.1007/s00165-008-0071-x}, doi = {10.1007/S00165-008-0071-X}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BarbutiMMT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GruskaMM08, author = {Damas P. Gruska and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, title = {Security in a Model for Long-running Transactions}, journal = {Fundam. Informaticae}, volume = {85}, number = {1-4}, pages = {189--203}, year = {2008}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-14}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GruskaMM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BarbutiMMT08, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini}, title = {A {P} Systems Flat Form Preserving Step-by-step Behaviour}, journal = {Fundam. Informaticae}, volume = {87}, number = {1}, pages = {1--34}, year = {2008}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BarbutiMMT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/LanotteMMT08, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Angelo Troina}, title = {Design and verification of long-running transactions in a timed framework}, journal = {Sci. Comput. Program.}, volume = {73}, number = {2-3}, pages = {76--94}, year = {2008}, url = {https://doi.org/10.1016/j.scico.2008.07.001}, doi = {10.1016/J.SCICO.2008.07.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/LanotteMMT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BarbutiMMT08, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Simone Tini}, title = {Compositional semantics and behavioral equivalences for {P} Systems}, journal = {Theor. Comput. Sci.}, volume = {395}, number = {1}, pages = {77--100}, year = {2008}, url = {https://doi.org/10.1016/j.tcs.2008.01.028}, doi = {10.1016/J.TCS.2008.01.028}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BarbutiMMT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcsb/BarbutiMMTT08, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Paolo Tiberi and Angelo Troina}, title = {Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways}, journal = {Trans. Comp. Sys. Biology}, volume = {9}, pages = {86--113}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88765-2\_3}, doi = {10.1007/978-3-540-88765-2\_3}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcsb/BarbutiMMTT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfm/BarbutiCMMP08, author = {Roberto Barbuti and Giulio Caravagna and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini}, editor = {Marco Bernardo and Pierpaolo Degano and Gianluigi Zavattaro}, title = {The Calculus of Looping Sequences}, booktitle = {Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {5016}, pages = {387--423}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68894-5\_11}, doi = {10.1007/978-3-540-68894-5\_11}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/sfm/BarbutiCMMP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarbutiMMP09, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Giovanni Pardini}, editor = {Nicola Cannata and Emanuela Merelli and Irek Ulidowski}, title = {Spatial Calculus of Looping Sequences}, booktitle = {Proceedings of the Second Workshop From Biology to Concurrency and Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {229}, number = {1}, pages = {21--39}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.02.003}, doi = {10.1016/J.ENTCS.2009.02.003}, timestamp = {Fri, 24 Feb 2023 11:25:56 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarbutiMMP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarbutiMMT09, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Luca Tesei}, editor = {Gabriel Ciobanu}, title = {Timed {P} Automata}, booktitle = {Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Ia{\c{s}}i, Romania, September 3-4, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {227}, pages = {21--36}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.12.102}, doi = {10.1016/J.ENTCS.2008.12.102}, timestamp = {Fri, 24 Feb 2023 10:20:07 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarbutiMMT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/LanotteMT07, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Angelo Troina}, title = {Parametric probabilistic transition systems for system design and analysis}, journal = {Formal Aspects Comput.}, volume = {19}, number = {1}, pages = {93--109}, year = {2007}, url = {https://doi.org/10.1007/s00165-006-0015-2}, doi = {10.1007/S00165-006-0015-2}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/LanotteMT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isbra/BarbutiMM07, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, editor = {Ion I. Mandoiu and Alexander Zelikovsky}, title = {Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level}, booktitle = {Bioinformatics Research and Applications, Third International Symposium, {ISBRA} 2007, Atlanta, GA, USA, May 7-10, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4463}, pages = {638--649}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72031-7\_58}, doi = {10.1007/978-3-540-72031-7\_58}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/isbra/BarbutiMM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/membrane/BarbutiMMT07, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Angelo Troina}, editor = {George Eleftherakis and Petros Kefalas and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {The Calculus of Looping Sequences for Modeling Biological Membranes}, booktitle = {Membrane Computing, 8th International Workshop, {WMC} 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {4860}, pages = {54--76}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77312-2\_4}, doi = {10.1007/978-3-540-77312-2\_4}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/membrane/BarbutiMMT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarbutiCMM08, author = {Roberto Barbuti and Giulio Caravagna and Andrea Maggiolo{-}Schettini and Paolo Milazzo}, editor = {Nicola Cannata and Emanuela Merelli}, title = {An Intermediate Language for the Simulation of Biological Systems}, booktitle = {Proceedings of the First Workshop "From Biology To Concurrency and back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {194}, number = {3}, pages = {19--34}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.12.004}, doi = {10.1016/J.ENTCS.2007.12.004}, timestamp = {Thu, 09 Feb 2023 10:12:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarbutiCMM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BarbutiMMT06, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Angelo Troina}, title = {A Calculus of Looping Sequences for Modelling Microbiological Systems}, journal = {Fundam. Informaticae}, volume = {72}, number = {1-3}, pages = {21--35}, year = {2006}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-03}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BarbutiMMT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/LanotteMMT06, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Angelo Troina}, editor = {Roberto Gorrieri and Heike Wehrheim}, title = {Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata}, booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4037}, pages = {108--122}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11768869\_10}, doi = {10.1007/11768869\_10}, timestamp = {Thu, 14 Oct 2021 10:14:37 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/LanotteMMT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/BarbutiMMT06, author = {Roberto Barbuti and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Angelo Troina}, editor = {Kamel Barkaoui and Ana Cavalcanti and Antonio Cerone}, title = {Bisimulation Congruences in the Calculus of Looping Sequences}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4281}, pages = {93--107}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11921240\_7}, doi = {10.1007/11921240\_7}, timestamp = {Mon, 21 Feb 2022 14:40:49 +0100}, biburl = {https://dblp.org/rec/conf/ictac/BarbutiMMT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BarbutiCMMT05, author = {Roberto Barbuti and Stefano Cataudella and Andrea Maggiolo{-}Schettini and Paolo Milazzo and Angelo Troina}, title = {A Probabilistic Model for Molecular Systems}, journal = {Fundam. Informaticae}, volume = {67}, number = {1-3}, pages = {13--27}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-03}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BarbutiCMMT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/LanotteM05, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini}, title = {Monotonic hybrid systems}, journal = {J. Comput. Syst. Sci.}, volume = {71}, number = {1}, pages = {34--69}, year = {2005}, url = {https://doi.org/10.1016/j.jcss.2004.11.003}, doi = {10.1016/J.JCSS.2004.11.003}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/LanotteM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/LanotteMT05, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Angelo Troina}, editor = {Bernhard K. Aichernig and Bernhard Beckert}, title = {Timed Automata with Data Structures for Distributed Systems Design and Analysis}, booktitle = {Third {IEEE} International Conference on Software Engineering and Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany}, pages = {44--53}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/SEFM.2005.49}, doi = {10.1109/SEFM.2005.49}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/LanotteMT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LanotteMT06, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Angelo Troina}, editor = {Antonio Cerone and Herbert Wiklicky}, title = {A Classification of Time and/or Probability Dependent Security Properties}, booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {153}, number = {2}, pages = {177--193}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.038}, doi = {10.1016/J.ENTCS.2005.10.038}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/LanotteMT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/TiniM04, author = {Simone Tini and Andrea Maggiolo{-}Schettini}, title = {Compositional Synthesis of Generalized Mealy Machines}, journal = {Fundam. Informaticae}, volume = {60}, number = {1-4}, pages = {367--382}, year = {2004}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-24}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/TiniM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijisec/GorrieriLMMTT04, author = {Roberto Gorrieri and Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Fabio Martinelli and Simone Tini and Enrico Tronci}, title = {Automated analysis of timed security: a case study on web privacy}, journal = {Int. J. Inf. Sec.}, volume = {2}, number = {3-4}, pages = {168--186}, year = {2004}, url = {https://doi.org/10.1007/s10207-004-0037-9}, doi = {10.1007/S10207-004-0037-9}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijisec/GorrieriLMMTT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/LanotteMT04, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Simone Tini}, title = {Epsilon-transitions in Concurrent Timed Automata}, journal = {Inf. Process. Lett.}, volume = {89}, number = {1}, pages = {1--7}, year = {2004}, url = {https://doi.org/10.1016/j.ipl.2003.09.018}, doi = {10.1016/J.IPL.2003.09.018}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/LanotteMT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/LanotteMT04, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Simone Tini}, title = {Information flow in hybrid systems}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {3}, number = {4}, pages = {760--799}, year = {2004}, url = {https://doi.org/10.1145/1027794.1027799}, doi = {10.1145/1027794.1027799}, timestamp = {Tue, 08 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/LanotteMT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icics/LanotteMTTT04, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Simone Tini and Angelo Troina and Enrico Tronci}, editor = {Javier L{\'{o}}pez and Sihan Qing and Eiji Okamoto}, title = {Automatic Covert Channel Analysis of a Multilevel Secure Component}, booktitle = {Information and Communications Security, 6th International Conference, {ICICS} 2004, Malaga, Spain, October 27-29, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3269}, pages = {249--261}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30191-2\_20}, doi = {10.1007/978-3-540-30191-2\_20}, timestamp = {Thu, 29 Aug 2019 08:10:01 +0200}, biburl = {https://dblp.org/rec/conf/icics/LanotteMTTT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/LanotteMT04, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Angelo Troina}, editor = {Theodosis Dimitrakos and Fabio Martinelli}, title = {Information Flow Analysis for Probabilistic Timed Automata}, booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7} Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse, France}, series = {{IFIP}}, volume = {173}, pages = {13--26}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/0-387-24098-5\_2}, doi = {10.1007/0-387-24098-5\_2}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/LanotteMT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/LanotteMP04, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Adriano Peron}, editor = {Jir{\'{\i}} Fiala and V{\'{a}}clav Koubek and Jan Kratochv{\'{\i}}l}, title = {Structural Model Checking for Communicating Hierarchical Machines}, booktitle = {Mathematical Foundations of Computer Science 2004, 29th International Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3153}, pages = {525--536}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-28629-5\_40}, doi = {10.1007/978-3-540-28629-5\_40}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/LanotteMP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/LanotteMT04, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Angelo Troina}, title = {Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security}, booktitle = {2nd International Conference on Software Engineering and Formal Methods {(SEFM} 2004), 28-30 September 2004, Beijing, China}, pages = {114--121}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.12}, doi = {10.1109/SEFM.2004.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/LanotteMT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LanotteMT05, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Angelo Troina}, editor = {Antonio Cerone and Alessandra Di Pierro}, title = {Automatic Analysis of a Non-Repudiation Protocol}, booktitle = {Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {112}, pages = {113--129}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.01.020}, doi = {10.1016/J.ENTCS.2004.01.020}, timestamp = {Thu, 01 Dec 2022 16:35:06 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LanotteMT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/LanotteMPT03, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Adriano Peron and Simone Tini}, title = {Dynamic Hierarchical Machines}, journal = {Fundam. Informaticae}, volume = {54}, number = {2-3}, pages = {237--252}, year = {2003}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-10}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/LanotteMPT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Maggiolo-SchettiniPT03, author = {Andrea Maggiolo{-}Schettini and Adriano Peron and Simone Tini}, title = {A comparison of Statecharts step semantics}, journal = {Theor. Comput. Sci.}, volume = {290}, number = {1}, pages = {465--498}, year = {2003}, url = {https://doi.org/10.1016/S0304-3975(01)00381-4}, doi = {10.1016/S0304-3975(01)00381-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Maggiolo-SchettiniPT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/LanotteMT03, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Simone Tini}, title = {Concurrency in timed automata}, journal = {Theor. Comput. Sci.}, volume = {309}, number = {1-3}, pages = {503--527}, year = {2003}, url = {https://doi.org/10.1016/S0304-3975(03)00316-5}, doi = {10.1016/S0304-3975(03)00316-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/LanotteMT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/LanotteMT03, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Angelo Troina}, title = {Weak Bisimulation for Probabilistic Timed Automata and Applications to Security}, booktitle = {1st International Conference on Software Engineering and Formal Methods {(SEFM} 2003), 22-27 September 2003, Brisbane, Australia}, pages = {34--43}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/SEFM.2003.1236205}, doi = {10.1109/SEFM.2003.1236205}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/LanotteMT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LanotteMTTT04, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Simone Tini and Angelo Troina and Enrico Tronci}, editor = {Mario Bravetti and Roberto Gorrieri}, title = {Automatic Analysis of the {NRL} Pump}, booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO} Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {99}, pages = {245--266}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.02.011}, doi = {10.1016/J.ENTCS.2004.02.011}, timestamp = {Thu, 08 Dec 2022 22:44:21 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LanotteMTTT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Maggiolo-SchettiniT02, author = {Andrea Maggiolo{-}Schettini and Simone Tini}, title = {On disjunction of literals in triggers of statecharts transitions}, journal = {Inf. Process. Lett.}, volume = {84}, number = {6}, pages = {305--310}, year = {2002}, url = {https://doi.org/10.1016/S0020-0190(02)00314-9}, doi = {10.1016/S0020-0190(02)00314-9}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/Maggiolo-SchettiniT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GruskaM01, author = {Damas P. Gruska and Andrea Maggiolo{-}Schettini}, title = {Process Algebras for Network Communication}, journal = {Fundam. Informaticae}, volume = {45}, number = {4}, pages = {359--378}, year = {2001}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi45-4-04}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GruskaM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/LanotteMTP01, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Simone Tini and Adriano Peron}, title = {Transformations of Timed Cooperating Automata}, journal = {Fundam. Informaticae}, volume = {47}, number = {3-4}, pages = {271--282}, year = {2001}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi47-3-4-08}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/LanotteMTP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/LanotteMT01, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Simone Tini}, editor = {Rusins Freivalds}, title = {Concurrency in Timed Automata}, booktitle = {Fundamentals of Computation Theory, 13th International Symposium, {FCT} 2001, Riga, Latvia, August 22-24, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2138}, pages = {240--251}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44669-9\_24}, doi = {10.1007/3-540-44669-9\_24}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/LanotteMT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FocardiGLMMTT01, author = {Riccardo Focardi and Roberto Gorrieri and Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Fabio Martinelli and Simone Tini and Enrico Tronci}, editor = {Marina Lenisa and Marino Miculan}, title = {Formal Models of Timing Attacks on Web Privacy}, booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001, Udine, Italy, November 19-21, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {62}, pages = {229--243}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00329-9}, doi = {10.1016/S1571-0661(04)00329-9}, timestamp = {Wed, 30 Nov 2022 12:15:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FocardiGLMMTT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LanotteMT01, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Simone Tini}, editor = {Flavio Corradini and Walter Vogler}, title = {Privacy in Real-Time Systems}, booktitle = {Proceedings of the International Workshop on Models for Time-Critical Systems, {MTCS} 2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark, August 25, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {52}, number = {3}, pages = {295--305}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00229-4}, doi = {10.1016/S1571-0661(04)00229-4}, timestamp = {Thu, 01 Dec 2022 15:07:04 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LanotteMT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/LanotteMP00, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini and Adriano Peron}, title = {Timed Cooperating Automata}, journal = {Fundam. Informaticae}, volume = {43}, number = {1-4}, pages = {153--173}, year = {2000}, url = {https://doi.org/10.3233/FI-2000-43123408}, doi = {10.3233/FI-2000-43123408}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/LanotteMP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/TiniM00, author = {Simone Tini and Andrea Maggiolo{-}Schettini}, editor = {Teodor Rus}, title = {A Causal Semantics for Timed Default Concurrent Constraint Programming}, booktitle = {Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1816}, pages = {228--242}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45499-3\_18}, doi = {10.1007/3-540-45499-3\_18}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/TiniM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/LanotteM00, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Timed Automata with Monotonic Activities}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {518--527}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_47}, doi = {10.1007/3-540-44612-5\_47}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/LanotteM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Maggiolo-SchettiniT99, author = {Andrea Maggiolo{-}Schettini and Simone Tini}, title = {Applying Techniques of Asynchronous Concurrency to Synchronous Languages}, journal = {Fundam. Informaticae}, volume = {40}, number = {2-3}, pages = {221--250}, year = {1999}, url = {https://doi.org/10.3233/FI-1999-402306}, doi = {10.3233/FI-1999-402306}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Maggiolo-SchettiniT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CeroneM99, author = {Antonio Cerone and Andrea Maggiolo{-}Schettini}, title = {Time-Based Expressivity of Time Petri Nets for System Specification}, journal = {Theor. Comput. Sci.}, volume = {216}, number = {1-2}, pages = {1--53}, year = {1999}, url = {https://doi.org/10.1016/S0304-3975(98)00008-5}, doi = {10.1016/S0304-3975(98)00008-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CeroneM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/TiniM99, author = {Simone Tini and Andrea Maggiolo{-}Schettini}, editor = {Ana M. D. Moreira and Serge Demeyer}, title = {A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming}, booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1743}, pages = {256--258}, publisher = {Springer}, year = {1999}, timestamp = {Mon, 15 Jun 2020 17:08:35 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/TiniM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/TiniM98, author = {Simone Tini and Andrea Maggiolo{-}Schettini}, editor = {Frank S. de Boer and Maurizio Gabbrielli}, title = {Two semantics for Timed Default Concurrent Constraint Programming}, booktitle = {Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, {COTIC} 1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September 7, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {16}, number = {1}, pages = {24--41}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(05)80590-0}, doi = {10.1016/S1571-0661(05)80590-0}, timestamp = {Fri, 11 Nov 2022 14:28:09 +0100}, biburl = {https://dblp.org/rec/journals/entcs/TiniM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Maggiolo-SchettiniT98, author = {Andrea Maggiolo{-}Schettini and Simone Tini}, editor = {Petr Jancar and Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}}, title = {Projectable Semantics for Statecharts}, booktitle = {Proceedings of the {MFCS} '98 Workshop on Concurrency, Brno, Czech Republic, August 27-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {18}, pages = {134--146}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(05)80255-5}, doi = {10.1016/S1571-0661(05)80255-5}, timestamp = {Fri, 11 Nov 2022 14:46:09 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Maggiolo-SchettiniT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Maggiolo-SchettiniM97, author = {Andrea Maggiolo{-}Schettini and Gionata Matteucci}, title = {Processes in Cause-Effect Systems}, journal = {Fundam. Informaticae}, volume = {31}, number = {3/4}, pages = {305--335}, year = {1997}, url = {https://doi.org/10.3233/FI-1997-313406}, doi = {10.3233/FI-1997-313406}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Maggiolo-SchettiniM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Maggiolo-SchettiniW97, author = {Andrea Maggiolo{-}Schettini and J{\'{o}}zef Winkowski}, title = {A Partial Order Representation of Processes of Transforming Graphs}, journal = {Fundam. Informaticae}, volume = {31}, number = {3/4}, pages = {337--355}, year = {1997}, url = {https://doi.org/10.3233/FI-1997-313407}, doi = {10.3233/FI-1997-313407}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Maggiolo-SchettiniW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Maggiolo-SchettiniW96, author = {Andrea Maggiolo{-}Schettini and J{\'{o}}zef Winkowski}, title = {A Kernel Language for Programmed Rewriting of (Hyper)graphs}, journal = {Acta Informatica}, volume = {33}, number = {6}, pages = {523--546}, year = {1996}, url = {https://doi.org/10.1007/BF03036461}, doi = {10.1007/BF03036461}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Maggiolo-SchettiniW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Maggiolo-SchettiniPT96, author = {Andrea Maggiolo{-}Schettini and Adriano Peron and Simone Tini}, editor = {Ugo Montanari and Vladimiro Sassone}, title = {Equivalences of Statecharts}, booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1119}, pages = {687--702}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61604-7\_84}, doi = {10.1007/3-540-61604-7\_84}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/Maggiolo-SchettiniPT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftrtft/Maggiolo-SchettiniP96, author = {Andrea Maggiolo{-}Schettini and Adriano Peron}, editor = {Bengt Jonsson and Joachim Parrow}, title = {Retiming Techniques for Statecharts}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1135}, pages = {55--71}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61648-9\_34}, doi = {10.1007/3-540-61648-9\_34}, timestamp = {Tue, 31 Aug 2021 12:07:12 +0200}, biburl = {https://dblp.org/rec/conf/ftrtft/Maggiolo-SchettiniP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lomaps/Maggiolo-SchettiniM96, author = {Andrea Maggiolo{-}Schettini and Massimo Merro}, editor = {Mads Dam}, title = {Prorities in Statecharts}, 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 = {404--429}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-62503-8\_19}, doi = {10.1007/3-540-62503-8\_19}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lomaps/Maggiolo-SchettiniM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Maggiolo-SchettiniW96, author = {Andrea Maggiolo{-}Schettini and J{\'{o}}zef Winkowski}, editor = {Wojciech Penczek and Andrzej Szalas}, title = {Dynamic Graphs}, booktitle = {Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1113}, pages = {431--442}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61550-4\_168}, doi = {10.1007/3-540-61550-4\_168}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Maggiolo-SchettiniW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacs/PeronM94, author = {Adriano Peron and Andrea Maggiolo{-}Schettini}, editor = {Masami Hagiya and John C. Mitchell}, title = {Transitions as Interrupts: {A} New Semantics for Timed Statecharts}, booktitle = {Theoretical Aspects of Computer Software, International Conference {TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {789}, pages = {806--821}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-57887-0\_126}, doi = {10.1007/3-540-57887-0\_126}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/tacs/PeronM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/Maggiolo-SchettiniP94, author = {Andrea Maggiolo{-}Schettini and Adriano Peron}, editor = {Janice E. Cuny and Hartmut Ehrig and Gregor Engels and Grzegorz Rozenberg}, title = {A Graph Rewriting Framework for Statecharts Semantics}, booktitle = {Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {107--121}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-61228-9\_82}, doi = {10.1007/3-540-61228-9\_82}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/tagt/Maggiolo-SchettiniP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/Maggiolo-SchettiniP93, author = {Andrea Maggiolo{-}Schettini and Adriano Peron}, editor = {Hans J{\"{u}}rgen Schneider and Hartmut Ehrig}, title = {Semantics of Full Statecharts Based on Graph Rewriting}, booktitle = {Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {265--279}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57787-4\_17}, doi = {10.1007/3-540-57787-4\_17}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/Maggiolo-SchettiniP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/FachiniMS92, author = {Emanuela Fachini and Andrea Maggiolo{-}Schettini and Davide Sangiorgi}, title = {Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata}, journal = {Acta Informatica}, volume = {29}, number = {6/7}, pages = {623--643}, year = {1992}, url = {https://doi.org/10.1007/BF01185564}, doi = {10.1007/BF01185564}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/FachiniMS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/MasiniM92, author = {Andrea Masini and Andrea Maggiolo{-}Schettini}, title = {{TTL:} {A} formalism to describe local and global properties of distributed systems}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {26}, pages = {115--149}, year = {1992}, url = {https://doi.org/10.1051/ita/1992260201151}, doi = {10.1051/ITA/1992260201151}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/MasiniM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Maggiolo-SchettiniW92, author = {Andrea Maggiolo{-}Schettini and J{\'{o}}zef Winkowski}, title = {Towards an Algebra for Timed Behaviours}, journal = {Theor. Comput. Sci.}, volume = {103}, number = {2}, pages = {335--363}, year = {1992}, url = {https://doi.org/10.1016/0304-3975(92)90018-B}, doi = {10.1016/0304-3975(92)90018-B}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Maggiolo-SchettiniW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caap/Maggiolo-SchettiniW92, author = {Andrea Maggiolo{-}Schettini and J{\'{o}}zef Winkowski}, editor = {Jean{-}Claude Raoult}, title = {A Programming Language for Deriving Hypergraphs}, booktitle = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {581}, pages = {221--231}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55251-0\_12}, doi = {10.1007/3-540-55251-0\_12}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/caap/Maggiolo-SchettiniW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/napaw/GruskaM92, author = {Damas P. Gruska and Andrea Maggiolo{-}Schettini}, editor = {S. Purushothaman and Amy E. Zwarico}, title = {Process Communication Environment}, booktitle = {{NAPAW} 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992}, series = {Workshops in Computing}, pages = {27--40}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3217-2\_3}, doi = {10.1007/978-1-4471-3217-2\_3}, timestamp = {Fri, 21 Jun 2019 13:08:59 +0200}, biburl = {https://dblp.org/rec/conf/napaw/GruskaM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Maggiolo-SchettiniPW91, author = {Andrea Maggiolo{-}Schettini and G. Michele Pinna and J{\'{o}}zef Winkowski}, title = {A compositional semantics for unmarked predicate/transition nets}, journal = {Fundam. Informaticae}, volume = {14}, number = {1}, pages = {109--128}, year = {1991}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Maggiolo-SchettiniPW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FachiniMRS91, author = {Emanuela Fachini and Andrea Maggiolo{-}Schettini and Giovanni Resta and Davide Sangiorgi}, title = {Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata}, journal = {Theor. Comput. Sci.}, volume = {83}, number = {2}, pages = {249--260}, year = {1991}, url = {https://doi.org/10.1016/0304-3975(91)90277-9}, doi = {10.1016/0304-3975(91)90277-9}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/FachiniMRS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/FachiniGMS90, author = {Emanuela Fachini and Jozef Gruska and Andrea Maggiolo{-}Schettini and Davide Sangiorgi}, title = {Simulation of Systolic Tree Automata on Trellis Automata}, journal = {Int. J. Found. Comput. Sci.}, volume = {1}, number = {2}, pages = {87--110}, year = {1990}, url = {https://doi.org/10.1142/S0129054190000084}, doi = {10.1142/S0129054190000084}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/FachiniGMS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Maggiolo-SchettiniW90, author = {Andrea Maggiolo{-}Schettini and J{\'{o}}zef Winkowski}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Programmed Derivations of Relational Structures}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {582--598}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017414}, doi = {10.1007/BFB0017414}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/gg/Maggiolo-SchettiniW90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/FachiniMS90, author = {Emanuela Fachini and Andrea Maggiolo{-}Schettini and Davide Sangiorgi}, editor = {Branislav Rovan}, title = {Comparisons Among Classes of Y-Tree Systolic Automata}, booktitle = {Mathematical Foundations of Computer Science 1990, MFCS'90, Bansk{\'{a}} Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {452}, pages = {254--260}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0029616}, doi = {10.1007/BFB0029616}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/FachiniMS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0074391, author = {Egon B{\"{o}}rger and Andrea Maggiolo{-}Schettini}, title = {Fondamenti di informatica}, publisher = {{ETS} Editrice}, year = {1988}, timestamp = {Fri, 06 May 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0074391.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Maggiolo-SchettiniNT88, author = {Andrea Maggiolo{-}Schettini and Margherita Napoli and Genoveffa Tortora}, title = {Web Structures: {A} Tool for Representing and Manipulating Programs}, journal = {{IEEE} Trans. Software Eng.}, volume = {14}, number = {11}, pages = {1621--1639}, year = {1988}, url = {https://doi.org/10.1109/32.9050}, doi = {10.1109/32.9050}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/Maggiolo-SchettiniNT88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/WinkowskiM87, author = {J{\'{o}}zef Winkowski and Andrea Maggiolo{-}Schettini}, title = {An Algebra of Processes}, journal = {J. Comput. Syst. Sci.}, volume = {35}, number = {2}, pages = {206--228}, year = {1987}, url = {https://doi.org/10.1016/0022-0000(87)90013-4}, doi = {10.1016/0022-0000(87)90013-4}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/WinkowskiM87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Maggiolo-SchettiniW82, author = {Andrea Maggiolo{-}Schettini and J{\'{o}}zef Winkowski}, title = {Processes of Transforming Structures}, journal = {J. Comput. Syst. Sci.}, volume = {24}, number = {3}, pages = {245--282}, year = {1982}, url = {https://doi.org/10.1016/0022-0000(82)90029-0}, doi = {10.1016/0022-0000(82)90029-0}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Maggiolo-SchettiniW82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/FachiniM82, author = {Emanuela Fachini and Andrea Maggiolo{-}Schettini}, title = {Comparing Hierarchies of Primitive Recursive Sequence Functions}, journal = {Math. Log. Q.}, volume = {28}, number = {27-32}, pages = {431--445}, year = {1982}, url = {https://doi.org/10.1002/malq.19820282705}, doi = {10.1002/MALQ.19820282705}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/FachiniM82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Maggiolo-Schettini82, author = {Andrea Maggiolo{-}Schettini and J{\'{o}}zef Winkowski}, editor = {Dines Bj{\o}rner}, title = {Towards a Programming Language for Manipulating Relational Data Bases}, booktitle = {Formal Description of Programming Concepts : Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982}, pages = {265--280}, publisher = {North-Holland}, year = {1982}, timestamp = {Tue, 15 Jan 2019 18:15:42 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Maggiolo-Schettini82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/EhrigKMRW81, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Andrea Maggiolo{-}Schettini and Barry K. Rosen and J{\'{o}}zef Winkowski}, title = {Transformations of Structures: an Algebraic Approach}, journal = {Math. Syst. Theory}, volume = {14}, pages = {305--334}, year = {1981}, url = {https://doi.org/10.1007/BF01752403}, doi = {10.1007/BF01752403}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/EhrigKMRW81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Maggiolo-SchettiniWW81, author = {Andrea Maggiolo{-}Schettini and Horst F. Wedde and J{\'{o}}zef Winkowski}, title = {Modeling a Solution for a Control Problem in Distributed Systems by Restrictions}, journal = {Theor. Comput. Sci.}, volume = {13}, pages = {61--83}, year = {1981}, url = {https://doi.org/10.1016/0304-3975(81)90111-0}, doi = {10.1016/0304-3975(81)90111-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Maggiolo-SchettiniWW81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GermanoM81, author = {Giorgio Germano and Andrea Maggiolo{-}Schettini}, title = {Sequence Recursiveness Without Cylindrification and Limited Register Machines}, journal = {Theor. Comput. Sci.}, volume = {15}, pages = {213--221}, year = {1981}, url = {https://doi.org/10.1016/0304-3975(81)90071-2}, doi = {10.1016/0304-3975(81)90071-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GermanoM81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/FacchiniM79, author = {E. Facchini and Andrea Maggiolo{-}Schettini}, title = {A Hierarchy of primitive recursive sequence functions}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {13}, number = {1}, pages = {49--67}, year = {1979}, url = {https://doi.org/10.1051/ita/1979130100491}, doi = {10.1051/ITA/1979130100491}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/FacchiniM79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/GermanoM79, author = {Giorgio Germano and Andrea Maggiolo{-}Schettini}, title = {Computable Stack Functions for Semantics of Stack Programs}, journal = {J. Comput. Syst. Sci.}, volume = {19}, number = {2}, pages = {133--144}, year = {1979}, url = {https://doi.org/10.1016/0022-0000(79)90024-2}, doi = {10.1016/0022-0000(79)90024-2}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/GermanoM79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mmb/Maggiolo-SchettiniWW79, author = {Andrea Maggiolo{-}Schettini and Horst F. Wedde and J{\'{o}}zef Winkowski}, editor = {Heinrich C. Mayr and Bernd E. Meyer}, title = {Modelling a Solution for a Control Problem in Distributed Systems by Restrictions}, booktitle = {Formale Modelle f{\"{u}}r Informationssysteme, GI-Fachtagung, 24.-26. Mai 1979, Tutzing, Deutschland}, series = {Informatik-Fachberichte}, volume = {21}, pages = {199--201}, publisher = {Springer}, year = {1979}, url = {https://doi.org/10.1007/978-3-642-67485-3\_11}, doi = {10.1007/978-3-642-67485-3\_11}, timestamp = {Wed, 13 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mmb/Maggiolo-SchettiniWW79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scc/Maggiolo-SchettiniWW79, author = {Andrea Maggiolo{-}Schettini and Horst F. Wedde and J{\'{o}}zef Winkowski}, editor = {Gilles Kahn}, title = {Modeling a Solution for a Control Problem in Distributed Systems by Restrictions}, booktitle = {Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979}, series = {Lecture Notes in Computer Science}, volume = {70}, pages = {226--248}, publisher = {Springer}, year = {1979}, url = {https://doi.org/10.1007/BFb0022472}, doi = {10.1007/BFB0022472}, timestamp = {Wed, 13 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scc/Maggiolo-SchettiniWW79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Maggiolo-SchettiniW78, author = {Andrea Maggiolo{-}Schettini and J{\'{o}}zef Winkowski}, editor = {Volker Claus and Hartmut Ehrig and Grzegorz Rozenberg}, title = {Processes in Structures}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, Germany, October 30 - November 3, 1978}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {317--330}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/BFb0025729}, doi = {10.1007/BFB0025729}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/Maggiolo-SchettiniW78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/EhrigKMW78, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Andrea Maggiolo{-}Schettini and Barry K. Rosen and J{\'{o}}zef Winkowski}, editor = {J{\'{o}}zef Winkowski}, title = {Deriving Structures from Structures}, booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978}, series = {Lecture Notes in Computer Science}, volume = {64}, pages = {177--190}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/3-540-08921-7\_66}, doi = {10.1007/3-540-08921-7\_66}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/EhrigKMW78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/actaC/GermanoM77, author = {Giorgio Germano and Andrea Maggiolo{-}Schettini}, title = {A language for Markov's algorithms composition}, journal = {Acta Cybern.}, volume = {3}, number = {1}, pages = {31--35}, year = {1976}, url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3133}, timestamp = {Wed, 16 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/actaC/GermanoM77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/GermanoM76, author = {Giorgio Germano and Andrea Maggiolo{-}Schettini}, editor = {Antoni W. Mazurkiewicz}, title = {Recursivity, Sequence Recursivity, Stack Recursivity and Semantics of Programs}, booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {45}, pages = {52--64}, publisher = {Springer}, year = {1976}, url = {https://doi.org/10.1007/3-540-07854-1\_161}, doi = {10.1007/3-540-07854-1\_161}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/GermanoM76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/GermanoM75, author = {Giorgio Germano and Andrea Maggiolo{-}Schettini}, title = {Sequence-to-Sequence Recursiveness}, journal = {Inf. Process. Lett.}, volume = {4}, number = {1}, pages = {1--6}, year = {1975}, url = {https://doi.org/10.1016/0020-0190(75)90050-2}, doi = {10.1016/0020-0190(75)90050-2}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/GermanoM75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/GermanoM75, author = {Giorgio Germano and Andrea Maggiolo{-}Schettini}, title = {Proving a Compiler Correct: {A} Simple Approach}, journal = {J. Comput. Syst. Sci.}, volume = {10}, number = {3}, pages = {370--383}, year = {1975}, url = {https://doi.org/10.1016/S0022-0000(75)80007-9}, doi = {10.1016/S0022-0000(75)80007-9}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/GermanoM75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/StrongM75, author = {H. R. Strong Jr. and Andrea Maggiolo{-}Schettini}, title = {Recursion Structure Simplification}, journal = {{SIAM} J. Comput.}, volume = {4}, number = {3}, pages = {307--320}, year = {1975}, url = {https://doi.org/10.1137/0204025}, doi = {10.1137/0204025}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/StrongM75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigact/GermanoM74, author = {Giorgio Germano and Andrea Maggiolo{-}Schettini}, title = {Loops in Algol 60 and in category theory}, journal = {{SIGACT} News}, volume = {6}, number = {4}, pages = {21--23}, year = {1974}, url = {https://doi.org/10.1145/1008318.1008320}, doi = {10.1145/1008318.1008320}, timestamp = {Wed, 04 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigact/GermanoM74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Maggiolo-SchettiniRS73, author = {Andrea Maggiolo{-}Schettini and Barry K. Rosen and H. Raymond Strong}, editor = {Patrick C. Fischer and Jeffrey D. Ullman}, title = {Procedure Linkage Optimization}, booktitle = {Conference Record of the {ACM} Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973}, pages = {183--193}, publisher = {{ACM} Press}, year = {1973}, url = {https://doi.org/10.1145/512927.512944}, doi = {10.1145/512927.512944}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/Maggiolo-SchettiniRS73.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.