default search action

combined dblp search
author search
venue search
publication search

ask others

Jürgen Vollmer 0001

> Home > Persons

Person information

affiliation (PhD 1996): Karlsruhe Institute of Technology, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1996
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0093031
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0093031
Jürgen Vollmer:
Analyse und Transformation kontrollflußparalleler Programme. Karlsruhe Institute of Technology, Germany, 1996, pp. I-V, 1-125

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1996
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/KnoopSV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/KnoopSV96
Jens Knoop, Bernhard Steffen, Jürgen Vollmer:
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. ACM Trans. Program. Lang. Syst. 18(3): 268-299 (1996)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

1995
[c5]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/IEEEpact/Vollmer95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEpact/Vollmer95
Jürgen Vollmer:
Data flow analysis of parallel programs. PACT 1995: 168-177
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/KnoopSV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KnoopSV95
Jens Knoop, Bernhard Steffen, Jürgen Vollmer:
Parallelism for Free: Bitvector Analyses -> No State Explosion! TACAS 1995: 264-289
1992
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iccl/VollmerH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccl/VollmerH92
Jürgen Vollmer, R. Hoffart:
Modula-P-a language for parallel programming definition and implementation on a transputer network. ICCL 1992: 54-64
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tat/Vollmer92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tat/Vollmer92
Jürgen Vollmer:
Die Programmiersprache Modula-P. Transputer-Anwender-Treffen 1992: 132-142
1991
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/Vollmer91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/Vollmer91
Jürgen Vollmer:
Experiences with Gentle: Efficient Compiler Construction Based On Logic Programming. PLILP 1991: 425-426

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.