Ahmet Kara

According to our database, Ahmet Kara authored at least 29 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Insert-Only versus Insert-Delete in Dynamic Query Evaluation.

Mahmoud Abo Khamis, Ahmet Kara, Dan Olteanu, Dan Suciu

Proc. ACM Manag. Data, November, 2024

F-IVM: analytics over relational databases under updates.

Ahmet Kara, Milos Nikolic, Dan Olteanu, Haozhe Zhang

VLDB J., July, 2024

Banzhaf Values for Facts in Query Answering.

Omer Abramovich, Daniel Deutch, Nave Frost, Ahmet Kara, Dan Olteanu

Proc. ACM Manag. Data, 2024

From Shapley Value to Model Counting and Back.

Ahmet Kara, Dan Olteanu, Dan Suciu

Proc. ACM Manag. Data, 2024

Output-Sensitive Evaluation of Regular Path Queries.

Mahmoud Abo Khamis, Ahmet Kara, Dan Olteanu, Dan Suciu

CoRR, 2024

Tractable Conjunctive Queries over Static and Dynamic Relations.

Ahmet Kara, Zheng Luo, Milos Nikolic, Dan Olteanu, Haozhe Zhang

CoRR, 2024

2023

ADOPT: Adaptively Optimizing Attribute Orders for Worst-Case Optimal Join Algorithms via Reinforcement Learning.

Junxiong Wang, Immanuel Trummer, Ahmet Kara, Dan Olteanu

Proc. VLDB Endow., 2023

Demonstrating ADOPT: Adaptively Optimizing Attribute Orders for Worst-Case Optimal Joins via Reinforcement Learning.

Junxiong Wang, Mitchell Gray, Immanuel Trummer, Ahmet Kara, Dan Olteanu

Proc. VLDB Endow., 2023

Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries.

Ahmet Kara, Milos Nikolic, Dan Olteanu, Haozhe Zhang

Log. Methods Comput. Sci., 2023

Conjunctive Queries with Free Access Patterns Under Updates.

Ahmet Kara, Milos Nikolic, Dan Olteanu, Haozhe Zhang

Proceedings of the 26th International Conference on Database Theory, 2023

Evaluation Trade-Offs for Acyclic Conjunctive Queries.

Ahmet Kara, Milos Nikolic, Dan Olteanu, Haozhe Zhang

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Conjunctive Queries with Output Access Patterns under Updates.

Ahmet Kara, Milos Nikolic, Dan Olteanu, Haozhe Zhang

CoRR, 2022

2021

Machine learning over static and dynamic relational data.

Ahmet Kara, Milos Nikolic, Dan Olteanu, Haozhe Zhang

Proceedings of the 15th ACM International Conference on Distributed and Event-based Systems, 2021

2020

Maintaining Triangle Queries under Updates.

Ahmet Kara, Hung Q. Ngo, Milos Nikolic, Dan Olteanu, Haozhe Zhang

ACM Trans. Database Syst., 2020

F-IVM: Learning over Fast-Evolving Relational Data.

Milos Nikolic, Haozhe Zhang, Ahmet Kara, Dan Olteanu

Proceedings of the 2020 International Conference on Management of Data, 2020

2019

Counting Triangles under Updates in Worst-Case Optimal Time.

Ahmet Kara, Hung Q. Ngo, Milos Nikolic, Dan Olteanu, Haozhe Zhang

Proceedings of the 22nd International Conference on Database Theory, 2019

2018

Covers of Query Results.

Ahmet Kara, Dan Olteanu

Proceedings of the 21st International Conference on Database Theory, 2018

Incremental Techniques for Large-Scale Dynamic Query Processing.

Iman Elghandour, Ahmet Kara, Dan Olteanu, Stijn Vansummeren

Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

Counting Triangles under Updates.

Ahmet Kara, Hung Q. Ngo, Milos Nikolic, Dan Olteanu, Haozhe Zhang

Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

2016

Logics on data words: Expressivity, satisfiability, model checking.

Ahmet Kara

PhD thesis, 2016

2015

Verification of Buffered Dynamic Register Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine

Proceedings of the Networked Systems - Third International Conference, 2015

2014

Verification of Dynamic Register Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine

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.

Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick

Proceedings of the Language and Automata Theory and Applications, 2013

2012

Feasible Automata for Two-Variable Logic with Successor on Data Words.

Ahmet Kara, Thomas Schwentick, Tony Tan

Proceedings of the Language and Automata Theory and Applications, 2012

2011

Expressiveness of Hybrid Temporal Logic on Data Words.

Ahmet Kara, Thomas Schwentick

Proceedings of the 7th Workshop on Methods for Modalities, 2011

2010

Extending Büchi Automata with Constraints on Data Values

Ahmet Kara, Tony Tan

CoRR, 2010

Temporal Logics on Words with Multiple Data Values.

Ahmet Kara, Thomas Schwentick, Thomas Zeume

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+

Ahmet Kara, Martin Lange, Thomas Schwentick, Volker Weber

CoRR, 2009

On the Hybrid Extension of CTL and CTL⁺.

Ahmet Kara, Volker Weber, Martin Lange, Thomas Schwentick

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009