2006

223.
default
Frühwirth, Thom
Deriving Linear-Time Algorithms from Union-Find in CHR
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules aus Technical Report , Seite 49-60.
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juni 2006
222.
default
Käser, M. und Meister, Marc
Implementation of an F-Logic Kernel in CHR
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules aus Technical Report , Seite 33-48.
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juni 2006
221.
default
Meister, Marc und Frühwirth, Thom
Complexity of the CHR Rational Tree Equation Solver
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules aus Technical Report , Seite 77-92.
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juni 2006
220.
default
Sarstedt, Stefan und Guttmann, Walter
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
In Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: Proceedings of the Sixth International Andrei Ershov Memorial Conference , Seite 207-213.
Herausgeber: A. P. Ershov Institute of Informatics Systems, Novosibirsk,
Juni 2006
219.
default
Kohlmeyer, Jens; Raschke, Alexander und Tavakoli Kolagari, Ramin
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Dokument Nummer: UIB-2006-03
Universität Ulm,
März 2006
218.
default
Raschke, Alexander und Tavakoli Kolagari, Ramin
Ein experimenteller Vergleich zwischen einer plan-getriebenen und einer leichtgewichtigen Entwicklungsmethodik zur Spezifikation von eingebetteten Systemen
Dokument Nummer: UIB-2006-02
Universität Ulm,
März 2006
217.
default
Sarstedt, Stefan
Model-Driven Development with ActiveCharts: Tutorial
Dokument Nummer: UIB-2006-01
Universität Ulm,
März 2006
216.
default
Guttmann, Walter und Möller, Bernhard
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, First International Symposium on the Unifying Theories of Programming (UTP 06) , Seite 206-225.
Herausgeber: University of Teesside, United Kingdom,
Februar 2006
215.
default
Meister, Marc
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
In Fink, M. and Tompits, H. and Woltran, S., Editor, Proceedings of WLP 2006, 20th Workshop on Logic Programming aus INFSYS Research Report , Seite 172-181.
Herausgeber: Technische Universität Wien,
Februar 2006
214.
default
Hammori, Markus; Herbst, Joachim und Kleiner, Niko
Interactive Workflow Mining
Data and Knowledge Engineering Journal: Special Issue on Business Process Management, 56(1):41-63
Januar 2006
213.
default
Schrijvers, T. und Frühwirth, Thom
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Theory and Practice of Logic Programming, 6(1-2):213-224
Januar 2006
212.
default
Schrijvers, T.; Demoen, B.; Duck, G.; Stuckey, P. und Frühwirth, Thom
Automatic implication checking for CHR constraints
In Cirstea, H. and Martí-Oliet, N., Editor, Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005 Band 147 aus Electronic Notes in Theoretical Computer Science , Seite 93-111.
Januar 2006
211.
default
Frühwirth, Thom und Abdennadher, Slim
Principles of constraint systems and constraint solvers
Archives of Control Sciences: Special Issue on Constraint Programming, 16(2)
2006
210.
default
Frühwirth, Thom; Michel, L. und Schulte, C.
Constraints in Procedural and Concurrent Languages
In Rossi, F. and Beek, P. van and Walsh, T., Editor, Handbook of Constraint Programming
Kapitel 13,
Herausgeber: Elsevier,
2006
209.
default
Djelloul, Khalil und Dao, T.-B.-H.
Extension of First-Order Theories into Trees
In Calmet, J. and Ida, T. and Wang, D., Editor, Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Band 4120 aus Lecture Notes in Computer Science , Seite 53-67.
Herausgeber: Springer-Verlag,
2006
208.
default
Frühwirth, Thom
Constraint Handling Rules: The Story So Far
In Maher, M., Editor, Proceedings of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming , Seite 13-14.
Herausgeber: ACM Press,
2006
207.
default
Frühwirth, Thom
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints, CSCLP 2005 Band 3978 aus Lecture Notes in Computer Science , Seite 14-28.
Herausgeber: Springer-Verlag,
2006
206.
default
Guttmann, Walter
Non-termination in Unifying Theories of Programming
In MacCaull, W. and Winter, M. and Düntsch, I., Editor, Relational Methods in Computer Science 2005 Band 3929 aus Lecture Notes in Computer Science , Seite 108-120.
Herausgeber: Springer-Verlag,
2006
205.
default
Guttmann, Walter und Maucher, M.
Variations on an Ordering Theme with Constraints
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor, Fourth IFIP International Conference on Theoretical Computer Science: TCS 2006 Band 209 aus IFIP International Federation for Information Processing , Seite 77-90.
Herausgeber: Springer-Verlag,
2006
204.
default
Guttmann, Walter und Möller, Bernhard
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, Unifying Theories of Programming Band 4010 aus Lecture Notes in Computer Science , Seite 236-256.
Herausgeber: Springer-Verlag,
2006
203.
default
Tavakoli Kolagari, Ramin und Porta, N. F.
Project-oriented Reuse Approaches: Copy-and-Paste or Software Product Line Engineering?
In Schneider, K., Editor, Proceedings of the International Workshop on Learning Software Organizations and Requirements Engineering , Seite 81-97.
Herausgeber: Universität Hannover,
2006

2005

202.
default
Guttmann, Walter und Maucher, M.
Constrained Ordering
Dokument Nummer: UIB-2005-03
Universität Ulm,
Dezember 2005
201.
default
Kleiner, Niko
Delta Analysis with Workflow Logs: Aligning Business Process Prescriptions and their Reality
Requirements Engineering Journal: Special Issue on Coordinated Development of Business Processes and their Support Systems, 10(3):212-222
November 2005
200.
default
Betz, Hariolf und Frühwirth, Thom
A Linear-Logic Semantics for Constraint Handling Rules
In van Beek, P., Editor, 11th Conference on Principles and Practice of Constraint Programming CP 2005 Band 3709 aus Lecture Notes in Computer Science , Seite 137-151.
Herausgeber: Springer-Verlag,
Oktober 2005
199.
default
Frühwirth, Thom
Parallelizing Union-Find in Constraint Handling Rules Using Confluence
In Gabbrielli, M. and Gupta G., Editor, Logic Programming: 21st International Conference, ICLP 2005 Band 3668 aus Lecture Notes in Computer Science , Seite 113-127.
Herausgeber: Springer-Verlag,
Oktober 2005