Следене
Ahmet Kara
Ahmet Kara
Потвърден имейл адрес: ifi.uzh.ch
Заглавие
Позовавания
Позовавания
Година
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
442018
Temporal logics on words with multiple data values
A Kara, T Schwentick, T Zeume
arXiv preprint arXiv:1010.1139, 2010
412010
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
372020
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
242020
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
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
182020
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
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
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
Conjunctive queries with free access patterns under updates
A Kara, M Nikolic, D Olteanu, H Zhang
arXiv preprint arXiv:2206.09032, 2022
62022
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
62018
Verification of buffered dynamic register automata
PA Abdulla, MF Atig, A Kara, O Rezine
Networked Systems: Third International Conference, NETYS 2015, Agadir …, 2015
42015
F-IVM: analytics over relational databases under updates
A Kara, M Nikolic, D Olteanu, H Zhang
The VLDB Journal, 1-27, 2023
32023
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
32021
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
Banzhaf Values for Facts in Query Answering
O Abramovich, D Deutch, N Frost, A Kara, D Olteanu
Proceedings of the ACM on Management of Data 2 (3), 1-26, 2024
22024
From Shapley Value to Model Counting and Back
A Kara, D Olteanu, D Suciu
Proceedings of the ACM on Management of Data 2 (2), 1-23, 2024
22024
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20