The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Pablo Barceló Pablo Barceló Baeza ( http://dblp.L3S.de/Authors/Pablo_Barceló )

URL (Homepage):  https://users.dcc.uchile.cl/~pbarcelo/  Author page on DBLP  Author page in RDF  Community of Pablo Barceló in ASPL-2

Publication years (Num. hits)
2001-2009 (16) 2010-2012 (17) 2013-2014 (18) 2015-2016 (19) 2017-2018 (20) 2019 (15)
Publication types (Num. hits)
article(41) book(2) incollection(3) inproceedings(52) proceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 106 publication records. Showing 105 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marcelo Arenas, Pablo Barceló, Leonid Libkin Graph Path Navigation. Search on Bibsonomy Encyclopedia of Big Data Technologies The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Miguel Romero 0001, Thomas Zeume A More General Theory of Static Approximations for Conjunctive Queries. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jorge Pérez 0001, Javier Marinkovic, Pablo Barceló On the Turing Completeness of Modern Neural Network Architectures. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen Monadic Decomposability of Regular Relations. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pablo Barceló, Diego Figueira, Miguel Romero 0001 Boundedness of Conjunctive Regular Path Queries. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pablo Barceló, Nelson Higuera, Jorge Pérez 0001, Bernardo Subercaseaux On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris When is Ontology-Mediated Querying Efficient? Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Diego Figueira, Miguel Romero 0001 Boundedness of Conjunctive Regular Path Queries. Search on Bibsonomy ICALP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen Monadic Decomposability of Regular Relations. Search on Bibsonomy ICALP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Nelson Higuera, Jorge Pérez 0001, Bernardo Subercaseaux Expressiveness of Matrix and Tensor Query Languages in terms of ML Operators. Search on Bibsonomy DEEM@SIGMOD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Alexander Baumgartner, Victor Dalmau, Benny Kimelfeld Regularizing Conjunctive Features for Classification. Search on Bibsonomy PODS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Marco Calautti (eds.) 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal Search on Bibsonomy ICDT The full citation details ... 2019 DBLP  BibTeX  RDF
1Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris PTime Combined Complexity and FPT in Ontology-Mediated Querying. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Pablo Barceló A Theoretical View on Reverse Engineering Problems for Database Query Languages. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Jorge Pérez 0001, Javier Marinkovic, Pablo Barceló On the Turing Completeness of Modern Neural Network Architectures. Search on Bibsonomy ICLR (Poster) The full citation details ... 2019 DBLP  BibTeX  RDF
1Pablo Barceló Locality of Queries. Search on Bibsonomy Encyclopedia of Database Systems (2nd ed.) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull 0001, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi 0001 Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Search on Bibsonomy Dagstuhl Manifestos The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira Bisimulations on Data Graphs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Markus Kröll, Reinhard Pichler, Sebastian Skritek Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Renzo Angles, Marcelo Arenas, Pablo Barceló, Peter A. Boncz, George H. L. Fletcher, Claudio Gutierrez, Tobias Lindaaker, Marcus Paradies, Stefan Plantikow, Juan F. Sequeda, Oskar van Rest, Hannes Voigt G-CORE: A Core for Future Graph Query Languages. Search on Bibsonomy SIGMOD Conference The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Gerald Berger, Andreas Pieris Containment for Rule-Based Ontology-Mediated Queries. Search on Bibsonomy PODS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Miguel Romero 0001, Thomas Zeume A More General Theory of Static Approximations for Conjunctive Queries. Search on Bibsonomy ICDT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. Search on Bibsonomy AMW The full citation details ... 2018 DBLP  BibTeX  RDF
1Pablo Barceló, Pablo Muñoz Graph Logics with Rational Relations: The Role of Word Combinatorics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Andreas Pieris, Miguel Romero 0001 Semantic Optimization in Tractable Classes of Conjunctive Queries. Search on Bibsonomy SIGMOD Record The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Gaëlle Fontaine On the data complexity of consistent query answering over graph databases. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull 0001, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi 0001 Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pablo Barceló, Gerald Berger, Andreas Pieris Containment for Rule-Based Ontology-Mediated Queries. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Renzo Angles, Marcelo Arenas, Pablo Barceló, Peter A. Boncz, George H. L. Fletcher, Claudio Gutierrez, Tobias Lindaaker, Marcus Paradies, Stefan Plantikow, Juan F. Sequeda, Oskar van Rest, Hannes Voigt G-CORE: A Core for Future Graph Query Languages. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan L. Reutter, Domagoj Vrgoc Foundations of Modern Query Languages for Graph Databases. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz 21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miguel Romero 0001, Pablo Barceló, Moshe Y. Vardi The homomorphism problem for regular graph patterns. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Miguel Romero 0001 The Complexity of Reverse Engineering Problems for Conjunctive Queries. Search on Bibsonomy ICDT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Gerald Berger, Andreas Pieris Guarded Ontology-Mediated Queries Distributing Over Components. Search on Bibsonomy AMW The full citation details ... 2017 DBLP  BibTeX  RDF
1Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull 0001, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi 0001 Research Directions for Principles of Data Management (Abridged). Search on Bibsonomy SIGMOD Record The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Miguel Romero 0001 The complexity of reverse engineering problems for conjunctive queries. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pablo Barceló, Leonid Libkin Order-Invariant Types and Their Applications. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Georg Gottlob, Andreas Pieris Semantic Acyclicity Under Constraints. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan L. Reutter, Domagoj Vrgoc Foundations of Modern Graph Query Languages. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pablo Barceló, Miguel Romero 0001, Moshe Y. Vardi Semantic Acyclicity on Graph Databases. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pablo Barceló Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints. Search on Bibsonomy WoLLIC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anthony Widjaja Lin, Pablo Barceló String solving with word equations and transducers: towards a logic for analysing mutation XSS. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Georg Gottlob, Andreas Pieris Semantic Acyclicity Under Constraints. Search on Bibsonomy PODS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira Bisimulations on Data Graphs. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pablo Barceló, Georg Gottlob, Andreas Pieris Semantic Acyclicity Under Constraints. Search on Bibsonomy AMW The full citation details ... 2016 DBLP  BibTeX  RDF
1Anthony W. Lin, Pablo Barceló String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin Expressive Path Queries on Graph with Data. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014). Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Heng Tao Shen (eds.) Proceedings of the 2015 ACM SIGMOD PhD Symposium, Melbourne, VIC, Australia, May 31 - June 04, 2015 Search on Bibsonomy SIGMOD PhD Symposium The full citation details ... 2015 DBLP  BibTeX  RDF
1Pablo Barceló, Reinhard Pichler, Sebastian Skritek Efficient Evaluation and Approximation of Well-designed Pattern Trees. Search on Bibsonomy PODS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Gaëlle Fontaine On the Data Complexity of Consistent Query Answering over Graph Databases. Search on Bibsonomy ICDT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gustavo Alonso, Floris Geerts, Lucian Popa 0001, Pablo Barceló, Jens Teubner, Martín Ugarte, Jan Van den Bussche, Jan Paredaens (eds.) Proceedings of the 18th International Conference on Extending Database Technology, EDBT 2015, Brussels, Belgium, March 23-27, 2015. Search on Bibsonomy EDBT The full citation details ... 2015 DBLP  BibTeX  RDF
1Pablo Barceló, Reinhard Pichler, Sebastian Skritek Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract). Search on Bibsonomy AMW The full citation details ... 2015 DBLP  BibTeX  RDF
1Pablo Barceló, Leonid Libkin, Juan L. Reutter Querying Regular Graph Patterns. Search on Bibsonomy J. ACM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Leonid Libkin, Miguel Romero 0001 Efficient Approximations of Conjunctive Queries. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak Foundations of Data Exchange Search on Bibsonomy 2014   RDF
1Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz (eds.) Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings Search on Bibsonomy WoLLIC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Lei Chen 0002 (eds.) International Conference on Management of Data, SIGMOD 2014, Snowbird, Utah, USA, June 22, 2014, PhD Symposium Search on Bibsonomy SIGMOD PhD Symposium The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Miguel Romero 0001, Moshe Y. Vardi Does query evaluation tractability help query containment? Search on Bibsonomy PODS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Pablo Muñoz Graph logics with rational relations: the role of word combinatorics. Search on Bibsonomy CSL-LICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Pablo Barceló, Loreto Bravo, Claudio Gutiérrez 0001, Jorge Pérez 0001, Juan L. Reutter, M. Andrea Rodríguez The Chilean Database Group. Search on Bibsonomy JIDM The full citation details ... 2013 DBLP  BibTeX  RDF
1Pablo Barceló, Juan L. Reutter, Leonid Libkin Parameterized regular expressions and their languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Barceló Editor's foreword. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Diego Figueira, Leonid Libkin Graph Logics with Rational Relations Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin Solutions and query rewriting in data exchange. Search on Bibsonomy Inf. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin Expressive Path Queries on Graphs with Data. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rana Awada, Pablo Barceló, Iluju Kiringa Sharing and Exchanging Data. Search on Bibsonomy KDPD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Jorge Pérez 0001, Juan L. Reutter Schema mappings and data exchange for graph databases. Search on Bibsonomy ICDT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Renzo Angles, Pablo Barceló, Gonzalo Rios A Practical Query Language for Graph DBs. Search on Bibsonomy AMW The full citation details ... 2013 DBLP  BibTeX  RDF
1Pablo Barceló Baeza, Miguel Romero 0001, Moshe Y. Vardi Semantic acyclicity on graph databases. Search on Bibsonomy PODS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Barceló Baeza Querying graph databases. Search on Bibsonomy PODS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Leonid Libkin, Anthony Widjaja Lin, Peter T. Wood Expressive Languages for Path Queries over Graph-Structured Data. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Reinhard Pichler (eds.) Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Diego Figueira, Leonid Libkin Graph Logics with Rational Relations and the Generalized Intersection Problem. Search on Bibsonomy LICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Leonid Libkin, Miguel Romero 0001 Efficient approximations of conjunctive queries. Search on Bibsonomy PODS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Leonid Libkin, Miguel Romero 0001 On Low Treewidth Approximations of Conjunctive Queries. Search on Bibsonomy AMW The full citation details ... 2012 DBLP  BibTeX  RDF
1Pablo Barceló, Jorge Pérez 0001, Juan L. Reutter Relative Expressiveness of Nested Regular Expressions. Search on Bibsonomy AMW The full citation details ... 2012 DBLP  BibTeX  RDF
1Marcelo Arenas, Pablo Barceló, Juan L. Reutter Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Pablo Barceló, Leonid Libkin Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Leonid Libkin, Juan L. Reutter Parameterized Regular Expressions and their Languages Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Pablo Barceló, Leonid Libkin, Juan L. Reutter Querying graph patterns. Search on Bibsonomy PODS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Leonid Libkin, Juan L. Reutter Parameterized Regular Expressions and Their Languages. Search on Bibsonomy FSTTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Val Tannen (eds.) Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011 Search on Bibsonomy AMW The full citation details ... 2011 DBLP  BibTeX  RDF
1Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo XML with incomplete information. Search on Bibsonomy J. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak Relational and XML Data Exchange Search on Bibsonomy 2010   DOI  RDF
1Marcelo Arenas, Pablo Barceló, Juan L. Reutter Datalog as a Query Language for Data Exchange Systems. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood Expressive languages for path queries over graph-structured data. Search on Bibsonomy PODS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF regular relations, conjunctive queries, graph databases, regular path queries
1Pablo Barceló, Leonid Libkin, Juan L. Reutter On Incomplete XML Documents with Integrity Constraints. Search on Bibsonomy AMW The full citation details ... 2010 DBLP  BibTeX  RDF
1Pablo Barceló Locality of Queries. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pablo Barceló Logical foundations of relational data exchange. Search on Bibsonomy SIGMOD Record The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo XML with incomplete information: models, properties, and query answering. Search on Bibsonomy PODS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF consistency, xml, incomplete information, membership, query answering, certain answers
1Marcelo Arenas, Pablo Barceló, Juan L. Reutter Query languages for data exchange: beyond unions of conjunctive queries. Search on Bibsonomy ICDT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin First-Order and Temporal Logics for Nested Words Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin First-Order and Temporal Logics for Nested Words. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Pablo Barceló, Leonid Libkin Game-based notions of locality over finite models. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin First-Order and Temporal Logics for Nested Words. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Pablo Barceló, Leonid Libkin Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Pablo Barceló, Leonid Libkin Combining Temporal Logics for Querying XML Documents. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Leonid Libkin Temporal Logics over Unranked Trees. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 105 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license