PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Eggers, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Challenges in Constraint-Based Analysis of Hybrid Systems.

, , , and . CSCLP, volume 5655 of Lecture Notes in Computer Science, page 51-65. Springer, (2008)

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.

Prof. Dr. Andreas Hotho

Ontology-based Text Document Clustering., , and . KI, 16 (4): 48-54 (2002)
Ontology-based Text Document Clustering., , and . KI, 16 (4): 48-54 (2002)Clustern mit Hintergrundwissen.. Karlsruhe Institute of Technology, (2004)

Andreas Baumann University of Stuttgart

Experimental collisions of varying roughness wetted particles in the pendular regime compared to numerical simulations, , , and . Phys. Rev. Fluids, 9 (5): 054302-1 -- 054302-26 (May 2024)

Junior-Prof. Dr.-Ing. Andreas Pott

Andreas Kaufmann

Andreas Pahler University of Stuttgart

 

Other publications of authors with the same name

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata., , and . J. Log. Algebr. Program., 79 (7): 436-466 (2010)Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems.. Carl von Ossietzky University of Oldenburg, (2014)Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods., , , and . Software and Systems Modeling, 14 (1): 121-148 (2015)Challenges in Constraint-Based Analysis of Hybrid Systems., , , and . CSCLP, volume 5655 of Lecture Notes in Computer Science, page 51-65. Springer, (2008)Superposition Modulo Non-linear Arithmetic., , , , , and . FroCoS, volume 6989 of Lecture Notes in Computer Science, page 119-134. Springer, (2011)Analysis of Hybrid Systems Using HySAT., , , and . ICONS, page 196-201. IEEE Computer Society, (2008)SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems., , and . ATVA, volume 5311 of Lecture Notes in Computer Science, page 171-185. Springer, (2008)Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT., , and . IFM, volume 6396 of Lecture Notes in Computer Science, page 168-182. Springer, (2010)Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods., , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 172-187. Springer, (2011)