- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j49 |      | Giulio Caravagna, Roberto Barbuti, Alberto d'Onofrio: Fine-tuning anti-tumor immunotherapies via stochastic simulations. BMC Bioinformatics 13(S-4): S8 (2012) |
| j48 | | 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) |
| j47 | | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini: Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci. 431: 96-116 (2012) |
| 2011 | ||
| j46 | | Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Fundam. Inform. 112(1): 1-17 (2011) |
| j45 | | 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) |
| j44 | | |
| j43 | | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei: Spatial P systems. Natural Computing 10(1): 3-16 (2011) |
| j42 | | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Spatial Calculus of Looping Sequences. Theor. Comput. Sci. 412(43): 5976-6001 (2011) |
| j41 | | 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) |
| i2 | | Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: A Testing Framework for P Systems. CoRR abs/1108.3424 (2011) |
| 2010 | ||
| j40 | | Roberto Barbuti, Nicoletta De Francesco, Luca Tesei: An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53(6): 679-700 (2010) |
| j39 | | 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) |
| j38 | | 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) |
| j37 | | 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) |
| c30 | | 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 |
| c29 | | 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 |
| c28 | | 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 |
| i1 | | Roberto Barbuti, Giovanni A. Cignoni, Paolo Milazzo: A Model for Configuration Management of Open Software Systems. CoRR abs/1011.5389 (2010) |
| 2009 | ||
| j36 | | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Electr. Notes Theor. Comput. Sci. 227: 21-36 (2009) |
| j35 | | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Spatial Calculus of Looping Sequences. Electr. Notes Theor. Comput. Sci. 229(1): 21-39 (2009) |
| j34 | | 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) |
| j33 | | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Fundam. Inform. 94(1): 1-19 (2009) |
| j32 | | 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) |
| j31 | | |
| c27 | | 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 |
| c26 | | Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena: Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. RP 2009: 64-78 |
| c25 | | 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 |
| c24 | | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama: A Process Calculus for Molecular Interaction Maps. MeCBIC 2009: 35 |
| 2008 | ||
| j30 | | 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) |
| j29 | | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Bisimulations in calculi modelling membranes. Formal Asp. Comput. 20(4-5): 351-377 (2008) |
| j28 | | 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) |
| j27 | | 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) |
| j26 | | 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) |
| c23 | | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: The Calculus of Looping Sequences. SFM 2008: 387-423 |
| 2007 | ||
| c22 | | 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 |
| c21 | | 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 | ||
| j25 | | 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) |
| c20 | | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Bisimulation Congruences in the Calculus of Looping Sequences. ICTAC 2006: 93-107 |
| 2005 | ||
| j24 | | 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) |
| j23 | | Roberto Barbuti, Stefano Cataudella: Abstract Interpretation of an Object Calculus for Synchronization Optimizations. Fundam. Inform. 67(1-3): 1-12 (2005) |
| j22 | | 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 | ||
| j21 | | Roberto Barbuti, Luca Tesei: Timed automata with urgent transitions. Acta Inf. 40(5): 317-347 (2004) |
| j20 | | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47(1): 25-45 (2004) |
| j19 | | Roberto Barbuti, Stefano Cataudella, Luca Tesei: Abstract Interpretation Against Races. Fundam. Inform. 60(1-4): 67-79 (2004) |
| c19 | | |
| 2003 | ||
| j18 | | Roberto Barbuti, Luca Tesei: A Decidable Notion of Timed Non-Interference. Fundam. Inform. 54(2-3): 137-150 (2003) |
| 2002 | ||
| j17 | | 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) |
| j16 | | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83(2): 101-108 (2002) |
| c18 | | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Checking security of Java bytecode by abstract interpretation. SAC 2002: 229-236 |
| c17 | | Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco: Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382 |
| 2001 | ||
| j15 | | Roberto Barbuti, Nicoletta De Francesco, Luca Tesei: Timed Automata with non-Instantaneous Actions. Fundam. Inform. 47(3-4): 189-200 (2001) |
| 2000 | ||
| j14 | | 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 | ||
| j13 | | 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) |
| j12 | | 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) |
| j11 | | 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) |
| c16 | | 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 |
| 1998 | ||
| j10 | | 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 | ||
| j9 | | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone: Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Inf. 34(6): 449-489 (1997) |
| c15 |  | 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 |
| 1996 | ||
| c14 | | |
| 1995 | ||
| j8 | | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher: Oracle Semantics for Prolog. Inf. Comput. 122(2): 178-200 (1995) |
| c13 | | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone: Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 547-561 |
| 1994 | ||
| e2 | | María Alpuente, Roberto Barbuti, Isidro Ramos (Eds.): 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1. 1994 |
| e1 | | María Alpuente, Roberto Barbuti, Isidro Ramos (Eds.): 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2. 1994 |
| 1993 | ||
| j7 | | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. J. Log. Comput. 3(6): 579-603 (1993) |
| j6 | | 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) |
| c12 | | Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi: La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. GULP 1993: 341-358 |
| 1992 | ||
| j5 | | Roberto Barbuti, Roberto Giacobazzi: A Bottom-Up Polymorphic Type Inference in Logic Programming. Sci. Comput. Program. 19(3): 281-313 (1992) |
| c11 | | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher: Oracle Semantics for Prolog. ALP 1992: 100-114 |
| c10 | | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modeling Prolog Control. POPL 1992: 95-104 |
| 1991 | ||
| c9 | | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. JTASPEFT/WSA 1991: 117-124 |
| 1990 | ||
| j4 | | Roberto Barbuti, Maurizio Martelli: Recognizing Non-Floundering Logic Programs and Goals. Int. J. Found. Comput. Sci. 1(2): 151-164 (1990) |
| j3 | | 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 | ||
| c8 | | Roberto Barbuti, Maurizio Martelli: A Tool to Check the Non-Floundering Logic Programs and Goals. PLILP 1988: 58-67 |
| 1987 | ||
| c7 | | Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110 |
| 1986 | ||
| j2 | | 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) |
| p1 | | 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 |
| c6 | | |
| c5 | | Roberto Barbuti, Maurizio Martelli: Completeness of the SLDNF-resolution for a class of logic programs. ICLP 1986: 600-614 |
| 1984 | ||
| c4 | | Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: On the Integration of Logic Programming and Functional Programming. SLP 1984: 160-166 |
| 1983 | ||
| j1 | | Roberto Barbuti, Alberto Martelli: A Structured Approach to Static Semantics Correctness. Sci. Comput. Program. 3(3): 279-311 (1983) |
| c3 | | Roberto Barbuti, Alberto Martelli: A Constructive Approach to Static Verification of Program Properties. IFIP Congress 1983: 457-462 |
| 1982 | ||
| c2 | | Roberto Barbuti, Pierpaolo Degano, Giorgio Levi: Toward an Inductionless Technique for Proving Properties of Logic Programs. ICLP 1982: 175-181 |
| 1980 | ||
| c1 | | Roberto Barbuti, Alberto Martelli: Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. Symposium on Programming 1980: 1-16 |
Colors in the list of coauthors
Last update Sat May 25 20:56:34 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page