Cristian Riveros
Cristian Riveros
Assistant Professor, Computer Science Department, PUC Chile
Verifierad e-postadress på uc.cl - Startsida
Titel
Citeras av
Citeras av
År
The recovery of a schema mapping: bringing exchanged data back
M Arenas, J Pérez, C Riveros
ACM Transactions on Database Systems (TODS) 34 (4), 1-48, 2009
892009
Foundations of schema mapping management
M Arenas, J Pérez, JL Reutter, C Riveros
29th ACM Symposium on Principles of Database Systems (PODS 2010), 227-238, 2010
442010
Querying Wikidata: comparing SPARQL, relational and graph databases
D Hernández, A Hogan, C Riveros, C Rojas, E Zerega
International Semantic Web Conference (ISWC 2016), 88-103, 2016
362016
Composition and inversion of schema mappings
M Arenas, J Pérez, J Reutter, C Riveros
ACM SIGMOD Record 38 (3), 17-28, 2010
352010
Inverting schema mappings: bridging the gap between theory and practice
C Riveros
35th International Conference on Very Large Data Bases (VLDB), 2009
342009
Quantitative monadic second-order logic
S Kreutzer, C Riveros
28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), 113-122, 2013
242013
Regular repair of specifications
M Benedikt, G Puppis, C Riveros
26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), 335-344, 2011
232011
The language of plain SO-tgds: Composition, inversion and structural properties
M Arenas, J Pérez, J Reutter, C Riveros
Journal of Computer and System Sciences (JCSS) 79 (6), 763-784, 2013
212013
Constant delay algorithms for regular document spanners
F Florenzano, C Riveros, M Ugarte, S Vansummeren, D Vrgoc
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2018
202018
Document spanners for extracting incomplete information: Expressiveness and complexity
F Maturana, C Riveros, D Vrgoc
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2018
182018
A formal framework for complex event processing
A Grez, C Riveros, M Ugarte
22nd International Conference on Database Theory (ICDT 2019), 2019
172019
A framework for annotating CSV-like data
M Arenas, F Maturana, C Riveros, D Vrgoč
Proceedings of the VLDB Endowment 9 (11), 876-887, 2016
162016
Copyless cost-register automata: Structure, expressiveness, and closure properties
F Mazowiecki, C Riveros
Journal of Computer and System Sciences 100, 1-29, 2019
15*2019
Descriptive Complexity for counting complexity classes
M Arenas, M Munoz, C Riveros
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), 1-12, 2017
132017
Probabilistic automata of bounded ambiguity
N Fijalkow, C Riveros, J Worrell
28th International Conference on Concurrency Theory (CONCUR 2017), 19:1--19:14, 2017
132017
Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties
F Mazowiecki, C Riveros
33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016), 53:1 …, 2016
132016
Efficient logspace classes for enumeration, counting, and uniform generation
M Arenas, LA Croquevielle, R Jayaram, C Riveros
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2019
122019
Bounded repairability of word languages
M Benedikt, G Puppis, C Riveros
Journal of Computer and System Sciences 79 (8), 1302-1321, 2013
122013
The cost of traveling between languages
M Benedikt, G Puppis, C Riveros
International Colloquium on Automata, Languages, and Programming (ICALP 2011 …, 2011
122011
Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata
F Mazowiecki, C Riveros
24th EACSL Annual Conference on Computer Science Logic (CSL 2015) 41, 144--159, 2015
102015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20