MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Roberto Barbuti – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

25 documents found, showing 1 through 10. Next 10 →

ATOM

Oracle Semantics for Prolog
by Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael Maher — 1992 — ALGEBRAIC AND LOGIC PROGRAMMING, PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE, VOLUME 632 OF LECTURE NOTES IN COMPUTER SCIENCE
… 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
by Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi — 1992
…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
by Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi — 1993 — ACM Transactions on Programming Languages and Systems
… 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)
by Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Giovanni Pardini
…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
by Roberto Barbuti, Paolo Milazzo, Angelo Troina — 2005 — Computational Methods in Systems Biology (CMSB’05
…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
by Roberto Barbuti, Paolo Milazzo, Angelo Troina — 2007 — 8th Workshop on Membrane Computing (WMC8), LNCS 4860
…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
by Roberto Barbuti, Giulio Caravagna, Paolo Milazzo — 2008 — Int. Workshop From Biology To Concurrency and back (FBTC’07), ENTCS 194
…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
by Roberto Barbuti, Andrea Maggiolo-schettini, Paolo Milazzo, Angelo Troina — 2006 — Int. Colloquium on Theoretical Aspects of Computing (ICTAC’06), LNCS 4281
… 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
by Roberto Barbuti, Andrea Maggiolo-schettini, Paolo Milazzo — 2006 — the Domain Level”. Int. Symposium on Bioinformatics Research and Applications (ISBRA’07), LNBI 4463
… 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
by Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Giovanni Pardini
…The Calculus of Looping Sequences Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB