| Propositions-as-types and shared state P Rocha, L Caires Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021 | 29 | 2021 |
| Safe Session-Based Concurrency with Shared Linear State P Rocha, L Caires | 11 | 2022 |
| Output selection for large scale structural systems: a matroid theory approach PMS Rocha Faculty of Engineering of University of Porto, 2014 | 5 | 2014 |
| CLASS: A Logical Foundation for Typeful Programming with Shared State P Rocha Faculty of Science and Technology of NOVA University of Lisbon, 2022 | 1 | 2022 |
| Sensor placement for real-time dynamic state estimation in power systems: Structural systems approach P Rocha, S Pequito, S Kar, AP Aguiar, P Rocha 2014 48th Asilomar Conference on Signals, Systems and Computers, 1133-1137, 2014 | 1 | 2014 |
| Sharing Affine State in Linear Logic with CLASS P Rocha, L Caires | | 2022 |
| Sorting the πref-calculus P Rocha, L Caires Days in Logic 2018, 25, 2018 | | 2018 |
| Typeful Concurrent Programming With CLASS P Rocha, L Caires | | |
