Roberto Barbuti

	2012
82		Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Probabilistic model checking of biological systems with uncertain kinetic rates. Theor. Comput. Sci. 419: 2-16 (2012)
	2011
81		Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: A Testing Framework for P Systems CoRR abs/1108.3424: (2011)
80		Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Fundam. Inform. 112(1): 1-17 (2011)
79		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: An Overview on Operational Semantics in Membrane Computing. Int. J. Found. Comput. Sci. 22(1): 119-131 (2011)
78		Roberto Barbuti, Giuditta Franco, Gheorghe Paun: Foreword. Natural Computing 10(1): 1-2 (2011)
77		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei: Spatial P systems. Natural Computing 10(1): 3-16 (2011)
76		Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo: Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. T. Comp. Sys. Biology 13: 61-84 (2011)
75		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Spatial Calculus of Looping Sequences. Theor. Comput. Sci. 412(43): 5976-6001 (2011)
	2010
74		Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi: Modelling the Dynamics of an Aedes albopictus Population AMCA-POP 2010: 18-36
73		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. Int. Conf. on Membrane Computing 2010: 103-118
72		Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini: Aspects of multiscale modelling in a process algebra for biological systems MeCBIC 2010: 54-69
71		Roberto Barbuti, Giovanni A. Cignoni, Paolo Milazzo: A Model for Configuration Management of Open Software Systems CoRR abs/1011.5389: (2010)
70		Roberto Barbuti, Nicoletta De Francesco, Luca Tesei: An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53(6): 679-700 (2010)
69		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska: A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. Fundam. Inform. 102(1): 19-34 (2010)
68		Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, 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)
67		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: Compositional semantics of spiking neural P systems. J. Log. Algebr. Program. 79(6): 304-316 (2010)
	2009
66		Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini: On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems COMPMOD 2009: 17-29
65		Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama: Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. Ershov Memorial Conference 2009: 58-69
64		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama: A Process Calculus for Molecular Interaction Maps MeCBIC 2009: 35
63		Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. RP 2009: 64-78
62		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Electr. Notes Theor. Comput. Sci. 227: 21-36 (2009)
61		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Spatial Calculus of Looping Sequences. Electr. Notes Theor. Comput. Sci. 229(1): 21-39 (2009)
60		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: P Systems with Transport and Diffusion Membrane Channels. Fundam. Inform. 93(1-3): 17-31 (2009)
59		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Fundam. Inform. 94(1): 1-19 (2009)
58		Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo: An intermediate language for the stochastic simulation of biological systems. Theor. Comput. Sci. 410(33-34): 3085-3109 (2009)
57		Roberto Barbuti: Giorgio Levi in Pisa. Theor. Comput. Sci. 410(46): 4603-4604 (2009)
	2008
56		Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: The Calculus of Looping Sequences. SFM 2008: 387-423
55		Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo: An Intermediate Language for the Simulation of Biological Systems. Electr. Notes Theor. Comput. Sci. 194(3): 19-34 (2008)
54		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Bisimulations in calculi modelling membranes. Formal Asp. Comput. 20(4-5): 351-377 (2008)
53		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: A P Systems Flat Form Preserving Step-by-step Behaviour. Fundam. Inform. 87(1): 1-34 (2008)
52		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, Angelo Troina: Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. T. Comp. Sys. Biology 9: 86-113 (2008)
51		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: Compositional semantics and behavioral equivalences for P Systems. Theor. Comput. Sci. 395(1): 77-100 (2008)
	2007
50		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo: Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. ISBRA 2007: 638-649
49		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: The Calculus of Looping Sequences for Modeling Biological Membranes. Workshop on Membrane Computing 2007: 54-76
	2006
48		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Bisimulation Congruences in the Calculus of Looping Sequences. ICTAC 2006: 93-107
47		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundam. Inform. 72(1-3): 21-35 (2006)
	2005
