Mattias Ulbrich (Karlsruhe Institute of Technology

Identifiers

• name variant Mattias Ulbrich (Karlsruhe Institute of Technology 0.50 · backfill

Papers (1)

1. Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning cs.LO · 2019 · author #7

Mentions

No mention provenance yet.

Frequent Coauthors

• Emanuele De Angelis (University "G. d'Annunzio" of Chieti-Pescara 1 shared papers
• Germany) 1 shared papers
• Grigory Fedyukovich (Princeton University 1 shared papers
• Italy) 1 shared papers
• Nikos Tzevelekos (Queen Mary University of London 1 shared papers
• UK) 1 shared papers
• USA) 1 shared papers