- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c38 |      | 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: 29-37 |
| 2009 | ||
| c37 | | 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: 1025-1031 |
| c36 | | Sebastian Handrich, Andreas Herzog, Andreas Wolf, Christoph S. Herrmann: A Biologically Plausible Winner-Takes-All Architecture. ICIC (2) 2009: 315-326 |
| c35 | | 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: 1101-1106 |
| c34 | | 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 | ||
| c33 |  | 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 | ||
| c32 | | Huberta von Eller-Eberstein, Lukas Gundermann, Michael Krawczak, Stefan Schreiber, Andreas Wolf: Datenmanagement bei popgen. GI Jahrestagung (1) 2006: 729-735 |
| c31 | | 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 | ||
| c30 | | Andreas Wolf, Andreas Battenberg: Sprach-Biometrie im Hochschulumfeld. DFN-Arbeitstagung über Kommunikationsnetze 2004: 467-484 |
| c29 | | H. Martin Bücker, Arno Rasch, Andreas Wolf: A class of OpenMP applications involving nested parallelism. SAC 2004: 220-224 |
| 2003 | ||
| c28 | | Jörg Tacke, Andreas Wolf: How to Test the Performance of Speech Verifiers and Statistical Evaluation. BIOSIG 2003: 3-12 |
| c27 | | Andreas Wolf, Jörg Tacke: Authentifizierung durch Sprache Potenziale und Grenzen biometrische Systeme. DFN-Arbeitstagung über Kommunikationsnetze 2003: 303-319 |
| c26 | | Jörg Tacke, Andreas Wolf: Two-Factor Web Authentication Via Voice. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 347-350 |
| 2002 | ||
| c25 | | 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 | ||
| c24 | | Gernot Stenz, Andreas Wolf: Scheduling Methods for Parallel Automated Theorem Proving. Canadian Conference on AI 2000: 254-266 |
| c23 | | Markus Müller-Olm, Andreas Wolf: On the Translation of Procedures to Finite Machines. ESOP 2000: 290-304 |
| c22 | | |
| 1999 | ||
| j4 | | Andreas Wolf, Reinhold Letz: Strategy Parallelism in Automated Theorem Proving. IJPRAI 13(2): 219-245 (1999) |
| c21 | | 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 |
| c20 | | Gernot Stenz, Andreas Wolf: Strategy Selection by Genetic Programming. FLAIRS Conference 1999: 346-350 |
| c19 | | Joachim Draeger, Andreas Wolf: Strategy Parallelism and Lemma Evaluation. FLAIRS Conference 1999: 361-365 |
| c18 | | Markus Müller-Olm, Andreas Wolf: On Excusable and Inexcusable Failures. World Congress on Formal Methods 1999: 1107-1127 |
| c17 | | Andreas Wolf, Joachim Draeger: Strategy Parallel Use of Model Elimination with Lemmata (System Abstract). TABLEAUX 1999: 319-323 |
| 1998 | ||
| c16 | | |
| c15 | | Marc Fuchs, Andreas Wolf: System Description: Cooperation in Model Elimination: CPTHEO. CADE 1998: 42-46 |
| c14 | | Peter Jakobi, Andreas Wolf: DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data. CSMR 1998: 185-188 |
| c13 | | Andreas Wolf, Reinhold Letz: Strategy Parallelism in Automated Theorem Proving. FLAIRS Conference 1998: 142-146 |
| c12 | | 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 |
| c11 | | Rudolf Berghammer, Burghard von Karger, Andreas Wolf: Relation-Algebraic Derivation of Spanning Tree Algorithms. MPC 1998: 23-43 |
| c10 | | |
| 1997 | ||
| c9 | | Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf: Integration of Automated and Interactive Theorem Proving in ILP. CADE 1997: 57-60 |
| c8 | | Andreas Wolf, Johann Schumann: ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. CADE 1997: 61-64 |
| 1996 | ||
| c7 | | Bernd I. Dahn, Andreas Wolf: Natural Language Presentation and Combination of Automatically Generated Proofs. FroCoS 1996: 175-192 |
| 1994 | ||
| j3 | | Bernd I. Dahn, Andreas Wolf: A Calculus Supporting Structured Proofs. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 261-276 (1994) |
| j2 | | Andreas Wolf: Optimization and Translation of Tableau-Proofs into Resolution. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 311-325 (1994) |
| c6 | | Lukas Relly, Andreas Wolf: A Storage Manager for the Development of Spatial Data Structures. IGIS 1994: 168-177 |
| c5 | | Andreas Wolf, Michele De Lorenzi, Thomas Ohler, Viet Hai Nguyen: COSIMA, A Network Based Architecture for GIS. IGIS 1994: 192-201 |
| 1993 | ||
| c4 | | Hans-Jörg Schek, Andreas Wolf: From Extensible Databases to Interoperability between Multiple Databases and GIS Applications. SSD 1993: 207-238 |
| 1992 | ||
| c3 | | 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 | ||
| j1 | | Gisbert Dröge, Hans-Jörg Schek, Andreas Wolf: Erweiterbarkeit in DASDBS. Inform., Forsch. Entwickl. 5(4): 162-176 (1990) |
| 1989 | ||
| c2 | | |
| c1 | | |
Colors in the list of coauthors
Last update Fri May 24 00:01:41 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page