Alexander Herold

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 1

Top Venues

Comput. Medical Imaging Graph.

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Daniel Sobotka, Alexander Herold, Matthias Perkonigg, Lucian Beer, Nina Bastati, Alina Sablatnig, Ahmed Ba-Ssalamah, Georg Langs
Improving Vessel Segmentation with Multi-Task Learning and Auxiliary Data Available Only During Model Training. Comput. Medical Imaging Graph. 114 (2024)
Micha Meier, Alexander Herold
CLP in ECRC. CP (1995)
Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace
Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School (1992)
Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
On Equational Theories, Unification, and (Un)Decidability. J. Symb. Comput. 8 (1/2) (1989)
Micha Meier, Abderrahmane Aggoun, David Chan, Pierre Dufresne, Reinhard Enders, Dominique Henry de Villeneuve, Alexander Herold, Philip Kay, Bruno Perez, Emmanuel van Rossum, Joachim Schimpf
SEPIA - An Extendible Prolog System. IFIP Congress (1989)
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold
The CHIP System: Constraint Handling In Prolog. CADE (1988)
Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang
Opening the AC-Unification Race. J. Autom. Reason. 4 (4) (1988)
Alexander Herold
Narrowing Techniques Applied to Idempotent Unification. GWAI (1987)
Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
On Equational Theories, Unification and Decidability. RTA (1987)
Alexander Herold, Jörg H. Siekmann
Unification in Abelian Semigroups. J. Autom. Reason. 3 (3) (1987)
Hans-Jürgen Bürckert, Alexander Herold
Unifikation - Das aktuelle Schlagwort. Inform. Spektrum 9 (3) (1986)
Alexander Herold
Combination of Unification Algorithms. CADE (1986)
Alexander Herold
Universal Unification and a Class of Equational Theories. GWAI (1982)
Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther
The Markgraf Karl Refutation Procedure. IJCAI (1981)

Alexander Herold.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Herold