DI Ioana-Cleopatra Pau

Research Area

Generalization Algorithms and Applications

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: -2.10-3

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-Cleopatra.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

2018

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

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}
}

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}
}