Paul, Wolfgang J., 1951-
Paul, Wolfgang J.
Wolfgang Paul informaticien allemand
Wolfgang Paul deutscher Informatiker
VIAF ID: 3629335 (Personal)
Permalink: http://viaf.org/viaf/3629335
Preferred Forms
-
200 _ |
‡a
Paul
‡b
Wolfgang J.
‡f
1951-....
-
100 1 _ ‡a Paul, Wolfgang J
-
100 1 _ ‡a Paul, Wolfgang J.
-
100 1 _
‡a
Paul, Wolfgang J.
-
100 1 _ ‡a Paul, Wolfgang J. ‡d (1951- ).
-
100 1 _
‡a
Paul, Wolfgang J.
‡d
1951-
-
100 1 _
‡a
Paul, Wolfgang J.
‡d
1951-
-
100 1 _ ‡a Paul, Wolfgang J., ‡d 1951-
-
100 1 _
‡a
Paul, Wolfgang J.,
‡d
1951-
-
100 1 _ ‡a Paul, Wolfgang J., ‡d 1951-
-
100 1 _ ‡a Paul, Wolfgang J., ‡d 1951-
-
100 1 _ ‡a Paul, Wolfgang J., ‡d 1951-
-
100 0 _
‡a
Wolfgang Paul
‡c
deutscher Informatiker
-
100 0 _
‡a
Wolfgang Paul
‡c
informaticien allemand
4xx's: Alternate Name Forms (12)
5xx's: Related Names (3)
- 551 _ _
‡a
Saarbrücken-Dudweiler
‡4
ortg
‡4
https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _
‡a
Studium Physik, Mathematik und Informatik an der Universität des Saarlandes; Promotion an Computer Science Department der Cornell University Ithaca, USA; Prof. an der Fakultät für Mathematik der Universität Bielefeld und am Fachbereich Informatik der Universität des Saarlandes
‡4
ortw
‡4
https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _
‡a
Universität des Saarlandes
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
Works
| Title | Sources |
|---|---|
| CHARME 2005 |
|
| complexity of simple computer architectures |
|
| 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 |
|
| Hardware-Design formaler Entwurf digitaler Schaltungen |
|
| In Richtung durchgängige formale Verifikation von in C implementierten Mehrkern-Betriebssystemen und -Hypervisoren |
|
| Informatik : Festschrift zum 60. Geburtstag von Günter Hotz |
|
| 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 |
|
| Komplexitätstheorie |
|
| Ownership-based order reduction and simulation in shared-memory concurrent computer systems |
|
| Ownership-basierte Reihenfolgenreduktion und Simulation in nebenläufigen Computersystemen mit gemeinsamem Speicher |
|
| A pipelined multi-core machine with operating system support hardware implementation and correctness proof |
|
| System Architecture An Ordinary Engineering Discipline |
|
| TLB virtualization in the context of hypervisor verification |
|
| Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C |
|
| Zeitkomplexität von Algorithmen zum Umordnen endlicher Mengen |
|
