Andreas Wolf - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 58 from 58

2023

Overcoming New Technologies Challenges in IoT Security Labs: Strategies for Effective AdaptationDimitrios Simopoulos, Andreas Wolf. networking 2023: 1-5 [doi]

2022

Automated IoT security testing with SecLabPatrick Schwaiger, Dimitrios Simopoulos, Andreas Wolf. noms 2022: 1-6 [doi]

2021

Noise Reduction for Single-Shot Grating-Based Phase-Contrast Imaging at an X-ray BacklighterStephan Schreiner, Bernhard Akstaller, Lisa Dietrich, Pascal Meyer, Paul Neumayer, Max Schuster, Andreas Wolf, Bernhard Zielbauer, Veronika Ludwig, Thilo Michel, Gisela Anton, Stefan Funk. jimaging, 7(9):178, 2021. [doi]

2020

2018

An Overview of Recent Advances in Assessing and Mitigating the Face Morphing AttackAndrey Makrushin, Andreas Wolf. eusipco 2018: 1017-1021 [doi]

Predicting Matching Quality of Record Linkage Algorithms on Growing Data SetsMartin Schuster, Lukas Tittmann, Andreas Wolf. gmds 2018: 70-74 [doi]

2016

2013

Towards standardizing trusted evidence of identityBian Yang, Christoph Busch, Julien Bringer, Els Kindt, Willem Ronald Belser, Uwe Seidel, Edward Springmann, Uwe Rabeler, Andreas Wolf, Magnar Aukrust. dim 2013: 63-72 [doi]

2011

Ein Softwarekonzept zur hierarchischen Parallelisierung von stochastischen und deterministischen Inversionsproblemen auf modernen ccNUMA-Plattformen unter Nutzung automatischer ProgrammtransformationAndreas Wolf. PhD thesis, RWTH Aachen University, 2011. [doi]

2010

How to Scale Nested OpenMP Applications on the ScaleMP vSMP ArchitectureDirk Schmidl, Christian Terboven, Andreas Wolf, Dieter an Mey, Christian H. Bischof. cluster 2010: 29-37 [doi]

2009

Semi-automatic parallelization of direct and inverse problems for geothermal simulationH. Martin Bücker, Arno Rasch, Volker Rath, Andreas Wolf. SAC 2009: 971-975 [doi]

Providing Standardized Fixed-Point Arithmetics for Embedded C ProgramsWilfried Elmenreich, Andreas Wolf, Maximilian Rosenblattl. In Natividad Martínez Madrid, Ralf E. D. Seepold, editors, Intelligent Technical Systems. Volume 38 of Lecture Notes in Electrical Engineering, pages 101-114, 2009. [doi]

A Biologically Plausible Winner-Takes-All ArchitectureSebastian Handrich, Andreas Herzog, Andreas Wolf, Christoph S. Herrmann. icic 2009: 315-326 [doi]

Prerequisites for integrating unsupervised and reinforcement learning in a single network of spiking neuronsSebastian Handrich, Andreas Herzog, Andreas Wolf, Christoph S. Herrmann. ijcnn 2009: 1101-1106 [doi]

Improving fuzzy-based axon segmentation with genetic algorithms: The IEEE Congress on Evolutionary ComputationAndreas Wolf, Andreas Herzog, Soeren Westerholz, Bernd Michaelis, Thomas B. Voigt. cec 2009: 1025-1031 [doi]

2007

Fixed Point Library Based on ISO/IEC Standard DTR 18037 for Atmel AVR MicrocontrollersWilfried Elmenreich, Maximilian Rosenblattl, Andreas Wolf. wises 2007: 101-113 [doi]

Parallelisation of a Geothermal Simulation Package: A Case Study on Four Multicore ArchitecturesAndreas Wolf, Volker Rath, H. Martin Bücker. parco 2008: 451-458

2006

Encapsulating Application Subsystems Using the DECOS Core OSMartin Schlager, Wolfgang Herzner, Andreas Wolf, Oliver Gründonner, Maximilian Rosenblattl, Erwin Erkinger. safecomp 2006: 386-397 [doi]

Datenmanagement bei popgenHuberta von Eller-Eberstein, Lukas Gundermann, Michael Krawczak, Stefan Schreiber, Andreas Wolf. gi 2006: 729-735

2004

A class of OpenMP applications involving nested parallelismH. Martin Bücker, Arno Rasch, Andreas Wolf. SAC 2004: 220-224 [doi]

Sprach-Biometrie im HochschulumfeldAndreas Wolf, Andreas Battenberg. dfn 2004: 467-484

2003

How to Test the Performance of Speech Verifiers and Statistical EvaluationJörg Tacke, Andreas Wolf. biosig 2003: 3-12

Two-Factor Web Authentication Via VoiceJörg Tacke, Andreas Wolf. gi 2003: 347-350

Authentifizierung durch Sprache Potenziale und Grenzen biometrische SystemeAndreas Wolf, Jörg Tacke. dfn 2004: 303-319

2002

