×

zbMATH — the first resource for mathematics

Barbuti, Roberto

Compute Distance To:
Author ID: barbuti.roberto Recent zbMATH articles by "Barbuti, Roberto"
Published as: Barbuti, R.; Barbuti, Roberto
Documents Indexed: 69 Publications since 1980

Publications by Year

Citations contained in zbMATH

52 Publications have been cited 237 times in 126 Documents Cited by Year
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
16
2006
A transformational approach to negation in logic programming. Zbl 0796.68056
Barbuti, Roberto; Mancarella, Paolo; Pedreschi, Dino; Turini, Franco
13
1990
Compositional semantics and behavioral equivalences for P systems. Zbl 1145.68033
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
11
2008
Spatial calculus of looping sequences. Zbl 1230.92002
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
10
2011
Tumour suppression by immune system through stochastic oscillations. Zbl 07020759
Caravagna, Giulio; d’Onofrio, Alberto; Milazzo, Paolo; Barbuti, Roberto
10
2010
Bisimulations in calculi modelling membranes. Zbl 1152.68035
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
9
2008
Selective mu-calculus and formula-based equivalence of transition systems. Zbl 0958.68122
Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Vaglini, Gigliola
9
1999
Spatial P systems. Zbl 1213.68256
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tesei, Luca
8
2011
Bisimulation congruences in the calculus of looping sequences. Zbl 1168.68435
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
8
2006
An overview on operational semantics in membrane computing. Zbl 1213.68357
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2011
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2010
A P systems flat form preserving step-by-step behaviour. Zbl 1154.68048
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2008
Investigating dynamic causalities in reaction systems. Zbl 1336.68065
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
6
2016
Foundational aspects of multiscale modeling of biological systems with process algebras. Zbl 1238.68093
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
6
2012
An intermediate language for the simulation of biological systems. Zbl 1279.92030
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
6
2008
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Zbl 1241.92019
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tiberi, Paolo; Troina, Angelo
6
2008
Completeness of the SLDNF-resolution for a class of logic programs. Zbl 0595.68016
Barbuti, R.; Martelli, M.
6
1986
Delay stochastic simulation of biological systems: a purely delayed approach. Zbl 1326.92026
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
5
2011
Spatial calculus of looping sequences. Zbl 1283.92024
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
5
2009
Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2018
Specialized predictor for reaction systems with context properties. Zbl 1373.68217
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2016
A compositional semantics of reaction systems with restriction. Zbl 1387.68115
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
4
2013
An intermediate language for the stochastic simulation of biological systems. Zbl 1176.68095
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
4
2009
The calculus of looping sequences for modeling biological membranes. Zbl 1137.68371
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2007
A probabilistic model for molecular systems. Zbl 1096.68101
Barbuti, Roberto; Cataudella, Stefano; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2005
Timed automata with urgent transitions. Zbl 1072.68053
Barbuti, Roberto; Tesei, Luca
4
2004
Modelling Prolog control. Zbl 0802.68026
Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Levi, Giorgio
4
1993
A bottom-up polymorphic type inference in logic programming. Zbl 0774.68024
Barbuti, Roberto; Giacobazzi, Roberto
4
1992
Compositional semantics and behavioural equivalences for reaction systems with restriction. Zbl 1360.68574
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2014
Simulation of spatial P system models. Zbl 1358.68098
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
3
2014
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1234.92020
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2012
Maximally parallel probabilistic semantics for multiset rewriting. Zbl 1232.68077
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2011
P systems with transport and diffusion membrane channels. Zbl 1191.68315
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2009
A notion of non-interference for timed automata. Zbl 1003.68100
Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Tesei, Luca
3
2002
A structured approach to static semantics correctness. Zbl 0519.68015
Barbuti, R.; Martelli, A.
3
1983
Multiset patterns and their application to dynamic causalities in membrane systems. Zbl 06868794
Barbuti, Roberto; Gori, Roberta; Milazzo, Paolo
2
2018
Minimal probabilistic P systems for modelling ecological systems. Zbl 1333.92068
Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
2
2015
Timed P automata. Zbl 1347.68127
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tesei, Luca
2
2009
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1260.68226
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
2
2009
A decidable notion of timed non-interference. Zbl 1111.68497
Barbuti, Roberto; Tesei, Luca
2
2003
Abstract interpretation of operational semantics for secure information flow. Zbl 1044.68665
Barbuti, R.; Bernardeschi, C.; De Francesco, N.
2
2002
Oracle semantics for Prolog. Zbl 1096.68583
Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Maher, Michael J.
2
1995
Intensional negation of logic programs: examples and implementation techniques. Zbl 0634.68005
Barbuti, Roberto; Mancarella, Paolo; Pedreschi, Dino; Turini, Franco
2
1987
Applications of P systems in population biology and ecology: the cases of MPP and APP systems. Zbl 06705363
Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
1
2017
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer. Zbl 1343.92244
Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio; Del Re, Marzia; Danesi, Romano
1
2016
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183
Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
1
2010
Membrane systems working in generating and accepting modes: expressiveness and encodings. Zbl 1259.68053
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
1
2010
Analyzing information flow properties in assembly code by abstract interpretation. Zbl 1090.68031
Barbuti, Roberto; Bernardeschi, Cinzia; de Francesco, Nicoletta
1
2004
Towards a logical semantics for pure Prolog. Zbl 0942.68019
Barbuti, Roberto; De Francesco, Nicoletta; Mancarella, Paolo; Santone, Antonella
1
1998
Recognizing non-floundering logic programs and goals. Zbl 0726.68014
Barbuti, Roberto; Martelli, Maurizio
1
1990
A tool to check the non-floundering logic programs and goals. Zbl 0715.68012
Barbuti, Roberto; Martelli, Maurizio
1
1989
Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions. Zbl 0642.68158
Aquilano, C.; Barbuti, R.; Bocchetti, P.; Martelli, M.
1
1986
Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2018
Multiset patterns and their application to dynamic causalities in membrane systems. Zbl 06868794
Barbuti, Roberto; Gori, Roberta; Milazzo, Paolo
2
2018
Applications of P systems in population biology and ecology: the cases of MPP and APP systems. Zbl 06705363
Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
1
2017
Investigating dynamic causalities in reaction systems. Zbl 1336.68065
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
6
2016
Specialized predictor for reaction systems with context properties. Zbl 1373.68217
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2016
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer. Zbl 1343.92244
Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio; Del Re, Marzia; Danesi, Romano
1
2016
Minimal probabilistic P systems for modelling ecological systems. Zbl 1333.92068
Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
2
2015
Compositional semantics and behavioural equivalences for reaction systems with restriction. Zbl 1360.68574
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2014
Simulation of spatial P system models. Zbl 1358.68098
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
3
2014
A compositional semantics of reaction systems with restriction. Zbl 1387.68115
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
4
2013
Foundational aspects of multiscale modeling of biological systems with process algebras. Zbl 1238.68093
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
6
2012
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1234.92020
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2012
Spatial calculus of looping sequences. Zbl 1230.92002
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
10
2011
Spatial P systems. Zbl 1213.68256
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tesei, Luca
8
2011
An overview on operational semantics in membrane computing. Zbl 1213.68357
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2011
Delay stochastic simulation of biological systems: a purely delayed approach. Zbl 1326.92026
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
5
2011
Maximally parallel probabilistic semantics for multiset rewriting. Zbl 1232.68077
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2011
Tumour suppression by immune system through stochastic oscillations. Zbl 07020759
Caravagna, Giulio; d’Onofrio, Alberto; Milazzo, Paolo; Barbuti, Roberto
10
2010
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2010
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183
Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
1
2010
Membrane systems working in generating and accepting modes: expressiveness and encodings. Zbl 1259.68053
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
1
2010
Spatial calculus of looping sequences. Zbl 1283.92024
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
5
2009
An intermediate language for the stochastic simulation of biological systems. Zbl 1176.68095
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
4
2009
P systems with transport and diffusion membrane channels. Zbl 1191.68315
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2009
Timed P automata. Zbl 1347.68127
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tesei, Luca
2
2009
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1260.68226
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
2
2009
Compositional semantics and behavioral equivalences for P systems. Zbl 1145.68033
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
11
2008
Bisimulations in calculi modelling membranes. Zbl 1152.68035
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
9
2008
A P systems flat form preserving step-by-step behaviour. Zbl 1154.68048
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2008
An intermediate language for the simulation of biological systems. Zbl 1279.92030
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
6
2008
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Zbl 1241.92019
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tiberi, Paolo; Troina, Angelo
6
2008
The calculus of looping sequences for modeling biological membranes. Zbl 1137.68371
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2007
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
16
2006
Bisimulation congruences in the calculus of looping sequences. Zbl 1168.68435
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
8
2006
A probabilistic model for molecular systems. Zbl 1096.68101
Barbuti, Roberto; Cataudella, Stefano; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2005
Timed automata with urgent transitions. Zbl 1072.68053
Barbuti, Roberto; Tesei, Luca
4
2004
Analyzing information flow properties in assembly code by abstract interpretation. Zbl 1090.68031
Barbuti, Roberto; Bernardeschi, Cinzia; de Francesco, Nicoletta
1
2004
A decidable notion of timed non-interference. Zbl 1111.68497
Barbuti, Roberto; Tesei, Luca
2
2003
A notion of non-interference for timed automata. Zbl 1003.68100
Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Tesei, Luca
3
2002
Abstract interpretation of operational semantics for secure information flow. Zbl 1044.68665
Barbuti, R.; Bernardeschi, C.; De Francesco, N.
2
2002
Selective mu-calculus and formula-based equivalence of transition systems. Zbl 0958.68122
Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Vaglini, Gigliola
9
1999
Towards a logical semantics for pure Prolog. Zbl 0942.68019
Barbuti, Roberto; De Francesco, Nicoletta; Mancarella, Paolo; Santone, Antonella
1
1998
Oracle semantics for Prolog. Zbl 1096.68583
Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Maher, Michael J.
2
1995
Modelling Prolog control. Zbl 0802.68026
Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Levi, Giorgio
4
1993
A bottom-up polymorphic type inference in logic programming. Zbl 0774.68024
Barbuti, Roberto; Giacobazzi, Roberto
4
1992
A transformational approach to negation in logic programming. Zbl 0796.68056
Barbuti, Roberto; Mancarella, Paolo; Pedreschi, Dino; Turini, Franco
13
1990
Recognizing non-floundering logic programs and goals. Zbl 0726.68014
Barbuti, Roberto; Martelli, Maurizio
1
1990
A tool to check the non-floundering logic programs and goals. Zbl 0715.68012
Barbuti, Roberto; Martelli, Maurizio
1
1989
Intensional negation of logic programs: examples and implementation techniques. Zbl 0634.68005
Barbuti, Roberto; Mancarella, Paolo; Pedreschi, Dino; Turini, Franco
2
1987
Completeness of the SLDNF-resolution for a class of logic programs. Zbl 0595.68016
Barbuti, R.; Martelli, M.
6
1986
Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions. Zbl 0642.68158
Aquilano, C.; Barbuti, R.; Bocchetti, P.; Martelli, M.
1
1986
A structured approach to static semantics correctness. Zbl 0519.68015
Barbuti, R.; Martelli, A.
3
1983
all top 5

