On the Hybrid Extension of CTL and CTL+. - Ahmet Kara 002; Volker Weber; Martin Lange; Thomas Schwentick (MFCS, 2009)

On the Hybrid Extension of CTL and CTL+ - Ahmet Kara 002; Martin Lange; Thomas Schwentick; Volker Weber (CoRR, 2009)

Temporal Logics on Words with Multiple Data Values. - Ahmet Kara 002; Thomas Schwentick; Thomas Zeume (FSTTCS, 2010)

Extending Büchi Automata with Constraints on Data Values - Ahmet Kara 002; Tony Tan (CoRR, 2010)

Expressiveness of Hybrid Temporal Logic on Data Words. - Ahmet Kara 002; Thomas Schwentick (M4M/LAMAS, 2011)

Feasible Automata for Two-Variable Logic with Successor on Data Words. - Ahmet Kara 002; Thomas Schwentick; Tony Tan (LATA, 2012)

Dynamic Communicating Automata and Branching High-Level MSCs. - Benedikt Bollig; Aiswarya Cyriac; Loïc Hélouët; Ahmet Kara 002; Thomas Schwentick (LATA, 2013)

Verification of Dynamic Register Automata. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmet Kara 002; Othmane Rezine (FSTTCS, 2014)

Verification of Buffered Dynamic Register Automata. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmet Kara 002; Othmane Rezine (NETYS, 2015)

Logics on data words: Expressivity, satisfiability, model checking. - Ahmet Kara 002 (2016)

Counting Triangles under Updates. - Ahmet Kara 002; Hung Q. Ngo 001; Milos Nikolic 001; Dan Olteanu; Haozhe Zhang 001 (AMW, 2018)

Incremental Techniques for Large-Scale Dynamic Query Processing. - Iman Elghandour; Ahmet Kara 002; Dan Olteanu; Stijn Vansummeren (CIKM, 2018)

Covers of Query Results. - Ahmet Kara 002; Dan Olteanu (ICDT, 2018)

Counting Triangles under Updates in Worst-Case Optimal Time. - Ahmet Kara 002; Hung Q. Ngo 001; Milos Nikolic 001; Dan Olteanu; Haozhe Zhang 001 (ICDT, 2019)

F-IVM: Learning over Fast-Evolving Relational Data. - Milos Nikolic 001; Haozhe Zhang 001; Ahmet Kara 002; Dan Olteanu (SIGMOD Conference, 2020)

Maintaining Triangle Queries under Updates. - Ahmet Kara 002; Hung Q. Ngo 001; Milos Nikolic 001; Dan Olteanu; Haozhe Zhang 001 (ACM Trans. Database Syst., 2020)

Machine learning over static and dynamic relational data. - Ahmet Kara 002; Milos Nikolic 001; Dan Olteanu; Haozhe Zhang 001 (DEBS, 2021)

Conjunctive Queries with Output Access Patterns under Updates. - Ahmet Kara 002; Milos Nikolic 001; Dan Olteanu; Haozhe Zhang 001 (CoRR, 2022)

Evaluation Trade-Offs for Acyclic Conjunctive Queries. - Ahmet Kara 002; Milos Nikolic 001; Dan Olteanu; Haozhe Zhang 001 (CSL, 2023)

Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries. - Ahmet Kara 002; Milos Nikolic 001; Dan Olteanu; Haozhe Zhang 001 (Log. Methods Comput. Sci., 2023)

Demonstrating ADOPT: Adaptively Optimizing Attribute Orders for Worst-Case Optimal Joins via Reinforcement Learning. - Junxiong Wang; Mitchell Gray; Immanuel Trummer; Ahmet Kara 002; Dan Olteanu (Proc. VLDB Endow., 2023)

ADOPT: Adaptively Optimizing Attribute Orders for Worst-Case Optimal Join Algorithms via Reinforcement Learning. - Junxiong Wang; Immanuel Trummer; Ahmet Kara 002; Dan Olteanu (Proc. VLDB Endow., 2023)

From Shapley Value to Model Counting and Back. - Ahmet Kara 002; Dan Olteanu; Dan Suciu (Proc. ACM Manag. Data, 2024)

Banzhaf Values for Facts in Query Answering. - Omer Abramovich; Daniel Deutch; Nave Frost; Ahmet Kara 002; Dan Olteanu (Proc. ACM Manag. Data, 2024)

F-IVM: analytics over relational databases under updates. - Ahmet Kara 002; Milos Nikolic 001; Dan Olteanu; Haozhe Zhang 001 (VLDB J., 2024)

Insert-Only versus Insert-Delete in Dynamic Query Evaluation. - Mahmoud Abo Khamis; Ahmet Kara 002; Dan Olteanu; Dan Suciu (Proc. ACM Manag. Data, 2024)

Tractable Conjunctive Queries over Static and Dynamic Relations. - Ahmet Kara 002; Zheng Luo; Milos Nikolic 001; Dan Olteanu; Haozhe Zhang 001 (ICDT, 2025)

Conjunctive Queries with Free Access Patterns under Updates. - Ahmet Kara 002; Milos Nikolic 001; Dan Olteanu; Haozhe Zhang 001 (Log. Methods Comput. Sci., 2025)

PACMMOD, V3, N2 (PODS), May 2025 Editorial. - Nofar Carmeli; Floris Geerts; Ahmet Kara 002; Benny Kimelfeld (Proc. ACM Manag. Data, 2025)

Output-Sensitive Evaluation of Regular Path Queries. - Mahmoud Abo Khamis; Ahmet Kara 002; Dan Olteanu; Dan Suciu (Proc. ACM Manag. Data, 2025)

Advancing Fact Attribution for Query Answering: Aggregate Queries and Novel Algorithms. - Omer Abramovich; Daniel Deutch; Nave Frost; Ahmet Kara 002; Dan Olteanu (CoRR, 2025)