Ahmet Kara

According to our database1, Ahmet Kara authored at least 11 papers between 2009 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
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

2016
Logics on data words: Expressivity, satisfiability, model checking.
PhD thesis, 2016

2015
Verification of Buffered Dynamic Register Automata.
Proceedings of the Networked Systems - Third International Conference, 2015

2014
Verification of Dynamic Register Automata.
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.
Proceedings of the Language and Automata Theory and Applications, 2013

2012
Feasible Automata for Two-Variable Logic with Successor on Data Words.
Proceedings of the Language and Automata Theory and Applications, 2012

2011
Expressiveness of Hybrid Temporal Logic on Data Words.
Electr. Notes Theor. Comput. Sci., 2011

2010
Temporal Logics on Words with Multiple Data Values.
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+.
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009


  Loading...