Software Modelling and Verification Group ▲ Sign in to save

• ▲ Joost-Pieter Katoen

  Cornell University · RWTH Aachen University Computer Science
  20.3k

  citations

  62

  h-index

  193

  Aachen papers
• ▲ Thomas Noll

  Escola Superior de Música de Catalunya · RWTH Aachen University Computer Science
  2.43k

  citations

  25

  h-index

  14

  Aachen papers
• ▲ Marcin Szymczak

  Uppsala University · Google (United States) Computer Science
  227

  citations

  7

  h-index

  3

  Aachen papers
• ▲ Alexander Hoppen

  RWTH Aachen University Business, Management and Accounting
  8

  citations

  2

  h-index

  1

  Aachen papers

4 results

• Weakest Preexpectation Semantics for Bayesian Inference

  2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  5

  citations
• A Debugger for Probabilistic Programs

  2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  2

  citations

2 results