46		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Reduced Models for Efficient CCS Verification. Formal Methods in System Design 26(3): 319-350 (2005)
45		Roberto Barbuti, Stefano Cataudella: Abstract Interpretation of an Object Calculus for Synchronization Optimizations. Fundam. Inform. 67(1-3): 1-12 (2005)
44		Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: A Probabilistic Model for Molecular Systems. Fundam. Inform. 67(1-3): 13-27 (2005)
	2004
43		Roberto Barbuti, Stefano Cataudella: Java bytecode verification on Java cards. SAC 2004: 431-438
42		Roberto Barbuti, Luca Tesei: Timed automata with urgent transitions. Acta Inf. 40(5): 317-347 (2004)
41		Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47(1): 25-45 (2004)
40		Roberto Barbuti, Stefano Cataudella, Luca Tesei: Abstract Interpretation Against Races. Fundam. Inform. 60(1-4): 67-79 (2004)
	2003
39		Roberto Barbuti, Luca Tesei: A Decidable Notion of Timed Non-Interference. Fundam. Inform. 54(2-3): 137-150 (2003)
	2002
38		Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Checking security of Java bytecode by abstract interpretation. SAC 2002: 229-236
37		Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco: Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382
36		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei: A Notion of Non-Interference for Timed Automata. Fundam. Inform. 51(1-2): 1-11 (2002)
35		Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83(2): 101-108 (2002)
	2001
34		Roberto Barbuti, Nicoletta De Francesco, Luca Tesei: Timed Automata with non-Instantaneous Actions. Fundam. Inform. 47(3-4): 189-200 (2001)
	2000
33		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Logic Based Abstractions of Real-Time Systems. Formal Methods in System Design 17(3): 201-220 (2000)
	1999
32		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Formula Based Abstractions of Transition Systems for Real-Time Model Checking. World Congress on Formal Methods 1999: 289-306
31		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. 70(2): 69-78 (1999)
30		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. J. Comput. Syst. Sci. 59(3): 537-556 (1999)
29		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Softw., Pract. Exper. 29(12): 1123-1147 (1999)
	1998
28		Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone: Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. 32(1-3): 145-176 (1998)
	1997
27		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE 1997: 519-534
26		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone: Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Inf. 34(6): 449-489 (1997)
	1996
25		Roberto Barbuti, Paolo Mancarella: A Multiple-Valued Logical Semantics for Prolog. ESOP 1996: 62-76
	1995
24		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone: Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 547-561
23		Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher: Oracle Semantics for Prolog. Inf. Comput. 122(2): 178-200 (1995)
	1994
22		María Alpuente, Roberto Barbuti, Isidro Ramos: 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1 GULP-PRODE (1) 1994
21		María Alpuente, Roberto Barbuti, Isidro Ramos: 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2 GULP-PRODE (2) 1994
	1993
20		Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi: La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. GULP 1993: 341-358
19		Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi: A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 15(1): 133-181 (1993)
18		Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. J. Log. Comput. 3(6): 579-603 (1993)
	1992
17		Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher: Oracle Semantics for Prolog. ALP 1992: 100-114
16		Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modeling Prolog Control. POPL 1992: 95-104
15		Roberto Barbuti, Roberto Giacobazzi: A Bottom-Up Polymorphic Type Inference in Logic Programming. Sci. Comput. Program. 19(3): 281-313 (1992)
	1991
14		Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. JTASPEFT/WSA 1991: 117-124
	1990
13		Roberto Barbuti, Maurizio Martelli: Recognizing Non-Floundering Logic Programs and Goals. Int. J. Found. Comput. Sci. 1(2): 151- (1990)
12		Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8(3): 201-228 (1990)
	1988
11		Roberto Barbuti, Maurizio Martelli: A Tool to Check the Non-Floundering Logic Programs and Goals. PLILP 1988: 58-67
	1987
10		Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110
	1986
