Arthur Correnson

Identifiers

• name variant Arthur Correnson 0.60 · backfill

Papers (3)

1. Almost Fair Simulations cs.LO · 2026 · author #1
2. Pacing Types for Asynchronous Stream Equations cs.PL · 2026 · author #2
3. 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