| The LSTS Toolchain for Networked Vehicle Systems J Pinto, PS Dias, R Martins, J Fortuna, ERB Marques, J Sousa IEEE/MTS Oceans'13, 2013 | 194 | 2013 |
| IMC: A communication protocol for networked vehicles and sensors R Martins, PS Dias, ERB Marques, J Pinto, JB Sousa, FL Pereira Oceans Europe'09, 1-6, 2009 | 140 | 2009 |
| Implementation of a control architecture for networked vehicle systems J Pinto, P Calado, J Braga, P Dias, R Martins, E Marques, J Sousa IFAC NGCUV'12, 2012 | 80 | 2012 |
| Swordfish: an autonomous surface vehicle for network centric operations H Ferreira, R Martins, E Marques, J Pinto, A Martins, J Almeida, J Sousa, ... Oceans Europe'07, 1-6, 2007 | 79 | 2007 |
| Protocol-Based Verification of Message-Passing Parallel Programs HA Lopez, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ... OOPSLA'15, 2015 | 70 | 2015 |
| AUV control and communication using underwater acoustic networks ERB Marques, J Pinto, S Kragelund, PS Dias, L Madureira, A Sousa, ... Oceans Europe'07, 1-6, 2007 | 68 | 2007 |
| Neptus–a framework to support a mission life cycle J Pinto, PS Dias, GM Gonçalves, R Gonçalves, E Marques, J Sousa, ... IFAC MCMC'06 9, 2006, 2006 | 44 | 2006 |
| Seaware: a publish/subscribe communications middleware for networked vehicle systems ERB Marques, GM Gonçalves, JB Sousa IFAC MCMC'06, 2006 | 42 | 2006 |
| Towards a Middleware for Mobile Edge-Cloud Applications J Rodrigues, ERB Marques, L Lopes, F Silva 2nd Workshop on Middleware for Edge Clouds & Cloudlets, 2017 | 38 | 2017 |
| Verification of MPI programs using session types K Honda, ERB Marques, F Martins, N Ng, VT Vasconcelos, N Yoshida EuroMPI'12, 2012 | 29 | 2012 |
| Towards deductive verification of MPI programs against session types ERB Marques, F Martins, VT Vasconcelos, N Ng, N Martins PLACES'13, 2013 | 27 | 2013 |
| Distributed, modular HTL TA Henzinger, CM Kirsch, ERB Marques, A Sokolova RTSS'09, 171-180, 2009 | 27 | 2009 |
| Dolphin: a task orchestration language for autonomous vehicle networks K Lima, ERB Marques, J Pinto, JB Sousa 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018 | 25 | 2018 |
| Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments A Tinka, S Diemer, L Madureira, ERB Marques, JB De Sousa, R Martins, ... American Control Conference (ACC'09), 3603-3610, 2009 | 21 | 2009 |
| Marine Operations with the SWORDFISH Autonomous Surface Vehicle H Ferreira, R Martins, E Marques, J Pinto, A Martins, JM Almeida, ... IEEE Robótica 2007-7th Conference on Mobile Robots and Competitions, 2007 | 16 | 2007 |
| Energy-Aware Adaptive Offloading of Soft Real-Time Jobs in Mobile Edge Clouds J Silva, ERB Marques, LMB Lopes, F Silva Journal of Cloud Computing 10, 2021 | 15 | 2021 |
| P3-Mobile: Parallel Computing for Mobile Edge-Clouds J Silva, D Silva, ERB Marques, L Lopes, F Silva CrossCloud'17: The 4th Workshop on CrossCloud Infrastructures & Platforms …, 2017 | 14 | 2017 |
| NVL: a coordination language for unmanned vehicle networks ERB Marques, M Ribeiro, J Pinto, JB Sousa, F Martins ACM Symposium on Applied Computing (SAC'15), 2015 | 14 | 2015 |
| Semantics-preserving and incremental runtime patching of real-time programs CM Kirsch, L Lopes, ERB Marques APRES'08, 2008 | 14 | 2008 |
| Video Dissemination in Untethered Edge-Clouds: a Case Study J Rodrigues, ERB Marques, J Silva, L Lopes, F Silva Proc. Intl. Conf. on Distributed Applications and Interoperable Systems …, 2018 | 11 | 2018 |
J. Borges de SousaProfessor, LSTS, DEEC, FEUPVerified email at fe.up.pt
