PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bauer, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
SALT - Structured Assertion Language for Temporal Logic.

, , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 757-775. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Reinhold Bauer University of Stuttgart

apl. Prof. Dr. -Ing. Frank Bauer University of Stuttgart

Ruben Bauer University of Stuttgart

Stephanie Bauer University of Stuttgart

Marcel Bauer University of Stuttgart

 

Other publications of authors with the same name

The Good, the Bad, and the Ugly, But How Ugly Is Ugly?, , and . RV, volume 4839 of Lecture Notes in Computer Science, page 126-138. Springer, (2007)Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.. CPAIOR, volume 3524 of Lecture Notes in Computer Science, page 49-63. Springer, (2005)LTL Goal Specifications Revisited., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 881-886. IOS Press, (2010)A Decathlon in Multidimensional Modeling: Open Issues and Some Solutions., , , and . DaWaK, volume 2454 of Lecture Notes in Computer Science, page 275-285. Springer, (2002)Multitracer PET imaging of the serotonin transporter, serotonin-1A and -2A receptor distribution in the living human brain., , , , , , , , , and . NeuroImage, 52 (Supplement-1): S73-S74 (2010)Creating a Portable Programming Language Using Open Source Software.. USENIX Annual Technical Conference, FREENIX Track, page 103-113. USENIX, (2004)Improving Channel Estimation for Software Radios., , , , , , , and . Wireless and Optical Communications, page 33-38. IASTED/ACTA Press, (2006)Don't care in SMT: building flexible yet efficient abstraction/refinement solvers., , , and . STTT, 12 (1): 23-37 (2010)Loose synchronization of event-triggered networks for distribution of synchronous programs., and . EMSOFT, page 193-202. ACM, (2004)An event processing approach to text stream analysis: basic principles of event based information filtering., and . DEBS, page 35-46. ACM, (2014)