The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

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

Publications of Author

  1. Thom W. Frühwirth, Christian Holzbaur
    Source-to-Source Transformation for a Class of Expressive Rules. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:386-397 [Conf]
  2. Christian Holzbaur, Francisco Menezes, Pedro Barahona
    Defeasibility in CLP(Q) through Generalized Slack Variables. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:209-223 [Conf]
  3. Igor Mozetic, Christian Holzbaur
    Extending Explanation-Based Generalization by Abstraction Operators. [Citation Graph (0, 0)][DBLP]
    EWSL, 1991, pp:282-297 [Conf]
  4. Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
    Building Constraint Solvers with HAL. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:90-104 [Conf]
  5. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
    The Refined Operational Semantics of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:90-104 [Conf]
  6. Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey
    Optimizing Compilation of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:74-89 [Conf]
  7. Igor Mozetic, Christian Holzbaur
    Model-Based Diagnosis with Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1991, pp:168-180 [Conf]
  8. Bernhard Pfahringer, Christian Holzbaur
    VIE-KET: Frames + Prolog. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:132-139 [Conf]
  9. Christian Holzbaur
    Metastructures versus Attributed Variables in the Context of Extensible Unification. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:260-268 [Conf]
  10. Christian Holzbaur, Thom W. Frühwirth
    Compiling Constraint Handling Rules into Prolog with Attributed Variables. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:117-133 [Conf]
  11. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
    Extending arbitrary solvers with constraint handling rules. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:79-90 [Conf]
  12. Igor Mozetic, Christian Holzbaur
    Integrating Numerical and Qualitative Models within Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:678-693 [Conf]
  13. Christian Holzbaur
    Realisierung durchgehender Uniformität im Knowledge Engineering Tool VIE-KET. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1987, pp:106-115 [Conf]
  14. Igor Mozetic, Christian Holzbaur, Franc Novak, Marina Santo Zarnik
    Model-Based Analogue Circuit Diagnosis with CLP(R). [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1991, pp:343-353 [Conf]
  15. Christian Holzbaur
    Synthesis of Hybrid Languages. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1987, v:1, n:1, pp:39-52 [Journal]
  16. Christian Holzbaur, Thom W. Frühwirth
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2000, v:14, n:4, pp:309-310 [Journal]
  17. Christian Holzbaur, Thom W. Frühwirth
    A PROLOG Constraint Handling Rules Compiler and Runtime System. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2000, v:14, n:4, pp:369-388 [Journal]
  18. Johannes Fürnkranz, Christian Holzbaur, Robert Temel
    User Profiling for the MELVIL Knowledge Retrieval System. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2002, v:16, n:4, pp:243-281 [Journal]
  19. Alexander K. Seewald, Christian Holzbaur, Gerhard Widmer
    Evaluation of term utility functions for very short multidocument summaries. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2006, v:20, n:1, pp:57-77 [Journal]
  20. Igor Mozetic, Christian Holzbaur
    Controlling the Complexity in Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1994, v:11, n:1-4, pp:297-314 [Journal]
  21. Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
    Optimizing compilation of constraint handling rules in HAL [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  22. Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur
    Introduction to the Special Issue on Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:401-402 [Journal]
  23. Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
    Optimizing compilation of constraint handling rules in HAL. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:503-531 [Journal]

Search in 0.002secs, Finished in 0.302secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002