default search action

combined dblp search
author search
venue search
publication search

ask others

Stefan Krischer

> Home > Persons

Person information

affiliation: University of Trier, Department of Computer Science, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/WernerBK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/WernerBK98
Andreas Werner, Alexander Bockmayr, Stefan Krischer:
How to Realize LSE Narrowing. New Gener. Comput. 16(4): 397-434 (1998)
1995
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BockmayrKW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BockmayrKW95
Alexander Bockmayr, Stefan Krischer, Andreas Werner:
Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundam. Informaticae 24(1/2): 125-155 (1995)
1994
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - details & citations
- export record
  dblp key:
  - phd/hal/Krischer94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Krischer94
Stefan Krischer:
Méthodes de vérification de circuits digitaux. (Verification methods for digital circuits). National Polytechnic Institute of Lorraine, Nancy, France, 1994
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/alp/WernerBK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alp/WernerBK94
Andreas Werner, Alexander Bockmayr, Stefan Krischer:
How to Realize LSE Narrowing. ALP 1994: 59-76
1993
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/chdl/Krischer93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chdl/Krischer93
Stefan Krischer:
The Backward Walk Approach in FSM Verification. CHDL 1993: 155-162
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/WernerBK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/WernerBK93
Andreas Werner, Alexander Bockmayr, Stefan Krischer:
A Concept for the Implementation of LSE Narrowing. WLP 1993: 104-107
1992
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ctrs/BockmayrKW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctrs/BockmayrKW92
Alexander Bockmayr, Stefan Krischer, Andreas Werner:
An Optimal Narrowing Strategy for General Canonical Systems. CTRS 1992: 483-497
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip10-2/Krischer92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-2/Krischer92
Stefan Krischer:
Incomplete TRS-Specifications of Boolean Functions and their Verification. Designing Correct Circuits 1992: 67-79
1991
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/KrischerB91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/KrischerB91
Stefan Krischer, Alexander Bockmayr:
Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. RTA 1991: 74-85

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.