Eduardo Resende Brandão Marques


AuthID: R-000-4FT

Confirmed Publications: 30



21
TITLE: Implementation of a control architecture for networked vehicle systems
AUTHORS: Pinto, J ; Calado, P; Braga, J; Dias, P ; Martins, R; Marques, E ; Sousa, JB ;
PUBLISHED: 2012, SOURCE: 3rd IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2012 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 3, ISSUE: PART 1
INDEXED IN: Scopus CrossRef: 23
IN MY: ORCID
22
TITLE: Runtime programming through model-preserving, scalable runtime patches
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
23
TITLE: Verification of MPI Programs Using Session Types
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490
INDEXED IN: Scopus DBLP CrossRef: 11 Unpaywall
IN MY: ORCID | DBLP
24
TITLE: Runtime programming through model-preserving, scalable runtime patches  Full Text
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2011, SOURCE: 11th International Conference on Application of Concurrency to System Design, ACSD 2011 in Proceedings - International Conference on Application of Concurrency to System Design, ACSD
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
25
TITLE: Distributed, Modular HTL  Full Text
AUTHORS: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2009, SOURCE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | ResearcherID | DBLP
26
TITLE: IMC: A Communication Protocol for Networked Vehicles and Sensors
AUTHORS: Ricardo Martins; Paulo Sousa Dias ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ; Fernando L Pereira ;
PUBLISHED: 2009, SOURCE: OCEANS 2009 Conference in OCEANS 2009 - EUROPE, VOLS 1 AND 2
INDEXED IN: Scopus WOS CrossRef: 52
IN MY: ORCID
27
TITLE: Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments  Full Text
AUTHORS: Tinka, A; Diemer, S; Madureira, L; Marques, EB ; Borges B de Sousa; Martins, R; Pinto, J ; Estrela E da Silva ; Sousa, A; Saint Pierre, P; Bayen, AM;
PUBLISHED: 2009, SOURCE: American Control Conference 2009 in 2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | ResearcherID | DBLP
28
TITLE: AUV control and communication using underwater acoustic networks
AUTHORS: 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 ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3
INDEXED IN: Scopus WOS CrossRef: 26
IN MY: ORCID
29
TITLE: SWORDFISH: an autonomous surface vehicle for network centric operations
AUTHORS: Ferreira, H ; Martins, R; Marques, E ; Pinto, J ; Martins, A ; Almeida, J ; Sousa, J ; Silva, EP ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3
INDEXED IN: Scopus WOS CrossRef: 45
IN MY: ORCID
30
TITLE: The use of real-time publish-subscribe middleware in networked vehicle systems
AUTHORS: Marques, ERB ; Gil Gonçalves ; Sousa, JB;
PUBLISHED: 2006, SOURCE: 1st IFAC Workshop on Multivehicle Systems, MVS 2006 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 1, ISSUE: PART 1
INDEXED IN: Scopus
IN MY: ORCID
Page 3 of 3. Total results: 30.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service