Radomski, Stefan (2015)
Formal verification of multimodal dialogs in pervasive environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schnelle-Walka, Dirk ; Radomski, Stefan ; Grosse-Puppendahl, Tobias ; Huber, Jochen ; Brdiczka, Oliver ; Luyten, Kris ; Mühlhäuser, Max (2015)
Proceedings of the 4th Workshop on Interacting with Smart Objects 2015.
Other, Primary publication

Schnelle-Walka, Dirk ; Radomski, Stefan
eds.: Schnelle-Walka, Dirk ; Radomski, Stefan ; Lager, Torbjörn ; Barnett, Jim ; Dahl, Deborah ; Mühlhäuser, Max (2014)
Proceedings of the 1st EICS Workshop on Engineering Interactive Computer Systems with SCXML.
Other, Primary publication

Schnelle-Walka, Dirk ; Radomski, Stefan ; Huber, Jochen ; Brdiczka, Oliver ; Luyten, Kris ; Mühlhäuser, Max (2014)
Proceedings of the 3rd IUI Workshop on Interacting with Smart Objects.
Other, Primary publication