# Ahmet Kara

According to our database

Collaborative distances:

^{1}, 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