Search the dblp DataBase
Stefan Krischer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Andreas Werner, Alexander Bockmayr, Stefan Krischer
How to Realize LSE Narrowing. [Citation Graph (0, 0)][DBLP]
ALP, 1994, pp:59-76 [Conf] - Stefan Krischer
The Backward Walk Approach in FSM Verification. [Citation Graph (0, 0)][DBLP]
CHDL, 1993, pp:155-162 [Conf] - Alexander Bockmayr, Stefan Krischer, Andreas Werner
An Optimal Narrowing Strategy for General Canonical Systems. [Citation Graph (0, 0)][DBLP]
CTRS, 1992, pp:483-497 [Conf] - Stefan Krischer
Incomplete TRS-Specifications of Boolean Functions and their Verification. [Citation Graph (0, 0)][DBLP]
Designing Correct Circuits, 1992, pp:67-79 [Conf] - Stefan Krischer, Alexander Bockmayr
Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. [Citation Graph (0, 0)][DBLP]
RTA, 1991, pp:74-85 [Conf] - Andreas Werner, Alexander Bockmayr, Stefan Krischer
A Concept for the Implementation of LSE Narrowing. [Citation Graph (0, 0)][DBLP]
WLP, 1993, pp:104-107 [Conf] - Alexander Bockmayr, Stefan Krischer, Andreas Werner
Narrowing Strategies for Arbitrary Canonical Rewrite Systems. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1995, v:24, n:1/2, pp:125-155 [Journal] - Andreas Werner, Alexander Bockmayr, Stefan Krischer
How to Realize LSE Narrowing. [Citation Graph (0, 0)][DBLP]
New Generation Comput., 1998, v:16, n:4, pp:397-434 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002