Alexander Baumgartner

According to our database, Alexander Baumgartner authored at least 12 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison.

Alexander Baumgartner, Temur Kutsia

CoRR, September, 2025

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories.

Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß, Alexander Baumgartner, Temur Kutsia

CoRR, February, 2025

Equational Generalization Problems with Atom-Variables.

Alexander Baumgartner, Temur Kutsia, Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

2020

A, C, and AC Nominal Anti-Unification.

Alexander Baumgartner, Daniele Nantes-Sobrinho

Proceedings of the 34th International Workshop on Unification, 2020

2019

Regularizing Conjunctive Features for Classification.

Pablo Barceló, Alexander Baumgartner, Victor Dalmau, Benny Kimelfeld

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

2018

Term-Graph Anti-Unification.

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

Higher-Order Pattern Anti-Unification in Linear Time.

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

J. Autom. Reason., 2017

2014

Unranked Second-Order Anti-Unification.

Alexander Baumgartner, Temur Kutsia

Proceedings of the Logic, Language, Information, and Computation, 2014

Nominal Anti-Unification.

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

Proceedings of the 28th International Workshop on Unification, 2014

A Library of Anti-unification Algorithms.

Alexander Baumgartner, Temur Kutsia

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

A Variant of Higher-Order Anti-Unification.

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

Unranked Anti-Unification with Hedge and Context Variables.

Alexander Baumgartner, Temur Kutsia

Proceedings of the 27th International Workshop on Unification, 2013