Eduardo Resende Brandão Marques


AuthID: R-000-4FT

Publicações Confirmadas: 32



21
TÍTULO: The LSTS Toolchain for Networked Vehicle Systems
AUTORES: Jose Pinto ; Paulo S Dias ; Ricardo Martins; Joao Fortuna; Eduardo Marques ; Joao Sousa ;
PUBLICAÇÃO: 2013, FONTE: MTS/IEEE OCEANS Conference in 2013 MTS/IEEE OCEANS - BERGEN
INDEXADO EM: Scopus WOS CrossRef: 105
NO MEU: ORCID
22
TÍTULO: Towards deductive verification of MPI programs against session types  Full Text
AUTORES: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLICAÇÃO: 2013, FONTE: PLACES, VOLUME: 137
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID
23
TÍTULO: Implementation of a control architecture for networked vehicle systems
AUTORES: Pinto, J ; Calado, P; Braga, J; Dias, P ; Martins, R; Marques, E ; Sousa, JB ;
PUBLICAÇÃO: 2012, FONTE: 3rd IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2012 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 3, NÚMERO: PART 1
INDEXADO EM: Scopus CrossRef: 25
NO MEU: ORCID
24
TÍTULO: Verification of MPI Programs Using Session Types
AUTORES: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2012, FONTE: EuroMPI, VOLUME: 7490 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 12 Unpaywall
NO MEU: ORCID
25
TÍTULO: Runtime Programming through Model-Preserving, Scalable Runtime Patches  Full Text
AUTORES: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLICAÇÃO: 2011, FONTE: ACSD
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
26
TÍTULO: Runtime Programming through Model-Preserving, Scalable Runtime Patches
AUTORES: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLICAÇÃO: 2010, FONTE: FACS, VOLUME: 6921 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
27
TÍTULO: Distributed, Modular HTL  Full Text
AUTORES: Henzinger, TA; Kirsch, CM; Marques, ERB ; Sokolova, A;
PUBLICAÇÃO: 2009, FONTE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID
28
TÍTULO: IMC: A Communication Protocol for Networked Vehicles and Sensors
AUTORES: Ricardo Martins; Paulo Sousa Dias ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ; Fernando L Pereira ;
PUBLICAÇÃO: 2009, FONTE: OCEANS 2009 Conference in OCEANS 2009 - EUROPE, VOLS 1 AND 2
INDEXADO EM: Scopus WOS CrossRef: 52
NO MEU: ORCID
29
TÍTULO: Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments  Full Text
AUTORES: 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;
PUBLICAÇÃO: 2009, FONTE: American Control Conference 2009 in 2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID
30
TÍTULO: AUV control and communication using underwater acoustic networks
AUTORES: Eduardo R B Marques ; Jose Pinto ; Sean Kragelund; Paulo S Dias ; Luis Madureira; Alexandre Sousa; Marcio Correia; Hugo Ferreira ; Rui Goncalves; Ricardo Martins; Douglas P Homer; Anthony J Healey; Gil Gonçalves ; Joao B Sousa ;
PUBLICAÇÃO: 2007, FONTE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3
INDEXADO EM: Scopus WOS CrossRef: 28
NO MEU: ORCID
Página 3 de 4. Total de resultados: 32.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service