| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dirk Schmidl, Christian Terboven, Andreas Wolf, Dieter an Mey, Christian H. Bischof |
How to Scale Nested OpenMP Applications on the ScaleMP vSMP Architecture.  |
CLUSTER  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Handrich, Andreas Herzog, Andreas Wolf, Christoph S. Herrmann |
A Biologically Plausible Winner-Takes-All Architecture. |
ICIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Martin Bücker, Arno Rasch, Volker Rath, Andreas Wolf |
Semi-automatic parallelization of direct and inverse problems for geothermal simulation. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
ADIFOR, OpenMP, automatic parallelization, automatic differentiation, nested parallelism, shared-memory programming, forward mode |
| 1 | Andreas Wolf, Andreas Herzog, Soeren Westerholz, Bernd Michaelis, Thomas B. Voigt |
Improving fuzzy-based axon segmentation with genetic algorithms: The IEEE Congress on Evolutionary Computation. |
IEEE Congress on Evolutionary Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Handrich, Andreas Herzog, Andreas Wolf, Christoph S. Herrmann |
Prerequisites for integrating unsupervised and reinforcement learning in a single network of spiking neurons. |
IJCNN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Wolf, Volker Rath, H. Martin Bücker |
Parallelisation of a Geothermal Simulation Package: A Case Study on Four Multicore Architectures. |
PARCO |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin Schlager, Wolfgang Herzner, Andreas Wolf, Oliver Gründonner, Maximilian Rosenblattl, Erwin Erkinger |
Encapsulating Application Subsystems Using the DECOS Core OS. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Huberta von Eller-Eberstein, Lukas Gundermann, Michael Krawczak, Stefan Schreiber, Andreas Wolf |
Datenmanagement bei popgen. |
GI Jahrestagung |
2006 |
DBLP BibTeX RDF |
|
| 1 | H. Martin Bücker, Arno Rasch, Andreas Wolf |
A class of OpenMP applications involving nested parallelism. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Wolf, Andreas Battenberg |
Sprach-Biometrie im Hochschulumfeld. |
DFN-Arbeitstagung über Kommunikationsnetze |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jörg Tacke, Andreas Wolf |
How to Test the Performance of Speech Verifiers and Statistical Evaluation. |
BIOSIG |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jörg Tacke, Andreas Wolf |
Two-Factor Web Authentication Via Voice. |
GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andreas Wolf, Jörg Tacke |
Authentifizierung durch Sprache Potenziale und Grenzen biometrische Systeme. |
DFN-Arbeitstagung über Kommunikationsnetze |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Gernot Stenz, Andreas Wolf |
E-SETHEO: An Automated3 Theorem Prover. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gernot Stenz, Andreas Wolf |
Scheduling Methods for Parallel Automated Theorem Proving. |
Canadian Conference on AI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Andreas Wolf |
On the Translation of Procedures to Finite Machines. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer |
| 1 | Andreas Wolf, Reinhold Letz |
Strategy Parallelism in Automated Theorem Proving. |
IJPRAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gernot Stenz, Andreas Wolf |
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Andreas Wolf |
On Excusable and Inexcusable Failures. |
World Congress on Formal Methods |
1999 |
DBLP BibTeX RDF |
runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer |
| 1 | Andreas Wolf, Joachim Draeger |
Strategy Parallel Use of Model Elimination with Lemmata (System Abstract). |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Draeger, Andreas Wolf |
Strategy Parallelism and Lemma Evaluation. |
FLAIRS Conference |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gernot Stenz, Andreas Wolf |
Strategy Selection by Genetic Programming. |
FLAIRS Conference |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marc Fuchs, Andreas Wolf |
System Description: Cooperation in Model Elimination: CPTHEO. |
CADE |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Andreas Wolf |
p-SETHEO: Strategy Parallelism in Automated Theorem Proving. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Wolf, Reinhold Letz |
Strategy Parallelism in Automated Theorem Proving. |
FLAIRS Conference |
1998 |
DBLP BibTeX RDF |
|
| 1 | Rudolf Berghammer, Burghard von Karger, Andreas Wolf |
Relation-Algebraic Derivation of Spanning Tree Algorithms. |
MPC |
1998 |
DBLP BibTeX RDF |
|
| 1 | Peter Jakobi, Andreas Wolf |
DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data. |
CSMR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Wolf |
Strategy Selection for Automated Theorem Proving. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf |
Integration of Automated and Interactive Theorem Proving in ILP. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Wolf, Johann Schumann |
ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd I. Dahn, Andreas Wolf |
Natural Language Presentation and Combination of Automatically Generated Proofs. |
Frontiers of Combining Systems (FroCos) |
1996 |
DBLP BibTeX RDF |
|
| 1 | Bernd I. Dahn, Andreas Wolf |
A Calculus Supporting Structured Proofs. |
Elektronische Informationsverarbeitung und Kybernetik |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andreas Wolf |
Optimization and Translation of Tableau-Proofs into Resolution. |
Elektronische Informationsverarbeitung und Kybernetik |
1994 |
DBLP BibTeX RDF |
|
| 1 | Lukas Relly, Andreas Wolf |
A Storage Manager for the Development of Spatial Data Structures. |
IGIS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Wolf, Michele De Lorenzi, Thomas Ohler, Viet Hai Nguyen |
COSIMA, A Network Based Architecture for GIS. |
IGIS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Schek, Andreas Wolf |
From Extensible Databases to Interoperability between Multiple Databases and GIS Applications. |
SSD |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Schek, Andreas Wolf |
Cooperation between Autonomous Operation Services and Object Database Systems in a Heterogeneous Environment. |
DS-5 |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gisbert Dröge, Hans-Jörg Schek, Andreas Wolf |
Erweiterbarkeit in DASDBS. |
Inform., Forsch. Entwickl. |
1990 |
DBLP BibTeX RDF |
|
| 1 | Andreas Wolf |
Extern definierte Datentypen und Prozeduren in DASDBS. |
BTW |
1989 |
DBLP BibTeX RDF |
|
| 1 | Andreas Wolf |
The DASDBS GEO-Kernel: Concepts, Experiences, and the Second Step. |
SSD |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")