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
[1]
Hilfe
Suche: Author="Ballarini, Paolo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Expressing and computing passage time measures of GSPN models with HASL
Elvio Gilberto Amparore
,
Paolo Ballarini
,
Marco Beccuti
,
Susanna Donatelli
,
Giuliana Franceschinis
Lecture Notes in Computer Science
7927
, 2013, pp. 110-129
Query-based verification of qualitative trends and oscillations in biochemical systems
Paolo Ballarini
,
Maria Luisa Guerriero
Theoretical Computer Science
411
(20), 2010, pp. 2019-2036
Parametric stochastic well-formed nets and compositional modelling
Paolo Ballarini
,
Susanna Donatelli
,
Giuliana Franceschinis
Lecture Notes in Computer Science
1825
, 2000, pp. 43-62