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 ...
  • Nadel, Alexander; Rozier, Kristin Yvonne (2023)
    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 in academia and industry for presenting and discussing ...
  • 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