( en | de | ru )

 

Disambiguierung von "Paul, Wolfgang J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards the Pervasive Verification of Automotive Systems.

, , und . CHARME, Volume 3725 von Lecture Notes in Computer Science, Seite 3-4. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Paul J Müller

Paul J Besl

Paul J Erne

Paul J Bossart

Paul-J Hahn

 

Weitere Publikationen von Autoren mit dem selben Namen

On Monotone Formulae with Restricted Depth (Preliminary Version), , , und . STOC, Seite 480-487. ACM, (1984)On Time Hierarchies. STOC, Seite 218-222. ACM, (1977)Two Versus One Index Register and Modifiable Versus Non-modifiable Programs., und . ICALP, Volume 372 von Lecture Notes in Computer Science, Seite 603-609. Springer, (1989)On the Correctness of Operating System Kernels., , , und . TPHOLs, Volume 3603 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2005)On the Design of IEEE Compliant Floating Point Units., und . IEEE Trans. Computers, 49 (5): 398-413 (2000)Time-Space Trade-Offs in a Pebble Game., und . Acta Inf., (1978)Bounds for Width Two Branching Programs., , , und . SIAM J. Comput., 15 (2): 549-560 (1986)Scheduling Vector Straight Line Code on Vector Processors., , und . Code Generation, Seite 73-91. Springer, (1991)On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time. FOCS, Seite 53-56. IEEE Computer Society, (1982)High Performance Transaction Systems on the SB-PRAM., , , , und . ISTCS, Seite 1-10. IEEE Computer Society, (1995)