Hebisch, Erik; Wechselberger, Ulrich
A Gameplay Model for Understanding and Designing GamesAshok Kumar; Jim Etheredge; Aaron Boudreaux (Hrsg). Algorithmic and Architectural Gaming Design: Implementation and Development. Hershey, PA: IGI Global 2012 S. 342 - 358
Hinze, Michael; Vierling, Morten
A Globalized Semi-smooth Newton Method for Variational Discretization of Control Constrained Elliptic Optimal Control ProblemsGünter Leugering; Sebastian Engell; Andreas Griewank; Michael Hinze; Rolf Rannacher; Volker Schulz; Michael Ulbrich; Stefan Ulbrich (Hrsg). Constrained Optimization and Optimal Control for Partial Differential Equations. Basel: Birkhäuser 2012 S. 171 - 182
Mathews, Emi; Frey, Hannes
A Localized Link Removal and Addition based Planarization AlgorithmLuciano Bononi; Ajoy K. Datta; Stéphane Devismes; Archan Misra (Hrsg). Distributed Computing and Networking: 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings. Berlin: Springer 2012 S. 337 - 350
Schumann, Martin; Hoppenheit, Jan; Müller, Stefan
A Matching Shader Technique for Model-Based TrackingEnhua Wu; Vaclav Skala (Hrsg). Proceeding of the 20th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision WSCG 2012; Plzen, Czech Republic; June 26 - 28, 2012; Part 1. Pilsen: University of West Bohemia 2012 S. 155 - 162
Loukis, Euripides; Wimmer, Maria A.
A Multi-Method Evaluation of Different Models of Structured Electronic Consultation on Government PoliciesInformation Systems Management. Bd. 29. H. 4. London: Taylor & Francis 2012 S. 284 - 294
Deckelnick, Klaus; Hinze, Michael
A note on the approximation of elliptic control problems with bang-bang controlsComputational Optimization and Applications. Bd. 51. H. 2. New York, NY: Springer 2012 S. 931 - 939
Günther, Andreas; Hinze, Michael; Tber, Moulay Hicham
A Posteriori Error Representations for Elliptic Optimal Control Problems with Control and State ConstraintsGünter Leugering; Sebastian Engell; Andreas Griewank; Michael Hinze; Rolf Rannacher; Volker Schulz; Michael Ulbrich; Stefan Ulbrich (Hrsg). Constrained Optimization and Optimal Control for Partial Differential Equations. Basel: Birkhäuser 2012 S. 303 - 317
Thimm, Matthias
A Probabilistic Semantics for abstract ArgumentationLuc De Raedt; Christian Bessiere; Didier Dubois; Patrick Doherty; Paolo Frasconi; Fredrik Heintz; Peter Lucas (Hrsg). Proceedings of the 20th European Conference on Artificial Intelligence ECAI 2012 including Prestigious Applications of Intelligent Systems (PAIS 2012) System Demonstrations Track: 27-31 August, 2012; Montpellier, France. Amsterdam: IOS Press 2012 S. 750 - 755
Kern-Isberner, Gabriele; Thimm, Matthias
A Ranking Semantics for First-Order ConditionalsLuc De Raedt; Christian Bessiere; Didier Dubois; Patrick Doherty; Paolo Frasconi; Fredrik Heintz; Peter Lucas (Hrsg). Proceedings of the 20th European Conference on Artificial Intelligence ECAI 2012 including Prestigious Applications of Intelligent Systems (PAIS 2012) System Demonstrations Track: 27-31 August, 2012; Montpellier, France. Amsterdam: IOS Press 2012 S. 456 - 461
Ochoa, Martín; Jürjens, Jan; Warzecha, Daniel
A Sound Decision Procedure for the Compositionality of SecrecyGilles Barthe; Benjamin Livshits; Riccardo Scandariato (Hrsg). Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Berlin: Springer 2012 S. 97 - 105