I agree that this site is using cookies. You can find further informations here.
X
Diogo, Vasco
7  results:
Bookchapter (Online) X
Search for persons X
?
1

ISR Missions in Maritime Environment Using UAS - Contributi..:

, In: Robot 2023: Sixth Iberian Robotics Conference; Lecture Notes in Networks and Systems,
Félix, Luís ; Oliveira, Tiago ; Cruz, Gonçalo... - p. 269-281 , 2024
Link: https://doi.org/10.1007/..
 
?
2

ABHA - Advanced Biomechanical Hand Assistant:

, In: 2023 6th Experiment@ International Conference (exp.at'23),
Correia, Vasco ; Alves, Lucas ; Guimaraes, Pedro... - p. 49-50 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Practical verification of high-level dataraces in transacti..:

, In: Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging,
Pessanha, Vasco ; Dias, Ricardo J. ; Lourenço, João M... - p. 26-34 , 2011
Link: https://dl.acm.org/doi/1..
 
?
4

System $$F^\mu _\omega $$ with Context-free Session Types:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Poças, Diogo ; Costa, Diana ; Mordido, Andreia. - p. 392-420 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Control By Wire (CBW) interface module for 48 V to 96 V ele..:

, In: 2023 3rd International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME),
Costa, Leonardo ; Sousa, Pedro ; Lopes, Nuno Vieira... - p. 1-4 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Modular Lithium-Ion Cell Battery Management System with Hig..:

, In: 2023 3rd International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME),
Faustino, Bernardo ; Lopes, Nuno Vieira ; Costa, Diogo... - p. 1-5 , 2023
Link: https://doi.org/10.1109/..
 
?
7

The Different Shades of Infinite Session Types:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Gay, Simon J. ; Poças, Diogo ; Vasconcelos, Vasco T. - p. 347-367 , 2022
Link: https://doi.org/10.1007/..
 
1-7