Skip to content

Andreas Wolf

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

29

Venues

19

Active years

1989–2023

Best venue rank

A*

Where they publish

Papers

29 indexed papers, newest first.

YearVenueTitleAuthors
2023NetworkingOvercoming New Technologies Challenges in IoT Security Labs: Strategies for Effective Adaptation.Dimitrios Simopoulos, Andreas Wolf
2022NOMSAutomated IoT security testing with SecLab.Patrick Schwaiger, Dimitrios Simopoulos, Andreas Wolf
2021GIAbwrmenutzung eines warmwassergekhlten Hochleistungsrechners mit einer Wrmepumpe.Frederik Feike, Frank Dammel, Peter Stephan, Andreas Wolf, Christian H. Bischof
2020GIThe PASTA threat model implementation in the IoT development life cycle.Andreas Wolf, Dimitrios Simopoulos, Luca D'Avino, Patrick Schwaiger
2010CLUSTERHow to Scale Nested OpenMP Applications on the ScaleMP vSMP Architecture.Dirk Schmidl, Christian Terboven, Andreas Wolf, Dieter an Mey, Christian H. Bischof
2009CECImproving fuzzy-based axon segmentation with genetic algorithms: The IEEE Congress on Evolutionary Computation.Andreas Wolf, Andreas Herzog, Soeren Westerholz, Bernd Michaelis, Thomas B. Voigt
2009IJCNNPrerequisites for integrating unsupervised and reinforcement learning in a single network of spiking neurons.Sebastian Handrich, Andreas Herzog, Andreas Wolf, Christoph S. Herrmann
2009SACSemi-automatic parallelization of direct and inverse problems for geothermal simulation.H. Martin Bcker, Arno Rasch, Volker Rath, Andreas Wolf
2006GIDatenmanagement bei popgen.Huberta von Eller-Eberstein, Lukas Gundermann, Michael Krawczak, Stefan Schreiber, Andreas Wolf
2006SAFECOMPEncapsulating Application Subsystems Using the DECOS Core OS.Martin Schlager, Wolfgang Herzner, Andreas Wolf, Oliver Grndonner, Maximilian Rosenblattl, Erwin Erkinger
2004SACA class of OpenMP applications involving nested parallelism.H. Martin Bcker, Arno Rasch, Andreas Wolf
2003GITwo-Factor Web Authentication Via Voice.Jrg Tacke, Andreas Wolf
2000AIScheduling Methods for Parallel Automated Theorem Proving.Gernot Stenz, Andreas Wolf
2000ESOPOn the Translation of Procedures to Finite Machines.Markus Mller-Olm, Andreas Wolf
2000TABLEAUXE-SETHEO: An AutomatedGernot Stenz, Andreas Wolf
1999FlAIRSStrategy Parallelism and Lemma Evaluation.Joachim Draeger, Andreas Wolf
1999FlAIRSStrategy Selection by Genetic Programming.Gernot Stenz, Andreas Wolf
1999FMOn Excusable and Inexcusable Failures.Markus Mller-Olm, Andreas Wolf
1999TABLEAUXStrategy Parallel Use of Model Elimination with Lemmata (System Abstract).Andreas Wolf, Joachim Draeger
1998AIMSAStrategy Selection for Automated Theorem Proving.Andreas Wolf
1998CADESystem Description: Cooperation in Model Elimination: CPTHEO.Marc Fuchs, Andreas Wolf
1998FlAIRSStrategy Parallelism in Automated Theorem Proving.Andreas Wolf, Reinhold Letz
1998ICRAOn-line Scheduling Algorithms for Improving Performance of Pick-and-Place Operations on a Moving Conveyor Belt.Raffaella Mattone, Linda Adduci, Andreas Wolf
1998MPCRelation-Algebraic Derivation of Spanning Tree Algorithms.Rudolf Berghammer, Burghard von Karger, Andreas Wolf
1998TABLEAUXp-SETHEO: Strategy Parallelism in Automated Theorem Proving.Andreas Wolf
1997CADEIntegration of Automated and Interactive Theorem Proving in ILP.Bernd I. Dahn, Jrgen Gehne, Th. Honigmann, Andreas Wolf
1997CADEILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output.Andreas Wolf, Johann Schumann
1992DSCooperation between Autonomous Operation Services and Object Database Systems in a Heterogeneous Environment.Hans-Jrg Schek, Andreas Wolf
1989BTWExtern definierte Datentypen und Prozeduren in DASDBS.Andreas Wolf