Institut für Rechnerarchitektur
und Parallelrechner
Prof. Dr. Wolfgang J. Paul
Universität des Saarlandes   Gebäude E1 3
FR 6.2 Informatik   Raum 305
Postfach 151150   Tel: +49 (0)681 302-2436
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail: wjp@cs.uni-saarland.de
 
 
Lebenslauf
1951 Geboren
1970 - 1972 Informatikstudium in Saarbrücken
1972 Diplom
1973 Promotion bei Prof. G. Hotz
1974 - 1976 Post Doc an der Cornell University
1976 - 1982 Wissenschaftlicher Rat und Professor für Mathematik in Bielefeld
1982 Gesellenbrief als Koch
1982 - 1986 Research Staff Member am IBM-Forschungslabor in San Jose
1986 IBM Invention Achievement Award
1986 Professor in Saarbrücken
1987 Leibniz-Preis
1987 - 1991 Kommissarischer Leiter des Universitätsrechenzentrums
1990 - 1992 Prodekan des Fachbereichs Informatik
1998 - 2000 Dekan der Technischen Fakultät
2003 - 2007 Wissenschaftlicher Gesamtprojektleiter des Forschungsprojekts Verisoft
2004 Ehrenpromotion durch die Khabarovsk State University of Technology (Russland)
2006 Mitglied der Academia Europaea
2007 - 2010 Wissenschaftlicher Gesamtprojektleiter des Forschungsprojekts Verisoft XT
2008 - 2010 Prodekan des Fachbereichs Informatik
 
Forschungsinteressen
Hardware Design
Computer Architecture
Formal Verification of Processors and Microkernels
 
Publikationen (zeige nur ausgewählte Publikationen)
Kovalev, M. and Mueller, s.M. and Paul, W.J.   EE BibTeX
A Pipelined Multi-core MIPS Machine - Hardware Implementation and Correctness Proof.
Springer, 2014.
ISBN 978-3-319-13905-0
 
Cohen, Ernie and Paul, Wolfgang and Schmaltz, Sabine EE BibTeX
Theory of Multi Core Hypervisor Verification.
In Peter van Emde Boas and Frans C. A. Groen and Giuseppe F. Italiano and Jerzy Nawrocki and Harald Sack , editors, SOFSEM 2013: Theory and Practice of Computer Science,
volume 7741 of Lecture Notes in Computer Science, pages 1-27, Springer Berlin Heidelberg, 2013.
 
Alkassar, E. and Cohen, E. and Kovalev, M. and Paul, W.   BibTeX
Verification of TLB Virtualization Implemented in C.
In 4th International Conference on Veri ed Software: Theories, Tools, and Experiments, VSTTE'12,
Philadelphia, USA
Lecture Notes in Computer Science, Springer-Verlag, 2012.
 
Paul, Wolfgang and Schmaltz, Sabine and Shadrin, Andrey EE BibTeX
Completing the Automated Verification of a Small Hypervisor – Assembler Code Verification.
In George Eleftherakis and Mike Hinchey and Mike Holcombe , editors, 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5 (Software Engineering and Formal Methods),
volume 7504 of Lecture Notes in Computer Science, pages 188-202, Springer Berlin Heidelberg, 2012.
 
Alkassar, E. and Hillebrand, M. and Paul, W. and Petrova, E. EE BibTeX
Automated Verification of a Small Hypervisor.
In Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10),
Edinburgh, UK
volume 6217 of LNCS, pages 40-54, Springer, 2010.
 
Alkassar, E. and Paul, W. and Starostin, A. and Tsyban, A. EE BibTeX
Pervasive Verification of an OS Microkernel: Inline Assembly, Memory Consumption, Concurrent Devices.
In Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10),
Edinburgh
volume 6217 of LNCS, pages 71-85, Springer, 2010.
 
Alkassar, E. and Cohen, E. and Hillebrand, M. and Kovalev, M. and Paul, W.   BibTeX
Verifying Shadow Page Table Algorithms.
In Formal Methods in Computer Aided Design (FMCAD) 2010,
Lugano, Switzerland
pages 267-270, IEEE, 2010.
 
Alkassar, E. and Bogan, S. and Paul, W.   EE BibTeX
Proving the Correctness of Client/Server Software.
In Sadhana Journal,
pages 145-192, Springer, 2009.
 
