Follow
Joana Campos
Joana Campos
LaSIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal
Verified email at lasige.di.fc.ul.pt
Title
Cited by
Cited by
Year
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
1872016
Channels as objects in concurrent object-oriented programming
J Campos, VT Vasconcelos
arXiv preprint arXiv:1110.4157, 2011
182011
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
112022
Linear and shared objects in concurrent programming
JC Campos
PQDT-Global, 2010
82010
Imperative Objects with Dependent Types
J Campos, VT Vasconcelos
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs …, 2015
62015
Dependent Types for Class-based Mutable Objects
J Campos, VT Vasconcelos
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
52018
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
32020
Mool
J Campos, VT Vasconcelos
32016
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
The system can't perform the operation now. Try again later.
Articles 1–12