University of Kaiserslautern)

Identifiers

• name variant University of Kaiserslautern) 0.60 · backfill

Papers (4)

1. Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible cs.CC · 2018 · author #14
2. A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets cs.LO · 2013 · author #4
3. Instanton Approach to Josephson Tunneling between Trapped Condensates cond-mat.mes-hall · 2001 · author #3
4. Once again: Instanton method vs. WKB hep-th · 2001 · author #4

Mentions

• 1309.0717 #4 · backfill · confidence 0.70 University of Kaiserslautern)

Frequent Coauthors

• (2) MIT CSAIL 1 shared papers
• (3) MIT Mathematics Department 1 shared papers
• (4) Department of Mathematics 1 shared papers
• Adam Hesterberg (3) 1 shared papers
• Clemens Thielen (4) ((1) MIT EECS Department 1 shared papers
• Erik D. Demaine (2) 1 shared papers
• H.J.W. M\"uller-Kirsten 1 shared papers
• H.J.W. M\"uller-Kirsten (Department of Physics 1 shared papers
• Jayson Lynch (2) 1 shared papers
• Jeffrey Bosboom (2) 1 shared papers
• Jian-Zu Zhang 1 shared papers
• Justin Kopinsky (2) 1 shared papers
• Linus Hamilton (3) 1 shared papers
• Michael Coulombe (2) 1 shared papers
• Mikhail Rudoy (2) 1 shared papers
• Newcastle University) 1 shared papers
• Reiner H\"uchting (Department of Computer Science 1 shared papers
• Roland Meyer (Department of Computer Science 1 shared papers
• Victor Khomenko (School of Computing Science 1 shared papers
• Yunbo Zhang 1 shared papers