Chair/bedside diagnosis of oral and respiratory tract infections, and identification of antibiotic resistances for personalised monitoring and treatment.

[BibT_eX]

[DOI]

Proceedings of the pHealth 2016, 2016

2009

Providing Standardized Fixed-Point Arithmetics for Embedded C Programs.

[BibT_eX]

[DOI]

Wilfried Elmenreich

Andreas Wolf

Maximilian Rosenblattl

Proceedings of the Intelligent Technical Systems, 2009

2007

Fixed Point Library Based on ISO/IEC Standard DTR 18037 for Atmel AVR Microcontrollers.

[BibT_eX]

[DOI]

Wilfried Elmenreich

Maximilian Rosenblattl

Andreas Wolf

Proceedings of the Fifth Workshop on Intelligent Solutions in Embedded Systems, 2007

2006

Encapsulating Application Subsystems Using the DECOS Core OS.

[BibT_eX]

[DOI]

Maximilian Rosenblattl

Erwin Erkinger

Proceedings of the Computer Safety, 2006

Datenmanagement bei popgen.

[BibT_eX]

[DOI]

Huberta von Eller-Eberstein

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2004

Sprach-Biometrie im Hochschulumfeld.

[BibT_eX]

[DOI]

Andreas Wolf

Andreas Battenberg

Proceedings of the E-Science and Grid - Ad-hoc-Netze, 2004

2003

Two-Factor Web Authentication Via Voice.

[BibT_eX]

[DOI]

Jörg Tacke

Andreas Wolf

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit", INFORMATIK 2003 - Mit Sicherheit Informatik, Frankfurt am Main, Germany, September 29, 2003

Authentifizierung durch Sprache Potenziale und Grenzen biometrische Systeme.

[BibT_eX]

[DOI]

Andreas Wolf

Jörg Tacke

Proceedings of the Security, 2003

How to Test the Performance of Speech Verifiers and Statistical Evaluation.

[BibT_eX]

[DOI]

Jörg Tacke

Andreas Wolf

Proceedings of the BIOSIG 2003, 2003

2002

Firewalls und VPNs: Was kommt danach? Die Stellung des Access-Control-Managements in einem ganzheitlichen IT-Security-Ansatz.

[BibT_eX]

[DOI]

Andreas Wolf

Proceedings of the Zukunft der Netze, 2002

1999

A novel stabilization method for an optical frequency comb generator.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 1999

Strategy Parallel Use of Model Elimination with Lemmata (System Abstract).

[BibT_eX]

[DOI]

Andreas Wolf

Joachim Draeger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

Strategy Parallelism and Lemma Evaluation.

[BibT_eX]

[DOI]

Joachim Draeger

Andreas Wolf

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998

p-SETHEO: Strategy Parallelism in Automated Theorem Proving.

[BibT_eX]

[DOI]

Andreas Wolf

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

On-line Scheduling Algorithms for Improving Performance of Pick-and-Place Operations on a Moving Conveyor Belt.

[BibT_eX]

[DOI]

Raffaella Mattone

Linda Adduci

Andreas Wolf

Proceedings of the IEEE International Conference on Robotics and Automation, 1998

DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data.

[BibT_eX]

[DOI]

Peter Jakobi

Andreas Wolf

Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

System Description: Cooperation in Model Elimination: CPTHEO.

[BibT_eX]

[DOI]

Marc Fuchs

Andreas Wolf

Proceedings of the Automated Deduction, 1998

Strategy Selection for Automated Theorem Proving.

[BibT_eX]

[DOI]

Andreas Wolf

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

Integration of Automated and Interactive Theorem Proving in ILP.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1997

1996

Natural Language Presentation and Combination of Automatically Generated Proofs.

[BibT_eX]

Bernd I. Dahn

Andreas Wolf

Proceedings of the Frontiers of Combining Systems, 1996

1994

Optimization and Translation of Tableau-Proofs into Resolution.

[BibT_eX]

Andreas Wolf

J. Inf. Process. Cybern., 1994

A Calculus Supporting Structured Proofs.

[BibT_eX]

Bernd I. Dahn

Andreas Wolf

J. Inf. Process. Cybern., 1994

COSIMA, A Network Based Architecture for GIS.

[BibT_eX]

[DOI]

Proceedings of the IGIS '94: Geographic Information Systems, International Workshop on Advanced Information Systems, Monte Verita, Ascona, Switzerland, February 28, 1994

A Storage Manager for the Development of Spatial Data Structures.

[BibT_eX]

[DOI]

Lukas Relly

Andreas Wolf

Proceedings of the IGIS '94: Geographic Information Systems, International Workshop on Advanced Information Systems, Monte Verita, Ascona, Switzerland, February 28, 1994

1993

From Extensible Databases to Interoperability between Multiple Databases and GIS Applications.

[BibT_eX]

[DOI]

Hans-Jörg Schek

Andreas Wolf

Proceedings of the Advances in Spatial Databases, 1993

1992

Cooperation between Autonomous Operation Services and Object Database Systems in a Heterogeneous Environment.

[BibT_eX]

Hans-Jörg Schek

Andreas Wolf