Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016 | 188 | 2016 |
Channels as objects in concurrent object-oriented programming J Campos, VT Vasconcelos arXiv preprint arXiv:1110.4157, 2011 | 18 | 2011 |
UV-C irradiation-based inactivation of SARS-CoV-2 in contaminated porous and non-porous surfaces AL Tomás, A Reichel, PM Silva, PG Silva, J Pinto, I Calado, J Campos, ... Journal of Photochemistry and Photobiology b: Biology 234, 112531, 2022 | 11 | 2022 |
Linear and shared objects in concurrent programming JC Campos PQDT-Global, 2010 | 8 | 2010 |
Imperative Objects with Dependent Types J Campos, VT Vasconcelos Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs …, 2015 | 6 | 2015 |
Dependent Types for Class-based Mutable Objects J Campos, VT Vasconcelos 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 5 | 2018 |
Investigating the opportunities for technologies to enhance QoL with stroke survivors and their families IS Silva, J Guerreiro, M Rosa, J Campos, AG Pascoal, S Pinto, H Nicolau Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems …, 2020 | 3 | 2020 |
Mool J Campos, VT Vasconcelos | 3 | 2016 |
Public Transportation Occupancy Rate P Silva, J Campos, J Matos, J Salgado, C Salazar, H Costa, F Portela, ... Sustainable, Innovative and Intelligent Societies and Cities, 389-411, 2023 | | 2023 |
Reducing the risk of indoor transmission of SARS-CoV-2 using UV-C disinfection NB Sedrine, PG Silva, AL Tomás, A Reichel, PM Silva, J Pinto, I Calado, ... 17th International Conference on Indoor Air Quality and Climate, INDOOR AIR 2022, 2022 | | 2022 |
Adding dependent types to class-based mutable objects JC Campos | | 2018 |
Programming with mutable objects and dependent types J Campos, VT Vasconcelos INForum, 2016 | | 2016 |
Indexed Types in Object-Oriented Programming J Campos, VT Vasconcelos | | |