Concepedia

Jan Johannsen

JJ

Statistics

Publications

10

Citations

320

H-Index

10

Active since

2000

Affiliations

Ludwig-Maximilians-Universität München(Current)

Universitat Politècnica de Catalunya

University of Toronto

Massachusetts Institute of Technology

University of California San Diego

Jan Johannsen is an author at Ludwig-Maximilians-Universität München specializing in computer science, computing, and mathematics.

Publications per year

2000–2014

10

Publications

10

On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems

Marı́a Luisa Bonet, Juan Luis Esteban, Nicola Galesi et al. · SIAM Journal on Computing · 2000 · 119 citations

, , +14

An exponential separation between regular and general resolution

Michael Alekhnovich, Jan Johannsen, Toniann Pitassi et al. · 2002 · 74 citations

, , +5

Exponential separations between restricted resolution and cutting planes proof systems

Marı́a Luisa Bonet, Juan Luis Esteban, Nicola Galesi et al. · 2002 · 29 citations

, , +15

Improved Separations of Regular Resolution from Clause Learning Proof Systems

Marı́a Luisa Bonet, Sam Buss, Jan Johannsen · Journal of Artificial Intelligence Research · 2014 · 19 citations · Full text

, , +12

A speech spectrogram expert

Jan Johannsen, J. MacAllister, Tomáš Michálek et al. · 2005 · 17 citations

, , +13

1–5 of 10