×

zbMATH — the first resource for mathematics

Paul, Wolfgang Jakob

Compute Distance To:
Author ID: paul.wolfgang-j Recent zbMATH articles by "Paul, Wolfgang Jakob"
Published as: Paul, W.; Paul, W. J.; Paul, Wolfgang; Paul, Wolfgang J.
Homepage: http://www-wjp.cs.uni-sb.de/leute/individuum.php?person=1
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 67 Publications since 1973, including 9 Books

Publications by Year

Citations contained in zbMATH

42 Publications have been cited 363 times in 275 Documents Cited by Year
Bounds for width two branching programs. Zbl 0589.68034
Borodin, Allan; Dolev, Danny; Fich, Faith E.; Paul, Wolfgang
63
1986
On time versus space. Zbl 0358.68082
Hopcroft, John; Paul, Wolfgang; Valiant, Leslie
54
1977
Space bounds for a game on graphs. Zbl 0366.90150
Paul, Wolfgang J.; Tarjan, Robert Endre; Celoni, James R.
25
1977
On alternation. Zbl 0437.68025
Paul, Wolfgang J.; Prauß, Ernst J.; Reischuk, Rüdiger
21
1980
A 2.5n-lower bound on the combinational complexity of Boolean functions. Zbl 0358.68081
Paul, Wolfgang J.
21
1977
On-line simulation of \(k+1\) tapes by k tapes requires nonlinear time. Zbl 0536.68049
Paul, W.
17
1982
Decision trees and random access machines. Zbl 0482.68044
Paul, W.; Simon, J.
14
1982
An information-theoretic approach to time bounds for on-line computation. Zbl 0468.68055
Paul, Wolfgang J.; Seiferas, Joel I.; Simon, Janos
13
1981
On alternation. II. A graph theoretic approach to determinism versus nondeterminism. Zbl 0447.68043
Paul, Wolfgang; Reischuk, Rüdiger
13
1980
Time-space trade-offs in a pebble game. Zbl 0399.05030
Paul, W. J.; Tarjan, R. E.
11
1978
Parallel dictionaries on 2-3 trees. Zbl 0521.68070
Paul, W.; Vishkin, U.; Wagener, H.
9
1983
Komplexitätstheorie. Zbl 0382.68044
Paul, Wolfgang J.
8
1978
Realizing Boolean functions on disjoint sets of variables. Zbl 0345.94025
Paul, Wolfgang J.
8
1976
On time versus space. II. Zbl 0462.68029
Paul, W.; Reischuk, R.
7
1981
Computer architecture. Complexity and correctness. Zbl 0966.68023
Müller, Silvia M.; Paul, Wolfgang J.
6
2000
On heads versus tapes. Zbl 0536.68050
Paul, W.
6
1984
On time hierarchies. Zbl 0428.68055
Paul, W. J.
6
1979
Kolmogorov complexity and lower bounds. Zbl 0415.68012
Paul, Wolfgang J.
6
1979
On the verification of memory management mechanisms. Zbl 1159.68317
Dalinger, Iakov; Hillebrand, Mark; Paul, Wolfgang
5
2005
On the correctness of operating system kernels. Zbl 1152.68423
Gargano, Mauro; Hillebrand, Mark; Leinenbach, Dirk; Paul, Wolfgang
5
2005
An efficient general-purpose parallel computer. Zbl 0515.68022
Galil, Zvi; Paul, Wolfgang J.
5
1983
Instantiating uninterpreted functional units and memory system: Functional verification of the VAMP. Zbl 1179.68009
Beyer, Sven; Jacobi, Chris; Kröning, Daniel; Leinenbach, Dirk; Paul, Wolfgang J.
4
2003
On the cost-effectiveness of PRAMs. Zbl 0933.68014
Abolhassan, Ferri; Keller, Jörg; Paul, Wolfgang J.
4
1999
Two nonlinear lower bounds for on-line computations. Zbl 0589.68039
Dūri\=s, Pavol; Galil, Zvi; Paul, Wolfgang; Reischuk, Ruediger
4
1984
Parallel computation on 2-3-trees. Zbl 0531.68017
Paul, W.; Vishkin, U.; Wagener, H.
4
1983
On alternation. I. Zbl 0545.68039
Paul, Wolfgang J.; Prauss, Ernst J.; Reischuk, Ruediger
3
1983
Boolesche Minimalpolynome und Überdeckungsprobleme. Zbl 0322.94023
Paul, Wolfgang J.
3
1975
Proving the correctness of client/server software. Zbl 1177.68045
Alkassar, Eyad; Bogan, Sebastian; Paul, Wolfgang J.
2
2009
Realistic worst-case execution time analysis in the context of pervasive system verification. Zbl 1149.68405
Knapp, Steffen; Paul, Wolfgang
2
2007
Correction to ”Space bounds for a game on graphs”. Zbl 0374.90099
Paul, Wolfgang J.; Tarjan, Robert Endre; Celoni, James R.
2
1977
On the correctness of upper layers of automotive systems. Zbl 1165.68047
Botaschanjan, Jewgenij; Broy, Manfred; Gruler, Alexander; Harhurin, Alexander; Knapp, Steffen; Kof, Leonid; Paul, Wolfgang; Spichkova, Maria
1
2008
Towards the pervasive verification of automotive systems. Zbl 1159.68349
der Rieden, Thomas In; Leinenbach, Dirk; Paul, Wolfgang
1
2005
To Booth or not to Booth. Zbl 1007.68002
Paul, Wolfgang J.; Seidel, Peter-Michael
1
2002
On the design of IEEE compliant floating point units. Zbl 1392.68043
Even, Guy; Paul, Wolfgang J.
1
2000
The complexity of simple computer architectures. Zbl 0875.68038
Müller, Silvia M.; Paul, Wolfgang J.
1
1995
Autonomous theory building systems. Zbl 0844.68106
Paul, Wolfgang J.; Solomonoff, R.
1
1995
Two versus one index register and modifiable versus non-modifiable programs. Zbl 0682.68065
Mehlhorn, K.; Paul, W. J.
1
1989
On alternation. II. A graph theoretic approach to determinism versus nondeterminism. Zbl 0545.68040
Paul, Wolfgang; Reischuk, Ruediger
1
1983
Time-space trade-offs in a pebble game. Zbl 0363.05035
Paul, W. J.; Tarjan, R. E.
1
1977
Space bounds for a game on graphs. Zbl 0365.05027
Paul, Wolfgang J.; Tarjan, Robert Endre; Celoni, James R.
1
1976
Zur Komplexität von Sortierproblemen. Zbl 0276.68021
Paul, W. J.; Stoss, H.-J.
1
1974
Optimale Algorithmen zum Transponieren quadratischer Matrizen. Zbl 0281.68019
Paul, Wolfgang J.
1
1973
Proving the correctness of client/server software. Zbl 1177.68045
Alkassar, Eyad; Bogan, Sebastian; Paul, Wolfgang J.
2
2009
On the correctness of upper layers of automotive systems. Zbl 1165.68047
Botaschanjan, Jewgenij; Broy, Manfred; Gruler, Alexander; Harhurin, Alexander; Knapp, Steffen; Kof, Leonid; Paul, Wolfgang; Spichkova, Maria
1
2008
Realistic worst-case execution time analysis in the context of pervasive system verification. Zbl 1149.68405
Knapp, Steffen; Paul, Wolfgang
2
2007
On the verification of memory management mechanisms. Zbl 1159.68317
Dalinger, Iakov; Hillebrand, Mark; Paul, Wolfgang
5
2005
On the correctness of operating system kernels. Zbl 1152.68423
Gargano, Mauro; Hillebrand, Mark; Leinenbach, Dirk; Paul, Wolfgang
5
2005
Towards the pervasive verification of automotive systems. Zbl 1159.68349
der Rieden, Thomas In; Leinenbach, Dirk; Paul, Wolfgang
1
2005
Instantiating uninterpreted functional units and memory system: Functional verification of the VAMP. Zbl 1179.68009
Beyer, Sven; Jacobi, Chris; Kröning, Daniel; Leinenbach, Dirk; Paul, Wolfgang J.
4
2003
To Booth or not to Booth. Zbl 1007.68002
Paul, Wolfgang J.; Seidel, Peter-Michael
1
2002
Computer architecture. Complexity and correctness. Zbl 0966.68023
Müller, Silvia M.; Paul, Wolfgang J.
6
2000
On the design of IEEE compliant floating point units. Zbl 1392.68043
Even, Guy; Paul, Wolfgang J.
1
2000
On the cost-effectiveness of PRAMs. Zbl 0933.68014
Abolhassan, Ferri; Keller, Jörg; Paul, Wolfgang J.
4
1999
The complexity of simple computer architectures. Zbl 0875.68038
Müller, Silvia M.; Paul, Wolfgang J.
1
1995
Autonomous theory building systems. Zbl 0844.68106
Paul, Wolfgang J.; Solomonoff, R.
1
1995
Two versus one index register and modifiable versus non-modifiable programs. Zbl 0682.68065
Mehlhorn, K.; Paul, W. J.
1
1989
Bounds for width two branching programs. Zbl 0589.68034
Borodin, Allan; Dolev, Danny; Fich, Faith E.; Paul, Wolfgang
63
1986
On heads versus tapes. Zbl 0536.68050
Paul, W.
6
1984
Two nonlinear lower bounds for on-line computations. Zbl 0589.68039
Dūri\=s, Pavol; Galil, Zvi; Paul, Wolfgang; Reischuk, Ruediger
4
1984
Parallel dictionaries on 2-3 trees. Zbl 0521.68070
Paul, W.; Vishkin, U.; Wagener, H.
9
1983
An efficient general-purpose parallel computer. Zbl 0515.68022
Galil, Zvi; Paul, Wolfgang J.
5
1983
Parallel computation on 2-3-trees. Zbl 0531.68017
Paul, W.; Vishkin, U.; Wagener, H.
4
1983
On alternation. I. Zbl 0545.68039
Paul, Wolfgang J.; Prauss, Ernst J.; Reischuk, Ruediger
3
1983
On alternation. II. A graph theoretic approach to determinism versus nondeterminism. Zbl 0545.68040
Paul, Wolfgang; Reischuk, Ruediger
1
1983
On-line simulation of \(k+1\) tapes by k tapes requires nonlinear time. Zbl 0536.68049
Paul, W.
17
1982
Decision trees and random access machines. Zbl 0482.68044
Paul, W.; Simon, J.
14
1982
An information-theoretic approach to time bounds for on-line computation. Zbl 0468.68055
Paul, Wolfgang J.; Seiferas, Joel I.; Simon, Janos
13
1981
On time versus space. II. Zbl 0462.68029
Paul, W.; Reischuk, R.
7
1981
On alternation. Zbl 0437.68025
Paul, Wolfgang J.; Prauß, Ernst J.; Reischuk, Rüdiger
21
1980
On alternation. II. A graph theoretic approach to determinism versus nondeterminism. Zbl 0447.68043
Paul, Wolfgang; Reischuk, Rüdiger
13
1980
On time hierarchies. Zbl 0428.68055
Paul, W. J.
6
1979
Kolmogorov complexity and lower bounds. Zbl 0415.68012
Paul, Wolfgang J.
6
1979
Time-space trade-offs in a pebble game. Zbl 0399.05030
Paul, W. J.; Tarjan, R. E.
11
1978
Komplexitätstheorie. Zbl 0382.68044
Paul, Wolfgang J.
8
1978
On time versus space. Zbl 0358.68082
Hopcroft, John; Paul, Wolfgang; Valiant, Leslie
54
1977
Space bounds for a game on graphs. Zbl 0366.90150
Paul, Wolfgang J.; Tarjan, Robert Endre; Celoni, James R.
25
1977
A 2.5n-lower bound on the combinational complexity of Boolean functions. Zbl 0358.68081
Paul, Wolfgang J.
21
1977
Correction to ”Space bounds for a game on graphs”. Zbl 0374.90099
Paul, Wolfgang J.; Tarjan, Robert Endre; Celoni, James R.
2
1977
Time-space trade-offs in a pebble game. Zbl 0363.05035
Paul, W. J.; Tarjan, R. E.
1
1977
Realizing Boolean functions on disjoint sets of variables. Zbl 0345.94025
Paul, Wolfgang J.
8
1976
Space bounds for a game on graphs. Zbl 0365.05027
Paul, Wolfgang J.; Tarjan, Robert Endre; Celoni, James R.
1
1976
Boolesche Minimalpolynome und Überdeckungsprobleme. Zbl 0322.94023
Paul, Wolfgang J.
3
1975
Zur Komplexität von Sortierproblemen. Zbl 0276.68021
Paul, W. J.; Stoss, H.-J.
1
1974
Optimale Algorithmen zum Transponieren quadratischer Matrizen. Zbl 0281.68019
Paul, Wolfgang J.
1
1973
all top 5

