@article(DBLP:journals/tcs/AlurD94, author = "Rajeev Alur and David L. Dill", year = "1994", title = "A Theory of Timed Automata", journal = "Theor. Comput. Sci.", volume = "126", number = "2", pages = "183--235", url = "http://dx.doi.org/10.1016/0304-3975(94)90010-8", ) @article(DBLP:journals/iandc/AlurH93, author = "Rajeev Alur and Thomas A. Henzinger", year = "1993", title = "Real-Time Logics: Complexity and Expressiveness", journal = "Inf. Comput.", volume = "104", number = "1", pages = "35--77", url = "http://dx.doi.org/10.1006/inco.1993.1025", ) @article(DBLP:journals/jacm/AlurH94, author = "Rajeev Alur and Thomas A. Henzinger", year = "1994", title = "A Really Temporal Logic", journal = "J. ACM", volume = "41", number = "1", pages = "181--204", url = "http://doi.acm.org/10.1145/174644.174651", ) @article(DBLP:journals/tocl/BojanczykDMSS11, author = "Mikolaj Bojanczyk and Claire David and Anca Muscholl and Thomas Schwentick and Luc Segoufin", year = "2011", title = "Two-variable logic on data words", journal = "ACM Trans. Comput. Log.", volume = "12", number = "4", pages = "27", url = "http://doi.acm.org/10.1145/1970398.1970403", ) @inproceedings(DBLP:conf/concur/Bollig11, author = "Benedikt Bollig", year = "2011", title = "An Automaton over Data Words That Captures EMSO Logic", editor = "Katoen and K{\"o}nig", pages = "171--186", url = "http://dx.doi.org/10.1007/978-3-642-23217-6_12", ) @inproceedings(DBLP:conf/fossacs/BolligCGK12, author = "Benedikt Bollig and Aiswarya Cyriac and Paul Gastin and K. Narayan Kumar", year = "2012", title = "Model Checking Languages of Data Words", editor = "Lars Birkedal", booktitle = "FoSSaCS", series = "LNCS", volume = "7213", publisher = "Springer", pages = "391--405", url = "http://dx.doi.org/10.1007/978-3-642-28729-9_26", ) @article(DBLP:journals/ipl/Bouyer02, author = "Patricia Bouyer", year = "2002", title = "A logical characterization of data languages", journal = "Inf. Process. Lett.", volume = "84", number = "2", pages = "75--85", url = "http://dx.doi.org/10.1016/S0020-0190(02)00229-6", ) @article(DBLP:journals/iandc/BouyerCM10, author = "Patricia Bouyer and Fabrice Chevalier and Nicolas Markey", year = "2010", title = "On the expressiveness of {TPTL} and {MTL}", journal = "Inf. Comput.", volume = "208", number = "2", pages = "97--116", url = "http://dx.doi.org/10.1016/j.ic.2009.10.004", ) @inproceedings(DBLP:conf/lata/CarapelleFGQ14, author = "Claudia Carapelle and Shiguang Feng and Oliver Fernandez Gil and Karin Quaas", year = "2014", title = "Satisfiability for MTL and TPTL over Non-monotonic Data Words", booktitle = "LATA", pages = "248--259", url = "http://dx.doi.org/10.1007/978-3-319-04921-2_20", ) @article(DBLP:journals/tocl/DemriL09, author = "St{\'e}phane Demri and Ranko Lazic", year = "2009", title = "{LTL} with the freeze quantifier and register automata", journal = "ACM Trans. Comput. Log.", volume = "10", number = "3", url = "http://doi.acm.org/10.1145/1507244.1507246", ) @article(DBLP:journals/iandc/DemriLN07, author = "St{\'e}phane Demri and Ranko Lazic and David Nowak", year = "2007", title = "On the freeze quantifier in Constraint {LTL}: Decidability and complexity", journal = "Inf. Comput.", volume = "205", number = "1", pages = "2--24", url = "http://dx.doi.org/10.1016/j.ic.2006.08.003", ) @inproceedings(DBLP:conf/fossacs/DemriLS08, author = "St{\'e}phane Demri and Ranko Lazic and Arnaud Sangnier", year = "2008", title = "Model Checking Freeze {LTL} over One-Counter Automata", editor = "Roberto M. Amadio", booktitle = "FoSSaCS", series = "LNCS", volume = "4962", publisher = "Springer", pages = "490--504", url = "http://dx.doi.org/10.1007/978-3-540-78499-9_34", ) @inproceedings(DBLP:conf/fossacs/DemriS10, author = "St{\'e}phane Demri and Arnaud Sangnier", year = "2010", title = "When Model-Checking Freeze {LTL} over Counter Machines Becomes Decidable", editor = "C.-H. Luke Ong", booktitle = "FOSSACS", series = "LNCS", volume = "6014", publisher = "Springer", pages = "176--190", url = "http://dx.doi.org/10.1007/978-3-642-12032-9_13", ) @inproceedings(DBLP:conf/lics/EtessamiW96, author = "Kousha Etessami and Thomas Wilke", year = "1996", title = "An Until Hierarchy for Temporal Logic", booktitle = "LICS", publisher = "IEEE Computer Society", pages = "108--117", url = "http://doi.ieeecomputersociety.org/10.1109/LICS.1996.561310", ) @proceedings(DBLP:conf/concur/2011, editor = "Joost-Pieter Katoen and Barbara K{\"o}nig", year = "2011", title = "CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings", series = "LNCS", volume = "6901", publisher = "Springer", url = "http://dx.doi.org/10.1007/978-3-642-23217-6", ) @article(DBLP:journals/rts/Koymans90, author = "Ron Koymans", year = "1990", title = "Specifying Real-Time Properties with Metric Temporal Logic", journal = "Real-Time Systems", volume = "2", number = "4", pages = "255--299", url = "http://dx.doi.org/10.1007/BF01995674", ) @inproceedings(DBLP:conf/concur/PandyaS11, author = "Paritosh K. Pandya and Simoni S. Shah", year = "2011", title = "On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing", editor = "Katoen and K{\"o}nig", pages = "60--75", url = "http://dx.doi.org/10.1007/978-3-642-23217-6_5", ) @inproceedings(DBLP:conf/csl/Segoufin06, author = "Luc Segoufin", year = "2006", title = "Automata and Logics for Words and Trees over an Infinite Alphabet", editor = "Zolt{\'a}n {\'E}sik", booktitle = "CSL", series = "LNCS", volume = "4207", publisher = "Springer", pages = "41--57", url = "http://dx.doi.org/10.1007/11874683_3", )