by Blondin, Michael, Haase, Christoph, Mazowiecki, Filip, Raskin, Mikhail
Published in Logical methods in computer science (01.01.2021)

by Dethlefsen, Frank, Haase, Christoph, Ebert, Markus, Dahmke, Andreas
Published in Environmental earth sciences (01.02.2012)

by Haase, Christoph, Schmitz, Sylvain, Schnoebelen, Philippe
Published in Logical methods in computer science (03.12.2014)

by Haase, Christoph, Orlova, Natalia, Head, Joel Cameron
Year of Publication 2015

by Haase, Christoph, Orlova, Natalia, Orlova, Natalia
Year of Publication 2014

by Record, Julien, Sendel, Anton, Kritikou, Joanna S, Kuznetsov, Nikolai V, Brauner, Hanna, He, Minghui, Nagy, Noemi, Oliveira, Mariana M S, Griseti, Elena, Haase, Christoph B, Dahlström, Jenny, Boddul, Sanjaykumar, Wermeling, Fredrik, Thrasher, Adrian J, Liu, Chaohong, Andersson, John, Claesson, Hans-Erik, Winqvist, Ola, Burns, Siobhan O, Björkholm, Magnus, Westerberg, Lisa S
Published in Haematologica (Roma) (01.05.2020)

by Schmied, Josef, Haase, Christoph
Year of Publication 2013

by Haase, Christoph, Halfon, Simon
Published in Reachability Problems

by Chistikov, Dmitry, Haase, Christoph, Halfon, Simon
Published in Theoretical computer science (29.07.2018)

by Haase, Christoph, Kiefer, Stefan
Published in Information processing letters (01.02.2016)

by Haase, Christoph, Zetzsche, Georg
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)

by Haase, Christoph, Kiefer, Stefan
Published in Automata, Languages, and Programming

by Blondin, Michael, Haase, Christoph
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)

by Haase, Christoph, Ebert, Markus, Dethlefsen, Frank
Published in Applied geochemistry (01.04.2016)

by Haase, Christoph
Published in Discourse and Interaction (15.12.2015)

by Guepin, Florent, Haase, Christoph, Worrell, James
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)

by Haase, Christoph
Published in Discourse and Interaction (30.06.2014)

by Bojańczyk, Mikołaj, Brihaye, Thomas, Haase, Christoph, Lasota, Sławomir, Ouaknine, Joel, Potapov, Igor
Published in Information and computation (01.04.2021)

by Blondin, Michael, Finkel, Alain, Haase, Christoph, Haddad, Serge
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Blondin, Michael, Finkel, Alain, Goller, Stefan, Haase, Christoph, McKenzie, Pierre
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)