Cited by 430 Authors

9 Paul, Wolfgang Jakob
8 Inoue, Katsushi
7 Takanami, Itsuo
6 Galil, Zvi
6 Hromkovič, Juraj
6 Loui, Michael C.
5 Maass, Wolfgang
5 Vitányi, Paul M. B.
4 Dietzfelbinger, Martin
4 Gabarró, Joaquim
4 McKenzie, Pierre
4 Messeguer, Xavier
4 Schnitger, Georg
4 Seidl, Helmut
4 Thérien, Denis
3 Allender, Eric W.
3 Alon, Noga M.
3 Blum, Norbert
3 Chrobak, Marek
3 Feige, Uriel
3 Hagerup, Torben
3 Kannan, Ravindran
3 Keller, Jörg
3 Kirkpatrick, David G.
3 Klein, Gerwin
3 Kulikov, Alexander S.
3 Li, Ming
3 Lipton, Richard J.
3 Liśkiewicz, Maciej
3 Nikolenko, Sergey I.
3 Seiferas, Joel I.
3 Taniguchi, Hiroshi
3 Tompa, Martin
3 Williams, Richard Ryan
2 Alkassar, Eyad
2 Alwen, Joël
2 Aumann, Yonatan
2 Bar-Ilan, Judit
2 Brakerski, Zvika
2 Brand, Michael
2 Bshouty, Nader H.
2 Carlson, David A.
2 Chandrasekaran, Karthekeyan
2 Deo, Narsingh
2 Gál, Anna
2 Giancarlo, Raffaele
2 Giaquinta, Emanuele
2 Golovnev, Alexander
2 Goyal, Rishab
2 Grabowski, Szymon
2 Guo, Siyao
2 Guruswami, Venkatesan
2 Halpern, Joseph Yehuda
2 Hirsch, Edward A.
2 Hühne, Martin
2 Hunt, Harry Bowen III
2 Ito, Akira
2 Kalyanasundaram, Bala
2 Koppula, Venkata
2 Krause, Matthias
2 Loryś, Krzysztof
2 Meir, Or
2 Melanich, Olga
2 Meyer auf der Heide, Friedhelm
2 Mix Barrington, David A.
2 Monien, Burkhard
2 Parberry, Ian
2 Pietrzak, Krzysztof
2 Reisch, Stefan
2 Reischuk, Rüdiger-K
2 Rosen, Alon
2 Savage, John E.
2 Schirmer, Norbert W.
2 Schöning, Uwe
2 Schulman, Leonard J.
2 Seshadhri, Comandur
2 Shpilka, Amir
2 Simon, Janos
2 Sudan, Madhu
2 Sudborough, Ivan Hal
2 Swamy, Chaitanya
2 Szemerédi, Endre
2 Tal, Avishay
2 Tarjan, Robert Endre
2 Tennenholtz, Moshe
2 Ullman, Jonathan R.
2 Vadhan, Salil P.
2 Wan, Andrew
2 Waters, Brent
2 Weber, Andreas
2 Wigderson, Avi
2 Wilson, Christopher B.
2 Yoshida, Yuichi
2 Zhou, Yuan
1 Abrahamson, Karl R.
1 Adleman, Leonard Max
1 Akavia, Adi
1 Akbarpour, Behzad
1 Albers, Susanne
1 Aldaz, Mikel
...and 330 more Authors
all top 5

