The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wolfgang J. Paul: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  76. Pervasive Theory of Memory. [Citation Graph (, )][DBLP]


  77. Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP]


  78. On the Architecture of System Verification Environments. [Citation Graph (, )][DBLP]


  79. On the cost-effectiveness of PRAMs. [Citation Graph (, )][DBLP]


  80. Automated Verification of a Small Hypervisor. [Citation Graph (, )][DBLP]


  81. Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. [Citation Graph (, )][DBLP]


Search in 0.053secs, Finished in 0.055secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002