Concepedia

Christian Holzbaur

CH

Statistics

Publications

5

Citations

150

H-Index

5

Active since

1994

Affiliations

University of Vienna(Current)

The University of Melbourne

Austrian Research Institute for Artificial Intelligence

Monash University

Christian Holzbaur is an author at University of Vienna specializing in computer science, computing, and compilers.

Publications per year

1994–2005

5

Publications

5

A prolog constraint handling rules compiler and runtime system

Christian Holzbaur, Thom Fr hwirth · Applied Artificial Intelligence · 2000 · 51 citations · Full text

Computing, Computer Science, Compilers +16

Optimizing compilation of constraint handling rules in HAL

Christian Holzbaur, María García de la Banda, Peter J. Stuckey et al. · Theory and Practice of Logic Programming · 2005 · 42 citations

Computing, Computer Science, Compilers +14

Extending arbitrary solvers with constraint handling rules

Gregory J. Duck, Peter J. Stuckey, María García de la Banda et al. · 2003 · 24 citations

Computing, Computer Science, Algorithms +14

Source-to-Source Transformation for a Class of Expressive Rules.

Thom Frühwirth, Christian Holzbaur · 2003 · 18 citations

Computing, Computer Science, Compilers +12

Controlling the complexity in model-based diagnosis

Igor Mozetič, Christian Holzbaur · Annals of Mathematics and Artificial Intelligence · 1994 · 15 citations

Engineering, Computer Science, Systems Engineering +12

1–5 of 5