Cited in 45 Serials

62 Theoretical Computer Science
35 Journal of Computer and System Sciences
32 Information Processing Letters
15 Information and Computation
7 Mathematical Systems Theory
6 Acta Informatica
5 Computational Complexity
3 Combinatorica
3 Journal of Automated Reasoning
3 RAIRO. Informatique Théorique et Applications
3 Theory of Computing Systems
2 Journal of Soviet Mathematics
2 SIAM Journal on Computing
2 Journal of Complexity
2 Formal Methods in System Design
2 Journal of Mathematical Sciences (New York)
2 Sādhanā
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Computing
1 Information Sciences
1 Journal of Mathematical Psychology
1 The Journal of Symbolic Logic
1 Kybernetika
1 Studia Logica
1 Transactions of the American Mathematical Society
1 Cybernetics
1 SIAM Journal on Algebraic and Discrete Methods
1 Computer Aided Geometric Design
1 Order
1 Discrete & Computational Geometry
1 Journal of the American Mathematical Society
1 Formal Aspects of Computing
1 Random Structures & Algorithms
1 MSCS. Mathematical Structures in Computer Science
1 The Journal of Supercomputing
1 Computational Mathematics and Mathematical Physics
1 International Journal of Computer Mathematics
1 Finite Fields and their Applications
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 Parallel Algorithms and Applications
1 Journal of the ACM
1 The Journal of Logic and Algebraic Programming
1 Journal of Discrete Algorithms

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.