Alexander Baumgartner, Dr.

Publications

	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Term-Graph Anti-Unification. Technical report no. 18-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2018. [pdf] [bib]
	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Term-Graph Anti-Unification. In: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Helene Kirchner (ed.), Leibniz International Proceedings in Informatics (LIPIcs) 108, pp. 9:1-9:17. 2018. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, ISBN 978-3-95977-077-4 ISSN 1868-8969. [url] [bib]
	Alexander Baumgartner, Temur Kutsia. Unranked Second-Order Anti-Unification. Information and Computation 255(2), pp. 262-286. 2017. ISSN: 0890-5401. [url] [bib]
	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning 58(2), pp. 293-310. 2017. ISSN 0168-7433. [url] [bib]
	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Nominal Anti-Unification. RISC. Technical report no. 15-03, April 2015. [pdf] [bib]
	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Nominal Anti-Unification. In: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15, Maribel Fernandez (ed.), Leibniz International Proceedings in Informatics (LIPIcs) , pp. 57-73. 2015. ISSN 1868-8969. [pdf] [bib]
	Alexander Baumgartner. Anti-Unification Algorithms: Design, Analysis, and Implementation. RISC, JKU Linz. PhD Thesis. September 2015. [pdf] [bib]
	Alexander Baumgartner, Temur Kutsia. Unranked Second-Order Anti-Unification. RISC, JKU Linz. Technical report no. 14-05, March 2014. [pdf] [bib]
	Alexander Baumgartner, Temur Kutsia. Unranked Second-Order Anti-Unification. In: Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014 , Ulrich Kohlenbach (ed.), Lecture Notes in Computer Science 8652, pp. 66- 80. 2014. Springer, ISBN 978-3-662-44144-2. [pdf] [bib]
	Alexander Baumgartner, Temur Kutsia. A Library of Anti-Unification Algorithms. Technical report no. 14-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2014. [url] [pdf] [bib]
	Alexander Baumgartner, Temur Kutsia. A library of anti-unification algorithms. In: Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, Eduardo Ferme and Joao Leite (ed.), Lecture Notes in Computer Science , pp. 543-557. 2014. Springer, ISBN 978-3-319-11557-3. [pdf] [bib]
	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Nominal anti-unification. In: Proceedings of the 28th International Workshop on Unification, UNIF 2014, Temur Kutsia, Christophe Ringeissen (ed.), pp. 62-68. 2014. [pdf] [bib]
	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. A Variant of Higher-Order Anti-Unification. In: Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, Femke van Raamsdonk (ed.), Leibniz International Proceedings in Informatics 21, pp. 113-127. 2013. ISBN 978-3-939897-53-8, ISSN 1868-8969. [url] [bib]
	Alexander Baumgartner, Temur Kutsia. Unranked Anti-Unification with Hedge and Context Variables. In: Proceedings of the 27th International Workshop on Unification, UNIF 2013, Barbara Morawska, Konstantin Korovin (ed.), pp. 13-21. 2013. [url] [bib]
	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. A Variant of Higher-Order Anti-Unification. Technical report no. 12-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2012. [pdf] [bib]