BibTeX records: Andrea Maggiolo-Schettini

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics