2017

2016

2015

2014

2013

  1. Benedikt Bollig, Aiswarya Cyriac, Lo{\"ı}c Hélouët, Ahmet Kara and Thomas Schwentick.
    Dynamic Communicating Automata and Branching High-Level MSCs.
    In Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. 2013, 177–189.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/lata/BolligCHKS13,
    	author = {Benedikt Bollig and Aiswarya Cyriac and Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and Ahmet Kara and Thomas Schwentick},
    	title = "Dynamic Communicating Automata and Branching High-Level MSCs",
    	booktitle = "Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings",
    	pages = "177--189",
    	year = 2013,
    	crossref = "DBLP:conf/lata/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-37064-9_17",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BolligCHKDynamic13.pdf",
    	doi = "10.1007/978-3-642-37064-9_17",
    	timestamp = "Tue, 11 Nov 2014 16:50:37 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/BolligCHKS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2012

  1. Ahmet Kara, Thomas Schwentick and Tony Tan.
    Feasible Automata for Two-Variable Logic with Successor on Data Words.
    In Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. 2012, 351–362.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/lata/KaraST12,
    	author = "Ahmet Kara and Thomas Schwentick and Tony Tan",
    	title = "Feasible Automata for Two-Variable Logic with Successor on Data Words",
    	booktitle = "Language and Automata Theory and Applications - 6th International Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012. Proceedings",
    	year = 2012,
    	pages = "351--362",
    	crossref = "DBLP:conf/lata/2012",
    	url = "http://dx.doi.org/10.1007/978-3-642-28332-1_30",
    	doi = "10.1007/978-3-642-28332-1_30",
    	timestamp = "Tue, 18 Nov 2014 21:28:37 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/KaraST12",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2011

  1. Ahmet Kara and Thomas Schwentick.
    Expressiveness of Hybrid Temporal Logic on Data Words.
    Electr. Notes Theor. Comput. Sci. 278:115–128, 2011.
    URL, DOI BibTeX

    @article{DBLP:journals/entcs/KaraS11,
    	author = "Ahmet Kara and Thomas Schwentick",
    	title = "Expressiveness of Hybrid Temporal Logic on Data Words",
    	journal = "Electr. Notes Theor. Comput. Sci.",
    	year = 2011,
    	volume = 278,
    	pages = "115--128",
    	url = "http://dx.doi.org/10.1016/j.entcs.2011.10.010",
    	doi = "10.1016/j.entcs.2011.10.010",
    	timestamp = "Tue, 18 Nov 2014 21:28:54 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/entcs/KaraS11",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2010

  1. Ahmet Kara, Thomas Schwentick and Thomas Zeume.
    Temporal Logics on Words with Multiple Data Values.
    CoRR abs/1010.1139, 2010.
    URL BibTeX

    @article{DBLP:journals/corr/abs-1010-1139,
    	author = "Ahmet Kara and Thomas Schwentick and Thomas Zeume",
    	title = "Temporal Logics on Words with Multiple Data Values",
    	journal = "CoRR",
    	year = 2010,
    	volume = "abs/1010.1139",
    	url = "http://arxiv.org/abs/1010.1139",
    	timestamp = "Tue, 18 Nov 2014 21:31:09 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1010-1139",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Ahmet Kara, Thomas Schwentick and Thomas Zeume.
    Temporal Logics on Words with Multiple Data Values.
    In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. 2010, 481–492.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/fsttcs/KaraSZ10,
    	author = "Ahmet Kara and Thomas Schwentick and Thomas Zeume",
    	title = "Temporal Logics on Words with Multiple Data Values",
    	booktitle = "{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India",
    	year = 2010,
    	pages = "481--492",
    	crossref = "DBLP:conf/fsttcs/2010",
    	url = "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.481",
    	doi = "10.4230/LIPIcs.FSTTCS.2010.481",
    	timestamp = "Tue, 18 Nov 2014 21:30:41 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/fsttcs/KaraSZ10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2008

2007