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 × China
1 × France
1 × Greece
1 × Italy
1 × United Kingdom
2 × Canada
3 × Poland
8 × USA
Collaborated with:
L.Libkin J.Pérez P.Barceló A.Kementsietsidis J.L.Reutter C.Riveros L.E.Bertossi G.Gottlob A.Pieris R.J.Miller W.Fan M.Kifer J.Chomicki R.Fagin B.C.Grau E.Kharlamov S.Marciuska D.Zheleznyakov G.I.Diaz A.Fokoue K.Srinivas E.Botoeva D.Calvanese V.Ryzhikov E.Sherkhonov J.Daenen F.Neven M.Ugarte J.V.d.Bussche S.Vansummeren R.Alur K.Etessami N.Immerman
Talks about:
data (12) queri (7) exchang (5) xml (5) consist (4) schema (4) map (4) semant (3) answer (3) inconsist (2)

Person: Marcelo Arenas

DBLP DBLP: Arenas:Marcelo

Contributed to:

CIKM 20142014
PODS 20142014
VLDB 20142014
SIGMOD 20132013
KR 20122012
PODS 20112011
PODS 20102010
VLDB 20092009
PODS 20082008
ICALP 20072007
LICS 20072007
PODS 20052005
CSL 20042004
PODS 20042004
VLDB 20042004
PODS 20032003
SIGMOD 20032003
PODS 20022002
CL 20002000
PODS 19991999

Wrote 22 papers:

CIKM-2014-ArenasGKMZ #rdf
Faceted Search over Ontology-Enhanced RDF Data (MA, BCG, EK, SM, DZ), pp. 939–948.
PODS-2014-ArenasGP #query #semantics #web
Expressive languages for querying the semantic web (MA, GG, AP), pp. 14–26.
VLDB-2014-ArenasDFKS #approach #graph
A Principled Approach to Bridging the Gap between Graph Data and their Schemas (MA, GID, AF, AK, KS), pp. 601–612.
SIGMOD-2013-ArenasDNUBV #xml
Discovering XSD keys from XML data (MA, JD, FN, MU, JVdB, SV), pp. 61–72.
KR-2012-ArenasBCRS #knowledge base #logic
Exchanging Description Logic Knowledge Bases (MA, EB, DC, VR, ES).
PODS-2011-ArenasP #query #semantics #web
Querying semantic web data with SPARQL (MA, JP), pp. 305–316.
Data exchange beyond complete data (MA, JP, JLR), pp. 83–94.
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.
ICALP-2007-ArenasBL #automaton #fixpoint #regular expression #word
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization (MA, PB, LL), pp. 888–900.
LICS-2007-AlurABEIL #first-order #logic #word
First-Order and Temporal Logics for Nested Words (RA, MA, PB, KE, NI, LL), pp. 151–160.
PODS-2005-ArenasL #consistency #query #xml
XML data exchange: consistency and query answering (MA, LL), pp. 13–24.
CSL-2004-ArenasBL #finite #game studies #locality #modelling
Game-Based Notions of Locality Over Finite Models (MA, PB, LL), pp. 175–189.
PODS-2004-ArenasBLF #consistency #query
Locally Consistent Transformations and Query Answering in Data Exchange (MA, PB, RF, LL), pp. 229–240.
VLDB-2004-KementsietsidisA #query
Data Sharing Through Query Translation in Autonomous Sources (AK, MA), pp. 468–479.
PODS-2003-ArenasL #approach #normalisation #relational #xml
An information-theoretic approach to normal forms for relational and XML data (MA, LL), pp. 15–26.
SIGMOD-2003-KementsietsidisAM #algorithm #peer-to-peer #semantics
Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues (AK, MA, RJM), pp. 325–336.
PODS-2002-ArenasFL #consistency #on the #specification #verification #xml
On Verifying Consistency of XML Specifications (MA, WF, LL), pp. 259–270.
PODS-2002-ArenasL #documentation #normalisation #xml
A Normal Form for XML Documents (MA, LL), pp. 85–96.
CL-2000-ArenasBK #calculus #consistency #database #query
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases (MA, LEB, MK), pp. 926–941.
PODS-1999-ArenasBC #consistency #database #query
Consistent Query Answers in Inconsistent Databases (MA, LEB, JC), pp. 68–79.

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.