dblp.uni-trier.dewww.uni-trier.de

Andreas Werner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
12 Andreas Werner: Datenmodell zur Energiepotential und -bedarfsanalyse bei der Einrichtung dezentraler Biogaslösungen. GIL Jahrestagung 2009: 185-190
2005
11EEGerald 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
5EEAndreas 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
3EEAndreas 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

Coauthor Index

1Alexander Bockmayr [1] [2] [4] [5] [6] [8]
2Stefan Krischer [1] [2] [5] [6] [8]
3Gerald Stieglbauer [10] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)