BibTeX records: Markus Latte

download as .bib file

@article{DBLP:journals/mscs/Latte21,
  author       = {Markus Latte},
  title        = {Branching-time logics and fairness, revisited},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {31},
  number       = {9},
  pages        = {1135--1144},
  year         = {2021},
  url          = {https://doi.org/10.1017/S0960129521000475},
  doi          = {10.1017/S0960129521000475},
  timestamp    = {Mon, 08 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Latte21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/LatteN15,
  author       = {Markus Latte and
                  Matthias Niewerth},
  editor       = {Giuseppe F. Italiano and
                  Giovanni Pighizzini and
                  Donald Sannella},
  title        = {Definability by Weakly Deterministic Regular Expressions with Counters
                  is Decidable},
  booktitle    = {Mathematical Foundations of Computer Science 2015 - 40th International
                  Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9234},
  pages        = {369--381},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48057-1\_29},
  doi          = {10.1007/978-3-662-48057-1\_29},
  timestamp    = {Sun, 02 Jun 2019 21:25:38 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LatteN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/LatteL14,
  author       = {Markus Latte and
                  Martin Lange},
  title        = {Branching-time logics with path relativisation},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {80},
  number       = {2},
  pages        = {375--389},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.jcss.2013.05.005},
  doi          = {10.1016/J.JCSS.2013.05.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/LatteL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/FriedmannLL13,
  author       = {Oliver Friedmann and
                  Markus Latte and
                  Martin Lange},
  title        = {Satisfiability Games for Branching-Time Logics},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {9},
  number       = {4},
  year         = {2013},
  url          = {https://doi.org/10.2168/LMCS-9(4:5)2013},
  doi          = {10.2168/LMCS-9(4:5)2013},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FriedmannLL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/LatteL12,
  author       = {Markus Latte and
                  Martin Lange},
  editor       = {Bernhard Gramlich and
                  Dale Miller and
                  Uli Sattler},
  title        = {Branching Time? Pruning Time!},
  booktitle    = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
                  2012, Manchester, UK, June 26-29, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7364},
  pages        = {393--407},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31365-3\_31},
  doi          = {10.1007/978-3-642-31365-3\_31},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/LatteL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-1242,
  author       = {Markus Latte},
  editor       = {Giovanna D'Agostino and
                  Salvatore La Torre},
  title        = {Separation of Test-Free Propositional Dynamic Logics over Context-Free
                  Languages},
  booktitle    = {Proceedings of Second International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
                  June 2011},
  series       = {{EPTCS}},
  volume       = {54},
  pages        = {207--221},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.54.15},
  doi          = {10.4204/EPTCS.54.15},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-1242.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FriedmannLL10,
  author       = {Oliver Friedmann and
                  Markus Latte and
                  Martin Lange},
  editor       = {J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle},
  title        = {A Decision Procedure for CTL\({}^{\mbox{*}}\) Based on Tableaux and
                  Automata},
  booktitle    = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
                  Edinburgh, UK, July 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6173},
  pages        = {331--345},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14203-1\_28},
  doi          = {10.1007/978-3-642-14203-1\_28},
  timestamp    = {Wed, 25 Sep 2019 18:19:14 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/FriedmannLL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AxelssonHKLL10,
  author       = {Roland Axelsson and
                  Matthew Hague and
                  Stephan Kreutzer and
                  Martin Lange and
                  Markus Latte},
  editor       = {Christian G. Ferm{\"{u}}ller and
                  Andrei Voronkov},
  title        = {Extended Computation Tree Logic},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
                  International Conference, LPAR-17, Yogyakarta, Indonesia, October
                  10-15, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6397},
  pages        = {67--81},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16242-8\_6},
  doi          = {10.1007/978-3-642-16242-8\_6},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AxelssonHKLL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/LangeL10,
  author       = {Martin Lange and
                  Markus Latte},
  editor       = {Anuj Dawar and
                  Ruy J. G. B. de Queiroz},
  title        = {A CTL-Based Logic for Program Abstractions},
  booktitle    = {Logic, Language, Information and Computation, 17th International Workshop,
                  WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6188},
  pages        = {19--33},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13824-9\_2},
  doi          = {10.1007/978-3-642-13824-9\_2},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/LangeL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1006-3709,
  author       = {Roland Axelsson and
                  Matthew Hague and
                  Stephan Kreutzer and
                  Martin Lange and
                  Markus Latte},
  title        = {Extended Computation Tree Logic},
  journal      = {CoRR},
  volume       = {abs/1006.3709},
  year         = {2010},
  url          = {http://arxiv.org/abs/1006.3709},
  eprinttype    = {arXiv},
  eprint       = {1006.3709},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-3709.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.