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="Hooman, Jozef"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Semantic models of a timed distributed dataspace architecture
Jozef Hooman
,
Jaco van de Pol
Theoretical Computer Science
331
(2-3), 2005, pp. 291-323
Verifying part of the ACCESS.bus protocol using PVS
Jozef Hooman
Lecture Notes in Computer Science
1026
, 1995, pp. 96-110
Metric temporal logic with durations
Yassine Lakhneche
,
Jozef Hooman
Theoretical Computer Science
138
(1), 1995, pp. 169-199
A trace-based compositional proof theory for fault tolerant distributed systems
Henk Schepers
,
Jozef Hooman
Theoretical Computer Science
128
(1-2), 1994, pp. 127-157
Trace-based compositional reasoning about fault tolerant systems
Henk Schepers
,
Jozef Hooman
Lecture Notes in Computer Science
694
, 1993, pp. 197-208
A denotational real-time semantics for shared processors
Jozef Hooman
Lecture Notes in Computer Science
506
, 1991, pp. 184-201