2011

310.
default
Guttmann, Walter
Towards a Typed Omega Algebra
In Swart, H. de, Editor, Relational and Algebraic Methods in Computer Science Band 6663 aus Lecture Notes in Computer Science , Seite 196-211.
Herausgeber: Springer-Verlag,
2011
309.
default
Guttmann, Walter; Struth, G. und Weber, T.
A Repository for Tarski-Kleene Algebras
In Höfner, P. and McIver, A. and Struth, G., Editor, Automated Theory Engineering Band 760 aus CEUR Workshop Proceedings , Seite 30-39.
2011
308.
default
Guttmann, Walter; Struth, Georg und Weber, Tjark
Automating Algebraic Methods in Isabelle
In Qin, S. and Qiu, Z., Editor, Formal Methods and Software Engineering Band 6991 aus Lecture Notes in Computer Science , Seite 617-632.
Herausgeber: Springer-Verlag,
2011
307.
default
Langbein, Johannes; Stelzer, Roland und 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 , Seite 195-204.
Herausgeber: Springer-Verlag,
2011
306.
default
Dausend, Marcel
Towards a UML Profile based on Formal Semantics for Modelling Multimodal Interactive Systems
Ulm University, Ulm
2011

2010

305.
default
Guttmann, Walter
Imperative Abstractions for Functional Actions
Journal of Logic and Algebraic Programming, 79(8):768-793
November 2010
304.
default
Betz, Hariolf; Raiser, Frank und Frühwirth, Thom
A Complete and Terminating Execution Model for Constraint Handling Rules
Theory and Practice of Logic Programming, 10(4-6):597-610
Juli 2010
303.
default
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) Band 1 , Seite 45-51.
Juli 2010
302.
default
Geiselhart, Florian; Raiser, Frank; Sneyers, Jon und 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 Rules aus Report , Seite 41-46.
Herausgeber: Departement of Computer Science, Katholieke Universiteit Leuven,
Mai 2010
301.
default
Langbein, Johannes; Raiser, Frank und 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 Rules aus Report , Seite 1-7.
Herausgeber: Departement of Computer Science, Katholieke Universiteit Leuven,
Mai 2010
300.
default
Betz, Hariolf; Raiser, Frank und 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 , Seite 155-166.
Herausgeber: Universitätsverlag Potsdam,
März 2010
299.
default
Guttmann, Walter und Möller, Bernhard
Normal Design Algebra
Journal of Logic and Algebraic Programming, 79(2):144-173
Februar 2010
298.
default
Betz, Hariolf; Raiser, Frank und Frühwirth, Thom
A Complete and Terminating Execution Model for Constraint Handling Rules
Ulmer Informatik-Berichte
Dokument Nummer: 2010-01
Universität Ulm,
Januar 2010
297.
default
Partsch, Helmuth
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Herausgeber: Springer-Verlag,
zweite, überarbeitete und erweiterte Edition
2010
296.
default
Dausend, Marcel
Potentials of Unified Modeling Language Profiles in the Field of Human-Computer Interaction
International Conference on What Makes Humans Human?
Ulm, Germany
2010
295.
default
Dausend, Marcel und Poguntke, Mark
Spezifikation multimodaler Interaktionsanwendungen mit UML
In Ziegler, J. and Schmidt, A., Editor, Mensch & Computer 2010 , Seite 215-224.
Herausgeber: Oldenbourg,
2010
294.
default
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 Challenges Band 6413 aus Lecture Notes in Computer Science , Seite 275-284.
Herausgeber: Springer-Verlag,
2010
293.
default
Guttmann, Walter
Partial, Total and General Correctness
In Bolduc, C. and Desharnais, J. and Ktari, B., Editor, Mathematics of Program Construction Band 6120 aus Lecture Notes in Computer Science , Seite 157-177.
Herausgeber: Springer-Verlag,
2010
292.
default
Guttmann, Walter
Lazy UTP
In Butterfield, A., Editor, Unifying Theories of Programming, Second International Symposium, UTP 2008 Band 5713 aus Lecture Notes in Computer Science , Seite 82-101.
Herausgeber: Springer-Verlag,
2010
291.
default
Guttmann, Walter
Unifying Recursion in Partial, Total and General Correctness
In Qin, S., Editor, Unifying Theories of Programming, Third International Symposium, UTP 2010 Band 6445 aus Lecture Notes in Computer Science , Seite 207-225.
Herausgeber: Springer-Verlag,
2010
290.
default
Kohlmeyer, Jens und 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 2009 Band 5947 aus Lecture Notes in Computer Science , Seite 206-217.
Herausgeber: Springer-Verlag,
2010
289.
default
Dausend, Marcel und Poguntke, Mark
Spezifikation multimodaler Interaktionsanwendungen mit UML
Mensch & Computer , Seite 215--224.
Herausgeber: Oldenbourg Verlag,
2010

2009

288.
default
Raiser, Frank und Frühwirth, Thom
Strong Joinability Analysis for Graph Transformation Systems in CHR
In Corradini, A., Editor, Proceedings of the Fifth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009) Band 253 aus Electronic Notes in Theoretical Computer Science , Seite 91-111.
November 2009
287.
default
Dausend, Marcel; Berton, André und Zilles, Jonas
UML for automotive multi-modal HCI
AutomotiveUI 2009 - First International Conference on Automotive User Interfaces and Interactive Vehicular Applications, :3
September 2009
286.
default
Raschke, Alexander
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking
35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) , Seite 149-154.
Herausgeber: IEEE Computer Society,
August 2009