Dmitriy Traytel
Identifiers
No identifiers captured yet.
Papers (3)
- Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints cs.LO · 2026 · author #6
- A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) cs.SE · 2018 · author #15
- Foundational Extensible Corecursion cs.PL · 2015 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Andrei Popescu 2 shared papers
- Adrian Francalanza 1 shared papers
- Alexander Weiss 1 shared papers
- C\'esar S\'anchez 1 shared papers
- Christian Colombo 1 shared papers
- Dejan Nickovic 1 shared papers
- Domenico Bianculli 1 shared papers
- Ezio Bartocci 1 shared papers
- Gerardo Schneider 1 shared papers
- Gordon J. Pace 1 shared papers
- Jasmin Christian Blanchette 1 shared papers
- Jo\H{a}o M. Louren\c{c}o 1 shared papers
- Jose Rufino 1 shared papers
- Julien Signoles 1 shared papers
- Kevin Kappelmann 1 shared papers
- Lukas Stevens 1 shared papers
- Maximilian Sch\"affeler 1 shared papers
- Mohammad Abdulaziz 1 shared papers
- Sr{\dj}an Krsti\'c 1 shared papers
- Wolfgang Ahrendt 1 shared papers