sign in · help · news · about ·

BibSonomy :: author :: Barbuti ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(85)

<< < 1 | 2 | 3 > >>

Probabilistic model checking of biological systems with uncertain kinetic rates.
Roberto Barbuti, Francesca Levi, Paolo Milazzo, and Guido Scatena Theor. Comput. Sci. (2012)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
Maximally Parallel Probabilistic Semantics for Multiset Rewriting.
Roberto Barbuti, Francesca Levi, Paolo Milazzo, and Guido Scatena Fundam. Inform. 112(1):1-17 (2011)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
A Model for Configuration Management of Open Software Systems
Roberto Barbuti, Giovanni A. Cignoni, and Paolo Milazzo CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Testing Framework for P Systems
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, and Luca Tesei CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Transformational Approach to Negation in Logic Programming.
Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, and Franco Turini J. Log. Program. 8(3):201-228 (1990)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Spatial Calculus of Looping Sequences.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini Theor. Comput. Sci. 412(43):5976-6001 (2011)
to dblp by dblp on Oct 20, 2011, 12:00 AM
URL | BibTeX
Timed Automata with non-Instantaneous Actions.
Roberto Barbuti, Nicoletta De Francesco, and Luca Tesei Fundam. Inform. 47(3-4):189-200 (2001)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
A Notion of Non-Interference for Timed Automata.
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, and Luca Tesei Fundam. Inform. 51(1-2):1-11 (2002)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
A Decidable Notion of Timed Non-Interference.
Roberto Barbuti, and Luca Tesei Fundam. Inform. 54(2-3):137-150 (2003)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
A Probabilistic Model for Molecular Systems.
Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Fundam. Inform. 67(1-3):13-27 (2005)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Abstract Interpretation of an Object Calculus for Synchronization Optimizations.
Roberto Barbuti, and Stefano Cataudella Fundam. Inform. 67(1-3):1-12 (2005)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Abstract Interpretation Against Races.
Roberto Barbuti, Stefano Cataudella, and Luca Tesei Fundam. Inform. 60(1-4):67-79 (2004)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
A Calculus of Looping Sequences for Modelling Microbiological Systems.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Fundam. Inform. 72(1-3):21-35 (2006)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Towards a Logical Semantics for Pure Prolog.
Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, and Antonella Santone Sci. Comput. Program. 32(1-3):145-176 (1998)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
A Bottom-Up Polymorphic Type Inference in Logic Programming.
Roberto Barbuti, and Roberto Giacobazzi Sci. Comput. Program. 19(3):281-313 (1992)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
A Structured Approach to Static Semantics Correctness.
Roberto Barbuti, and Alberto Martelli Sci. Comput. Program. 3(3):279-311 (1983)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Oracle Semantics for Prolog.
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, and Michael J. Maher Inf. Comput. 122(2):178-200 (1995)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems.
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, and Gigliola Vaglini J. Comput. Syst. Sci. 59(3):537-556 (1999)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Modelling Prolog Control.
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, and Giorgio Levi J. Log. Comput. 3(6):579-603 (1993)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation.
Roberto Barbuti, Cinzia Bernardeschi, and Nicoletta De Francesco Comput. J. 47(1):25-45 (2004)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100