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="Caillaud, Beno{\^{i}}t"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Non-standard semantics of hybrid systems modelers
Albert Benveniste
,
Timothy Bourke
,
Benoît Caillaud
,
Marc Pouzet
Journal of Computer and System Sciences
78
(3), 2012, pp. 877-910
Constraint Markov chains
Benoît Caillaud
,
Benoît Delahaye
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Andrzej Wa̧sowski
Theoretical Computer Science
412
(34), 2011, pp. 4373-4404
Modular system development with pullbacks
Marek Bednarczyk
,
Luca Bernardinello
,
Benoît Caillaud
,
Wiesƚaw Pawƚowski
,
Lucia Pomello
Lecture Notes in Computer Science
2679
, 2003, pp. 140-160