DI Ioana-Cleopatra Pau

Research Area

Generalization Algorithms and Applications

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: -2.10-1

Postal Address

Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria

Phone

+43 732 2468 9973

eMail

Ioana.Pau@risc.jku.at

Ongoing Projects

Generalization ALgorithms and Applications [GALA]

Project Lead: Teimuraz Kutsia

Project Duration: 01/02/2016 - 31/01/2021

More Project Website

Publications

2019

[Pau]

Computing All Maximal Clique Partitions in a Graph

Temur Kutsia, Cleo Pau

Technical report no. 19-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2019. [pdf]

[bib]

@techreport{RISC5939,
author = {Temur Kutsia and Cleo Pau},
title = {{Computing All Maximal Clique Partitions in a Graph}},
language = {english},
number = {19-04},
year = {2019},
length = {9},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Pau]

Solving Proximity Constraints

Temur Kutsia, Cleo Pau

Technical report no. 19-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2019. [pdf]

[bib]

@techreport{RISC5950,
author = {Temur Kutsia and Cleo Pau},
title = {{Solving Proximity Constraints}},
language = {english},
number = {19-06},
year = {2019},
length = {22},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Pau]

Matching and Generalization Modulo Proximity and Tolerance

Temur Kutsia, Cleo Pau

Technical report no. 19-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2019. [pdf]

[bib]

@techreport{RISC5953,
author = {Temur Kutsia and Cleo Pau},
title = {{Matching and Generalization Modulo Proximity and Tolerance}},
language = {english},
number = {19-07},
year = {2019},
length = {5},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

2018

[Pau]

Proximity-Based Generalization

Temur Kutsia, Cleo Pau

In: 32nd International Workshop on Unification, UNIF 2018, Mauricio Ayala-Rincon and Philippe Balbiani (ed.), pp. - . 2018. [pdf]

[bib]

@inproceedings{RISC5713,
author = {Temur Kutsia and Cleo Pau},
title = {{Proximity-Based Generalization}},
booktitle = {{32nd International Workshop on Unification, UNIF 2018}},
language = {english},
pages = { -- },
isbn_issn = { },
year = {2018},
editor = {Mauricio Ayala-Rincon and Philippe Balbiani},
refereed = {yes},
length = {0}
}

2000

[Pau]

Verifying Mutual Exclusion and Liveness Properties with TLA

Ioana-Cleopatra Pau, Igor Rents, Wolfgang Schreiner

Technical report no. 00-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. January 2000. [ps]

[bib]

@techreport{RISC1485,
author = {Ioana-Cleopatra Pau and Igor Rents and Wolfgang Schreiner},
title = {{Verifying Mutual Exclusion and Liveness Properties with TLA}},
number = {00-06},
year = {2000},
month = {January},
sponsor = {FWF},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Pau]

Distributed Mathematica - User and Reference Manual

Cleopatra Pau, Wolfgang Schreiner

Technical report no. 00-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. July 2000. [ps]

[bib]

@techreport{RISC1504,
author = {Cleopatra Pau and Wolfgang Schreiner},
title = {{Distributed Mathematica - User and Reference Manual}},
number = {00-25},
year = {2000},
month = {July},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}