Alexander Herold

17 papers A* 1A 3Journal 7Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Improving Vessel Segmentation with Multi-Task Learning and Auxiliary Data Available Only During Model Training. CoRR Daniel Sobotka, Alexander Herold, Matthias Perkonigg, Lucian Beer, Nina Bastati, Alina Sablatnig, Ahmed Ba-Ssalamah, Georg Langs
2025	J	`jnl`	MRI-derived quantification of hepatic vessel-to-volume ratios in chronic liver disease using a deep learning approach. CoRR Alexander Herold, Daniel Sobotka, Lucian Beer, Nina Bastati, Sarah Poetter-Lang, Michael Weber, Thomas Reiberger, Mattias Mandorfer, Georg Semmler, Benedikt Simbrunner, Barbara D. Wichtmann, Sami Ba-Ssalamah, Michael Trauner, Ahmed Ba-Ssalamah, Georg Langs
2024	J	`jnl`	Improving Vessel Segmentation with Multi-Task Learning and Auxiliary Data Available Only During Model Training. Comput. Medical Imaging Graph. Daniel Sobotka, Alexander Herold, Matthias Perkonigg, Lucian Beer, Nina Bastati, Alina Sablatnig, Ahmed Ba-Ssalamah, Georg Langs
1995	A	`conf`	CLP in ECRC. CP Micha Meier, Alexander Herold
1992	—	`conf`	Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace
1989	J	`jnl`	On Equational Theories, Unification, and (Un)Decidability. J. Symb. Comput. Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
1989	—	`conf`	SEPIA - An Extendible Prolog System. IFIP Congress 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
1988	J	`jnl`	Opening the AC-Unification Race. J. Autom. Reason. Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang
1988	A	`conf`	The CHIP System: Constraint Handling In Prolog. CADE Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold
1987	—	`—`	Combination of unification algorithms in equational theories. Alexander Herold
1987	—	`conf`	Narrowing Techniques Applied to Idempotent Unification. GWAI Alexander Herold
1987	—	`conf`	On Equational Theories, Unification and Decidability. RTA Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
1987	J	`jnl`	Unification in Abelian Semigroups. J. Autom. Reason. Alexander Herold, Jörg H. Siekmann
1986	A	`conf`	Combination of Unification Algorithms. CADE Alexander Herold
1986	J	`jnl`	Unifikation - Das aktuelle Schlagwort. Inform. Spektrum Hans-Jürgen Bürckert, Alexander Herold
1982	—	`conf`	Universal Unification and a Class of Equational Theories. GWAI Alexander Herold
1981	A*	`conf`	The Markgraf Karl Refutation Procedure. IJCAI Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther