dblp.uni-trier.dewww.uni-trier.de

Wolfgang J. Paul Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
82EEUlan Degenbaev, Wolfgang J. Paul, Norbert Schirmer: Pervasive Theory of Memory. Efficient Algorithms 2009: 74-98
2008
81EEJewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova: On the correctness of upper layers of automotive systems. Formal Asp. Comput. 20(6): 637-662 (2008)
2007
80EEMark A. Hillebrand, Wolfgang J. Paul: On the Architecture of System Verification Environments. Haifa Verification Conference 2007: 153-168
2006
79EESteffen Knapp, Wolfgang J. Paul: Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification. Program Analysis and Compilation 2006: 53-81
78EESven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul: Putting it all together - Formal verification of the VAMP. STTT 8(4-5): 411-430 (2006)
2005
77 Dominique Borrione, Wolfgang J. Paul: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings Springer 2005
76EEThomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul: Towards the Pervasive Verification of Automotive Systems. CHARME 2005: 3-4
75EEIakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul: On the Verification of Memory Management Mechanisms. CHARME 2005: 301-316
74EEMark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul: Dealing with I/O Devices in the Context of Pervasive System Verification. ICCD 2005: 309-316
73EESven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD 2005: 317-326
72EEDirk Leinenbach, Wolfgang J. Paul, Elena Petrova: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM 2005: 2-12
71EEMauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul: On the Correctness of Operating System Kernels. TPHOLs 2005: 1-16
2004
70EEJörg Schmittler, Sven Woop, Daniel Wagner, Wolfgang J. Paul, Philipp Slusallek: Realtime ray tracing of dynamic scenes on an FPGA chip. Graphics Hardware 2004: 95-106
2003
69EESven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul: Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. CHARME 2003: 51-65
2002
68EERoman Dementiev, Michael Klein, Wolfgang J. Paul: Performance of MP3D on the SB-PRAM Prototype (Research Note). Euro-Par 2002: 132-136
67EEWolfgang J. Paul, Peter Bach, Michael Bosch, Jörg Fischer, Cédric Lichtenau, Jochen Röhrig: Real PRAM Programming. Euro-Par 2002: 522-531
66EEWolfgang J. Paul, Peter-Michael Seidel: To Booth or not to Booth. Integration 32(1-2): 5-40 (2002)
2001
65EEDaniel Kroening, Wolfgang J. Paul: Automated Pipeline Design. DAC 2001: 810-815
2000
64EEGuy Even, Wolfgang J. Paul: On the Design of IEEE Compliant Floating Point Units. IEEE Trans. Computers 49(5): 398-413 (2000)
1999
63EEFerri Abolhassan, Jörg Keller, Wolfgang J. Paul: On the Cost-Effectiveness of PRAMs. Acta Inf. 36(6): 463-487 (1999)
1998
62EESilvia M. Müller, Wolfgang J. Paul: On the Correctness of Hardware Scheduling Mechanisms for Out-of-Order Execution. Journal of Circuits, Systems, and Computers 8(2): 301-314 (1998)
1997
61EEGuy Even, Wolfgang J. Paul: On the Design of IEEE Compliant Floating Point Units. IEEE Symposium on Computer Arithmetic 1997: 54-63
60EEAndreas Döring, Wolfgang J. Paul: Decimal Adjustment of Long Numbers in Constant Time. Inf. Process. Lett. 62(3): 161-163 (1997)
1996
59 Silvia M. Müller, Wolfgang J. Paul: Making the Original Scoreboard Mechanism Deadlock Free. ISTCS 1996: 92-99
1995
58 Silvia M. Müller, Wolfgang J. Paul: The Complexity of Simple Computer Architectures Springer 1995
57 G. Gemünd, M. Jakob, Werner Massonne, Wolfgang J. Paul, B. Spengler: High Performance Transaction Systems on the SB-PRAM. ISTCS 1995: 1-10
1994
56 Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul: Applications of PRAMs in Telecommunications. IFIP Congress (1) 1994: 203-210
55EEJörg Keller, Wolfgang J. Paul, Dieter Scheerer: Realization of PRAMs: Processor Design. WDAG 1994: 17-27
54 Wolfgang J. Paul: A Note on Bitonic Sorting. Inf. Process. Lett. 49(5): 223-225 (1994)
1993
53 Christoph W. Keßler, Wolfgang J. Paul: Automatic Parallelization by Pattern-Matching. ACPC 1993: 166-181
52 Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul, Dieter Scheerer: On the Physical Design of PRAMs. Comput. J. 36(8): 756-762 (1993)
1992
51 Arno Formella, Werner Massonne, Wolfgang J. Paul: Cost Effectiveness of Data Flow Machines and Vector Processors. Heinz Nixdorf Symposium 1992: 48-65
50 Kurt Mehlhorn, Wolfgang J. Paul, Christian Uhrig: k versus k+1 Index Registers and Modifiable versus Non-modifiable Programs Inf. Comput. 101(1): 123-129 (1992)
1991
49 Christoph W. Keßler, Wolfgang J. Paul, Thomas Rauber: Scheduling Vector Straight Line Code on Vector Processors. Code Generation 1991: 73-91
48EEChristoph W. Keßler, Wolfgang J. Paul, Thomas Rauber: A Randomized Heuristic Approach to Register Allocation PLILP 1991: 195-206
47EEFerri Abolhassan, Jörg Keller, Wolfgang J. Paul: On the cost-effectiveness of PRAMs. SPDP 1991: 2-9
1990
46 Wolfgang J. Paul: Parallelrechner aus wissenschaftlicher und kommerzieller Sicht. ARCS 1990: 139-145
45 Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul: Überblick über PRAM-Simulationen und ihre Realisierbarkeit. Entwurf und Betrieb verteilter Systeme 1990: 15-39
1989
44EEKurt Mehlhorn, Wolfgang J. Paul: Two Versus One Index Register and Modifiable Versus Non-modifiable Programs. ICALP 1989: 603-609
43 Silvia M. Müller, Wolfgang J. Paul: Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers. IFIP Congress 1989: 459-460
1988
42 Bernhard Gollan, Wolfgang J. Paul, Alwine Schmitt: Innovative Informations-Infrastrukturen, Ergebnisse einer Kooperation der Universität des Saarlandes und der Siemens AG, I.I.I.-Forum, Saarbrücken, 12.-13. Oktober 1988, Proceedings Springer 1988
41 P. Bergmann, Jörg Keller, T. Malter, Silvia M. Müller, Wolfgang J. Paul, Thorsten Pöschel, O. Schlüter, L. Thiele: Implementierung eines informationstheoretischen Ansatzes zur Bilderkennung. Innovative Informations-Infrastrukturen 1988: 187-197
1986
40 Allan Borodin, Danny Dolev, Faith E. Fich, Wolfgang J. Paul: Bounds for Width Two Branching Programs. SIAM J. Comput. 15(2): 549-560 (1986)
1984
39 Maria M. Klawe, Wolfgang J. Paul, Nicholas Pippenger, Mihalis Yannakakis: On Monotone Formulae with Restricted Depth (Preliminary Version) STOC 1984: 480-487
38 Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk: Two Nonlinear Lower Bounds for On-Line Computations Information and Control 60(1-3): 1-11 (1984)
37 Wolfgang J. Paul: On Heads Versus Tapes. Theor. Comput. Sci. 28: 1-12 (1984)
1983
36 Wolfgang J. Paul, Nicholas Pippenger, Endre Szemerédi, William T. Trotter: On Determinism versus Non-Determinism and Related Problems (Preliminary Version) FOCS 1983: 429-438
35EEWolfgang J. Paul, Uzi Vishkin, Hubert Wagener: Parallel Dictionaries in 2-3 Trees. ICALP 1983: 597-609
34 Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk: Two Nonlinear Lower Bounds STOC 1983: 127-132
33 Allan Borodin, Danny Dolev, Faith E. Fich, Wolfgang J. Paul: Bounds for Width Two Branching Programs STOC 1983: 87-93
32 Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener: Parallel Computation on 2-3-Trees. ITA 17(4): 397-404 (1983)
31EEZvi Galil, Wolfgang J. Paul: An Efficient General-Purpose Parallel Computer J. ACM 30(2): 360-387 (1983)
1982
30 Wolfgang J. Paul: On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time FOCS 1982: 53-56
29 Wolfgang J. Paul: On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time Information and Control 53(1/2): 1-8 (1982)
1981
28 Wolfgang J. Paul: On Heads Versus Tapes FOCS 1981: 68-73
27 Zvi Galil, Wolfgang J. Paul: An Efficient General Purpose Parallel Computer STOC 1981: 247-262
26 Wolfgang J. Paul, Rüdiger Reischuk: On Time versus Space II. (Turing Machines). J. Comput. Syst. Sci. 22(3): 312-327 (1981)
25 Wolfgang J. Paul, Joel I. Seiferas, Janos Simon: An Information-Theoretic Approach to Time Bounds for On-Line Computation. J. Comput. Syst. Sci. 23(2): 108-126 (1981)
1980
24 Zvi Galil, Wolfgang J. Paul: Effizienz Paralleler Rechner. GI Jahrestagung 1980: 54-64
23 Wolfgang J. Paul, Joel I. Seiferas, Janos Simon: An Information-Theoretic Approach to Time Bounds for On-Line Computation (Preliminary Version) STOC 1980: 357-367
22 Wolfgang J. Paul, Ernst J. Prauß, Rüdiger Reischuk: On Alternation. Acta Inf. 14: 243-255 (1980)
21 Wolfgang J. Paul, Rüdiger Reischuk: On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism. Acta Inf. 14: 391-403 (1980)
1979
20 Wolfgang J. Paul: Kolmogorov complexity and lower bounds. FCT 1979: 325-334
19 Wolfgang J. Paul, Rüdiger Reischuk: On Time versus Space II FOCS 1979: 298-306
18 Wolfgang J. Paul, Rüdiger Reischuk: A Graph Theoretic Approach to Determinism versus Non-Determinism. Theoretical Computer Science 1979: 222-232
17 Wolfgang J. Paul: On Time Hierarchies. J. Comput. Syst. Sci. 19(2): 197-202 (1979)
1978
16 Wolfgang J. Paul, Ernst J. Prauß, Rüdiger Reischuk: On Alternation (Preliminary Version) FOCS 1978: 113-122
15 Wolfgang J. Paul, Robert Endre Tarjan: Time-Space Trade-Offs in a Pebble Game. Acta Inf. 10: 111-115 (1978)
1977
14EEWolfgang J. Paul, Robert Endre Tarjan: Time-Space Trade-Offs in a Pebble Game. ICALP 1977: 365-369
13 Wolfgang J. Paul: On Time Hierarchies STOC 1977: 218-222
12EEJohn E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant: On Time Versus Space. J. ACM 24(2): 332-337 (1977)
11 Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni: Space Bounds for a Game on Graphs. Mathematical Systems Theory 10: 239-251 (1977)
10 Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni: Correction: Space Bounds for a Game on Graphs. Mathematical Systems Theory 11: 85 (1977)
9 Wolfgang J. Paul: A 2.5 n-Lower Bound on the Combinational Complexity of Boolean Functions. SIAM J. Comput. 6(3): 427-443 (1977)
1976
8 Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni: Space Bounds for a Game of Graphs STOC 1976: 149-160
7 Wolfgang J. Paul: Realizing Boolean Functions on Disjoint sets of Variables. Theor. Comput. Sci. 2(3): 383-396 (1976)
1975
6 John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant: On Time versus Space and Related Problems FOCS 1975: 57-64
5 Wolfgang J. Paul: A 2.5 n-lower Bound on the Combinatorial Complexity of Boolean Functions STOC 1975: 27-36
1974
4 Wolfgang J. Paul, H.-J. Stoß: Zur Komplexität von Sortierproblemen Acta Inf. 3: 217-225 (1974)
3 Wolfgang J. Paul: Boolesche Minimalpolynome und Überdeckungsprobleme Acta Inf. 4: 321-336 (1974)
1973
2EEWolfgang J. Paul: Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen. Automatentheorie und Formale Sprachen 1973: 249-253
1EEWolfgang J. Paul: Optimale Algorithmen zum Transponieren Quadratischer Matrizen. GI Jahrestagung 1973: 72-80

