 | 2012 |
|---|
| 8 |       | Ahmet Kara,
Thomas Schwentick,
Tony Tan:
Feasible Automata for Two-Variable Logic with Successor on Data Words.
LATA 2012: 351-362 |
| 2011 |
|---|
| 7 | | Ahmet Kara,
Thomas Schwentick,
Tony Tan:
Feasible Automata for Two-Variable Logic with Successor on Data Words
CoRR abs/1110.1221: (2011) |
| 6 | | Ahmet Kara,
Thomas Schwentick:
Expressiveness of Hybrid Temporal Logic on Data Words.
Electr. Notes Theor. Comput. Sci. 278: 115-128 (2011) |
| 2010 |
|---|
| 5 | | Ahmet Kara,
Thomas Schwentick,
Thomas Zeume:
Temporal Logics on Words with Multiple Data Values.
FSTTCS 2010: 481-492 |
| 4 | | Ahmet Kara,
Thomas Schwentick,
Thomas Zeume:
Temporal Logics on Words with Multiple Data Values
CoRR abs/1010.1139: (2010) |
| 3 | | Ahmet Kara,
Tony Tan:
Extending Büchi Automata with Constraints on Data Values
CoRR abs/1012.5439: (2010) |
| 2009 |
|---|
| 2 | | Ahmet Kara,
Volker Weber,
Martin Lange,
Thomas Schwentick:
On the Hybrid Extension of CTL and CTL+.
MFCS 2009: 427-438 |
| 1 | | Ahmet Kara,
Martin Lange,
Thomas Schwentick,
Volker Weber:
On the Hybrid Extension of CTL and CTL+
CoRR abs/0906.2541: (2009) |
Data released under the ODC-BY 1.0 license — See also our legal information page