( en | de | ru )

 

Disambiguation of "Paul, Wolfgang J."

Author of the publication

copydeleteadd this publication to your clipboard
Towards the Pervasive Verification of Automotive Systems.

, , and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 3-4. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paul J Müller

Paul J Besl

Paul J Erne

Paul J Bossart

Paul-J Hahn

 

Other publications of authors with the same name

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