Cited by 208 Authors

23 Milazzo, Paolo
20 Barbuti, Roberto
16 Maggiolo-Schettini, Andrea
11 Pardini, Giovanni
8 Santone, Antonella
6 Gori, Roberta
6 Levi, Francesca
5 Caravagna, Giulio
5 Tini, Simone
5 Troina, Angelo
4 Bodei, Chiara
4 Vaglini, Gigliola
3 De Francesco, Nicoletta
3 Galpin, Vashti
3 Gradara, Sara
3 Hillston, Jane
3 Villani, Maria Luisa
2 Aman, Bogdan
2 Bioglio, Livio
2 Bossi, Annalisa
2 Bove, Pasquale
2 Brodo, Linda
2 Calder, Muffy
2 Cheke, Robert A.
2 Codish, Michael
2 Dezani-Ciancaglini, Mariangiola
2 Dingel, Juergen
2 Dovier, Agostino
2 Drabent, Włodzimierz
2 Gomez, Rodolfo
2 Krivine, Jean
2 Lu, Lunjin
2 Martelli, Maurizio
2 Muñoz-Hernández, Susana
2 Plotkin, Gordon D.
2 Pontelli, Enrico
2 Rossi, Gianfranco
2 Rozenberg, Grzegorz
2 Rudie, Karen
2 Sato, Taisuke
2 Subrahmanian, V. S.
2 Tan, Yuanshun
2 Waez, Md Tawhid Bin
2 Yang, Jin
1 Adorna, Henry Natividad
1 Alba-Castro, Mauricio
1 Alpuente, María
1 Alvarez, Robinson F.
1 Alzahrani, Talal
1 André, Étienne
1 Andrews, James H.
1 Andronikos, Theodore
1 Anjuère, Fabienne
1 Antoniotti, Marco
1 Aquilano, C.
1 Aranda-López, Gabriel
1 Atanasiu, Adrian
1 Atsou, Kevin
1 Bacci, Giorgio
1 Ballarini, Paolo
1 Barbuto, José A. M.
1 Bashkirtseva, Irina Adol’fovna
1 Basuki, Thomas Anung
1 Bernini, Antonia
1 Bibi, Alia
1 Blair, Howard A.
1 Bocchetti, P.
1 Bottoni, Paolo
1 Bracciali, Andrea
1 Braud, Véronique M.
1 Brim, Luboš
1 Bruni, Roberto
1 Byrne, Helen Mary
1 Byun, Jong Hyuk
1 Cabarle, Francis George C.
1 Cañete-Valdeón, José M.
1 Cavedon, Lawrence
1 Cerone, Antonio
1 Češka, Milan
1 Cheney, James
1 Chiarugi, Davide
1 Ciobanu, Gabriel
1 Coletti, Roberta
1 Colvin, Robert J.
1 Compton, Kevin J.
1 Coppo, Mario
1 Cousot, Patrick
1 Cousot, Radhia
1 Credi, A.
1 Damgaard, Troels Christoffer
1 Damiani, Ferruccio
1 Dams, Dennis René
1 Davies, Michael S.
1 De Schreye, Danny
1 Degasperi, Andrea
1 Delahaye, Benoît
1 Dennunzio, Alberto
1 Dong, Yueping
1 d’Onofrio, Alberto
1 Drábik, Peter
...and 108 more Authors

Citations by Year