by STENZEL, Melanie, WEINMANN, Markus, JOHANNSEN, Jan, SCHNITTER, Christoph
Year of Publication 03.10.2024

by Johannsen, Jan, Weinmann, Markus, Stenzel, Melanie, Schnitter, Christoph
Year of Publication 02.10.2024

by HUEBNER, ARMIN, JOHANNSEN, JAN
Year of Publication 01.03.2019

by JOHANNSEN JAN, HUBNER ARMIN
Year of Publication 01.02.2019

by Johannsen, Jan, Hübner, Armin
Year of Publication 31.01.2019

by Bonet, Maria Luisa, Buss, Sam, Johannsen, Jan
Year of Publication 12.08.2012

by Degen, Wolfgang, Johannsen, Jan
Published in Mathematical logic quarterly (01.05.2000)

by Johannsen, Jan
Published in Archive for mathematical logic (01.03.1994)

by Johannsen, Jan
Published in SAT 2005 (2006)

by BONET, Maria Luisa, ESTEBAN, Juan Luis, GALESI, Nicola, JOHANNSEN, Jan
Published in SIAM journal on computing (2001)

by Buss, Samuel R, Hoffmann, Jan, Johannsen, Jan
Published in arXiv.org (05.12.2008)

by Reuße, Maik, Johannsen, Jan, Hübner, Armin, Nickol, Friedrich W, Behnke, Lucie, Panckow, Andreas Norbert
Year of Publication 10.03.2022

by Bonet, Maria Luisa, Buss, Sam, Johannsen, Jan
Published in arXiv.org (12.08.2012)

by Aehlig, Klaus, Johannsen, Jan
Year of Publication 25.10.2002

by Jehle, Markus, Johannsen, Jan, Lange, Martin, Rachinsky, Nicolas
Published in Electronic notes in theoretical computer science (11.01.2006)

by Johannsen, J., Pollett, C.
Published in Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) (1998)

by Aehlig, Klaus, Johannsen, Jan
Published in arXiv.org (18.03.2004)

by Reuße, Maik, Johannsen, Jan, Hübner, Armin, Nickol, Friedrich W, Behnke, Lucie, Panckow, Andreas Norbert
Year of Publication 08.02.2018

by Johannsen, Jan
Published in Welt Kompakt (20.12.2013)

by Johannsen, Jan
Published in Welt Kompakt (19.11.2013)