Firewalls und VPNs: Was kommt danach? Die Stellung des Access-Control-Managements in einem ganzheitlichen IT-Security-AnsatzAndreas Wolf. dfn 2002: 59-73

2001

Weakest relative precondition semantics: balancing approved theory and realistic translation verificationAndreas Wolf. PhD thesis, University of Kiel, Germany, 2001. [doi]

2000

On the Translation of Procedures to Finite MachinesMarkus Müller-Olm, Andreas Wolf. ESOP 2000: 290-304 [doi]

E-SETHEO: An Automated:::3::: Theorem ProverGernot Stenz, Andreas Wolf. tableaux 2000: 436-440

Scheduling Methods for Parallel Automated Theorem ProvingGernot Stenz, Andreas Wolf. ai 2000: 254-266 [doi]

1999

Strategy Parallelism and Lemma EvaluationJoachim Draeger, Andreas Wolf. flairs 1999: 361-365

On Excusable and Inexcusable FailuresMarkus Müller-Olm, Andreas Wolf. FM 1999: 1107-1127 [doi]

E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem ProverGernot Stenz, Andreas Wolf. ausai 1999: 231-243

Strategy Selection by Genetic ProgrammingGernot Stenz, Andreas Wolf. flairs 1999: 346-350

A novel stabilization method for an optical frequency comb generatorUwe Sterr, Burghard Lipphardt, Andreas Wolf, Harald R. Telle. tim, 48(2):574-577, 1999. [doi]

Strategy Parallelism in Automated Theorem ProvingAndreas Wolf, Reinhold Letz. ijprai, 13(2):219-245, 1999.

Strategy Parallel Use of Model Elimination with Lemmata (System Abstract)Andreas Wolf, Joachim Draeger. tableaux 1999: 319-323

Paralleles Theorembeweisen: Leistungssteigerung, Kooperation und BeweistransformationAndreas Wolf. PhD thesis, Technical University Munich, Germany, 1999. [doi]

1998

Relation-Algebraic Derivation of Spanning Tree AlgorithmsRudolf Berghammer, Burghard von Karger, Andreas Wolf. mpc 1998: 23-43 [doi]

System Description: Cooperation in Model Elimination: CPTHEOMarc Fuchs, Andreas Wolf. cade 1998: 42-46 [doi]

DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover DataPeter Jakobi, Andreas Wolf. CSMR 1998: 185-188 [doi]

On-line Scheduling Algorithms for Improving Performance of Pick-and-Place Operations on a Moving Conveyor BeltRaffaella Mattone, Linda Adduci, Andreas Wolf. icra 1998: 2099-2105

Strategy Parallelism in Automated Theorem ProvingAndreas Wolf, Reinhold Letz. flairs 1998: 142-146

Strategy Selection for Automated Theorem ProvingAndreas Wolf. aimsa 1998: 452-465 [doi]

p-SETHEO: Strategy Parallelism in Automated Theorem ProvingAndreas Wolf. tableaux 1998: 320-324 [doi]

1997

Integration of Automated and Interactive Theorem Proving in ILPBernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf. cade 1997: 57-60

ILF-SETHEO: Processing Model Elimination Proofs for Natural Language OutputAndreas Wolf, Johann Schumann. cade 1997: 61-64

1996

Natural Language Presentation and Combination of Automatically Generated ProofsBernd I. Dahn, Andreas Wolf. frocos 1996: 175-192

1994

A Calculus Supporting Structured ProofsBernd I. Dahn, Andreas Wolf. eik, 30(5/6):261-276, 1994.

A Storage Manager for the Development of Spatial Data StructuresLukas Relly, Andreas Wolf. igis 1994: 168-177

COSIMA, A Network Based Architecture for GISAndreas Wolf, Michele De Lorenzi, Thomas Ohler, Viet Hai Nguyen. igis 1994: 192-201

Optimization and Translation of Tableau-Proofs into ResolutionAndreas Wolf. eik, 30(5/6):311-325, 1994.

1993

From Extensible Databases to Interoperability between Multiple Databases and GIS ApplicationsHans-Jörg Schek, Andreas Wolf. ssd 1993: 207-238 [doi]

1992

Cooperation between Autonomous Operation Services and Object Database Systems in a Heterogeneous EnvironmentHans-Jörg Schek, Andreas Wolf. ds 1993: 255-281

1991

Lagerichtige Handhabung bei der Off-line-Programmierung roboterisierter MontagesystemeAndreas Wolf. PhD thesis, Dresden University of Technology, Germany, 1991. [doi]

1990

Erweiterbarkeit in DASDBSGisbert Dröge, Hans-Jörg Schek, Andreas Wolf. ife, 5(4):162-176, 1990.

1989

Extern definierte Datentypen und Prozeduren in DASDBSAndreas Wolf. btw 1989: 282-288

The DASDBS GEO-Kernel: Concepts, Experiences, and the Second StepAndreas Wolf. ssd 1990: 67-88 [doi]

Sign in or sign up to see more results.

runs on WebDSL