Ahmet Kara

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
c4		Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick: Dynamic Communicating Automata and Branching High-Level MSCs. LATA 2013: 177-189
	2012
j2		Fatih Deniz, M. Nedim Alpdemir, Ahmet Kara, Halit Oguztüzün: Supporting dynamic simulations with Simulation Modeling Architecture (SiMA): a Discrete Event System Specification-based modeling and simulation framework. Simulation 88(6): 707-730 (2012)
c3		Ahmet Kara, Thomas Schwentick, Tony Tan: Feasible Automata for Two-Variable Logic with Successor on Data Words. LATA 2012: 351-362
	2011
j1		Ahmet Kara, Thomas Schwentick: Expressiveness of Hybrid Temporal Logic on Data Words. Electr. Notes Theor. Comput. Sci. 278: 115-128 (2011)
i4		Ahmet Kara, Thomas Schwentick, Tony Tan: Feasible Automata for Two-Variable Logic with Successor on Data Words. CoRR abs/1110.1221 (2011)
	2010
c2		Ahmet Kara, Thomas Schwentick, Thomas Zeume: Temporal Logics on Words with Multiple Data Values. FSTTCS 2010: 481-492
i3		Ahmet Kara, Thomas Schwentick, Thomas Zeume: Temporal Logics on Words with Multiple Data Values. CoRR abs/1010.1139 (2010)
i2		Ahmet Kara, Tony Tan: Extending Büchi Automata with Constraints on Data Values. CoRR abs/1012.5439 (2010)
	2009
c1		Ahmet Kara, Volker Weber, Martin Lange, Thomas Schwentick: On the Hybrid Extension of CTL and CTL⁺. MFCS 2009: 427-438
i1		Ahmet Kara, Martin Lange, Thomas Schwentick, Volker Weber: On the Hybrid Extension of CTL and CTL+. CoRR abs/0906.2541 (2009)

Coauthor Index

Last update Fri May 24 08:11:27 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page