Immo Colonius

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Satisfiability Problem

Formal Verification

Reactive Systems

Top Venues

Intell. Serv. Robotics

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Arne Kreutzmann, Immo Colonius, Diedrich Wolter, Frank Dylla, Lutz Frommberger, Christian Freksa
Temporal logic for process specification and recognition. Intell. Serv. Robotics 6 (1) (2013)
Arne Kreutzmann, Immo Colonius, Lutz Frommberger, Frank Dylla, Christian Freksa, Diedrich Wolter
On Process Recognition by Logical Inference. ECMR (2011)
Immo Colonius, Sandra H. Budde, Roberta Annicchiarico
Participatory design for challenging user groups: a case study. ECCE (2010)