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
Hilfe
Suche: Author="Pommereau, Franck"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Integrated regulatory networks (IRNs): Spatially organized biochemical modules
Jean-Louis Giavitto
,
Hanna Klaudel
,
Franck Pommereau
Theoretical Computer Science
431
, 2012, pp. 219-234
Modeling and analysis of security protocols using role based specifications and Petri nets
Roland Bouroulet
,
Raymond Devillers
,
Hanna Klaudel
,
Elisabeth Pelz
,
Franck Pommereau
Lecture Notes in Computer Science
5062
, 2008, pp. 72-91
M-nets: A survey
Hanna Klaudel
,
Franck Pommereau
Acta Informatica
45
(7-8), 2008, pp. 537-564
A concurrent semantics of static exceptions in a parallel programming language
Hanna Klaudel
,
Franck Pommereau
Lecture Notes in Computer Science
2075
, 2001, pp. 204-223