Follow
Ahmet Kara
Ahmet Kara
Verified email at ifi.uzh.ch
Title
Cited by
Cited by
Year
Counting triangles under updates in worst-case optimal time
A Kara, HQ Ngo, M Nikolic, D Olteanu, H Zhang
arXiv preprint arXiv:1804.02780, 2018
412018
Temporal logics on words with multiple data values
A Kara, T Schwentick, T Zeume
arXiv preprint arXiv:1010.1139, 2010
392010
Trade-offs in static and dynamic evaluation of hierarchical queries
A Kara, M Nikolic, D Olteanu, H Zhang
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2020
342020
Maintaining triangle queries under updates
A Kara, HQ Ngo, M Nikolic, D Olteanu, H Zhang
ACM Transactions on Database Systems (TODS) 45 (3), 1-46, 2020
202020
Feasible automata for two-variable logic with successor on data words
A Kara, T Schwentick, T Tan
Language and Automata Theory and Applications: 6th International Conference …, 2012
192012
Dynamic communicating automata and branching high-level MSCs
B Bollig, A Cyriac, L Hélouët, A Kara, T Schwentick
Language and Automata Theory and Applications: 7th International Conference …, 2013
172013
F-IVM: learning over fast-evolving relational data
M Nikolic, H Zhang, A Kara, D Olteanu
Proceedings of the 2020 ACM SIGMOD International Conference on Management of …, 2020
152020
On the Hybrid Extension of CTL and CTL + 
A Kara, V Weber, M Lange, T Schwentick
Mathematical Foundations of Computer Science 2009: 34th International …, 2009
142009
Logics on data words
A Kara
132016
Logics on data words
A Kara
132016
Covers of query results
A Kara, D Olteanu
arXiv preprint arXiv:1709.01600, 2017
122017
Verification of dynamic register automata
PA Abdulla, MF Atig, A Kara, O Rezine
IARCS Annual Conference on Foundations of Software Technology and …, 2014
122014
Incremental techniques for large-scale dynamic query processing
I Elghandour, A Kara, D Olteanu, S Vansummeren
Proceedings of the 27th ACM International Conference on Information and …, 2018
52018
Conjunctive queries with free access patterns under updates
A Kara, M Nikolic, D Olteanu, H Zhang
arXiv preprint arXiv:2206.09032, 2022
42022
Verification of buffered dynamic register automata
PA Abdulla, MF Atig, A Kara, O Rezine
Networked Systems: Third International Conference, NETYS 2015, Agadir …, 2015
42015
Expressiveness of hybrid temporal logic on data words
A Kara, T Schwentick
Electronic Notes in Theoretical Computer Science 278, 115-128, 2011
32011
Extending B\" uchi Automata with Constraints on Data Values
A Kara, T Tan
arXiv preprint arXiv:1012.5439, 2010
32010
Machine learning over static and dynamic relational data
A Kara, M Nikolic, D Olteanu, H Zhang
Proceedings of the 15th ACM International Conference on Distributed and …, 2021
22021
F-IVM: analytics over relational databases under updates
A Kara, M Nikolic, D Olteanu, H Zhang
The VLDB Journal, 1-27, 2023
12023
Banzhaf Values for Facts in Query Answering
O Abramovich, D Deutch, N Frost, A Kara, D Olteanu
arXiv preprint arXiv:2308.05588, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20