Coauthor Index

1Ferri Abolhassan [45] [47] [52] [63]
2Peter Bach [67]
3P. Bergmann [41]
4Sven Beyer [69] [73] [78]
5Peter Böhm [73]
6Allan Borodin [33] [40]
7Dominique Borrione [77]
8Michael Bosch [67]
9Jewgenij Botaschanjan [81]
10Manfred Broy [81]
11James R. Celoni [8] [10] [11]
12Iakov Dalinger [75]
13Ulan Degenbaev [82]
14Roman Dementiev [68]
15Danny Dolev [33] [40]
16Andreas Döring [60]
17Reinhard Drefenstedt [52] [56]
18Pavol Duris [34] [38]
19Faith Ellen (Faith Ellen Fich, Faith E. Fich) [33] [40]
20Guy Even [61] [64]
21Jörg Fischer [67]
22Arno Formella [51]
23Zvi Galil [24] [27] [31] [34] [38]
24Mauro Gargano [71]
25G. Gemünd [57]
26Michael Gerke [73]
27Bernhard Gollan [42]
28Alexander Gruler [81]
29Alexander Harhurin [81]
30Mark A. Hillebrand [71] [73] [74] [75] [80]
31John E. Hopcroft [6] [12]
32Christian Jacobi [69] [78]
33M. Jakob [57]
34Jörg Keller [41] [45] [47] [52] [55] [56] [63]
35Christoph W. Keßler (Christoph W. Kessler) [48] [49] [53]
36Maria M. Klawe [39]
37Michael Klein [68]
38Steffen Knapp [73] [79] [81]
39Leonid Kof [81]
40Daniel Kroening (Daniel Kröning) [65] [69] [78]
41Dirk Leinenbach [69] [71] [72] [73] [76] [78]
42Cédric Lichtenau [67]
43T. Malter [41]
44Werner Massonne [51] [57]
45Kurt Mehlhorn [44] [50]
46Silvia M. Müller [41] [43] [58] [59] [62]
47Elena Petrova [72]
48Nicholas Pippenger [36] [39]
49Thorsten Pöschel [41]
50Ernst J. Prauß [16] [22]
51Thomas Rauber [48] [49]
52Rüdiger Reischuk [16] [18] [19] [21] [22] [26] [34] [38]
53Thomas In der Rieden [73] [74] [76]
54Jochen Röhrig [67]
55Dieter Scheerer [52] [55]
56Norbert Schirmer [82]
57O. Schlüter [41]
58Alwine Schmitt [42]
59Jörg Schmittler [70]
60Peter-Michael Seidel [66]
61Joel I. Seiferas [23] [25]
62Janos Simon [23] [25]
63Philipp Slusallek [70]
64B. Spengler [57]
65Maria Spichkova [81]
66H.-J. Stoß [4]
67Endre Szemerédi [36]
68Robert Endre Tarjan [8] [10] [11] [14] [15]
69L. Thiele [41]
70William T. Trotter [36]
71Christian Uhrig [50]
72Leslie G. Valiant [6] [12]
73Uzi Vishkin [32] [35]
74Hubert Wagener [32] [35]
75Daniel Wagner [70]
76Sven Woop [70]
77Mihalis Yannakakis [39]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)