Alexander Herold

Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

? Tutorial for this page

Demo Data from EDBT 2026 / reviewers in the wild / expert

dblp:12/6645 · DBLP profile ↗

← Back

8ranked-venue papers

2as first author

0since 2021 · last 1995

0000-0003-0356-7339ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 6 · 2 first-authorTheory of computation · 4 · 1 first-authorSoftware engineering, systems software and programming languages · 1Graphics, computer vision, multimedia, augmented reality and games · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science

1 paper

Automated reasoning and model checking · 50% Computational complexity · 50%

Topics — the 2 heaviest of 2, each with the papers that count most for it

Topic	Weight	Papers	Last	Evidence papers
Computational complexity › proof complexity refutation algorithms	0.0	1	1981	The Markgraf Karl Refutation Procedure · IJCAI 1981
Automated reasoning and model checking theorem proving	0.0	1	1981	The Markgraf Karl Refutation Procedure · IJCAI 1981

Year	Publication	Venue	Position
1995	CLP in ECRC Micha Meier, Alexander Herold	CP	2
1989	On Equational Theories, Unification, and (Un)Decidability Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß	J. Symb. Comput.	2
1988	The CHIP System: Constraint Handling In Prolog Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold	CADE	5
1988	Opening the AC-Unification Race Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang 0001	J. Autom. Reason.	2
1987	On Equational Theories, Unification and Decidability Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß	RTA	2
1987	Unification in Abelian Semigroups Alexander Herold, Jörg H. Siekmann	J. Autom. Reason.	1
1986	Combination of Unification Algorithms Alexander Herold	CADE	1
1981	The Markgraf Karl Refutation Procedure Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther	IJCAI	5