Ahmet Kara

According to our database1, Ahmet Kara
  • authored at least 14 papers between 2009 and 2018.
  • has a "Dijkstra number"2 of five.

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

2017
Covers of Query Results.
CoRR, 2017

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

Feasible Automata for Two-Variable Logic with Successor on Data Words
CoRR, 2011

2010
Extending Büchi Automata with Constraints on Data Values
CoRR, 2010

Temporal Logics on Words with Multiple Data Values
CoRR, 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+
CoRR, 2009

On the Hybrid Extension of CTL and CTL+.
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009


  Loading...