| Behavioral types in programming languages N Yoshida, VT Vasconcelos, L Padovani, NN Bono, R Neykova, F Montesi, ... Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016 | 113 | 2016 |
| Channels as objects in concurrent object-oriented programming J Campos, VT Vasconcelos arXiv preprint arXiv:1110.4157, 2011 | 20 | 2011 |
| Linear and shared objects in concurrent programming JC Campos | 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 |
| Mool J Campos, VT Vasconcelos | 5 | 2016 |
| Dependent Types for Class-based Mutable Objects J Campos, VT Vasconcelos 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 3 | 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 | | 2020 |
| Adding dependent types to class-based mutable objects JC Campos | | 2018 |
| Dependent Types for Class-based Mutable Objects (Artifact) J Campos, VT Vasconcelos Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018 | | 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 | | |