Degenbaev, Ulan and Paul, Wolfgang J. and Schirmer, Norbert   EE BibTeX
Pervasive Theory of Memory.
In Susanne Albers and Helmut Alt and Stefan N{\"a}her, editors, Efficient Algorithms -- Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday,
Saarbrücken
volume 5760 of Lecture Notes in Computer Science, pages 74-98, Springer, 2009.
 
Cohen, E. and Alkassar, E. and Boyarinov, V. and Dahlweid, M. and Degenbaev, U. and Hillebrand, M. and Langenstein, B. and Leinenbach, D. and Moskal, M. and Obua, S. and Paul, W. and Pentchev, H. and Petrova, E. and Santen, T. and Schirmer, N. and Schmaltz, S. and Schulte, W. and Shadrin, A. and Tobies, S. and Tsyban, A. and Tverdyshev, S. EE BibTeX
Invariants, Modularity, and Rights.
In Amir Pnueli and Irina Virbitskaite and Andrei Voronkov, editors, Perspectives of Systems Informatics (PSI 2009),
Novosibirsk, Russia
volume 5947 of Lecture Notes in Computer Science, pages 43--55, Springer, 2009.
 
Botaschanjan, J. and Broy, M. and Gruler, A. and Harhurin, A. and Knapp, S. and Kof, L. and Paul, W. and Spichkova, M.   EE BibTeX
On the Correctness of Upper Layers of Automotive Systems.
In Eerke Boiten, editors, Formal Aspects of Computing,
pages 637-662, Springer London, 2008.
ISBN 0934-5043
 
In der Rieden, T. and Paul, W. J.   EE BibTeX
Beweisen als Ingenieurwissenschaft: Verbundprojekt Verisoft (2003--2007).
In Reuse, B. and Vollmar, R., editors, Informatikforschung in Deutschland,
Karlsruhe
pages 321--326, Springer, 2008.
ISBN 9783540765493
 
Knapp, S. and Paul, W. J. EE BibTeX
Pervasive Verification of Distributed Real Time Systems.
In M. Broy, J. Grünbauer, T. Hoare, editors, Software System Reliability and Security,
NATO Security Through Science Series. Sub-Series: Information and Communication Vol.9, IOS Press, 2007.
ISBN 978-1-58603-731
 
Hillebrand, M. A. and Paul, W. J.   EE BibTeX
On the Architecture of System Verification Environments.
In Karen Yorav, editors, Haifa Verification Conference 2007, October 23-25, 2007, Haifa, Israel,
volume 4899 of LNCS, pages 153--168, Springer, 2007.
 
Beyer, S. and Jacobi, C. and Kröning, D. and Leinenbach, D. and Paul, W.J.   EE BibTeX
Putting it all together - Formal Verification of the VAMP.
In STTT Journal, Special Issue on Recent Advances in Hardware Verification,
Springer, 2006.
 
Knapp, S. and Paul, W. J.   EE BibTeX
Realistic Worst Case Execution Time Analysis in the Context of Pervasive System Verification.
In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of his 60th Birthday,
Dagstuhl
volume 4444 of LNCS, pages 53--81, Springer, 2006.
 
Borrione, D. and Paul, W.J.   EE BibTeX
Correct Hardware Design and Verification Methods. Proc. CHARME 05.
Saarbrücken
volume 3725 of LNCS, Springer, 2005.
 
Dalinger, I. and Hillebrand, M. and Paul, W.   EE BibTeX
On the Verification of Memory Management Mechanisms.
In Borrione, D. and Paul, W., editors, CHARME 2005,
LNCS, Springer, 2005.
 
Gargano, M. and Hillebrand, M. and Leinenbach, D. and Paul, W.   EE BibTeX
On the Correctness of Operating System Kernels.
In Hurd, J. and Melham, T., editors, Theorem Proving in High Order Logics (TPHOLs) 2005,
Oxford, U.K.
LNCS, Springer, 2005.
 
Leinenbach, D. and Paul, W. and Petrova, E. EE BibTeX
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctness.
In 3rd International Conference on Software Engineering and Formal Methods (SEFM 2005),
Koblenz, Germany
2005.
Note: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
 
Beyer, S. and Böhm, P. and Gerke, M. and Hillebrand, M. and In der Rieden, T. and Knapp, S. and Leinenbach, D. and Paul, W.J.   EE BibTeX
Towards the Formal Verification of Lower System Layers in Automotive Systems.
In 23nd IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, Proceedings,
pages 317-324, IEEE, 2005.
ISBN 0-7695-2451-6
 
Hillebrand, M. and In der Rieden, T. and Paul, W.J.   EE BibTeX
Dealing with I/O Devices in the Context of Pervasive System Verification.
In 23nd IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, Proceedings,
pages 309-316, IEEE, 2005.
ISBN 0-7695-2451-6
 
Paul, W.J.   EE BibTeX
Towards a Worldwide Verification Technology.
In Bertrand Meyer and Jim Woodcock , editors, Verified Software: Theories, Tools, Experiments -- First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions,
volume 4171 of Lecture Notes in Computer Science, pages 19-25, Springer Berlin Heidelberg, 2005.
 
Schmittler, J. and Woop, S. and Wagner, D. and Paul, W.J. and Slusallek, P.   EE BibTeX
Realtime Ray Tracing of Dynamic Scenes on an FPGA Chip.
In Akenine-Möller, T. and McCool, M., editors, Graphics Hardware, Proc. ACM SIGGRAPH/EUROGRAPHICS 2004,
Grenoble, France
Eurographics Association, 2004.
 
Beyer, S. and Jacobi, C. and Kröning, D. and Leinenbach, D. and Paul, W.J.   EE BibTeX
Instantiating uninterpreted functional units and memory system: functional verification of the VAMP.
In Geist, D. and Tronci, E., editors, CHARME 2003,
volume 2860 of LNCS, pages 51-65, Springer, 2003.
 
Paul, W.J.   BibTeX
Formal Verification of Processors and Low Level Software.
2003.
 
Bach, P. and Bosch, M. and Fischer, J. and Lichtenau, C. and Paul, W.J. and Röhrig, J.   EE BibTeX
Real PRAM Programming.
In Europar 2002,
Paderborn, Germany
volume 2400 of LNCS, Springer, 2002.
 
Paul, W.J. and Seidel, P.M.   EE BibTeX
To Booth or not to Booth.
In Integration, the VLSI Journal,
Elsevier, 2002.
 
Dementiev, R. and Klein, M. and Paul, W.J.   EE BibTeX
Performance of MP3D on the SB-PRAM prototype.
In Europar 2002,
Paderborn, Germany
volume 2400 of LNCS, Springer, 2002.
 
Klein, M. and Paul, W. J. and Preiß, J. and Renz, G. and Scholl, M. EE BibTeX
Optical Interconnect Between Cache and Main Memory.
volume 33 of LaserOpto, pages 86--89, AT-Fachverlag Stuttgart, 2001.
 
Kröning, D. and Paul, W.J.   EE BibTeX
Automated Pipeline Design.
In 38th Design Automation Conference,
Las Vegas, Nevada
pages 810--815, ACM Press, 2001.
 
Birk, A. and Paul, W. J. EE BibTeX
Schemas and Genetic Programming.
In H. Ritter et al., editors, Prerational Intelligence: Adaptive Behavior and Intelligent Systems Without Symbols and Logic,
pages 345--357, Kluwer Academic Publishers, 2000.
 
Müller, S.M. and Paul, W.J.   EE BibTeX
Computer Architecture, Complexity and Correctness.
Springer, 2000.
ISBN 3-540-67481-0
 
Kröning, D. and Müller, S.M. and Paul, W.J.   BibTeX
Proving the Correctness of Pipelined Micro-Architectures.
In Waldschmidt, K. and Grimm, C. , editors, 3ITG-/GI/GMM-Workshop Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und System,
pages 89--98, VDE Verlag, 2000.
 
Kröning, D. and Müller, S.M. and Paul, W.J.   BibTeX
Proving the Correctness of Processors with Delayed Branch using Delayed PCs.
In Althoefer and N. Cai and G. Dueck and L. Khachatrian and M. S. Pinsker and A. Sarkoezy and I. Wegener and Z. Zhang, editors, Numbers, Information and Complexity. Proc. Coll. in honor of R. Ahlswede at the occasion of his 60th birthday (1998),
Bielefeld
pages 579--588, Kluwer Academic Publishers, 2000.
 
Even, G. and Paul, W.J.   EE BibTeX
On the design of IEEE compliant floating point units.
volume 49 of IEEE Transactions On Computers, pages 398--413, IEEE Computer Society, 2000.
 
Kröning, D. and Müller, S.M. and Paul, W.J.   BibTeX
Proving the Correctness of Processors with Delayed Branch using Delayed PCs.
In IEEE International High Level Design Validation and Test Workshop,
San Diego, California
pages 579-588, 1999.
 
Kröning, D. and Müller, S.M. and Paul, W.J.   BibTeX
A Rigorous Correctness Proof of the Tomasulo Scheduling Algorithm with Precise Interrupts.
In SCI'99/ISAS'99 International Conference,
Orlando, Florida
1999.
 
Abolhassan, F. and Keller, J. and Paul, W.J.   EE BibTeX
On the Cost--Effectiveness of PRAMs.
volume 36 of Acta Informatica, pages 463--487, 1999.
 
Paul, W.J. and Seidel, P.M.   BibTeX
On the Complexity of Booth Recoding.
In 3rd Conference on Real Numbers and Computers (RNC3),
pages 199--218, 1998.
 
Müller, S.M. and Paul, W.J.   BibTeX
On the Correctness of Hardware Scheduling Mechanisms for Out-Of-Order Execution.
volume 8 of Journal of Circuits, Systems and Computers, pages 301--314, World Scientific Publishers, 1998.
 
Even, G. and Paul, W.J.   EE BibTeX
On the design of IEEE compliant floating point units.
In 13th IEEE Symposium on Computer Arithmetic (ARITH-13),
Asilomar, CA
pages 54--63, IEEE Computer Society, 1997.
 
Formella, A. and Grün, T. and Keller, J. and Paul, W.J. and Rauber, T   BibTeX
Scientific Applications on the SB-PRAM.
In Karsch, F. and Monien, B. and Satz, H., editors, Proceedings of the International Conference 'Multiscale Phenomena and Their Simulation',
Bielefeld
World Scientific Publishers, 1997.
 
Döring, Andreas and Paul, W.J.   EE BibTeX
Decimal Adjustment of Long Numbers in Constant Time.
In Information Processing Letters,
1997.
 
Müller, S.M. and Paul, W.J.   BibTeX
Making the Original Scoreboard Mechanism Deadlock Free.
In IEEE Proceedings of 4th Israel Symposium on Theory of Computing and Systems (ISTCS) ,
Jerusalem
1996.
 
Paul, W.J and Sauermann J.   BibTeX
Parallelisierung aller APL-Operationen.
In Ingo Wegener, editors, Highlights aus der Informatik,
Dortmund
pages 199--218, Springer Verlag, 1996.
ISBN 3-540-60187-2
 
Müller, S.M. and Paul, W.J.   EE BibTeX
The Complexity of Simple Computer Architectures.
volume 995 of Lecture Notes in Computer Science, Springer Verlag, 1995.
ISBN 3-540-60580-0
 
Keller, J. and Paul, W.J.     BibTeX
Hardware Design.
Teubner-Texte zur Informatik, Teubner Verlag, 1995.
ISBN 3-8154-2065-2
 
Paul, W.J. and Solomonoff, R.   EE BibTeX
Autonomous Theory Building Systems.
In Annals of Operations Research 1995,
pages 179--193, 1995.
 
Gemünd, C. and Jakob, M. and Massonne, W. and Paul, W.J. and Spengler, B.   EE BibTeX
High Performance Transaction Systems on the SB-PRAM.
In 3rd Israel Symposium on the Theory of Computing and Systems (ISTCS),
Tel Aviv
pages 1--10, IEEE Computer Society Press, 1995.
 
Keller, J. and Paul, W.J. and Scheerer, D.   EE BibTeX
Realization of PRAMs: Processor Design.
In Distributed Algorithms, 8th Int. Workshop WDAG 94,
Terschelling, Netherlands
volume 857 of Lecture Notes in Computer Science, pages 17--27, Springer Verlag, 1994.
 
Drefenstedt, R. and Keller, J. and Paul, W.J.   BibTeX
Applications of PRAMs in Telecommunications.
In B. Pehrson and I. Simon, editors, 13th IFIP Congress (1) 94,
Hamburg
pages 203--210, Elsevier Science, 1994.
 
Paul, W.J. and Obe, A.   BibTeX
Individual Synthetic Benchmarks and Partial Decompilation.
In 4th EurBen Workshop. EuroBen Technical Report TR-4 1994,
pages 82--93, 1994.
 
Paul, W.J.   EE BibTeX
A note on bitonic sorting.
volume 49 of Information Processing Letters, pages 223--225, 1994.
 
Bingert, A. and Formella, A. and Müller, S.M. and Paul, W.J.   EE BibTeX
Isolating the reasons for the performance of parallel machines on numerical programs II.
In T. Hey and J. Ferrante, editors, Portability and Performance for Parallel Processing,
pages 223--269, John Wiley and Sons, 1994.
 
Bingert, A. and Formella, A. and Müller, S.M. and Paul, W.J.   EE BibTeX
Isolating the reasons for the performance of parallel machines on numerical programs.
In C. W. Keßler, editors, Automatic Parallelization,
Advanced Studies in Computer Science, pages 45--77, Vieweg, 1994.
 
Paul, W.J. and Obe, A.   BibTeX
Individual Synthetic Benchmarks and Partial Decompilation.
volume 10 of Supercomputer , pages 58--71, 1993.
 
Keßler, C.W. and Paul, W.J.   EE BibTeX
Automatic Parallelization by Pattern-Matching.
In Volkert, J., editors, Parallel Computation, 2nd ACPC ,
Gmunden, Austria
volume 734 of Lecture Notes in Computer Science, pages 166--181, Springer Verlag, 1993.
 
Abolhassan, F. and Drefenstedt, R. and Keller, J. and Paul, W.J. and Scheerer, D.   EE BibTeX
On the Physical Design of PRAMs.
volume 36(8) of Computer Journal , pages 756-762, 1993.
 
Formella, A. and Massonne, W. and Paul, W.J.   EE BibTeX
Cost Effectiveness of Data Flow Machines and Vector Processors.
In Meyer auf der Heide, F. and Monie, B. and Rosenberg, A., editors, 1st Heinz Nixdorf Symposium: Parallel Architectures and their Efficient Use.,
Paderborn
volume 678 of Lecture Notes in Computer Science, pages 48--65, Springer Verlag, 1992.
 
Abolhassan, F. and Drefenstedt, R. and Keller, J. and Paul, W.J. and Scheerer, D.   BibTeX
On the Physical Design of PRAMs.
In J. Buchmann and H. Ganzinger and W.J. Paul, editors, Informatik, Festschrift zum 60. Geburtstag von Günter Hotz,
Teubner-Texte zur Informatik, pages 1--19, 1992.
 
Keßler, C.W. and Paul, W.J. and Rauber, T. EE BibTeX
Scheduling Vector Straight Line Code on Vector Processors.
In Giegerich, R. and Graham, S.L., editors, Int. Workshop on Code Generation: Code Generation - Concepts, Tools, Techniques,
Dagstuhl
Workshops in Computing, pages 73--91, Springer, 1992.
 
Formella, A. and Paul, W.J. and Obe, A. and Rauber, T. and Schmidt, D. EE BibTeX
The SPARK 2.0 System - a special purpose vector Processor with a VectorPASCAL compiler.
In Proc. 25th Annual Hawaii Int. Conf. on Syst. Sci. (HICSS-25),
Hawaii
pages 547--558, IEEE Computer Society Press, 1992.
 
Birk, A. and Paul, W. J.   BibTeX
Unsupervised Learning of Eye-Hand-Coordination.
In Small Journal Name,
Boston, USA
pages 1--22, Kluwer Academic Publishers, 1992.
 
Buchmann, J. and Ganzinger, H. and Paul, W.J.     BibTeX
Informatik, Festschrift zum 60. Geburtstag von Günter Hotz.
volume 1 of Teubner-Texte zur Informatik, Teubner, 1992.
 
Mehlhorn, K. and Paul, W.J. and Uhrig, C.   EE BibTeX
k Versus k+1 Index Registers and Modifiable Versus Non-modifiable Programs.
volume 101 of Information and Computation, pages 123--129, Academic Press, 1992.
 
Grün, T. and Paul, W.J.   BibTeX
VBN-VME-Bus-Adapter.
In H. Ricke and J. Kanzow, editors, BERKOM Broad Band Communication within the Optical Fibre Network,
pages 329--332, R. v. Decker Verlag, G. Schenck Heidelberg, 1991.
 
Abolhassan, F. and Keller, J. and Paul, W.J. EE BibTeX
On the Cost--Effectiveness of PRAMs.
In Proc. 3rd IEEE Symposium on Parallel and Distributed Processing,
Dallas, Texas
pages 2--9, IEEE Computer Society Press, 1991.
 
Keßler, C.W. and Paul, W.J. and Rauber, T.   EE BibTeX
A randomized heuristic approach to register allocation.
In Proc. 3rd International Symposium on Programming Language Implementation and Logic Programming,
volume 528 of Lecture Notes in Computer Science , pages 195--206, Springer, 1991.
 
Paul, W.J. and Scheerer, D.   BibTeX
The Datis-P Parallel Machine.
In Proc. 24th Annual Hawaii Int. Conf. on Syst. Sci. (HICSS-24),
Hawaii
pages 560--571, 1991.
 
Abolhassan, F. and Keller, J. and Paul, W.J.   BibTeX
On the Cost-Effectiveness and Realization of the theoretical PRAM Model.
volume 09/91 of SFB-Report, 1991.
 
Gergen, A. and Grün, T. and Mörsdorf, T. and Paul, W.J. and Sauermann, J.   BibTeX
A VMEbus-Interface for the VBN.
In Proc. 7th European Broadband Network Users Group,
pages 213--214, 1990.
 
Bergmann, P. and Keller, J. and Paul, W.J.   BibTeX
A Self-Organizing System for Image Recognition.
In Proc. IASTED Intern. Symp. Machine Learning and Neural Networks,
New York
pages 33--36, ACTA Press, 1990.
 
Abolhassan, F. and Keller, J. and Paul, W.J.   BibTeX
Überblick über PRAM-Simulationen und ihre Realisierbarkeit.
In T. Härder and H.Wedekind and G. Zimmermann , editors, Entwurf und Betrieb Verteilter Systeme. Proc. Fachtagung der SFBs 124 und 128,
Dagstuhl
volume 256 of Informatik Fachberichte, pages 15-39, Springer, 1990.
 
Müller, S.M. and Paul, W.J.   BibTeX
Towards a Formal Theory of Computer Architecture.
In Proc. Parcella 90,
Berlin
volume 2 of Research in Informatics, pages 157--169, Akademie Verlag, 1990.
 
Paul, W.J.   BibTeX
Parallelrechner aus wissenschaftlicher und kommerzieller Sicht. Architektur von Rechensystemen..
In 11.ITG/GI-Fachtagung Architektur von Rechensystemen (ARCS),
München
pages 139--145, VDE Verlag, 1990.
 
Müller, S.M. and Paul, W.J.   BibTeX
Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers.
In Proc. IFIP 11th World Computer Congress,
San Francisco, Ca.
pages 459--460, 1989.
 
Mehlhorn, K. and Paul, W.J.   EE BibTeX
Two Versus One Index Register and Modifiable Versus Non-Modifiable Programs.
In Proc. 16th ICALP,
Stresa, Italy
volume 372 of Lecture Notes in Computer Science, pages 603--609, Springer Verlag, 1989.
 
Bergmann, P. and Paul, W.J. and Thiele, L.   BibTeX
An Information Theoretic Approach to Computer Vision.
In Ebeling and Peschel , editors, Dynamical Networks,
pages 52--58, Akademie Verlag Berlin, 1989.
 
Bergmann, P. and Keller, J. and Malter, T. and Müller, S.M and Paul, W.J. and Pöschel, T. and Schlüter, O. and Thiele, L.   BibTeX
Implementatierung eines informationstheoretischen Ansatzes zur Bilderkennung.
In Proc. Innovative Informations-Infrastrukturen - I.I.I.-Forum,
Saarbrücken
volume 184 of Informatik Fachberichte, pages 187--197, Springer, 1988.
 
Paul, W.J. and Rauber, T. and Reeder, U.   BibTeX
Predicting the Sustained Performance of Vector Processors.
In Proc. 3rd Intern. Conf. on Supercomputing (ICS),
Boston, Mass.
1988.
 
Gollan, B. and Paul, W.J. and Schmitt, A.     BibTeX
Innovative Informations-Infrastrukturen - I.I.I.-Forum, Saarbrücken.
volume 184 of Informatik-Fachberichte, Springer, 1988.
ISBN 0-540-50334-X
 
Auerbach, D.J. and Chen, T.C. and Paul, W.J.   EE BibTeX
Method for Communicating Data between a Plurality of Processors.
volume 220536 of Patentblatt des Europäischen Patentamtes, 1987.
 
Auerbach, D.J. and Chen, T.C. and Paul, W.J.   EE BibTeX
Three Address Instruction Data Processing Apparatus.
volume 227900 of Patentblatt des Europäischen Patentamtes, 1987.
 
Auerbach, D.J. and Chen, T.C. and Paul, W.J.   BibTeX
A Multiple Read/Write Access Memory System.
volume 224691 of Europäisches Patentblatt, 1987.
 
Auerbach, D.J. and Bakker, A.F. and Lutz, C. and Paul, W.J. and Rudge, W.E. and Abraham, F.   EE BibTeX
A Special Purpose Parallel Computer for Molecular Dynamics: Motivation, Design, Implementation and Application.
In Journal of Physical Chemistry,
pages 48--81, 1987.
 
Hinz, D. and Paul, W.J. EE BibTeX
Über Parallelrechner für numerische Anwendungen und ihre Programmierung.
In Proc. 2nd SAVE-Tagung Heidelberg 1987. PIK 1987,
pages 161--167, 1987.
 
Paul, W.J. and Pippenger, N.     BibTeX
Modified crossbar switch operation with fixed priority conflict resolution and apparatus for performing same.
volume 4,663,620 of United States Patent, 1987.
 
Borodin, A. and Dolev, D. and Fich, F. and Paul, W.J.   EE BibTeX
Bounds for Width-Two Branching Programs.
In SIAM J. Comput. 1986,
pages 549--560, 1986.
 
Chung, F. R. K. and Paul, W.J. and Reischuk, R. and Tarjan, R.   EE BibTeX
Coding Strings by Pairs of Strings.
In SIAM Journal on Algorithmic and Discrete Methods,
pages 445--461, 1986.
 
Paul, W.J. and Pippenger, N.   BibTeX
Parallel Computers Coupling a Permutation Network.
volume 28 Nr. 7/12/85 of IBM Technical Disclosure Bulletin, 1985.
 
Auerbach, D.J. and Bakker, A.F. and Chen, T.C. and Munshi, A.A. and Paul, W.J.   EE BibTeX
A Highly Parallel Computer for Molecular Dynamics Simulation.
volume 63 of Mat. Res. Soc. Symp. Proc., pages 219--224, 1985.
 
Klawe, M. and Paul, W.J. and Pippenger, N. and Yannakakis, M.   EE BibTeX
On Monotone Formulae with Restricted Depth.
In Proc. 16th ACM-STOC ,
Washington DC
pages 480--487, 1984.
 
Duris, P. and Galil, Z. and Paul, W.J. and Reischuk, R.   EE BibTeX
Two Nonlinear Lower Bounds.
volume 60 of Information and Control 1984, pages 1--11, 1984.
 
Paul, W.J.   EE BibTeX
On Heads Versus Tapes.
volume 28 of Theoretical Computer Science (TCS), pages 1--12, 1984.
 
Paul, W.J. and Pippenger, N. and Szemeredi, E. and Trotter, M.   EE BibTeX
On Determinism Versus Nondeterminism and Related Problems.
In Proc. 24th IEEE-FOCS 1983,
Tucson
pages 429--438, 1983.
 
Duris, P. and Galil, Z. and Paul, W.J. and Reischuk, R.   EE BibTeX
Two Nonlinear Lower Bounds.
In Proc. 15th ACM-STOC 1983,
Boston
pages 127--132, 1983.
 
Borodin, A. and Dolev, D. and Fich, F. and Paul, W.J.   EE BibTeX
Bounds for Width-Two Branching Programs.
In Proc. 15th ACM-STOC ,
Boston
pages 87--93, 1983.
 
Chung, F. R. K. and Paul, W.J. and Reischuk, R. and Tarjan, R.   EE BibTeX
Coding Strings by Pairs of Strings.
In Proc. 14th Southeastern Conference on Combinatorics Graph Theory and Computing,
Boca Raton
1983.
Note:
 
Paul, W.J. and Vishkin, U. and Wagener, H.   EE BibTeX
Parallel Dictionaries on 2-3 Trees.
In Proc. 10th ICALP,
Barcelona
volume 154 of LNCS, pages 597--609, Springer, 1983.
 
Paul, W.J. and Vishkin, U. and Wagener, H.   EE BibTeX
Parallel Computation on 2-3 Trees.
volume 17 of RAIRO Theoretical Informatics, pages 397-404, 1983.
 
Paul, W.J.   EE BibTeX
On-line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time.
In Proc. 23rd IEEE-FOCS,
pages 53--56, 1982.
 
Paul, W.J.   EE BibTeX
On Heads Versus Tapes.
In Proc. 22nd IEEE-FOCS,
Nashville, Tennessee
pages 68--73, 1981.
 
Paul, W.J. and Reischuk, R.   EE BibTeX
On Time Versus Space II.
volume 22(3) of J. Comput. Syst. Sci., pages 312--1981, 1981.
 
Galil, Z. and Paul, W.J.   EE BibTeX
An Efficient General Purpose Parallel Computer.
In Proc. 13th ACM-STOC ,
Milwaukee, Wisconsin
pages 247--262, 1981.
 
Paul, W.J. and Seiferas, J.I and Simon, J.   EE BibTeX
An Information-Theoretic Approach to Time-Bounds for On-Line Computations.
volume 23(2) of J. Comput. Syst. Sci., pages 108-126, 1981.
 
Galil, Z. and Paul, W.J.   BibTeX
Effizienz paralleler Rechner.
In Proc. 10. GI-Jahrestagung,
Saarbrücken
volume 33 of Informatik Fachberichte, Springer, 1980.
 
Paul, W.J. and Simon, J.   BibTeX
Decision Trees and Random Access Machines.
In Proc. Symposium Logik and Algorithmic,
Zürich
pages 331--340, 1980.
 
Paul, W.J. and Reischuk, R.   EE BibTeX
On Alternation II.
volume 14 of Acta Informatica 1980, pages 391--403, 1980.
 
Paul, W.J. and Prauss, E. and Reischuk, R.   EE BibTeX
On Alternation.
volume 14 of Acta Informatica 1980, pages 243--255, 1980.
 
Paul, W.J. and Seiferas, J. and Simon, J.   EE BibTeX
An Information Theoretic Approach to Time Bounds for On-line Computations.
In Proc. 12th ACM-STOC,
Los Angeles, California
pages 357--367, 1980.
 
Paul, W.J. and Reischuk, R.   EE BibTeX
A Graph Theoretic Approach to Determinism versus Nondeterminism.
In Proc. 4th GI-Conference on Theoretical Computer Science,
Aachen
volume 67 of LNCS, pages 222--232, Springer, 1979.
 
Paul, W.J.   BibTeX
Kolmogorov Complexity and Lower Bounds.
In Budach, L., editors, Proc. Fundamentals of Computation Theory (FCT),
Berlin/Wendisch-Rietz
pages 325--334, Akademie-Verlag, 1979.
 
Paul, W.J.   EE BibTeX
On Time Hierarchies.
volume 19(2) of J. Comput. Syst. Sci., pages 197-202, 1979.
 
Paul, W.J. and Reischuk, R.   EE BibTeX
On Time versus Space II.
In Proc. 20th IEEE-FOCS,
San Juan, Puerto Rico
pages 298-306, 1979.
 
Paul, W.J. and Prauss, E. and Reischuk, R.   EE BibTeX
On Alternation.
In Proc. 19th IEEE-FOCS,
Ann Arbor, Michigan
pages 113--122, 1978.
 
Paul, W.J.   BibTeX
Komplexitätstheorie.
Teubner Verlag, 1978.
 
Paul, W.J. and Tarjan, R.E.   EE BibTeX
Time-Space Trade-Offs in a Pebble Game.
volume 10 of Acta Informatica 1978, pages 111--115, 1978.
 
Paul, W.J.   EE BibTeX
On Time Hierarchies.
In Proc. 9th ACM-STOC 1977,
Boulder, Colorado
pages 218--222, 1977.
 
Paul, W.J. and Tarjan, R.E.   EE BibTeX
Time-Space Trade-Offs in a Pebble Game.
In Proc. 4th ICALP,
Turku, Finland
volume 52 of Lecture Notes in Computer Science, pages 365--369., Springer, 1977.
 
Hopcroft, J.E. and Paul, W.J. and Valiant L.G.   EE BibTeX
On Time Versus Space.
volume 24 of J. ACM, pages 332--337, 1977.
 
Paul, W.J.   EE BibTeX
A 2.5 N-lower Bound on the Combinational Complexity of Boolean Functions.
volume 6 of SIAM J. Comp., pages 427--443, 1977.
 
Celoni, J. and Paul, W.J. and Tarjan, R.E.   EE BibTeX
Space Bounds for a Game on Graphs.
volume 10 of Math. Syst. Theory, pages 239--251, 1977.
 
Paul, W.J.     BibTeX
Schaltkreistheorie.
In Mathematisches Vorsemester,
Bielefeld
pages 1--106, 1977.
 
Celoni, J. and Paul, W.J. and Tarjan, R.E.   EE BibTeX
Space Bounds for a Game on Graphs.
In Proc. 8th ACM-STOC 1976,
Hershey, Pennsylvania
pages 149--160, 1976.
 
Paul, W.J.   EE BibTeX
Realizing Boolean Functions on Disjoint Sets of Variables.
volume 2 of Theoretical Computer Science 1976, pages 383--396, 1976.
 
Hopcroft, J.E. and Paul, W.J. and Valiant L.G.   EE BibTeX
On Time Versus Space and Related Problems.
In Proc. 16th IEEE-FOCS 1975,
Berkeley
pages 57--64, 1975.
 
Paul, W.J.   EE BibTeX
A 2.5 N-lower Bound on the Combinational Complexity of Boolean Functions.
In Proc. 7th ACM-STOC 1975,
Albuquerque
pages 27--36, 1975.
 
Paul, W.J.   EE BibTeX
Boolesche Minimalpolynome und Überdeckungsprobleme.
volume 4 of Acta Informatica, pages 321--336, 1975.
 
Paul, W.J. and Stoss, H.J.   BibTeX
Zur Komplexität von Sortierproblemen.
volume 3 of Acta Informatica, 1974.
 
Paul, W.J. and Stoss, H.J.   EE BibTeX
Optimales Transponieren quadratischer Matrizen.
In Proc. 3. GI-Jahrestagung,
Hamburg
volume 1 of Lecture Notes in Computer Science, pages 72--80, Springer, 1973.
 
Paul, W.J.   BibTeX
Realisierung des Streaming-Konzepts.
In Proc. 2. GI-Jahrestagung,
Karlsruhe
volume 78 of Lecture Notes in Economics and Mathematical Systems, pages 387--394, Springer, 1972.