Autor der Publikation

Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries.

, , und . EXE@MoDELS, Volume 1760 von CEUR Workshop Proceedings, Seite 5-11. CEUR-WS.org, (2016)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Mapping prefer-opposite to prefer-one de Bruijn sequences., und . Des. Codes Cryptogr., 85 (3): 547-555 (2017)Automata Based Interfaces for Control and Scheduling., und . HSCC, Volume 4416 von Lecture Notes in Computer Science, Seite 601-613. Springer, (2007)Estimating the Probability of Meeting a Deadline in Hierarchical Plans., , und . IJCAI, Seite 1551-1557. AAAI Press, (2015)Preservation of controllability of single-input time-varying linear systems under sampling.. IEEE Trans. Automat. Contr., 50 (12): 2094-2096 (2005)A combinatorial game approach to state nullification by hybrid feedback.. CDC, Seite 4643-4647. IEEE, (2007)Robust stability of multi-hop control networks., , , , und . CDC, Seite 2210-2215. IEEE, (2009)Ranking Automata and Games for Prioritized Requirements., , und . CAV, Volume 5123 von Lecture Notes in Computer Science, Seite 240-253. Springer, (2008)Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries., , und . EXE@MoDELS, Volume 1760 von CEUR Workshop Proceedings, Seite 5-11. CEUR-WS.org, (2016)Modeling and Analysis of Multi-hop Control Networks., , , , und . IEEE Real-Time and Embedded Technology and Applications Symposium, Seite 223-232. IEEE Computer Society, (2009)Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea)., , , , und . AAAI, Seite 9770-9774. AAAI Press, (2019)