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 ...
  • Hasler, Thomas; Nizic, Ines; Jadric, Mladen (2021)
    Split, Architecture, Building Design, Urban Renewal
  • Tomás, Enrique; Gorbach, Thomas; Tellioglu, Hilda; Kaltenbrunner, Martin (2022)
    This is a book about musical gestures: multiple ways to design instruments, compose musical performances, analyze sound objects and represent sonic ideas through the central notion of ‘gesture’. The writers share ...

See more