Arthur Correnson
Identifiers
- name variant Arthur Correnson 0.60 · backfill
Papers (3)
- Almost Fair Simulations cs.LO · 2026 · author #1
- Pacing Types for Asynchronous Stream Equations cs.PL · 2026 · author #2
- A Deductive System for Contract Satisfaction Proofs cs.PL · 2026 · author #1
Mentions
- 2605.26698 #1 · arxiv_oai · confidence 0.70 Arthur Correnson
- 2605.26635 #2 · arxiv_oai · confidence 0.70 Arthur Correnson
Frequent Coauthors
- Bernd Finkbeiner 2 shared papers
- Florian Kohn 1 shared papers
- Haoyi Zeng 1 shared papers
- Iona Kuhn 1 shared papers
- Jana Hofmann 1 shared papers
- Jan Baumeister 1 shared papers