Participate Awardees

Participating prize winners | Paul, Wolfgang J.

6 hits in 0.008 sec.

Pervasive verification of distributed real-time systems [Score: 100%]
Author / Editor: Knapp, Steffen; Paul, Wolfgang J. |  Place of publication: Amsterdam [u.a.] |  Publisher: IOS Press |  Year of Publication: 2007 | 59 s.
Journal / Series / Collection: Software system reliability and security
Subject Area: Informatik
[Search within document] [PDF-Download]
On the correctness of operating system kernels [Score: 100%]
Author / Editor: Gargano, Mauro; Paul, Wolfgang J. |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 2005 | 16 s.
Journal / Series / Collection: Theorem proving in higher order logics
Subject Area: Informatik
[Search within document] [PDF-Download]
Computer architecture : complexity and correctness ; with 185 tables [Score: 100%]
Author / Editor: Müller, Silvia Melitta; Paul, Wolfgang J. |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 2000 | 567 s.
Subject Area: Informatik
[Search within document] [PDF-Download]
Hardware-Design : formaler Entwurf digitaler Schaltungen [Score: 100%]
Author / Editor: Keller, Jörg; Paul, Wolfgang J. |  Place of publication: Stuttgart [u.a.] |  Publisher: Teubner |  Year of Publication: 1995 | 416 s.
Journal / Series / Collection: Teubner-Texte zur Informatik; 15
Subject Area: Informatik
[Search within document] [PDF-Download]
Instantiating uninterepreted functional units and memory system : functional verification of the VAMP [Score: 100%]
Author / Editor: Beyer, Sven; Paul, Wolfgang J. |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 2003 | 15 s.
Journal / Series / Collection: Correct hardware design and verification methods
Subject Area: Informatik
[Search within document] [PDF-Download]
An information-theoretic approach to time bounds for on-line computation : preliminary version [Score: 100%]
Author / Editor: Paul, Wolfgang J.; Seiferas, Joel I.; Simon, János |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 1980 | 11 s.
Journal / Series / Collection: Conference proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, Los Angeles, Calif. April 28-30, 1980
Subject Area: Informatik
[Search within document] [PDF-Download]

Drill down result

Subject Area