[107] Arnaud Gotlieb, Marine Louarn, Mari Nygård, Tomás Ruiz-López, Sagar Sen, and Roberta Gori. Constraint-based verification of a mobile app game designed for nudging people to attend cancer screening. In Satinder P. Singh and Shaul Markovitch, editors, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., pages 4678--4685. AAAI Press, 2017. [ bib | http ]
[106] Roberto Barbuti, Pasquale Bove, Paolo Milazzo, and Giovanni Pardini. Applications of P systems in population biology and ecology: The cases of MPP and APP systems. In Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, and Claudio Zandron, editors, Membrane Computing - 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers, volume 10105 of Lecture Notes in Computer Science, pages 28--48. Springer, 2016. [ bib | DOI | http ]
[105] Giovanni Pardini and Paolo Milazzo. A high-level model checking language with compile-time pruning of local variables. In Paolo Milazzo, Dániel Varró, and Manuel Wimmer, editors, Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, volume 9946 of Lecture Notes in Computer Science, pages 67--82. Springer, 2016. [ bib | DOI | http ]
[104] Roberto Bagnara, Michele Chiari, Roberta Gori, and Abramo Bagnara. A practical approach to interval refinement for math.h/cmath functions. CoRR, abs/1610.07390, 2016. [ bib | http ]
[103] Roberto Barbuti, Roberta Gori, Francesca Levi, and Paolo Milazzo. Specialized predictor for reaction systems with context properties. Fundam. Inform., 147(2-3):173--191, 2016. [ bib | DOI | http ]
[102] Roberto Bagnara, Matthieu Carlier, Roberta Gori, and Arnaud Gotlieb. Exploiting binary floating-point representations for constraint propagation. INFORMS Journal on Computing, 28(1):31--46, 2016. [ bib | DOI | http ]
[101] Roberto Barbuti, Roberta Gori, Francesca Levi, and Paolo Milazzo. Investigating dynamic causalities in reaction systems. Theor. Comput. Sci., 623:114--145, 2016. [ bib | DOI | http ]
[100] Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone, Marzia Del Re, and Romano Danesi. Mathematical modeling of drug resistance due to kras mutation in colorectal cancer. Journal of theoretical biology, 389:263--273, 2016. [ bib ]
[99] Roberto Barbuti, Roberta Gori, Francesca Levi, and Paolo Milazzo. Specialized predictor for reaction systems with context properties. In Zbigniew Suraj and Ludwik Czaja, editors, Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015., volume 1492 of CEUR Workshop Proceedings, pages 31--43. CEUR-WS.org, 2015. [ bib | .pdf ]
[98] Paolo Milazzo, Giovanni Pardini, Dario Sestini, and Pasquale Bove. Case studies of application of probabilistic and statistical model checking in game design. In Walt Scacchi and Jim Whitehead, editors, 4th IEEE/ACM International Workshop on Games and Software Engineering, GAS 2015, Florence, Italy, May 18, 2015, pages 29--35. IEEE Computer Society, 2015. [ bib | DOI | http ]
[97] Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, and Francesca Levi. A global occurrence counting analysis for brane calculi. In Moreno Falaschi, editor, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, volume 9527 of Lecture Notes in Computer Science, pages 179--200. Springer, 2015. [ bib | DOI | http ]
[96] Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, and Giovanni Pardini. Attributed probabilistic P systems and their application to the modelling of social interactions in primates. In Domenico Bianculli, Radu Calinescu, and Bernhard Rumpe, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers, volume 9509 of Lecture Notes in Computer Science, pages 176--191. Springer, 2015. [ bib | DOI | http ]
[95] Suryana Setiawan, Antonio Cerone, and Paolo Milazzo. A tool for the modelling and simulation of ecological systems based on grid systems. In Domenico Bianculli, Radu Calinescu, and Bernhard Rumpe, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers, volume 9509 of Lecture Notes in Computer Science, pages 198--212. Springer, 2015. [ bib | DOI | http ]
[94] Roberto Barbuti, Pasquale Bove, Paolo Milazzo, and Giovanni Pardini. Minimal probabilistic P systems for modelling ecological systems. Theor. Comput. Sci., 608:36--56, 2015. [ bib | DOI | http ]
[93] Chiara Bodei, Roberta Gori, and Francesca Levi. Causal static analysis for brane calculi. Theor. Comput. Sci., 587:73--103, 2015. [ bib | DOI | http ]
[92] Giovanni Pardini, Paolo Milazzo, and Andrea Maggiolo-Schettini. Component identification in biochemical pathways. Theor. Comput. Sci., 587:104--124, 2015. [ bib | DOI | http ]
[91] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, and Simone Tini. Systolic automata and P systems. In Cristian S. Calude, Rusins Freivalds, and Kazuo Iwama, editors, Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday, volume 8808 of Lecture Notes in Computer Science, pages 17--31. Springer, 2014. [ bib | DOI | http ]
[90] Sheema Sameen, Roberto Barbuti, Paolo Milazzo, and Antonio Cerone. A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer. In Carlos Canal and Akram Idani, editors, Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers, volume 8938 of Lecture Notes in Computer Science, pages 243--258. Springer, 2014. [ bib | DOI | http ]
[89] Vincenzo Manca and Giovanni Pardini. Morphogenesis through moving membranes. Natural Computing, 13(3):403--419, 2014. [ bib | DOI | http ]
[88] Giovanni Pardini, Paolo Milazzo, and Andrea Maggiolo-Schettini. Identification of components in biochemical pathways: extensive application to SBML models. Natural Computing, 13(3):351--365, 2014. [ bib | DOI | http ]
[87] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. Simulation of spatial P system models. Theor. Comput. Sci., 529:11--45, 2014. [ bib | DOI | http ]
[86] Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci., 551:1--21, 2014. [ bib | DOI | http ]
[85] Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. A compositional semantics of reaction systems with restriction. In Paola Bonizzoni, Vasco Brattka, and Benedikt Löwe, editors, The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, volume 7921 of Lecture Notes in Computer Science, pages 330--339. Springer, 2013. [ bib | DOI | http ]
[84] Roberto Bagnara, Matthieu Carlier, Roberta Gori, and Arnaud Gotlieb. Symbolic path-oriented test data generation for floating-point programs. In Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013, pages 1--10. IEEE Computer Society, 2013. [ bib | DOI | http ]
[83] Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. A computational formal model of the invasiveness of eastern species in european water frog populations. In Steve Counsell and Manuel Núñez, editors, 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, volume 8368 of Lecture Notes in Computer Science, pages 329--344. Springer, 2013. [ bib | DOI | http ]
[82] Roberto Bagnara, Matthieu Carlier, Roberta Gori, and Arnaud Gotlieb. Filtering floating-point constraints by maximum ULP. CoRR, abs/1308.3847, 2013. [ bib | http ]
[81] Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. Application of a semi-automatic algorithm for identification of molecular components in SBML models. In Alex Graudenzi, Giulio Caravagna, Giancarlo Mauri, and Marco Antoniotti, editors, Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013., volume 130 of EPTCS, pages 43--52, 2013. [ bib | DOI | http ]
[80] Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. Modular verification of qualitative pathway models with fairness. Sci. Ann. Comp. Sci., 23(1):75--117, 2013. [ bib | DOI | http ]
[79] Chiara Bodei, Roberta Gori, and Francesca Levi. An analysis for causal properties of membrane interactions. Electr. Notes Theor. Comput. Sci., 299:15--31, 2013. [ bib | DOI | http ]
[78] Giovanni Pardini, Paolo Milazzo, and Andrea Maggiolo-Schettini. An algorithm for the identification of components in biochemical pathways. Electr. Notes Theor. Comput. Sci., 299:69--84, 2013. [ bib | DOI | http ]
[77] Roberta Gori and Francesca Levi. An analysis for proving probabilistic termination of biological systems. Theor. Comput. Sci., 471:27--73, 2013. [ bib | DOI | http ]
[76] Roberto Barbuti, Selma Mautner, Giorgio Carnevale, Paolo Milazzo, Aureliano Rama, and Christian Sturmbauer. Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment. BMC evolutionary biology, 12(1):1, 2012. [ bib ]
[75] Giulio Caravagna, Gabriele Costa, Luca Wiegand, and Giovanni Pardini. Lazy monitoring for distributed computing environments. In Ilsun You, Leonard Barolli, Antonio Gentile, Hae-Duck Joshua Jeong, Marek R. Ogiela, and Fatos Xhafa, editors, Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2012, Palermo, Italy, July 4-6, 2012, pages 259--265. IEEE Computer Society, 2012. [ bib | DOI | http ]
[74] Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, and Suryana Setiawan. Modelling population dynamics using grid systems. In Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, and Ioannis Stamelos, editors, 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, volume 7991 of Lecture Notes in Computer Science, pages 172--189. Springer, 2012. [ bib | DOI | http ]
[73] Giulio Caravagna, Gabriele Costa, and Giovanni Pardini. Lazy security controllers. In Audun Jøsang, Pierangela Samarati, and Marinella Petrocchi, editors, Security and Trust Management - 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers, volume 7783 of Lecture Notes in Computer Science, pages 33--48. Springer, 2012. [ bib | DOI | http ]
[72] Giulio Caravagna, Roberto Barbuti, and Alberto d'Onofrio. Fine-tuning anti-tumor immunotherapies via stochastic simulations. BMC Bioinformatics, 13(S-4):S8, 2012. [ bib | DOI | http ]
[71] Peter Drábik, Andrea Maggiolo-Schettini, and Paolo Milazzo. Towards modular verification of pathways: fairness and assumptions. In Gabriel Ciobanu, editor, Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012., volume 100 of EPTCS, pages 63--81, 2012. [ bib | DOI | http ]
[70] Peter Drábik, Andrea Maggiolo-Schettini, and Paolo Milazzo. On conditions for modular verification in systems of synchronising components. Fundam. Inform., 120(3-4):259--274, 2012. [ bib | DOI | http ]
[69] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci., 431:96--116, 2012. [ bib | DOI | http ]
[68] Roberto Barbuti, Francesca Levi, Paolo Milazzo, and Guido Scatena. Probabilistic model checking of biological systems with uncertain kinetic rates. Theor. Comput. Sci., 419:2--16, 2012. [ bib | DOI | http ]
[67] Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, and Luca Tesei. A testing framework for P systems. CoRR, abs/1108.3424, 2011. [ bib | http ]
[66] Peter Drábik, Andrea Maggiolo-Schettini, and Paolo Milazzo. Modular verification of interactive systems with an application to biology. Sci. Ann. Comp. Sci., 21(1):39--72, 2011. [ bib | http ]
[65] Roberto Barbuti, Francesca Levi, Paolo Milazzo, and Guido Scatena. Maximally parallel probabilistic semantics for multiset rewriting. Fundam. Inform., 112(1):1--17, 2011. [ bib | DOI | http ]
[64] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. An overview on operational semantics in membrane computing. Int. J. Found. Comput. Sci., 22(1):119--131, 2011. [ bib | DOI | http ]
[63] Roberto Barbuti, Giuditta Franco, and Gheorghe Păun. Foreword. Natural Computing, 10(1):1--2, 2011. [ bib | DOI | http ]
[62] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, and Luca Tesei. Spatial P systems. Natural Computing, 10(1):3--16, 2011. [ bib | DOI | http ]
[61] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. Spatial calculus of looping sequences. Theor. Comput. Sci., 412(43):5976--6001, 2011. [ bib | DOI | http ]
[60] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo. Delay stochastic simulation of biological systems: A purely delayed approach. Trans. Computational Systems Biology, 13:61--84, 2011. [ bib | DOI | http ]
[59] Giulio Caravagna, Alberto d’Onofrio, Paolo Milazzo, and Roberto Barbuti. Tumour suppression by immune system through stochastic oscillations. Journal of theoretical biology, 265(3):336--345, 2010. [ bib ]
[58] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. Membrane systems working in generating and accepting modes: Expressiveness and encodings. In Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, and Arto Salomaa, editors, Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, volume 6501 of Lecture Notes in Computer Science, pages 103--118. Springer, 2010. [ bib | DOI | http ]
[57] Peter Drábik, Andrea Maggiolo-Schettini, and Paolo Milazzo. Dynamic sync-programs for modular verification of biological systems. In Henning Bordihn, Rudolf Freund, Markus Holzer, Thomas Hinze, Martin Kutrib, and Friedrich Otto, editors, Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23 - August 24, 2010. Proceedings, volume 263 of books@ocg.at, pages 71--83. Austrian Computer Society, 2010. [ bib ]
[56] Roberto Barbuti, Nicoletta De Francesco, and Luca Tesei. An abstract interpretation approach for enhancing the java bytecode verifier. Comput. J., 53(6):679--700, 2010. [ bib | DOI | http ]
[55] Chiara Bodei, Andrea Bracciali, Davide Chiarugi, and Roberta Gori. A taxonomy of causality-based biological properties. In Emanuela Merelli and Paola Quaglia, editors, Proceedings Third Workshop From Biology To Concurrency and back, FBTC 2010, Paphos, Cyprus, 27th March 2010., volume 19 of EPTCS, pages 116--133, 2010. [ bib | DOI | http ]
[54] Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Elisabetta Rossi. Modelling the dynamics of an aedes albopictus population. In Paolo Milazzo and Mario de J. Pérez-Jiménez, editors, Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology, AMCA-POP 2010, Jena, Germany, 25th August 2010., volume 33 of EPTCS, pages 18--36, 2010. [ bib | DOI | http ]
[53] Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, and Simone Tini. Aspects of multiscale modelling in a process algebra for biological systems. In Gabriel Ciobanu and Maciej Koutny, editors, Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010., volume 40 of EPTCS, pages 54--69, 2010. [ bib | DOI | http ]
[52] Roberto Barbuti, Giovanni A. Cignoni, and Paolo Milazzo. A model for configuration management of open software systems. CoRR, abs/1011.5389, 2010. [ bib | http ]
[51] Peter Drábik, Andrea Maggiolo-Schettini, and Paolo Milazzo. Modular verification of interactive systems with an application to biology. Electr. Notes Theor. Comput. Sci., 268:61--75, 2010. [ bib | DOI | http ]
[50] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Damas P. Gruska. A notion of biological diagnosability inspired by the notion of opacity in systems security. Fundam. Inform., 102(1):19--34, 2010. [ bib | DOI | http ]
[49] Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, and Paolo Milazzo. A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday. Fundam. Inform., 103(1-4):1--29, 2010. [ bib | DOI | http ]
[48] Roberta Gori and Francesca Levi. Abstract interpretation based verification of temporal properties for bioambients. Inf. Comput., 208(8):869--921, 2010. [ bib | DOI | http ]
[47] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. Compositional semantics of spiking neural P systems. J. Log. Algebr. Program., 79(6):304--316, 2010. [ bib | DOI | http ]
[46] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection. Journal of Biological Systems, 17(03):349--376, 2009. [ bib ]
[45] Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, and Aureliano Rama. Simulation of kohn's molecular interaction maps through translation into stochastic CLS+. In Amir Pnueli, Irina Virbitskaite, and Andrei Voronkov, editors, Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers, volume 5947 of Lecture Notes in Computer Science, pages 58--69. Springer, 2009. [ bib | DOI | http ]
[44] Roberto Barbuti, Francesca Levi, Paolo Milazzo, and Guido Scatena. Probabilistic model checking of biological systems with uncertain kinetic rates. In Olivier Bournez and Igor Potapov, editors, Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, volume 5797 of Lecture Notes in Computer Science, pages 64--78. Springer, 2009. [ bib | DOI | http ]
[43] Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, and Andrea Maggiolo-Schettini. On the interpretation of delays in delay stochastic simulation of biological systems. In Ralph-Johan Back, Ion Petre, and Erik P. de Vink, editors, Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009., volume 6 of EPTCS, pages 17--29, 2009. [ bib | DOI | http ]
[42] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, and Aureliano Rama. A process calculus for molecular interaction maps. In Gabriel Ciobanu, editor, Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., volume 11 of EPTCS, page 35, 2009. [ bib | DOI | http ]
[41] Roberta Gori and Francesca Levi. Abstract interpretation for probabilistic termination of biological systems. In Gabriel Ciobanu, editor, Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009., volume 11 of EPTCS, pages 137--153, 2009. [ bib | DOI | http ]
[40] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. Spatial calculus of looping sequences. Electr. Notes Theor. Comput. Sci., 229(1):21--39, 2009. [ bib | DOI | http ]
[39] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Luca Tesei. Timed P automata. Electr. Notes Theor. Comput. Sci., 227:21--36, 2009. [ bib | DOI | http ]
[38] Thomas Anung Basuki, Antonio Cerone, and Paolo Milazzo. Translating stochastic CLS into maude. Electr. Notes Theor. Comput. Sci., 227:37--58, 2009. [ bib | DOI | http ]
[37] Alessio Coletta, Roberta Gori, and Francesca Levi. Approximating probabilistic behaviors of biological systems using abstract interpretation. Electr. Notes Theor. Comput. Sci., 229(1):165--182, 2009. [ bib | DOI | http ]
[36] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. P systems with transport and diffusion membrane channels. Fundam. Inform., 93(1-3):17--31, 2009. [ bib | DOI | http ]
[35] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Luca Tesei. Timed P automata. Fundam. Inform., 94(1):1--19, 2009. [ bib | DOI | http ]
[34] Roberto Barbuti. Giorgio levi in pisa. Theor. Comput. Sci., 410(46):4603--4604, 2009. [ bib | DOI | http ]
[33] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo. An intermediate language for the stochastic simulation of biological systems. Theor. Comput. Sci., 410(33-34):3085--3109, 2009. [ bib | DOI | http ]
[32] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. The calculus of looping sequences. In Marco Bernardo, Pierpaolo Degano, and Gianluigi Zavattaro, editors, 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, volume 5016 of Lecture Notes in Computer Science, pages 387--423. Springer, 2008. [ bib | DOI | http ]
[31] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo. An intermediate language for the simulation of biological systems. Electr. Notes Theor. Comput. Sci., 194(3):19--34, 2008. [ bib | DOI | http ]
[30] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. Bisimulations in calculi modelling membranes. Formal Asp. Comput., 20(4-5):351--377, 2008. [ bib | DOI | http ]
[29] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. A P systems flat form preserving step-by-step behaviour. Fundam. Inform., 87(1):1--34, 2008. [ bib ]
[28] Damas P. Gruska, Andrea Maggiolo-Schettini, and Paolo Milazzo. Security in a model for long-running transactions. Fundam. Inform., 85(1-4):189--203, 2008. [ bib | http ]
[27] Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. Design and verification of long-running transactions in a timed framework. Sci. Comput. Program., 73(2-3):76--94, 2008. [ bib | DOI | http ]
[26] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. Compositional semantics and behavioral equivalences for P systems. Theor. Comput. Sci., 395(1):77--100, 2008. [ bib | DOI | http ]
[25] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, and Angelo Troina. Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Trans. Computational Systems Biology, 9:86--113, 2008. [ bib | DOI | http ]
[24] Paolo Milazzo. Formal Modeling in Systems Biology: An Approach from Theoretical Computer Science. VDM Verlag, 2008. [ bib ]
[23] Roberto Barbuti, Andrea Maggiolo-Schettini, and Paolo Milazzo. Extending the calculus of looping sequences to model protein interaction at the domain level. In Ion I. Mandoiu and Alexander Zelikovsky, editors, Bioinformatics Research and Applications, Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007, Proceedings, volume 4463 of Lecture Notes in Computer Science, pages 638--649. Springer, 2007. [ bib | DOI | http ]
[22] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. The calculus of looping sequences for modeling biological membranes. In George Eleftherakis, Petros Kefalas, Gheorghe Păun, Grzegorz Rozenberg, and Arto Salomaa, editors, Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, volume 4860 of Lecture Notes in Computer Science, pages 54--76. Springer, 2007. [ bib | DOI | http ]
[21] Paolo Milazzo. Qualitative and quantitative formal modeling of biological systems. PhD thesis, Ph. D. Thesis, University of Pisa, 2007. [ bib ]
[20] Roberta Gori and Francesca Levi. An analysis for proving temporal properties of biological systems. In Naoki Kobayashi, editor, Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, volume 4279 of Lecture Notes in Computer Science, pages 234--252. Springer, 2006. [ bib | DOI | http ]
[19] Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. Modeling long-running transactions with communicating hierarchical timed automata. In Roberto Gorrieri and Heike Wehrheim, editors, Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, volume 4037 of Lecture Notes in Computer Science, pages 108--122. Springer, 2006. [ bib | DOI | http ]
[18] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. Bisimulation congruences in the calculus of looping sequences. In Kamel Barkaoui, Ana Cavalcanti, and Antonio Cerone, editors, Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, volume 4281 of Lecture Notes in Computer Science, pages 93--107. Springer, 2006. [ bib | DOI | http ]
[17] Francesca Levi. A typed encoding of boxed into safe ambients. Acta Inf., 42(6-7):429--500, 2006. [ bib | DOI | http ]
[16] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. A calculus of looping sequences for modelling microbiological systems. Fundam. Inform., 72(1-3):21--35, 2006. [ bib | http ]
[15] Samuele Carpineti, Cosimo Laneve, and Paolo Milazzo. Bopi - A distributed machine for experimenting web services technologies. In Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France, pages 202--211. IEEE Computer Society, 2005. [ bib | DOI | http ]
[14] Roberta Gori and Francesca Levi. A new occurrence counting analysis for bioambients. In Kwangkeun Yi, editor, Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings, volume 3780 of Lecture Notes in Computer Science, pages 381--400. Springer, 2005. [ bib | DOI | http ]
[13] Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, and Gigliola Vaglini. Reduced models for efficient CCS verification. Formal Methods in System Design, 26(3):319--350, 2005. [ bib | DOI | http ]
[12] Roberto Barbuti and Stefano Cataudella. Abstract interpretation of an object calculus for synchronization optimizations. Fundam. Inform., 67(1-3):1--12, 2005. [ bib | http ]
[11] Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. A probabilistic model for molecular systems. Fundam. Inform., 67(1-3):13--27, 2005. [ bib | http ]
[10] Roberta Gori and Giorgio Levi. On the verification of finite failure. J. Comput. Syst. Sci., 71(4):535--575, 2005. [ bib | DOI | http ]
[9] Francesca Levi and Chiara Bodei. A control flow analysis for safe and boxed ambients. In David A. Schmidt, editor, Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, volume 2986 of Lecture Notes in Computer Science, pages 188--203. Springer, 2004. [ bib | DOI | http ]
[8] Roberto Barbuti and Stefano Cataudella. Java bytecode verification on java cards. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, and Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pages 431--438. ACM, 2004. [ bib | DOI | http ]
[7] Roberto Barbuti and Luca Tesei. Timed automata with urgent transitions. Acta Inf., 40(5):317--347, 2004. [ bib | DOI | http ]
[6] Roberto Barbuti, Cinzia Bernardeschi, and Nicoletta De Francesco. Analyzing information flow properties in assembly code by abstract interpretation. Comput. J., 47(1):25--45, 2004. [ bib | DOI | http ]
[5] Elisa Bertino, Barbara Catania, and Roberta Gori. Enhancing the expressive power of the u-datalog language. CoRR, cs.DB/0404003, 2004. [ bib | http ]
[4] Roberto Bagnara, Roberta Gori, Patricia M. Hill, and Enea Zaffanella. Finite-tree analysis for constraint logic-based languages: The complete unabridged version. CoRR, cs.PL/0404055, 2004. [ bib | http ]
[3] Roberto Barbuti, Stefano Cataudella, and Luca Tesei. Abstract interpretation against races. Fundam. Inform., 60(1-4):67--79, 2004. [ bib | http ]
[2] Roberto Bagnara, Roberta Gori, Patricia M. Hill, and Enea Zaffanella. Finite-tree analysis for constraint logic-based languages. Inf. Comput., 193(2):84--116, 2004. [ bib | DOI | http ]
[1] Francesca Levi and Sergio Maffeis. On abstract interpretation of mobile ambients. Inf. Comput., 188(2):179--240, 2004. [ bib | DOI | http ]

This file was generated by bibtex2html 1.98.