| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena |
Probabilistic model checking of biological systems with uncertain kinetic rates.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giuditta Franco, Gheorghe Paun |
Foreword. |
Natural Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei |
Spatial P systems. |
Natural Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
Spatial Calculus of Looping Sequences. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
An Overview on Operational Semantics in Membrane Computing. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena |
Maximally Parallel Probabilistic Semantics for Multiset Rewriting. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei |
A Testing Framework for P Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo |
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. |
T. Comp. Sys. Biology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics of spiking neural P systems. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Luca Tesei |
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giovanni A. Cignoni, Paolo Milazzo |
A Model for Configuration Management of Open Software Systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini |
Aspects of multiscale modelling in a process algebra for biological systems |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti |
Giorgio Levi in Pisa. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo |
An intermediate language for the stochastic simulation of biological systems. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
Spatial Calculus of Looping Sequences. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei |
Timed P Automata. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei |
Timed P Automata. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
P Systems with Transport and Diffusion Membrane Channels. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini |
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems |
COMPMOD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama |
A Process Calculus for Molecular Interaction Maps |
MeCBIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena |
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. |
RP |
2009 |
DBLP DOI BibTeX RDF |
uncertain kinetic rates, interval Markov chains, abstract interpretation, systems biology, probabilistic model checking |
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulations in calculi modelling membranes. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations |
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics and behavioral equivalences for P Systems. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo |
An Intermediate Language for the Simulation of Biological Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
A P Systems Flat Form Preserving Step-by-step Behaviour. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
The Calculus of Looping Sequences. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo |
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. |
ISBRA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
The Calculus of Looping Sequences for Modeling Biological Membranes. |
Workshop on Membrane Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
A Calculus of Looping Sequences for Modelling Microbiological Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulation Congruences in the Calculus of Looping Sequences. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
A Probabilistic Model for Molecular Systems. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Stefano Cataudella |
Abstract Interpretation of an Object Calculus for Synchronization Optimizations. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Reduced Models for Efficient CCS Verification. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
model checking, CCS, state explosion problem |
| 1 | Roberto Barbuti, Luca Tesei |
Timed automata with urgent transitions. |
Acta Inf. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Stefano Cataudella, Luca Tesei |
Abstract Interpretation Against Races. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco |
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. |
Comput. J. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Stefano Cataudella |
Java bytecode verification on Java cards. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
abstract interpretation, Java card, Java bytecode |
| 1 | Roberto Barbuti, Luca Tesei |
A Decidable Notion of Timed Non-Interference. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco |
Abstract interpretation of operational semantics for secure information flow. |
Inf. Process. Lett. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei |
A Notion of Non-Interference for Timed Automata. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco |
Checking security of Java bytecode by abstract interpretation. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
security, Java, abstract interpretation, information flow, Java bytecode |
| 1 | Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco |
Fixing the Java bytecode verifier by a suitable type domain. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Luca Tesei |
Timed Automata with non-Instantaneous Actions. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Logic Based Abstractions of Real-Time Systems. |
Formal Methods in System Design |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Abstract Interpretation of Trace Semantics for Concurrent Calculi. |
Inf. Process. Lett. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. |
Softw., Pract. Exper. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. |
J. Comput. Syst. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone |
Towards a Logical Semantics for Pure Prolog. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone |
Algebraic Computational Models of OR-Parallel Execution of Prolog. |
Acta Inf. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Paolo Mancarella |
A Multiple-Valued Logical Semantics for Prolog. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher |
Oracle Semantics for Prolog. |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone |
Modeling OR-Parallel Execution of Prolog using CHOCS. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
Modelling Prolog Control. |
J. Log. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi |
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
logic programming, program analysis, abstract interpretation |
| 1 | Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi |
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. |
GULP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Roberto Giacobazzi |
A Bottom-Up Polymorphic Type Inference in Logic Programming. |
Sci. Comput. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher |
Oracle Semantics for Prolog. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
Modeling Prolog Control. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
Modelling Prolog Control. |
JTASPEFT/WSA |
1991 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini |
A Transformational Approach to Negation in Logic Programming. |
J. Log. Program. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Maurizio Martelli |
Recognizing Non-Floundering Logic Programs and Goals. |
Int. J. Found. Comput. Sci. |
1990 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Maurizio Martelli |
A Tool to Check the Non-Floundering Logic Programs and Goals. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini |
Intensional Negation of Logic Programs: Examples and Implementation Techniques. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli |
LEAF: A Language which Integrates Logic, Equations and Functions. |
Logic Programming: Functions, Relations, and Equations |
1986 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Maurizio Martelli |
Completeness of the SLDNF-resolution for a class of logic programs. |
ICLP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, C. D'Ascanio, Franco Turini |
Cooperating Logic Theories. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli |
On the Integration of Logic Programming and Functional Programming. |
SLP |
1984 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Alberto Martelli |
A Structured Approach to Static Semantics Correctness. |
Sci. Comput. Program. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Alberto Martelli |
A Constructive Approach to Static Verification of Program Properties. |
IFIP Congress |
1983 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Pierpaolo Degano, Giorgio Levi |
Toward an Inductionless Technique for Proving Properties of Logic Programs. |
ICLP |
1982 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Alberto Martelli |
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. |
Symposium on Programming |
1980 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")