Cristian Riveros
Biography
Cristian is currently reading for a D.Phil under the supervision of Prof. Michael Benedikt. Cristian received his M.Sc. in Computer Science from Pontificia Universidad Católica de Chile in 2008. He was previously at Pontificia Universidad Católica de Chile as an undergraduate where he received his B.A. in Mathematics in 2006 and Professional Degree in Computer Engineer in 2008.
Selected Publications
-
Bounded reparability for regular tree languages
Gabriele Puppis‚ Cristian Riveros and Slawek Staworko
In 15th International Conference on Database Theory (ICDT). 2012.
Details about Bounded reparability for regular tree languages | BibTeX data for Bounded reparability for regular tree languages | Download (pdf) of Bounded reparability for regular tree languages
-
The cost of traveling between languages
Michael Benedikt‚ Gabriele Puppis and Cristian Riveros
In 38th International Colloquium on Automata‚ Languages and Programming (ICALP). July, 2011.
Details about The cost of traveling between languages | BibTeX data for The cost of traveling between languages | Download (pdf) of The cost of traveling between languages
-
Regular repair of specifications
Michael Benedikt‚ Gabriele Puppis and Cristian Riveros
In 26th Annual IEEE Symposium on Logic in Computer Science (LICS). June, 2011.
Details about Regular repair of specifications | BibTeX data for Regular repair of specifications | Download (pdf) of Regular repair of specifications