Alexander Baumgartner

18 papers A* 1B 2C 2Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Nominal anti-unification modulo equational theories.
J. Log. Algebraic Methods Program.
Alexander Baumgartner, Daniele Nantes-Sobrinho
2026 J jnl
The Story is Not the Science: Execution-Grounded Evaluation of Mechanistic Interpretability Research.
CoRR
Xiaoyan Bai, Alexander Baumgartner, Haojia Sun, Ari Holtzman, Chenhao Tan
2025 C conf
Equational Generalization Problems with Atom-Variables.
CICM
Alexander Baumgartner, Temur Kutsia, Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß
2025 J jnl
Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories.
CoRR
Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß, Alexander Baumgartner, Temur Kutsia
2025 J jnl
Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison.
CoRR
Alexander Baumgartner, Temur Kutsia
2025 J jnl
Nominal anti-unification.
CoRR
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2021 J jnl
Regularizing conjunctive features for classification.
J. Comput. Syst. Sci.
Pablo Barceló, Alexander Baumgartner, Victor Dalmau, Benny Kimelfeld
2020 — conf
A, C, and AC Nominal Anti-Unification.
UNIF
Alexander Baumgartner, Daniele Nantes-Sobrinho
2019 A* conf
Regularizing Conjunctive Features for Classification.
PODS
Pablo Barceló, Alexander Baumgartner, Victor Dalmau, Benny Kimelfeld
2018 B conf
Term-Graph Anti-Unification.
FSCD
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2017 J jnl
Higher-Order Pattern Anti-Unification in Linear Time.
J. Autom. Reason.
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2017 J jnl
Unranked second-order anti-unification.
Inf. Comput.
Alexander Baumgartner, Temur Kutsia
2015 — conf
Nominal Anti-Unification.
RTA
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2014 B conf
A Library of Anti-unification Algorithms.
JELIA
Alexander Baumgartner, Temur Kutsia
2014 — conf
Nominal Anti-Unification.
UNIF
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2014 C conf
Unranked Second-Order Anti-Unification.
WoLLIC
Alexander Baumgartner, Temur Kutsia
2013 — conf
A Variant of Higher-Order Anti-Unification.
RTA
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2013 — conf
Unranked Anti-Unification with Hedge and Context Variables.
UNIF@RTA/TLCA
Alexander Baumgartner, Temur Kutsia