| 2006 |
|---|
| 13 | EE | Marian Vittek,
Peter Borovanský,
Pierre-Etienne Moreau:
A Simple Generic Library for C.
ICSR 2006: 423-426 |
| 2005 |
|---|
| 12 | | Marian Vittek,
Peter Borovanský,
Pierre-Etienne Moreau:
A collection of C, C++ and Java code understanding and refactoring plugins.
ICSM (Industrial and Tool Volume) 2005: 61-64 |
| 2002 |
|---|
| 11 | EE | Peter Borovanský,
Claude Kirchner,
Hélène Kirchner,
Pierre-Etienne Moreau:
ELAN from a rewriting logic point of view.
Theor. Comput. Sci. 285(2): 155-185 (2002) |
| 2001 |
|---|
| 10 | | Peter Borovanský,
Claude Kirchner,
Hélène Kirchner,
Christophe Ringeissen:
Rewriting with Strategies in ELAN: A Functional Semantics.
Int. J. Found. Comput. Sci. 12(1): 69-95 (2001) |
| 2000 |
|---|
| 9 | | Carlos Castro,
Peter Borovanský:
The use of a strategy language for solving search problems.
Ann. Math. Artif. Intell. 29(1-4): 35-64 (2000) |
| 1998 |
|---|
| 8 | | Peter Borovanský,
Claude Kirchner,
Hélène Kirchner:
A Functional View of Rewriting and Strategies for a Semantics of ELAN.
Fuji International Symposium on Functional and Logic Programming 1998: 143-166 |
| 7 | EE | Peter Borovanský,
Claude Kirchner,
Hélène Kirchner,
Pierre-Etienne Moreau,
Christophe Ringeissen:
An overview of ELAN.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 6 | EE | Peter Borovanský:
Controlling rewriting: study and implementation of a strategy formalism.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 5 | EE | Peter Borovanský,
Carlos Castro:
Cooperation of constraint solvers: using the new process control facilities of ELAN.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 4 | EE | Peter Borovanský,
Salma Jamoussi,
Pierre-Etienne Moreau,
Christophe Ringeissen:
Handling ELAN rewrite programs via an exchange format.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 1996 |
|---|
| 3 | EE | Peter Borovanský,
Claude Kirchner,
Hélène Kirchner:
Controlling rewriting by rewriting.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
| 2 | EE | Peter Borovanský,
Claude Kirchner,
Hélène Kirchner,
Pierre-Etienne Moreau,
Marian Vittek:
ELAN: A logical framework based on computational systems.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
| 1995 |
|---|
| 1 | | Peter Borovanský:
Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution.
SOFSEM 1995: 363-368 |
