Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Asymptotically Correct Finite Path Semantics for LTL.

A. Morgenstern, M. Gesell, und K. Schneider. LPAR, Volume 7180 von Lecture Notes in Computer Science, Seite 304-319. Springer, (2012)

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.

Prof. Dr. Andreas Hotho

Ontology-based Text Document Clustering.A. Hotho, A. Maedche, und S. Staab. KI, 16 (4): 48-54 (2002)

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

Andreas Baumann University of Stuttgart

Experimental collisions of varying roughness wetted particles in the pendular regime compared to numerical simulationsO. Punch, D. Holland, A. Baumann, und P. Eberhard. Phys. Rev. Fluids, 9 (5): 054302-1 -- 054302-26 (Mai 2024)

Junior-Prof. Dr.-Ing. Andreas Pott

Andreas Kaufmann

Andreas Pahler University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis of Parallel Sorting Networks using SAT Solvers.A. Morgenstern, und K. Schneider. MBMV, Seite 71-80. OFFIS-Institut für Informatik, (2011)A LTL Fragment for GR(1)-SynthesisA. Morgenstern, und K. Schneider. iWIGP, Volume 50 von EPTCS, Seite 33-45. (2011)Orchestration of IoT Device and Business Workflow Engine on Cloud.S. Kikuchi, I. Thomas, O. Jallouli, J. Dörr, A. Morgenstern, E. Baccelli, und K. Schleiser. CIoT, Seite 1-2. IEEE, (2018)Reprogramming Low-end IoT Devices from the Cloud.E. Baccelli, J. Dörr, O. Jallouli, S. Kikuchi, A. Morgenstern, F. Padilla, K. Schleiser, und I. Thomas. CIoT, Seite 1-6. IEEE, (2018)Straightforward Specification of Adaptation-Architecture-Significant Requirements of IoT-enabled Cyber-Physical Systems.P. Antonino, A. Morgenstern, B. Kallweit, M. Becker, und T. Kuhn. ICSA Companion, Seite 19-26. IEEE Computer Society, (2018)Bridging the Gap between Architecture Specifications and Simulation Models.P. Antonino, J. Jahic, B. Kallweit, A. Morgenstern, und T. Kuhn. ICSA Companion, Seite 77-80. IEEE Computer Society, (2018)Generating Deterministic $ømega$-Automata for most LTL Formulas by the Breakpoint Construction.A. Morgenstern, K. Schneider, und S. Lamberti. MBMV, Seite 119-128. Shaker, (2008)Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL SynthesisA. Morgenstern, und K. Schneider. GANDALF, Volume 25 von EPTCS, Seite 89-102. (2010)Solving Games Using Incremental Induction.A. Morgenstern, M. Gesell, und K. Schneider. IFM, Volume 7940 von Lecture Notes in Computer Science, Seite 177-191. Springer, (2013)Design and implementation of a platform for hyperconnected cyber physical systems.I. Thomas, S. Kikuchi, E. Baccelli, K. Schleiser, J. Dörr, und A. Morgenstern. Internet Things, (2018)