Erika \'Abrah\'am (RWTH Aachen University)

Identifiers

• name variant Erika \'Abrah\'am (RWTH Aachen University) 0.60 · backfill

Papers (3)

1. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis cs.SY · 2017 · author #3
2. Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis cs.SY · 2017 · author #1
3. A Rewriting-Logic-Based Technique for Modeling Thermal Systems cs.LO · 2010 · author #2

Mentions

• 1009.4263 #2 · backfill · confidence 0.70 Erika \'Abrah\'am (RWTH Aachen University)

Frequent Coauthors

• Daniela Lepri (University of Oslo) 1 shared papers
• Johanna Nellen (RWTH Aachen University) 1 shared papers
• Muhammad Fadlisyah (University of Oslo) 1 shared papers
• Peter Csaba \"Olveczky (University of Oslo) 1 shared papers
• Sergiy Bogomolov (Australian National University) 1 shared papers
• Stefan Schupp (RWTH Aachen University) 1 shared papers