Ahmet Kara

Affiliations:
  • University of Zurich, Switzerland
  • University of Oxford, UK (former)
  • TU Dortmund, Germany (former)


According to our database1, Ahmet Kara authored at least 27 papers between 2009 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
ADOPT: Adaptively Optimizing Attribute Orders for Worst-Case Optimal Join Algorithms via Reinforcement Learning.
Proc. VLDB Endow., 2023

Demonstrating ADOPT: Adaptively Optimizing Attribute Orders for Worst-Case Optimal Joins via Reinforcement Learning.
Proc. VLDB Endow., 2023

Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries.
Log. Methods Comput. Sci., 2023

Insert-Only versus Insert-Delete in Dynamic Query Evaluation.
CoRR, 2023

Banzhaf Values for Facts in Query Answering.
CoRR, 2023

From Shapley Value to Model Counting and Back.
CoRR, 2023

F-IVM: Analytics over Relational Databases under Updates.
CoRR, 2023

Conjunctive Queries with Free Access Patterns Under Updates.
Proceedings of the 26th International Conference on Database Theory, 2023

Evaluation Trade-Offs for Acyclic Conjunctive Queries.
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022
Conjunctive Queries with Output Access Patterns under Updates.
CoRR, 2022

2021
Machine learning over static and dynamic relational data.
Proceedings of the 15th ACM International Conference on Distributed and Event-based Systems, 2021

2020
Maintaining Triangle Queries under Updates.
ACM Trans. Database Syst., 2020

F-IVM: Learning over Fast-Evolving Relational Data.
Proceedings of the 2020 International Conference on Management of Data, 2020

2019
Counting Triangles under Updates in Worst-Case Optimal Time.
Proceedings of the 22nd International Conference on Database Theory, 2019

2018
Covers of Query Results.
Proceedings of the 21st International Conference on Database Theory, 2018

Incremental Techniques for Large-Scale Dynamic Query Processing.
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

Counting Triangles under Updates.
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

2016
Logics on data words: Expressivity, satisfiability, model checking.
PhD thesis, 2016

2015
Verification of Buffered Dynamic Register Automata.
Proceedings of the Networked Systems - Third International Conference, 2015

2014
Verification of Dynamic Register Automata.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013
Dynamic Communicating Automata and Branching High-Level MSCs.
Proceedings of the Language and Automata Theory and Applications, 2013

2012
Feasible Automata for Two-Variable Logic with Successor on Data Words.
Proceedings of the Language and Automata Theory and Applications, 2012

2011
Expressiveness of Hybrid Temporal Logic on Data Words.
Proceedings of the 7th Workshop on Methods for Modalities, 2011

2010
Extending Büchi Automata with Constraints on Data Values
CoRR, 2010

Temporal Logics on Words with Multiple Data Values.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009
On the Hybrid Extension of CTL and CTL+
CoRR, 2009

On the Hybrid Extension of CTL and CTL<sup>+</sup>.
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009


  Loading...