Thomas Zimmermann
Identifiers
No identifiers captured yet.
Papers (3)
- Autoformalizing Memory Specifications with Agents cs.AR · 2026 · author #4
- Taking a Pulse on How Generative AI is Reshaping the Software Engineering Research Landscape cs.SE · 2026 · author #10
- Mining Treatment-Outcome Constructs from Sequential Software Engineering Data cs.SE · 2019 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Antonio Pedro Santos Alves 1 shared papers
- Bianca Trinkenreich 1 shared papers
- Derek Christ 1 shared papers
- Dmitri Michelangelo Saberi 1 shared papers
- Fabio Calefato 1 shared papers
- Guenther Ruhe 1 shared papers
- Jan Ole Ernst 1 shared papers
- J\'ulia Cond\'e Ara\'ujo 1 shared papers
- Kelly Blincoe 1 shared papers
- Maleknaz Nayebi 1 shared papers
- Marcos Kalinowski 1 shared papers
- Margaret-Anne Storey 1 shared papers
- Marina Cond\'e Ara\'ujo 1 shared papers
- Matthias Jung 1 shared papers
- Paolo Tell 1 shared papers
- Rajath Salegame 1 shared papers
- Stanislav Levental 1 shared papers
- Suhaas M. Bhat 1 shared papers
- Thomas Dybdahl Ahle 1 shared papers
- Viggo Tellefsen Wivestad 1 shared papers