Ruben Martins
ORCIDPublication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 62
Publications (10 Years): 62
Publications
- Pedro Orvalho, Vasco M. Manquinho, Ruben Martins
- Pedro Orvalho, Vasco M. Manquinho, Ruben Martins
- Anup Agarwal, Venkat Arun, Devdeep Ray, Ruben Martins, Srinivasan Seshan
- Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
- Margarida Ferreira, Akshay Narayan, Inês Lynce, Ruben Martins, Justine Sherry
- Stephan Gocht, Jakob Nordström, Ruben Martins
- Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
- Peter Oostema, Ruben Martins, Marijn Heule
- Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho
- Fahiem Bacchus, Matti Järvisalo, Ruben Martins
- Yanju Chen, Ruben Martins, Yu Feng
- Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig
- Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho
- Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig
- Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
- Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
- Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
- Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps
- Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
- Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins
- Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
- Ruben Martins
- Saurabh Joshi, Ruben Martins, Vasco M. Manquinho
- Saurabh Joshi, Ruben Martins, Vasco M. Manquinho
- Ruben Martins, Vasco M. Manquinho, Inês Lynce
- Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
- Ruben Martins, Vasco M. Manquinho, Inês Lynce
- Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
- Ruben Martins, Vasco M. Manquinho, Inês Lynce
- Ruben Martins, Vasco M. Manquinho, Inês Lynce
- Ruben Martins, Vasco M. Manquinho, Inês Lynce
- Ruben Martins, Vasco M. Manquinho, Inês Lynce
- Ruben Martins, Vasco M. Manquinho, Inês Lynce
- Ruben Martins, Vasco M. Manquinho, Inês Lynce
- Vasco M. Manquinho, Ruben Martins, Inês Lynce