http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Elberfeld, M. (Corresponding author)RWTH* ; Frickenschmidt, M. M. L. (Corresponding author) ; Grohe, M. (Corresponding author)RWTH*
Order Invariance on Decomposable Structures
2016Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar
31. Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, New YorkNew York, USA, 5 Jul 2016 - 8 Jul 20162016-07-052016-07-08 New York, NY : ACM Press 397-406 (2016) [10.1145/2933575.2934517]2016   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Kiefer, S.RWTH* ; Schweitzer, P. (Corresponding author)RWTH*
Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic
2016Proceedings of the 31st Annual ACMIEEE Symposium on Logic in Computer Science / Grohe, MartinProceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar
31. Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NYNew York, NY, USA, 5 Jul 2016 - 8 Jul 20162016-07-052016-07-08 New York, NY : ACM Press 287-296 (2016) [10.1145/2933575.2933595]2016   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Carayol, A. (Corresponding author) ; Löding, C. (Corresponding author)RWTH* ; Serre, O. (Corresponding author)
Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings
2016Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar
31. Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NYNew York, NY, USA, 5 Jul 2016 - 8 Jul 20162016-07-052016-07-08 New York, NY : ACM Press 227-236 (2016) [10.1145/2933575.2934504]2016   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Katoen, J.-P. (Corresponding author)RWTH*
The Probabilistic Model Checking Landscape
2016Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar
31. Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NYNew York, NY, USA, 5 Jul 2016 - 8 Jul 20162016-07-052016-07-08 New York, NY : ACM Press 31-45 (2016) [10.1145/2933575.2934574]2016   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Chakraborty, S. (Corresponding author)RWTH* ; Katoen, J.-P.RWTH*
On the Satisfiability of Some Simple Probabilistic Logics
2016Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar
31. Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NYNew York, NY, USA, 5 Jul 2016 - 8 Jul 20162016-07-052016-07-08 New York, NY : ACM Press 56-65 (2016) [10.1145/2933575.2934526]2016   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Olmedo Beron, F. (Corresponding author)RWTH* ; Kaminski, B. L. (Corresponding author)RWTH* ; Katoen, J.-P. (Corresponding author)RWTH* ; Matheja, C. (Corresponding author)RWTH*
Reasoning about Recursive Probabilistic Programs
2016Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar
31. Annual ACM/IEEE Symposium, New YorkNew York, USA, 5 Jul 2016 - 8 Jul 20162016-07-052016-07-08 New York, NY : ACM Press 672-681 (2016) [10.1145/2933575.2935317]2016   BibTeX | EndNote: XML, Text | RIS