SCEAS

The SCEAS System

Title:
Author:

Christian Fecht: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Christian Fecht, Helmut Seidl
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. [Citation Graph (0, 0)][DBLP]
ESOP, 1998, pp:90-104 [Conf]
Christian Fecht
An Efficient and Precise Sharing Domain for Logic Programs. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:469-470 [Conf]
Martin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm
Transformation Development: TrafoLa-H Subsystem. [Citation Graph (0, 0)][DBLP]
PROSPECTRA Book, 1993, pp:539-576 [Conf]
Christian Fecht
GENA - A Tool for Generating Prolog Analyzers from Specifications [Citation Graph (0, 0)][DBLP]
SAS, 1995, pp:418-419 [Conf]
Christian Fecht, Helmut Seidl
An Even Faster Solver for General Systems of Equations. [Citation Graph (0, 0)][DBLP]
SAS, 1996, pp:189-204 [Conf]
Helmut Seidl, Christian Fecht
Disjuntive Completion Is Not "Optimal". [Citation Graph (0, 0)][DBLP]
ILPS, 1997, pp:408- [Conf]
Helmut Seidl, Christian Fecht
Interprocedural Analyses: A Comparison. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 2000, v:43, n:2, pp:123-156 [Journal]
Christian Fecht, Helmut Seidl
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. [Citation Graph (0, 0)][DBLP]
Nord. J. Comput., 1998, v:5, n:4, pp:304-329 [Journal]
Christian Fecht, Helmut Seidl
A Faster Solver for General Systems of Equations. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1999, v:35, n:2, pp:137-161 [Journal]

Search in 0.002secs, Finished in 0.003secs

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