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

Computer-Aided Analysis and Validation of Heterogeneous System Specifications.

G. Castillo, und U. Glässer. EUROCAST, Volume 1798 von Lecture Notes in Computer Science, Seite 55-79. Springer, (1999)

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. -Ing. Uwe Sörgel University of Stuttgart

Efficient and Accurate Tree Detection from 3D Point Clouds through Paid CrowdsourcingM. Kölle, V. Walter, I. Shiller, und U. Sörgel. Preprint, (2023)

Dr. Uwe Gaisbauer University of Stuttgart

Hon. -Prof. Dr. Uwe Pfenning University of Stuttgart

Dr. rer. nat. Uwe Breitenbücher University of Stuttgart

Prof. Uni. Reg. de Blumenau Uwe Menzel University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines.P. Brantingham, U. Glässer, B. Kinney, K. Singh, und M. Vajihollahi. Abstract State Machines, Seite 101-118. (2005)A Collaborative Decision Support Model for Marine Safety and Security Operations.U. Glässer, P. Jackson, A. Araghi, H. Wehn, und H. Shahir. DIPES/BICC, Volume 329 von IFIP Advances in Information and Communication Technology, Seite 266-277. Springer, (2010)Maritime situation analysis.H. Shahir, U. Glässer, N. Nalbandyan, und H. Wehn. ISI, Seite 230-232. IEEE, (2013)GENIUS: A computational modeling framework for counter-terrorism planning and response.H. Tsang, A. Park, M. Sun, und U. Glässer. ISI, Seite 71-76. IEEE, (2010)Maritime situation analysis framework: Vessel interaction classification and anomaly detection.H. Shahir, U. Glässer, A. Shahir, und H. Wehn. BigData, Seite 1279-1289. IEEE Computer Society, (2015)ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks.U. Glässer, und A. Prinz. SDL Forum, Volume 3530 von Lecture Notes in Computer Science, Seite 162-173. Springer, (2005)Towards a new formal SDL semantics - outline of an abstract state machines.U. Glässer, R. Gotzhein, und A. Prinz. SDL Forum, Seite 171-192. Elsevier, (1999)Computer-Aided Analysis and Validation of Heterogeneous System Specifications.G. Castillo, und U. Glässer. EUROCAST, Volume 1798 von Lecture Notes in Computer Science, Seite 55-79. Springer, (1999)CoreASM Plug-In Architecture.R. Farahbod, V. Gervasi, U. Glässer, und G. Ma. Rigorous Methods for Software Construction and Analysis, Volume 5115 von Lecture Notes in Computer Science, Seite 147-169. Springer, (2009)Intelligent decision support for emergency responses.A. Araghi, U. Glässer, H. Shahir, B. Fisher, und P. Jackson. ISCRAM, Simon Fraser University, Vancouver, Canada, (2012)