Searching for authors named Roberto Barbuti – sorted by Relevance.
-
Oracle Semantics for Prolog
- Oracle Semantics for Prolog Roberto Barbuti Dipartimento di Informatica Universit`a di Pisa I
- Cited by 15 (5 self) – Add To MetaCart
-
Modelling Prolog Control
- Modelling Prolog Control 3 Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
- Cited by 27 (14 self) – Add To MetaCart
-
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs
- Roberto Barbuti , Roberto Giacobazzi , Giorgio Levi Dipartimento di Informatica Universit`a di Pisa Corso
- Cited by 69 (26 self) – Add To MetaCart
-
The Calculus of Looping Sequences (preliminary draft)
- The Calculus of Looping Sequences (preliminary draft) Roberto Barbuti, Giulio Caravagna, Andrea
- Add To MetaCart
-
An alternative to Gillespie’s algorithm for simulating chemical reactions
- An Alternative to Gillespie’s Algorithm for Simulating Chemical Reactions Roberto Barbuti, Andrea
- Cited by 5 (4 self) – Add To MetaCart
-
The Calculus of Looping Sequences for Modeling Biological Membranes
- The Calculus of Looping Sequences for Modeling Biological Membranes Roberto Barbuti Andrea
- Cited by 2 (2 self) – Add To MetaCart
-
An Intermediate Language for the Simulation of Biological Systems
- Abstract FBTC 2007 An Intermediate Language for the Simulation of Biological Systems 1 Roberto
- Cited by 3 (3 self) – Add To MetaCart
-
Bisimulation Congruences in the Calculus of Looping Sequences
- Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo
- Cited by 7 (6 self) – Add To MetaCart
-
Extending the Calculus of Looping Sequences to Model Protein Interaction at
- Roberto Barbuti, Andrea Maggiolo-Schettini, andPaolo Milazzo Dipartimento di Informatica, Universit`a di
- Cited by 6 (4 self) – Add To MetaCart
-
The Calculus of Looping Sequences
- The Calculus of Looping Sequences Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo
- Cited by 1 (1 self) – Add To MetaCart

