According to our database1, Ahmet Kara authored at least 11 papers between 2009 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
Logics on data words: Expressivity, satisfiability, model checking.
PhD thesis, 2016
Verification of Buffered Dynamic Register Automata.
Proceedings of the Networked Systems - Third International Conference, 2015
Verification of Dynamic Register Automata.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
Dynamic Communicating Automata and Branching High-Level MSCs.
Proceedings of the Language and Automata Theory and Applications, 2013
Feasible Automata for Two-Variable Logic with Successor on Data Words.
Proceedings of the Language and Automata Theory and Applications, 2012
Expressiveness of Hybrid Temporal Logic on Data Words.
Electr. Notes Theor. Comput. Sci., 2011
Temporal Logics on Words with Multiple Data Values.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
On the Hybrid Extension of CTL and CTL+.
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009