| 2009 |
|---|
| 38 | EE | H. Martin Bücker,
Arno Rasch,
Volker Rath,
Andreas Wolf:
Semi-automatic parallelization of direct and inverse problems for geothermal simulation.
SAC 2009: 971-975 |
| 2007 |
|---|
| 37 | | Andreas Wolf,
Volker Rath,
H. Martin Bücker:
Parallelisation of a Geothermal Simulation Package: A Case Study on Four Multicore Architectures.
PARCO 2007: 451-458 |
| 2006 |
|---|
| 36 | | Huberta von Eller-Eberstein,
Lukas Gundermann,
Michael Krawczak,
Stefan Schreiber,
Andreas Wolf:
Datenmanagement bei popgen.
GI Jahrestagung (1) 2006: 729-735 |
| 35 | EE | Martin Schlager,
Wolfgang Herzner,
Andreas Wolf,
Oliver Gründonner,
Maximilian Rosenblattl,
Erwin Erkinger:
Encapsulating Application Subsystems Using the DECOS Core OS.
SAFECOMP 2006: 386-397 |
| 2004 |
|---|
| 34 | | Andreas Wolf,
Andreas Battenberg:
Sprach-Biometrie im Hochschulumfeld.
DFN-Arbeitstagung über Kommunikationsnetze 2004: 467-484 |
| 33 | EE | H. Martin Bücker,
Arno Rasch,
Andreas Wolf:
A class of OpenMP applications involving nested parallelism.
SAC 2004: 220-224 |
| 2003 |
|---|
| 32 | | Jörg Tacke,
Andreas Wolf:
How to Test the Performance of Speech Verifiers and Statistical Evaluation.
BIOSIG 2003: 3-12 |
| 31 | | Andreas Wolf,
Jörg Tacke:
Authentifizierung durch Sprache Potenziale und Grenzen biometrische Systeme.
DFN-Arbeitstagung über Kommunikationsnetze 2003: 303-319 |
| 30 | | Jörg Tacke,
Andreas Wolf:
Two-Factor Web Authentication Via Voice.
GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 347-350 |
| 2002 |
|---|
| 29 | | Andreas Wolf:
Firewalls und VPNs: Was kommt danach? Die Stellung des Access-Control-Managements in einem ganzheitlichen IT-Security-Ansatz.
DFN-Arbeitstagung über Kommunikationsnetze 2002: 59-73 |
| 2000 |
|---|
| 28 | EE | Gernot Stenz,
Andreas Wolf:
Scheduling Methods for Parallel Automated Theorem Proving.
Canadian Conference on AI 2000: 254-266 |
| 27 | EE | Markus Müller-Olm,
Andreas Wolf:
On the Translation of Procedures to Finite Machines.
ESOP 2000: 290-304 |
| 26 | | Gernot Stenz,
Andreas Wolf:
E-SETHEO: An Automated3 Theorem Prover.
TABLEAUX 2000: 436-440 |
| 1999 |
|---|
| 25 | | Gernot Stenz,
Andreas Wolf:
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.
Australian Joint Conference on Artificial Intelligence 1999: 231-243 |
| 24 | | Gernot Stenz,
Andreas Wolf:
Strategy Selection by Genetic Programming.
FLAIRS Conference 1999: 346-350 |
| 23 | | Joachim Draeger,
Andreas Wolf:
Strategy Parallelism and Lemma Evaluation.
FLAIRS Conference 1999: 361-365 |
| 22 | | Andreas Wolf,
Joachim Draeger:
Strategy Parallel Use of Model Elimination with Lemmata (System Abstract).
TABLEAUX 1999: 319-323 |
| 21 | EE | Markus Müller-Olm,
Andreas Wolf:
On Excusable and Inexcusable Failures.
World Congress on Formal Methods 1999: 1107-1127 |
| 20 | | Andreas Wolf,
Reinhold Letz:
Strategy Parallelism in Automated Theorem Proving.
IJPRAI 13(2): 219-245 (1999) |
| 1998 |
|---|
| 19 | EE | Andreas Wolf:
Strategy Selection for Automated Theorem Proving.
AIMSA 1998: 452-465 |
| 18 | EE | Marc Fuchs,
Andreas Wolf:
System Description: Cooperation in Model Elimination: CPTHEO.
CADE 1998: 42-46 |
| 17 | EE | Peter Jakobi,
Andreas Wolf:
DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data.
CSMR 1998: 185-188 |
| 16 | | Andreas Wolf,
Reinhold Letz:
Strategy Parallelism in Automated Theorem Proving.
FLAIRS Conference 1998: 142-146 |
| 15 | | Raffaella Mattone,
Linda Adduci,
Andreas Wolf:
On-line Scheduling Algorithms for Improving Performance of Pick-and-Place Operations on a Moving Conveyor Belt.
ICRA 1998: 2099-2105 |
| 14 | EE | Rudolf Berghammer,
Burghard von Karger,
Andreas Wolf:
Relation-Algebraic Derivation of Spanning Tree Algorithms.
MPC 1998: 23-43 |
| 13 | EE | Andreas Wolf:
p-SETHEO: Strategy Parallelism in Automated Theorem Proving.
TABLEAUX 1998: 320-324 |
| 1997 |
|---|
| 12 | | Bernd I. Dahn,
Jürgen Gehne,
Th. Honigmann,
Andreas Wolf:
Integration of Automated and Interactive Theorem Proving in ILP.
CADE 1997: 57-60 |
| 11 | | Andreas Wolf,
Johann Schumann:
ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output.
CADE 1997: 61-64 |
| 1996 |
|---|
| 10 | | Bernd I. Dahn,
Andreas Wolf:
Natural Language Presentation and Combination of Automatically Generated Proofs.
Frontiers of Combining Systems (FroCos) 1996: 175-192 |
| 1994 |
|---|
| 9 | | Lukas Relly,
Andreas Wolf:
A Storage Manager for the Development of Spatial Data Structures.
IGIS 1994: 168-177 |
| 8 | | Andreas Wolf,
Michele De Lorenzi,
Thomas Ohler,
Viet Hai Nguyen:
COSIMA, A Network Based Architecture for GIS.
IGIS 1994: 192-201 |
| 7 | | Bernd I. Dahn,
Andreas Wolf:
A Calculus Supporting Structured Proofs.
Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 261-276 (1994) |
| 6 | | Andreas Wolf:
Optimization and Translation of Tableau-Proofs into Resolution.
Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 311-325 (1994) |
| 1993 |
|---|
| 5 | EE | Hans-Jörg Schek,
Andreas Wolf:
From Extensible Databases to Interoperability between Multiple Databases and GIS Applications.
SSD 1993: 207-238 |
| 1992 |
|---|
| 4 | | Hans-Jörg Schek,
Andreas Wolf:
Cooperation between Autonomous Operation Services and Object Database Systems in a Heterogeneous Environment.
DS-5 1992: 255-281 |
| 1990 |
|---|
| 3 | | Gisbert Dröge,
Hans-Jörg Schek,
Andreas Wolf:
Erweiterbarkeit in DASDBS.
Inform., Forsch. Entwickl. 5(4): 162-176 (1990) |
| 1989 |
|---|
| 2 | | Andreas Wolf:
Extern definierte Datentypen und Prozeduren in DASDBS.
BTW 1989: 282-288 |
| 1 | EE | Andreas Wolf:
The DASDBS GEO-Kernel: Concepts, Experiences, and the Second Step.
SSD 1989: 67-88 |