9		Roberto Barbuti, C. D'Ascanio, Franco Turini: Cooperating Logic Theories. AIMSA 1986: 165-172
8		Roberto Barbuti, Maurizio Martelli: Completeness of the SLDNF-resolution for a class of logic programs. ICLP 1986: 600-614
7		Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: LEAF: A Language which Integrates Logic, Equations and Functions. Logic Programming: Functions, Relations, and Equations 1986: 201-238
6		C. Aquilano, Roberto Barbuti, P. Bocchetti, Maurizio Martelli: Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. J. Autom. Reasoning 2(2): 155-170 (1986)
	1984
5		Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: On the Integration of Logic Programming and Functional Programming. SLP 1984: 160-166
	1983
4		Roberto Barbuti, Alberto Martelli: A Constructive Approach to Static Verification of Program Properties. IFIP Congress 1983: 457-462
3		Roberto Barbuti, Alberto Martelli: A Structured Approach to Static Semantics Correctness. Sci. Comput. Program. 3(3): 279-311 (1983)
	1982
2		Roberto Barbuti, Pierpaolo Degano, Giorgio Levi: Toward an Inductionless Technique for Proving Properties of Logic Programs. ICLP 1982: 175-181
	1980
1		Roberto Barbuti, Alberto Martelli: Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. Symposium on Programming 1980: 1-16

Coauthor Index

1	María Alpuente	[21] [22]
2	C. Aquilano	[6]
3	Thomas Anung Basuki	[74]
4	Marco Bellia	[5] [7]
5	E. Bellugi	[20]
6	Cinzia Bernardeschi	[35] [37] [38] [41]
7	P. Bocchetti	[6]
8	Diletta Cacciagrano (Diletta Romana Cacciagrano)	[81]
9	Giulio Caravagna	[55] [56] [58] [66] [72] [76]
10	Stefano Cataudella	[40] [43] [44] [45]
11	Antonio Cerone	[74]
12	Giovanni A. Cignoni	[71]
13	Michael Codish	[14] [16] [17] [18] [23]
14	C. D'Ascanio	[9]
15	Pierpaolo Degano	[2]
16	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[68]
17	Nicoletta De Francesco	[24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [41] [46] [70]
18	Giuditta Franco	[78]
19	Mauro Gaspari	[20]
20	Roberto Giacobazzi	[14] [15] [16] [17] [18] [19] [20] [23]
21	Damas P. Gruska	[69]
22	Daniela Lepri	[65]
23	Francesca Levi	[63] [80] [82]
24	Giorgio Levi	[2] [5] [7] [14] [16] [18] [19]
25	Andrea Maggiolo-Schettini	[44] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [58] [59] [60] [61] [62] [64] [65] [66] [67] [68] [69] [72] [73] [74] [75] [76] [77] [79] [81]
26	Michael J. Maher	[17] [23]
27	Paolo Mancarella	[10] [12] [25] [28]
28	Alberto Martelli	[1] [3] [4]
29	Maurizio Martelli	[5] [6] [7] [8] [11] [13]
30	Paolo Milazzo	[44] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [71] [72] [73] [74] [75] [76] [77] [79] [80] [81] [82]
31	Giovanni Pardini	[56] [61] [64] [65] [75] [77]
32	Gheorghe Paun	[78]
33	Dino Pedreschi	[10] [12]
34	Aureliano Rama	[64] [65]
35	Isidro Ramos	[21] [22]
36	Elisabetta Rossi	[74]
37	Antonella Santone	[24] [26] [27] [28] [29] [30] [31] [32] [33] [36] [46]
38	Guido Scatena	[63] [80] [82]
39	Luca Tesei	[34] [36] [37] [39] [40] [42] [59] [62] [70] [77] [81]
40	Paolo Tiberi	[52]
41	Simone Tini	[51] [53] [60] [67] [72] [73] [79]
42	Angelo Troina	[44] [47] [48] [49] [52] [54] [68]
43	Franco Turini	[9] [10] [12]
44	Gigliola Vaglini	[27] [29] [30] [31] [32] [33] [46]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page