Klas Leino
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 29
Publications (10 Years): 29
Publications
- Kai Hu, Klas Leino, Zifan Wang, Matt Fredrikson
- Ravi Mangal, Klas Leino, Zifan Wang, Kai Hu, Weicheng Yu, Corina S. Pasareanu, Anupam Datta, Matt Fredrikson
- Emily Black, Klas Leino, Matt Fredrikson
- Emily Black, Klas Leino, Matt Fredrikson
- Klas Leino, Zifan Wang, Matt Fredrikson
- Klas Leino, Matt FredriksonRelaxing Local Robustness. CoRR (2021)
- Klas Leino, Zifan Wang, Matt Fredrikson
- Klas Leino, Matt Fredrikson
- Klas Leino, Emily Black, Matt Fredrikson, Shayak Sen, Anupam Datta
- Klas Leino, Matt Fredrikson, Emily Black, Shayak Sen, Anupam Datta