BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Switzerland
2 × Canada
2 × USA
Collaborated with:
M.Arenas J.Pérez M.Benedikt G.Puppis F.Mazowiecki S.Kreutzer J.L.Reutter
Talks about:
schema (3) logic (3) map (3) between (2) cost (2) character (1) recoveri (1) copyless (1) automata (1) regular (1)

Person: Cristian Riveros

DBLP DBLP: Riveros:Cristian

Contributed to:

CSL 20152015
LICS 20132013
ICALP (2) 20112011
LICS 20112011
PODS 20102010
VLDB 20092009
PODS 20082008

Wrote 7 papers:

CSL-2015-MazowieckiR #automaton #logic #towards
Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata (FM, CR), pp. 144–159.
LICS-2013-KreutzerR #higher-order #logic #monad
Quantitative Monadic Second-Order Logic (SK, CR), pp. 113–122.
ICALP-v2-2011-BenediktPR #cost analysis
The Cost of Traveling between Languages (MB, GP, CR), pp. 234–245.
LICS-2011-BenediktPR #specification
Regular Repair of Specifications (MB, GP, CR), pp. 335–344.
Foundations of schema mapping management (MA, JP, JLR, CR), pp. 227–238.
VLDB-2009-ArenasPRR #theory and practice
Inverting Schema Mappings: Bridging the Gap between Theory and Practice (MA, JP, JLR, CR), pp. 1018–1029.
The recovery of a schema mapping: bringing exchanged data back (MA, JP, CR), pp. 13–22.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.