Login / Signup

Georg Struth

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 63

Top Topics

Program Execution
Hybrid Systems
Relation Algebra
Lightweight

Top Venues

CoRR
Arch. Formal Proofs
RAMiCS
J. Log. Algebraic Methods Program.

Saarland University, Saarbrücken, Germany (PHD)

Education History
Saarland University, Saarbrücken, Germany

PHD

Publications