Ioana-Cleopatra Pau, Dr. techn.

Publications

	Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia. Enumerating All Maximal Clique-Partitions of an Undirected Graph. In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Horatiu Cheval, Laurentiu Leustean, and Andrei Sipos (ed.), pp. 65-79. 2023. [url] [bib]
	Temur Kutsia, Cleo Pau. Matching and Generalization Modulo Proximity and Tolerance Relations. In: Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation, Aybüke Özgün and Yulia Zinova (ed.), Lecture Notes in Computer Science 13206, pp. 323-342. 2022. Springer, ISBN 978-3-030-98478-6. [url] [pdf] [bib]
	Temur Kutsia, Cleo Pau. A framework for approximate generalization in quantitative theories. Technical report no. 22-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2022. [url] [pdf] [bib]
	Cleo Pau. Symbolic Techniques for Approximate Reasoning. RISC, JKU. PhD Thesis. 2022. [pdf] [bib]
	Temur Kutsia and Cleo Pau. A Framework for Approximate Generalization in Quantitative Theories. In: Automated Reasoning, Jasmin Blanchette, Laura Kovács, and Dirk Pattinson (ed.), Proceedings of 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Lecture Notes in Artificial Intelligence 13385, pp. 578-596. 2022. Springer, ISBN 978-3-031-10768-9. [url] [bib]
	Temur Kutsia, Cleo Pau. Proximity-Based Unification and Matching for Full Fuzzy Signatures. Technical report no. 21-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 2021. [url] [pdf] [bib]
	Temur Kutsia, Cleo Pau. Generalization Algorithms with Proximity Relations in Full Fuzzy Signatures. Technical report no. 21-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. April 2021. [url] [pdf] [bib]
	Cleo Pau, Temur Kutsia. Proximity-Based Unification and Matching for Fully Fuzzy Signatures. In: Proceedings of the 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, , pp. 1-6. 2021. IEEE, isbn 978-1-6654-4407-1. [url] [pdf] [bib]
	Besik Dundua, Temur Kutsia, Mircea Marin, Cleopatra Pau. Constraint Solving over Multiple Similarity Relations. In: Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Zena M. Ariola (ed.), Leibniz International Proceedings in Informatics (LIPIcs) 167, pp. 30:1-30:19. 2020. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, ISBN 978-3-95977-155-9, ISSN 1868-8969. [url] [bib]
	Besik Dundua, Temur Kutsia, Mircea Marin, Cleo Pau. Extending the 𝜌Log Calculus with Proximity Relations. In: AMINSE 2019: Applications of Mathematics and Informatics in Natural Sciences and Engineering, George Jaiani, David Natroshvili (ed.), Springer Proceedings in Mathematics & Statistics 334, pp. 83-100. 2020. Springer, ISBN 978-3-030-56356-1, 978-3-030-56355-4. [url] [pdf] [bib]
	Temur Kutsia, Cleo Pau. Proximity-based Unification with Arity Mismatch. In: Proceedings of the 34th International Workshop on Unification, Temur Kutsia, Andrew M. Marshall (ed.), pp. 9:1-9:6. 2020. [bib]
	Temur Kutsia, Cleo Pau. Computing All Maximal Clique Partitions in a Graph. Technical report no. 19-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2019. [pdf] [bib]
	Temur Kutsia, Cleo Pau. Solving Proximity Constraints. Technical report no. 19-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2019. [pdf] [bib]
	Temur Kutsia, Cleo Pau. Matching and Generalization Modulo Proximity and Tolerance. Technical report no. 19-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2019. [pdf] [bib]
	Temur Kutsia, Cleo Pau. Solving Proximity Constraints. In: Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers, Maurizio Gabbrielli (ed.), Lecture Notes in Computer Science 12042, pp. 107-122. 2019. ISBN 978-3-030-45259-9. [pdf] [bib]
	Temur Kutsia, Cleo Pau. Solving Proximity Constraints. In: 33nd International Workshop on Unification, UNIF 2019, Daniele Nantes, Serdar Erbatur (ed.), pp. --. 2019. [bib]
	Temur Kutsia, Cleo Pau. Proximity-Based Generalization. In: 32nd International Workshop on Unification, UNIF 2018, Mauricio Ayala-Rincon and Philippe Balbiani (ed.), pp. - . 2018. [pdf] [bib]
	Ioana-Cleopatra Pau, Igor Rents, Wolfgang Schreiner. Verifying Mutual Exclusion and Liveness Properties with TLA. Technical report no. 00-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2000. [ps] [bib]
	Cleopatra Pau, Wolfgang Schreiner. Distributed Mathematica - User and Reference Manual. Technical report no. 00-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 2000. [ps] [bib]