 | 2009 |
|---|
| 12 |       | Andreas Werner:
Datenmodell zur Energiepotential und -bedarfsanalyse bei der Einrichtung dezentraler Biogaslösungen.
GIL Jahrestagung 2009: 185-190 |
| 2005 |
|---|
| 11 |  | Gerald Stieglbauer,
Andreas Werner:
Modellierung von deterministischer Software in Simulink.
Inform., Forsch. Entwickl. 19(4): 189-193 (2005) |
| 2004 |
|---|
| 10 | | Gerald Stieglbauer,
Andreas Werner:
Modellierung von deterministischer Software in Simulink.
GI Jahrestagung (2) 2004: 8-12 |
| 1998 |
|---|
| 9 | | Andreas Werner:
A Semantic Approach to Order-Sorted Rewriting.
J. Symb. Comput. 25(4): 527-569 (1998) |
| 8 | | Andreas Werner,
Alexander Bockmayr,
Stefan Krischer:
How to Realize LSE Narrowing.
New Generation Comput. 16(4): 397-434 (1998) |
| 1995 |
|---|
| 7 | | Andreas Werner:
Normalizing Narrowing for Weakly Terminating and Confluent Systems.
CP 1995: 415-430 |
| 6 | | Alexander Bockmayr,
Stefan Krischer,
Andreas Werner:
Narrowing Strategies for Arbitrary Canonical Rewrite Systems.
Fundam. Inform. 24(1/2): 125-155 (1995) |
| 1994 |
|---|
| 5 | | Andreas Werner,
Alexander Bockmayr,
Stefan Krischer:
How to Realize LSE Narrowing.
ALP 1994: 59-76 |
| 4 | | Alexander Bockmayr,
Andreas Werner:
LSE Narrowing for Decreasing Conditional Term Rewrite Systems.
CTRS 1994: 51-70 |
| 1993 |
|---|
| 3 | | Andreas Werner:
A Semantic Approach to Order-Sorted Rewriting.
RTA 1993: 47-61 |
| 2 | | Andreas Werner,
Alexander Bockmayr,
Stefan Krischer:
A Concept for the Implementation of LSE Narrowing.
WLP 1993: 104-107 |
| 1992 |
|---|
| 1 | | Alexander Bockmayr,
Stefan Krischer,
Andreas Werner:
An Optimal Narrowing Strategy for General Canonical Systems.
CTRS 1992: 483-497 |
