2011

314.

Constraint Handling Rules: Compilation, Execution, and Analysis
In Frühwirth, T. and Raiser, F., Editor
Publisher: Books on Demand
2011
ISBN:978-3-83-911591-6
313.
Raiser, Frank; Frühwirth, Thom
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming, 11 (1) :65-109
January 2011
DOI:10.1017/S1471068410000438
312.
Guttmann, Walter; Struth, Georg; Weber, Tjark
Automating Algebraic Methods in Isabelle
In Qin, S. and Qiu, Z., Editor, Formal Methods and Software EngineeringVolume6991fromLecture Notes in Computer Science, Page 617-632
In Qin, S. and Qiu, Z., Editor
Publisher: Springer-Verlag
2011
DOI:10.1007/978-3-642-24559-6_41
311.
Langbein, Johannes; Stelzer, Roland; Frühwirth, Thom
A Rule-Based Approach to Long-Term Routing for Autonomous Sailboats
In Schlaefer, A. and Blaurock, O., Editor, Robotic Sailing: Proceedings of the 4th International Robotic Sailing Conference, Page 195-204
In Schlaefer, A. and Blaurock, O., Editor
Publisher: Springer-Verlag
2011
DOI:10.1007/978-3-642-22836-0_14
310.
Guttmann, Walter; Struth, G.; Weber, T.
A Repository for Tarski-Kleene Algebras
In Höfner, P. and McIver, A. and Struth, G., Editor, Automated Theory EngineeringVolume760fromCEUR Workshop Proceedings, Page 30-39
In Höfner, P. and McIver, A. and Struth, G., Editor
2011
309.
Dausend, Marcel
<prt>Towards a UML Profile based on Formal Semantics for Modelling Multimodal Interactive Systems</prt>
<prt>Ulm University</prt>, Ulm
2011
308.
Dausend, Marcel; Raiser, Frank
<prt>Model Transformation using Constraint Handling Rules as a basis for Model Interpretation</prt>
<prt>CHR 2011 -- Eighth International Workshop on Constraint Handling Rules</prt>,
2011
307.
Dausend, Marcel; Poguntke, Mark
<prt>Ausführbare UML-Modelle multimodaler Interaktionsanwendungen</prt>
Informatik 2011, Workshop: Modellbasierte Entwicklung von Benutzungsschnittstellen,
Publisher: Berlin
2011
306.
Dausend, Marcel; Poguntke, Mark
<prt>Ausführbare UML-Modelle multimodaler Interaktionsanwendungen</prt>
<prt>i-com: Zeitschrift für interaktive und kooperative Medien</prt>, 10 (3) :33-39
2011

2010

