Distributed Systems Group (2009)
Hendrik Vom Lehn, Elias Weingärtner, Klaus Wehrle, Issn Aachener, Informatik Berichte Aib, Hendrik Vom Lehn, ...
University are in general accessible through the World Wide Web.
WRS’04 4th International Workshop on Reduction Strategies in Rewriting and Programming (2009)
Sergio Antoy, Yoshihito Toyama (eds, Issn Aachener, Informatik Berichte Aib
Electronic Notes in Theoretical
Joachim Kneis, Daniel Mölle, Stefan Richter, Peter Rossmanith, Issn Aachener, Informatik Berichte Aib, ...
Abstract. We introduce divide-and-color, a new technique for the solution of hard graph problems. It is a combination of the well-known divide-and-conquer paradigm and color-coding [2]. Our approach...
Achieving Highly Reliable Embedded Software: An empirical evaluation of different approaches (2008)
Falk Salewski, Stefan Kowalewski, Issn Aachener, Informatik Berichte Aib, Falk Salewski, Stefan Kowalewski
Abstract. Designing highly reliable embedded software is a challenge and several approaches are known to improve the reliability of this software. However, all approaches have their advantages and...
Slim Abdennadher, Christophe Ringeissen (eds, Issn Aachener, Informatik Berichte Aib
This volume contains the proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004), part of the Federated Conference on Rewriting, Deduction and Programming (RDP 2004), held...
Issn Aachener, Informatik Berichte Aib
A collection of examples for termination of term rewriting using dependency pairs Thomas Arts and Jurgen Giesl
WRS’04 4th International Workshop on Reduction Strategies in Rewriting and Programming (2007)
Wrs' Th International, Sergio Antoy, Yoshihito Toyama (eds, Issn Aachener, Informatik Berichte Aib
Autowrite is an experimental software tool written in Common Lisp for handling term rewrite systems and bottom-up tree automata. A graphical interface has been written using McCLIM, (the free...
Transforming structures by set interpretations (2006)
Thomas Colcombet, Christof Löding, Issn Aachener, Informatik Berichte Aib, Thomas Colcombet, Christof Löding, ...
Abstract. We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas with free...
Delia Kesner, Femke Van Raamsdonk, Joe Wells (eds, Issn Aachener, Informatik Berichte Aib
2004), which was held from May 31 through June 5, 2004, in Aachen. RDP 2004 consisted of the
Delia Kesner, Femke Van Raamsdonk, Joe Wells (eds, Issn Aachener, Informatik Berichte Aib
2004), which was held from May 31 through June 5, 2004, in Aachen. RDP 2004 consisted of the