Search

Einar Broch Johnsen
Einar Broch Johnsen
  • Home
  • Talks
    Recent Talks All Talks
  • Publications
    Recent Publications All Publications
  • Projects
    Recent Projects All Projects
  • Sirius
  • Service
    Recent Service All Service
  • Teaching
  • Contact
  • Light Dark Automatic
Erika Ábrahám

Erika Ábrahám

Professor

RWTH Aachen

Latest

  • Counterfactual Strategies for Markov Decision Processes
  • Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies
  • Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
  • Preparing HPC Applications for Exascale: Challenges and Recommendations

© 2025 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite
Copy Download