Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Eduardo Brandão Marques
Investigador Sénior
Education: PhD in Computer Science, Faculdade de Ciências da Universidade do Porto, 2011.
Research interests: concurrency, software verification and testing, unmanned vehicle networks
Selected publications:
Short bio
Projetos
Publicações
Emerging Technologies to Promote Fans Interaction in Football Events: A Systematic Review
Martins, F;França, C;Paixao, P;Martinho, DV;Campos, P;Gouveia, B;Lopes, H;Ihle, A;Marques, E;Gouveia, ER;
2023
ADVANCES IN HUMAN-COMPUTER INTERACTION
Verification of MPI Programs Using Session Types
Honda, K;Marques, ERB;Martins, F;Ng, N;Vasconcelos, VT;Yoshida, N;
2012
Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Implementation of a control architecture for networked vehicle systems
Pinto, J;Calado, P;Braga, J;Dias, P;Martins, R;Marques, E;Sousa, JB;
2012
IFAC Proceedings Volumes (IFAC-PapersOnline)
Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments
Tinka, A;Diemer, S;Madureira, L;Marques, EB;de Sousa, JB;Martins, R;Pinto, J;da Silva, JE;Sousa, A;Saint Pierre, P;Bayen, AM;
2009
2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9
Teses Orientadas
Plataforma de Monitorização da Biodiversidade no Concelho de Gaia
Ricardo André Freitas Santos
M - 2019
UP-FCUP
Scheduling Computations Over High Churn Networks of Mobile Devices
Joaquim Magalhães Esteves da Silva
D - 2019
UP-FCUP
Scheduling Computations Over High Churn Networks of Mobile Devices
Joaquim Magalhães Esteves da Silva
D - 2020
UP-FCUP
A Portuguese Flora Identification Tool Using Deep Learning
Miguel Ângelo Ribeiro Marques
M - 2020
UP-FCUP
