|
Bisimulations On Data Graphs
|
2016 |
5 |
proceedings paper |
Life With Ore Deposits On Earth, Proceedings Of The 15 Th Sga Biennial Meeting, 2019, Vols 1 4
|
WoS Scopus |
|
G Core A Core For Future Graph Query Languages
|
2018 |
65 |
proceedings paper |
Sigmod'18: Proceedings Of The 2018 International Conference On Management Of Data
|
WoS Scopus |
|
Efficient Evaluation And Approximation Of Well Designed Pattern Trees
|
2015 |
14 |
proceedings paper |
Pods'15: Proceedings Of The 33 Rd Acm Symposium On Principles Of Database Systems
|
WoS Scopus |
|
Semantic Acyclicity Under Constraints
|
2016 |
3 |
proceedings paper |
Pods'16: Proceedings Of The 35 Th Acm Sigmod Sigact Sigai Symposium On Principles Of Database Systems
|
WoS Scopus |
|
Does Query Evaluation Tractability Help Query Containment?
|
2014 |
5 |
proceedings paper |
Pods'14: Proceedings Of The 33 Rd Acm Sigmod Sigact Sigart Symposium On Principles Of Database Systems
|
WoS Scopus |
|
Efficient Evaluation And Static Analysis For Well Designed Pattern Trees With Projection
|
2018 |
5 |
artículo de investigación |
Acm Transactions On Database Systems
|
WoS Scopus |
|
The Homomorphism Problem For Regular Graph Patterns
|
2017 |
0 |
proceedings paper |
Proceedings Symposium On Logic In Computer Science
|
WoS Scopus |
|
Bisimulations On Data Graphs
|
2018 |
4 |
artículo de investigación |
Journal Of Artificial Intelligence Research
|
WoS Scopus |
|
Foundations Of Modern Query Languages For Graph Databases
|
2017 |
118 |
artículo de investigación |
Acm Computing Surveys
|
WoS Scopus |
|
Semantic Optimization In Tractable Classes Of Conjunctive Queries
|
2017 |
4 |
artículo de investigación |
Sigmod Record
|
WoS Scopus |
|
21st Workshop On Logic, Language, Information And Computation Wo Llic 2014 Preface
|
2017 |
0 |
material editorial |
Information And Computation
|
WoS Scopus |
|
Graph Logics With Rational Relations: The Role Of Word Combinatorics
|
2017 |
8 |
artículo de investigación |
Acm Transactions On Computational Logic
|
WoS Scopus |
|
On The Data Complexity Of Consistent Query Answering Over Graph Databases
|
2017 |
3 |
artículo de investigación |
Journal Of Computer And System Sciences
|
WoS Scopus |
|
Parameterized Regular Expressions And Their Languages
|
2011 |
0 |
proceedings paper |
Leibniz International Proceedings In Informatics, Lip Ics
|
WoS Scopus |
|
Semantic Acyclicity For Conjunctive Queries: Approximations And Constraints
|
2016 |
0 |
proceedings paper |
Lecture Notes In Computer Science
|
WoS Scopus |
|
Order Invariant Types And Their Applications
|
2016 |
0 |
artículo de investigación |
Logical Methods In Computer Science
|
WoS Scopus |
|
String Solving With Word Equations And Transducers: Towards A Logic For Analysing Mutation Xss
|
2016 |
19 |
artículo de investigación |
Acm Sigplan Notices
|
WoS |
|
Expressive Path Queries On Graphs With Data
|
2015 |
3 |
artículo de investigación |
Logical Methods In Computer Science
|
WoS Scopus |
|
Sharing And Exchanging Data
|
2014 |
0 |
proceedings paper |
Lecture Notes In Computer Science
|
WoS Scopus |
|
Efficient Approximations Of Conjunctive Queries
|
2014 |
16 |
artículo de investigación |
Siam Journal On Computing
|
WoS Scopus |
|
Querying Regular Graph Patterns
|
2014 |
32 |
artículo de investigación |
Journal Of The Acm
|
WoS Scopus |
|
Graph Logics With Rational Relations
|
2013 |
14 |
artículo de investigación |
Logical Methods In Computer Science
|
WoS Scopus |
|
Solutions And Query Rewriting In Data Exchange
|
2013 |
2 |
artículo de investigación |
Information And Computation
|
WoS Scopus |
|
Special Issue: Jcss Foundations Of Data Management Foreword
|
2013 |
0 |
material editorial |
Journal Of Computer And System Sciences
|
WoS Scopus |
|
Parameterized Regular Expressions And Their Languages
|
2013 |
9 |
artículo de investigación |
Theoretical Computer Science
|
WoS Scopus |
|
Expressive Languages For Path Queries Over Graph Structured Data
|
2012 |
40 |
artículo de investigación |
Acm Transactions On Database Systems
|
WoS Scopus |
|
Graph Logics With Rational Relations And The Generalized Intersection Problem
|
2012 |
12 |
proceedings paper |
Proceedings Symposium On Logic In Computer Science
|
WoS Scopus |
|
Datalog As A Query Language For Data Exchange Systems
|
2011 |
1 |
proceedings paper |
Lecture Notes In Computer Science
|
WoS Scopus |
|
Regular Languages Of Nested Words: Fixed Points, Automata, And Synchronization
|
2011 |
4 |
artículo de investigación |
Theory Of Computing Systems
|
WoS Scopus |
|
Query Languages For Data Exchange: Beyond Unions Of Conjunctive Queries
|
2011 |
9 |
artículo de investigación |
Theory Of Computing Systems
|
WoS Scopus |
|
Expressive Languages For Path Queries Over Graph Structured Data
|
2010 |
19 |
proceedings paper |
Pods 2010: Proceedings Of The Twenty Ninth Acm Sigmod Sigact Sigart Symposium On Principles Of Database Systems
|
WoS Scopus |
|
Xml With Incomplete Information
|
2010 |
19 |
artículo de investigación |
Journal Of The Acm
|
WoS Scopus |
|
Logical Foundations Of Relational Data Exchange
|
2009 |
27 |
artículo de investigación |
Sigmod Record
|
WoS Scopus |
|
Xml With Incomplete Information: Models, Properties, And Query Answering
|
2009 |
5 |
proceedings paper |
Pods'09: Proceedings Of The Twenty Eighth Acm Sigmod Sigact Sigart Symposium On Principles Of Database Systems
|
WoS Scopus |
|
Game Based Notions Of Locality Over Finite Models
|
2008 |
0 |
artículo de investigación |
Annals Of Pure And Applied Logic
|
WoS Scopus |
|
When Is Ontology Mediated Querying Efficient?
|
2019 |
3 |
proceedings paper |
Proceedings Symposium On Logic In Computer Science
|
WoS Scopus |
|
Regularizing Conjunctive Features For Classification
|
2019 |
2 |
proceedings paper |
|
WoS Scopus |
|
Semantic Acyclicity On Graph Databases
|
2016 |
12 |
artículo de investigación |
Siam Journal On Computing
|
WoS Scopus |
|
First Order And Temporal Logics For Nested Words
|
2008 |
26 |
artículo de investigación |
Logical Methods In Computer Science
|
WoS Scopus |
|
Monadic Decomposability Of Regular Relations
|
2019 |
0 |
|
Leibniz International Proceedings In Informatics, Lip Ics
|
Scopus WoS |
|
Boundedness Of Conjunctive Regular Path Queries
|
2019 |
0 |
|
Leibniz International Proceedings In Informatics, Lip Ics
|
Scopus WoS |
|
A Theoretical View On Reverse Engineering Problems For Database Query Languages
|
2019 |
0 |
|
Dateso 2011: Databases, Texts, Specifications, Objects
|
Scopus WoS |
|
A More General Theory Of Static Approximations For Conjunctive Queries
|
2020 |
0 |
artículo de investigación |
Theory Of Computing Systems
|
WoS Scopus |
|
First Order Rewritability Of Frontier Guarded Ontology Mediated Queries
|
2018 |
0 |
|
|
Scopus |
|
A More General Theory Of Static Approximations For Conjunctive Queries
|
2018 |
0 |
|
Leibniz International Proceedings In Informatics, Lip Ics
|
Scopus WoS |
|
The Complexity Of Reverse Engineering Problems For Conjunctive Queries
|
2017 |
0 |
|
Leibniz International Proceedings In Informatics, Lip Ics
|
Scopus WoS |
|
String Solving With Word Equations And Transducers: Towards A Logic For Analysing Mutation Xss
|
2016 |
0 |
|
Acm Sigplan Notices
|
Scopus WoS |
|
String Solving With Word Equations And Transducers: Towards A Logic For Analysing Mutation Xss
|
2016 |
0 |
|
Conference Record Of The Annual Acm Symposium On Principles Of Programming Languages
|
Scopus |
|
On The Data Complexity Of Consistent Query Answering Over Graph Databases
|
2015 |
0 |
|
Leibniz International Proceedings In Informatics, Lip Ics
|
Scopus WoS |
|
Efficient Evaluation Of Well Designed Pattern Trees (Extended Abstract)?
|
2015 |
0 |
|
Dateso 2011: Databases, Texts, Specifications, Objects
|
Scopus WoS |
|
Lecture Notes In Computer Science (Including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics): Preface
|
2014 |
0 |
|
Lecture Notes In Computer Science
|
Scopus WoS |
|
Graph Logics With Rational Relations: The Role Of Word Combinatorics
|
2014 |
0 |
proceedings paper |
Proceedings Symposium On Logic In Computer Science
|
WoS Scopus |
|
Program Chairs' Welcome
|
2014 |
0 |
|
Sigmod'18: Proceedings Of The 2018 International Conference On Management Of Data
|
Scopus WoS |
|
Sharing And Exchanging Data
|
2013 |
0 |
|
|
Scopus |
|
Expressive Path Queries On Graphs With Data
|
2013 |
0 |
|
Lecture Notes In Computer Science
|
Scopus WoS |
|
Semantic Acyclicity On Graph Databases
|
2013 |
0 |
|
|
Scopus |
|
On Low Treewidth Approximations Of Conjunctive Queries
|
2012 |
0 |
|
Dateso 2011: Databases, Texts, Specifications, Objects
|
Scopus WoS |
|
On Incomplete Xml Documents With Integrity Constraints
|
2010 |
0 |
|
Dateso 2011: Databases, Texts, Specifications, Objects
|
Scopus WoS |
|
Lecture Notes In Computer Science (Including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics): Preface
|
2012 |
0 |
|
Lecture Notes In Computer Science
|
Scopus WoS |
|
Querying Graph Patterns
|
2011 |
0 |
|
|
Scopus |
|
Query Languages For Data Exchange: Beyond Unions Of Conjunctive Queries
|
2009 |
0 |
|
|
Scopus |
|
Special Issue On Database Theory
|
2021 |
0 |
material editorial |
Theory Of Computing Systems
|
WoS Scopus |
|
Counting Problems Over Incomplete Databases
|
2020 |
2 |
proceedings paper |
|
WoS Scopus |
|
The Limits Of Efficiency For Open And Closed World Query Evaluation Under Guarded Tg Ds
|
2020 |
2 |
proceedings paper |
|
WoS Scopus |
|
On The Turing Completeness Of Modern Neural Network Architectures
|
2019 |
0 |
|
|
Scopus |
|
On The Expressiveness Of Lara: A Unified Language For Linear And Relational Algebra
|
2020 |
0 |
|
Leibniz International Proceedings In Informatics, Lip Ics
|
Scopus WoS |
|
Semantic Optimization Of Conjunctive Queries
|
2020 |
0 |
artículo de investigación |
Journal Of The Acm
|
WoS Scopus |
|
Chile's New Interdisciplinary Institute For Foundational Research On Data
|
2020 |
0 |
artículo de investigación |
Communications Of The Acm
|
WoS Scopus |
|
The Expressive Power Of Graph Neural Networks As A Query Language
|
2020 |
0 |
|
Sigmod Record
|
Scopus WoS |
|
The Expressive Power Of Graph Neural Networks As A Query Language
|
2020 |
5 |
artículo de investigación |
Sigmod Record
|
WoS Scopus |
|
Attention Is Turing Complete
|
2021 |
3 |
artículo de investigación |
Journal Of Machine Learning Research
|
WoS Scopus |
|
The Tractability Of Shap Score Based Explanations Over Deterministic And Decomposable Boolean Circuits
|
2021 |
3 |
proceedings paper |
|
WoS Scopus |
|
Regularizing Conjunctive Features For Classification
|
2021 |
0 |
artículo de investigación |
Journal Of Computer And System Sciences
|
WoS Scopus |
|
The Complexity Of Counting Problems Over Incomplete Databases
|
2021 |
0 |
artículo de investigación |
Acm Transactions On Computational Logic
|
WoS Scopus |
|
Screening Of Covid 19 Cases Through A Bayesian Network Symptoms Model And Psychophysical Olfactory Test
|
2021 |
0 |
artículo de investigación |
I Science
|
WoS Scopus |
|
2022 Chairs Welcome Message
|
2022 |
0 |
|
|
Scopus |
|
On The Expressiveness Of Lara: A Proposal For Unifying Linear And Relational Algebra
|
2022 |
0 |
artículo de investigación |
Theoretical Computer Science
|
WoS Scopus |
|
Graph Neural Networks With Local Graph Parameters
|
2021 |
0 |
proceedings paper |
Advances In Neural Information Processing Systems 31 (Nips 2018)
|
WoS Scopus |
|
Foundations Of Symbolic Languages For Model Interpretability
|
2021 |
0 |
proceedings paper |
Advances In Neural Information Processing Systems 31 (Nips 2018)
|
WoS Scopus |
|
First Order Rewritability Of Frontier Guarded Ontology Mediated Queries
|
2018 |
6 |
proceedings paper |
|
WoS |
|
Separating Automatic Relations
|
2023 |
0 |
|
Leibniz International Proceedings In Informatics, Lip Ics
|
Scopus WoS |
|
No Agreement Without Loss: Learning And Social Choice In Peer Review
|
2023 |
0 |
|
Frontiers In Artificial Intelligence And Applications
|
Scopus WoS |
|
Three Iterations Of (D − 1) Wl Test Distinguish Non Isometric Clouds Of D Dimensional Points
|
2023 |
0 |
|
Advances In Neural Information Processing Systems 31 (Nips 2018)
|
Scopus WoS |