Hans Werner Pohl

15 papers A 1B 2C 2Misc 3Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2013 C conf
Formal specification and automated verification of railway software with Frama-C.
INDIN
Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Völlinger
2006 B conf
Using High-Level Petri Nets for Hierarchical Grid Workflows.
e-Science
Martin Helmut Alt, Sergei Gorlatch, Andreas Hoheisel, Hans Werner Pohl
2005 Misc conf
A Grid Workflow Language Using High-Level Petri Nets.
PPAM
Martin Helmut Alt, Andreas Hoheisel, Hans Werner Pohl, Sergei Gorlatch
2003 Misc conf
Using the Bridge Design Pattern for OSGi Service Update.
EuroPLoP
Hans Werner Pohl, Jens Gerlach
2001 — conf
Integrating OpenMP into Janus.
WOMPAT
Jens Gerlach, Zheng-Yu Jiang, Hans Werner Pohl
1999 B conf
A High-Level Programming Environment for Distributed Memory Architectures.
PaCT
Wolfgang K. Giloi, Hans Werner Pohl, A. Schramm
1998 Misc conf
A group theoretic approach to data and code partitioning.
SAC
Matthias Besch, Hans Werner Pohl
1997 — conf
Dependence-Free Clustering of Shift-Invariant Data Structures.
Euro-Par
Matthias Besch, Hans Werner Pohl
1997 A conf
Performance considerations in software multicasts.
International Conference on Supercomputing
Jörg Cordsen, Hans Werner Pohl, Wolfgang Schröder-Preikschat
1996 — conf
Topographic Data Mapping by Balanced Hypershere Tessellation.
Euro-Par, Vol. I
Matthias Besch, Hans Werner Pohl
1995 C conf
Flexible data parallel training of neural networks using MIMD-Computers.
PDP
Matthias Besch, Hans Werner Pohl
1992 — conf
Ein stochastisches Fehlermodell zur Kommunikation.
Testen, Analysieren und Verifizieren von Software
Hans Werner Pohl
1983 J jnl
Petri Net Games.
J. Inf. Process. Cybern.
Hans Werner Pohl
1976 J jnl
Über kontextfreie stochastische Sprachen.
J. Inf. Process. Cybern.
Hans Werner Pohl
1975 J jnl
Untersuchungen kontextfreier stochastischer Sprachen.
J. Inf. Process. Cybern.
Hans Werner Pohl