| SciPort RLP

Binkele-Raible, Daniel; Fernau, Henning

An exact exponential-time algorithm for the Directed Maximum Leaf Spanning Tree problem.

J. Discrete Algorithms. Bd. 15. 2012 S. 43 - 55

D. Lattner, Andreas; Dallmeyer, Jörg; C. Paraskevopoulos, Dimitrios et al.

Approximation Of Pedestrian Effects In Urban Traffic Simulation By Distribution Fitting.

ECMS. 2012 S. 567 - 573

Dieterle, Sebastian; Bergmann, Ralph

Case-Based Appraisal of Internet Domains.

ICCBR. 2012 S. 47 - 61

Görg, Sebastian; Bergmann, Ralph; Minor, Mirjam et al.

Collecting, reusing and executing private workflows on social network platforms.

WWW (Companion Volume). 2012 S. 747 - 750

Bai, Guoqiang; Fernau, Henning

Constraint bipartite vertex cover: simpler exact algorithms and implementations.

J. Comb. Optim. Bd. 23. H. 3. 2012 S. 331 - 355

Fernau, Henning

Cooperating Distributed Tree Automata.

Languages Alive. 2012 S. 75 - 85

Weyers, Benjamin; Luther, Wolfram; Baloian, Nelson

Cooperative Reconfiguration of User Interface Models for Learning Cryptographic Protocols.

Int. J. Inf. Technol. Decis. Mak. Bd. 11. H. 6. 2012 S. 1127 - 1154

Schumacher, Pol; Minor, Mirjam; Walter, Kirstin et al.

Extraction of procedural knowledge from the web: a comparison of two workflow extraction approaches.

WWW (Companion Volume). 2012 S. 739 - 747

Weyers, Benjamin; Burkolter, Dina; Luther, Wolfram et al.

Formal Modeling and Reconfiguration of User Interfaces for Reduction of Errors in Failure Handling of Complex Systems.

Int. J. Hum. Comput. Interact. Bd. 28. H. 10. 2012 S. 646 - 665

Weyers, Benjamin; Luther, Wolfram; Baloian, Nelson et al.

Formal Modeling of Multi-user Interfaces in Cooperative Work.

CRIWG. 2012 S. 129 - 136