Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Barbuti, Roberto"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Simulation of Spatial P system models
Roberto Barbuti
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
,
Giovanni Pardini
Theoretical Computer Science
529
, 2014, pp. 11-45
Compositional semantics and behavioural equivalences for reaction systems with restriction
Giovanni Pardini
,
Roberto Barbuti
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
,
Simone Tini
Theoretical Computer Science
551
, 2014, pp. 1-21
Foundational aspects of multiscale modeling of biological systems with process algebras
Roberto Barbuti
,
Giulio Caravagna
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
,
Simone Tini
Theoretical Computer Science
431
, 2012, pp. 96-116
Probabilistic model checking of biological systems with uncertain kinetic rates
Roberto Barbuti
,
Francesca Levi
,
Paolo Milazzo
,
Guido Scatena
Theoretical Computer Science
419
, 2012, pp. 2-16
Spatial calculus of looping sequences
Roberto Barbuti
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
,
Giovanni Pardini
Theoretical Computer Science
412
(43), 2011, pp. 5976-6001
An overview on operational semantics in membrane computing
Roberto Barbuti
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
,
Simone Tini
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 119-131
An intermediate language for the stochastic simulation of biological systems
Roberto Barbuti
,
Giulio Caravagna
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
Theoretical Computer Science
410
(33-34), 2009, pp. 3085-3109
Compositional semantics and behavioral equivalences for P systems
Roberto Barbuti
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
,
Simone Tini
Theoretical Computer Science
395
(1), 2008, pp. 77-100
Timed automata with urgent transitions
Roberto Barbuti
,
Luca Tesei
Acta Informatica
40
(5), 2004, pp. 317-347
Abstract interpretation of trace semantics for concurrent calculi
Roberto Barbuti
,
Nicoletta de Francesco
,
Antonella Santone
,
Gigliola Vaglini
Information Processing Letters
70
(2), 1999, pp. 69-78
Selective Mu-Calculus and formula-based equivalence of transition systems
Roberto Barbuti
,
Nicoletta de Francesco
,
Antonella Santone
,
Gigliola Vaglini
Journal of Computer and System Sciences
59
(3), 1999, pp. 537-556
Oracle semantics for Prolog
Roberto Barbuti
,
Michael Codish
,
Roberto Giacobazzi
,
Michael J. Maher
Information and Computation
122
(2), 1995, November, pp. 178-200
Recognizing non-floundering logic programs and goals
Roberto Barbuti
,
Maurizio Martelli
International Journal of Foundations of Computer Science
1
(2), 1990, pp. 151-163