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: Arenas:Marcelo
Contributed to:
2014
2014
2014
2013
20122011201020092008
2007
20072005
200420042004200320032002
20001999Wrote 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.
- PODS-2011-ArenasPR
- Data exchange beyond complete data (MA, JP, JLR), pp. 83–94.
- PODS-2010-ArenasPRR
- 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.
- PODS-2008-ArenasPR
- 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.