PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Eggers, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Challenges in Constraint-Based Analysis of Hybrid Systems.

, , , und . CSCLP, Volume 5655 von Lecture Notes in Computer Science, Seite 51-65. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Univ. -Prof. Dr. Andreas Bulling University of Stuttgart

Multimodal Integration of Human-Like Attention in Visual Question Answering, , , , , und . (Oktober 2021)

Prof. Dr. Andreas Hotho

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

Junior-Prof. Dr.-Ing. Andreas Pott

Andreas Kaufmann

Andreas Pahler University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata., , und . 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., , , und . Software and Systems Modeling, 14 (1): 121-148 (2015)Challenges in Constraint-Based Analysis of Hybrid Systems., , , und . CSCLP, Volume 5655 von Lecture Notes in Computer Science, Seite 51-65. Springer, (2008)Superposition Modulo Non-linear Arithmetic., , , , , und . FroCoS, Volume 6989 von Lecture Notes in Computer Science, Seite 119-134. Springer, (2011)Analysis of Hybrid Systems Using HySAT., , , und . ICONS, Seite 196-201. IEEE Computer Society, (2008)SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems., , und . ATVA, Volume 5311 von Lecture Notes in Computer Science, Seite 171-185. Springer, (2008)Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT., , und . IFM, Volume 6396 von Lecture Notes in Computer Science, Seite 168-182. Springer, (2010)Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods., , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 172-187. Springer, (2011)