305.
Guttmann, Walter
Imperative Abstractions for Functional Actions
Journal of Logic and Algebraic Programming, 79 (8) :768-793
November 2010
DOI:10.1016/j.jlap.2010.07.015
304.
Betz, Hariolf; Raiser, Frank; Frühwirth, Thom
A Complete and Terminating Execution Model for Constraint Handling Rules
Theory and Practice of Logic Programming, 10 (4-6) :597-610
July 2010
DOI:10.1017/S147106841000030X
303.
Gessenharter, Dominik
Extending the UML Semantics for a Better Support of Model Driven Software Development
In Arabnia, H. R. and Reza, H. and Deligiannidis, L. and Cuadrado-Gallego, J. J. and Schmidt, V. and Solo, A. M. G., Editor, Proceedings of the 2010 International Conference on Software Engineering Research and Practice (SERP 2010)Volume1, Page 45-51
In Arabnia, H. R. and Reza, H. and Deligiannidis, L. and Cuadrado-Gallego, J. J. and Schmidt, V. and Solo, A. M. G., Editor
July 2010
302.
Langbein, Johannes; Raiser, Frank; Frühwirth, Thom
A State Equivalence and Confluence Checker for CHR
In Van Weert, P. and De Koninck, L., Editor, Proceedings of the 7th International Workshop on Constraint Handling RulesfromReport, Page 1-7
In Van Weert, P. and De Koninck, L., Editor
Publisher: Departement of Computer Science, Katholieke Universiteit Leuven
May 2010
301.
Geiselhart, Florian; Raiser, Frank; Sneyers, Jon; Frühwirth, Thom
MTSeq: Multi-touch-enabled CHR-based Music Generation and Manipulation
In Van Weert, P. and De Koninck, L., Editor, Proceedings of the 7th International Workshop on Constraint Handling RulesfromReport, Page 41-46
In Van Weert, P. and De Koninck, L., Editor
Publisher: Departement of Computer Science, Katholieke Universiteit Leuven
May 2010
300.
Betz, Hariolf; Raiser, Frank; Frühwirth, Thom
Persistent Constraints in Constraint Handling Rules
In Geske, U. and Wolf, A., Editor, Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009, Page 155-166
In Geske, U. and Wolf, A., Editor
Publisher: Universitätsverlag Potsdam
March 2010
299.
Guttmann, Walter; Möller, Bernhard
Normal Design Algebra
Journal of Logic and Algebraic Programming, 79 (2) :144-173
February 2010
DOI:10.1016/j.jlap.2009.07.002
298.
Betz, Hariolf; Raiser, Frank; Frühwirth, Thom
A Complete and Terminating Execution Model for Constraint Handling Rules
from Ulmer Informatik-Berichte
Document Number: 2010-01
Universität Ulm
January 2010
297.
Dausend, Marcel; Poguntke, Mark
Spezifikation multimodaler Interaktionsanwendungen mit UML
In Ziegler, J. and Schmidt, A., Editor, Mensch & Computer 2010, Page 215-224
In Ziegler, J. and Schmidt, A., Editor
Publisher: Oldenbourg
2010
296.
Kohlmeyer, Jens; Guttmann, Walter
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009Volume5947fromLecture Notes in Computer Science, Page 206-217
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor
Publisher: Springer-Verlag
2010
DOI:10.1007/978-3-642-11486-1_18
295.
Guttmann, Walter
Unifying Recursion in Partial, Total and General Correctness
In Qin, S., Editor, Unifying Theories of Programming, Third International Symposium, UTP 2010Volume6445fromLecture Notes in Computer Science, Page 207-225
In Qin, S., Editor
Publisher: Springer-Verlag
2010
DOI:10.1007/978-3-642-16690-7_10
294.
Gessenharter, Dominik
UML Activities at Runtime: Experiences of Using Interpreters and Running Generated Code
In Trujillo, J. and Dobbie, G. and Kangassalo, H. and Hartmann, S. and Kirchberg, M. and Rossi, M. and Reinhartz-Berger, I. and Zimányi, E. and Frasincar, F., Editor, Advances in Conceptual Modeling: Applications and ChallengesVolume6413fromLecture Notes in Computer Science, Page 275-284
In Trujillo, J. and Dobbie, G. and Kangassalo, H. and Hartmann, S. and Kirchberg, M. and Rossi, M. and Reinhartz-Berger, I. and Zimányi, E. and Frasincar, F., Editor
Publisher: Springer-Verlag
2010
DOI:10.1007/978-3-642-16385-2_34
293.
Partsch, Helmuth
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Publisher: Springer-Verlag
zweite, überarbeitete und erweiterte Edition
2010
292.
Guttmann, Walter
Partial, Total and General Correctness
In Bolduc, C. and Desharnais, J. and Ktari, B., Editor, Mathematics of Program ConstructionVolume6120fromLecture Notes in Computer Science, Page 157-177
In Bolduc, C. and Desharnais, J. and Ktari, B., Editor
Publisher: Springer-Verlag
2010
DOI:10.1007/978-3-642-13321-3_11
291.
Guttmann, Walter
Lazy UTP
In Butterfield, A., Editor, Unifying Theories of Programming, Second International Symposium, UTP 2008Volume5713fromLecture Notes in Computer Science, Page 82-101
In Butterfield, A., Editor
Publisher: Springer-Verlag
2010
DOI:10.1007/978-3-642-14521-6_6
290.
Dausend, Marcel; Poguntke, Mark
<prt>Spezifikation multimodaler Interaktionsanwendungen mit UML</prt>
<prt>Mensch &amp; Computer</prt>, Page 215--224
Publisher: Oldenbourg Verlag
2010