16 citations · 34 across the 9 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2010★ 2 cited
Extending Büchi Automata with Constraints on Data Values
Ahmet Kara, Tony Tan
Recently data trees and data words have received considerable amount of attention in connection with XML reasoning and system verification. These are trees or words that, in additi…
cs.LO2010★ 16 cited
Temporal Logics on Words with Multiple Data Values
Ahmet Kara, Thomas Schwentick, Thomas Zeume
The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position. It considers a basic logic…
cs.LO2009★ 9 cited
On the Hybrid Extension of CTL and CTL+
Ahmet Kara, Martin Lange, Thomas Schwentick +1
The paper studies the expressivity, relative succinctness and complexity of satisfiability for hybrid extensions of the branching-time logics CTL and CTL+ by variables. Previous co…