Daniel Weller

Identifiers

• name variant Daniel Weller 0.60 · backfill

Papers (9)

1. The interplay between thermal Rydberg gases and plasmas physics.atom-ph · 2019 · author #1
2. Fiber-integrated spectroscopy device for hot alkali vapor physics.atom-ph · 2017 · author #2
3. High vacuum compatible fiber feedthrough for hot alkali vapor cells physics.atom-ph · 2017 · author #1
4. Charge-induced optical bistability in thermal Rydberg vapor physics.atom-ph · 2016 · author #1
5. Exposition: Synthesis via Functional Interpretation cs.LO · 2014 · author #1
6. Introducing Quantified Cuts in Logic with Equality cs.LO · 2014 · author #5
7. Algorithmic Introduction of Quantified Cuts cs.LO · 2014 · author #4
8. Expansion Trees with Cut cs.LO · 2013 · author #2
9. CERES for First-Order Schemata cs.LO · 2013 · author #4

Mentions

• 1403.7353 #1 · backfill · confidence 0.70 Daniel Weller
• 1402.2474 #5 · backfill · confidence 0.70 Daniel Weller
• 1401.4330 #4 · backfill · confidence 0.70 Daniel Weller
• 1308.0428 #2 · backfill · confidence 0.70 Daniel Weller
• 1303.4257 #4 · backfill · confidence 0.70 Daniel Weller

Frequent Coauthors

• Harald K\"ubler 4 shared papers
• Robert L\"ow 4 shared papers
• Alexander Leitsch 3 shared papers
• Stefan Hetzl 3 shared papers
• Giselle Reis 2 shared papers
• Alban Urvoy 1 shared papers
• Andy Rico 1 shared papers
• Arzu Yilmaz 1 shared papers
• Cvetan Dunchev 1 shared papers
• James P. Shaffer 1 shared papers
• Janos Tapolczai 1 shared papers
• Jan-Philipp Negel 1 shared papers
• Josephine Gutekunst 1 shared papers
• Marwan Abdou Ahmed 1 shared papers
• Mikheil Rukhaia 1 shared papers
• Thomas Graf 1 shared papers
• Tilman Pfau 1 shared papers