Antibiotic susceptibility testing by standardized single disk method / by Bauer, A. W.

Antibiotic susceptibility testing by a standardized single disk method / by Bauer, A. W.

Model-based runtime analysis of distributed reactive systems. by Bauer, A, Leucker, M, Schallhart, C

Comparing LTL Semantics for Runtime Verification. by Bauer, A, Leucker, M, Schallhart, C

Enhancement of prestack diffraction data and attributes using a traveltime decomposition approach by Bauer, A, Schwarz, B, Gajewski, D

Runtime Verification for LTL and TLTL. by Bauer, A, Leucker, M, Schallhart, C

The tempos of performance by Shalev, N, Bauer, A, Nobre, A

Tool−support for the analysis of hybrid systems and models by Bauer, A, Pister, M, Tautschnig, M

Passive seismic source localization via common-reflection-surface attributes by Schwarz, B, Bauer, A, Gajewski, D

The Good, the Bad, and the Ugly, But How Ugly Is Ugly? by Bauer, A, Leucker, M, Schallhart, C

Utilizing diffractions in wavefront tomography by Bauer, A, Schwarz, B, Gajewski, D

Compatibility and reuse in component−based systems via type and unit inference by Kühnel, C, Bauer, A, Tautschnig, M

Unsupervised event identification and tagging for diffraction focusing by Bauer, A, Schwarz, B, Werner, T, Gajewski, D

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers by Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers by Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Source localisation and joint velocity model building using wavefront attributes by Diekmann, L, Schwarz, B, Bauer, A, Gajewski, D

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. by Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Insect community structure covaries with host plant chemistry but is not affected by prior herbivory by Visakorpi, K, Riutta, T, Martinez-Bauer, A, Salminen, J, Gripenberg, S

Maternal experienced bereavement and offspring mental health in early adulthood: the role of modifiable parental factors by Rashid, L, Bauer, A, Bowes, L, Creswell, C, Halligan, S

Trends in game meat hygiene : from forest to fork / by Bauer, A., Paulsen, P., editor, Smulders, F. J. M., editor