Affine Extensions of Integer Vector Addition Systems with States
Blondin, Michael, Haase, Christoph, Mazowiecki, Filip, Raskin, Mikhail
Published in Logical methods in computer science (01.01.2021)
Published in Logical methods in computer science (01.01.2021)
Get full text
Journal Article
The Power of Priority Channel Systems
Haase, Christoph, Schmitz, Sylvain, Schnoebelen, Philippe
Published in Logical methods in computer science (03.12.2014)
Published in Logical methods in computer science (03.12.2014)
Get full text
Journal Article
An intronic deletion in megakaryoblastic leukemia 1 is associated with hyperproliferation of B cells in triplets with Hodgkin lymphoma
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)
Published in Haematologica (Roma) (01.05.2020)
Get full text
Journal Article
Context-free commutative grammars with integer counters and resets
Chistikov, Dmitry, Haase, Christoph, Halfon, Simon
Published in Theoretical computer science (29.07.2018)
Published in Theoretical computer science (29.07.2018)
Get full text
Journal Article
Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests
Haase, Christoph, Zetzsche, Georg
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Logics for continuous reachability in Petri nets and vector addition systems with states
Blondin, Michael, Haase, Christoph
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields
Guepin, Florent, Haase, Christoph, Worrell, James
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Preface
Bojańczyk, Mikołaj, Brihaye, Thomas, Haase, Christoph, Lasota, Sławomir, Ouaknine, Joel, Potapov, Igor
Published in Information and computation (01.04.2021)
Published in Information and computation (01.04.2021)
Get full text
Journal Article