Research output per year
Research output per year
-
Verification of an Anti-unification Algorithm in PVS
Ayala-Rincón, M., de Lima, T. A., Dias Lima, M. J., Moscato, M. M. & Kutsia, T., 2025, NASA Formal Methods. Dutle, A., Humphrey, L. & Titolo, L. (eds.). Springer Verlag, Vol. 15682. p. 54-71 18 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
A Formalization of the General Theory of Quaternions
de Lima, T. A., Galdino, A. L., De Oliveira Ribeiro, B. B., Ayala-Rincón, M., Bertot, Y., Kutsia, T. & Norrish, M., Sept 2024, 15th International Conference on Interactive Theorem Proving (ITP 2024). Bertot, Y., Kutsia, T. & Norrish, M. (eds.). Dagstuhl, Germany, Vol. 309. p. 11:1-11:18 18 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 309).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Certified First-Order AC-Unification and Applications
Ayala-Rincón, M., Fernández, M., Silva, G., Kutsia, T. & Nantes-Sobrinho, D., Dec 2024, In: Journal of Automated Reasoning. 68, 4, p. 25:1--25:48 25.Research output: Contribution to journal › Article › peer-review
Open Access -
Equational Anti-Unification over Absorption Theories
Ayala-Rincón, M., Cerna, D., Barragan, A. F. G. & Kutsia, T., 2024, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, Vol. 14740. p. 317-337 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14740 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Kutsia, T. (Editor), Ventura, D. (Editor), Monniaux, D. (Editor) & Morales, J. (Editor), 2024, (EPTCS)Research output: Book › Anthology
-
Symbolic Techniques for Quantitiative Extensions of Equality (SQUEE)
Kutsia, T. (PI)
01.04.2022 → 31.03.2026
Project: Funded research › FWF - Austrian Science Fund
-
Combinatorics and Codes for Information Security
Kutsia, T. (PI)
01.01.2017 → 31.12.2020
Project: Funded research › FFG - Austrian Research Promotion Agency
-
Generalization: Algorithms and Applications
Cerna, D. (Researcher), Pau, I. C. (Researcher) & Kutsia, T. (PI)
01.02.2016 → 31.01.2021
Project: Funded research › FWF - Austrian Science Fund
-
SToUT: Symbolic Computation Techniques for Unranked Terms
Baumgartner, A. (Researcher) & Kutsia, T. (PI)
01.06.2012 → 30.09.2016
Project: Funded research › FWF - Austrian Science Fund
-
Constraint Logic Programming over Unranked Terms and Hedges with Description Operators
Kutsia, T. (PI)
01.03.2012 → 28.02.2015
Project: Funded research › Other sponsors
Activities
-
Symbolic Constraints and Quantitative Extensions of Equality
Kutsia, T. (Speaker)
26 Feb 2025Activity: Talk or presentation › Invited talk › science-to-science
-
The Good, the Bad and the Ugly: An ugly way to separate good from bad
Kutsia, T. (Speaker)
18 Nov 2024Activity: Talk or presentation › Other talk or presentation › science-to-science
-
Dr. Besik Dundua (06.11.2024-14.11.2024)
Kutsia, T. (Host) & Dundua, B. (Host)
06 Nov 2024 → 14 Nov 2024Activity: Other › Incoming (legacy data)
-
Thaynara Arielly de Lima: Formalization of a General Theory of Quaternions and Applications (28.10.2024)
Kutsia, T. (Organiser) & de Lima, T. A. (Organiser)
28 Oct 2024Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Mauricio Ayala-Rincon: Mechanizing Combinatorial Applications of Compactness
Kutsia, T. (Organiser) & Ayala-Rincón, M. (Organiser)
14 Oct 2024Activity: Participating in or organising an event › Organising a conference, workshop, ...