Publications

  • Ivrii, Alexander; Strichman, Ofer (2020)
    The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers ...
  • Lehner, Judith M.; Krejs, Bernadette; Güntner, Simon; Obrist, Michael (2025)
    Social housing in Vienna has many facets and is currently facing major challenges. This anthology brings together academic and practical perspectives to shed light on the complexity of the Viennese housing system. At the ...
  • Knauer, Birgit; Demeter, Laura (2025)
    This volume introduces research that highlights connections between historical planning strategies and heritage conservation during transformation processes of European cities in the 19th and 20th centuries. Case studies ...

See more