16 citations · 34 across the 9 of their papers we have counts for
Showing 2010Show all
2 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…