Eduardo Resende Brandão Marques


AuthID: R-000-4FT

Confirmed Publications: 30



11
TITLE: P3-Mobile: Parallel Computing for Mobile Edge-Clouds. Parallel Computing for Mobile Edge-Clouds
AUTHORS: Joaquim Silva ; Daniel Silva; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: 4th Workshop on CrossCloud Infrastructures and Platforms, CrossCloud 2017 in Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
12
TITLE: Streaming sensor data from dynamically reprogrammable tasks running on mobile devices
AUTHORS: Nuno Silva ; Eduardo R B Marques ; Luís M B Lopes ;
PUBLISHED: 2017, SOURCE: Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, BuildSys 2017, Delft, The Netherlands, November 08-09, 2017
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
13
TITLE: Towards a middleware for mobile edge-cloud applications
AUTHORS: João Rodrigues ; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: 2nd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2017 in Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets, MECC@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017
INDEXED IN: Scopus DBLP CrossRef: 17
IN MY: ORCID | DBLP
14
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
15
TITLE: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTHORS: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10
INDEXED IN: WOS DBLP CrossRef: 24
IN MY: ORCID | DBLP
16
TITLE: Towards programmable coordination of unmanned vehicle networks
AUTHORS: Marques, ERB ; João Manuel R. S. Tavares ; Pinto, J ; Sousa, JB ; Martins, F;
PUBLISHED: 2015, SOURCE: 4th IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2015 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 48, ISSUE: 2
INDEXED IN: Scopus CrossRef: 5
IN MY: ORCID
17
TITLE: Cooperari: a tool for cooperative testing of multithreaded Java programs. a tool for cooperative testing of multithreaded Java programs
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLISHED: 2014, SOURCE: 7th International Workshop on Network on Chip Architectures, NoCArc 2014 in 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, VOLUME: 13-December-2014
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
18
TITLE: Fine-grained Patches for Java Software Upgrades
AUTHORS: Eduardo R B Marques ;
PUBLISHED: 2013, SOURCE: 5th Workshop on Hot Topics in Software Upgrades, HotSWUp'13, San Jose, CA, USA, June 28, 2013
INDEXED IN: DBLP
IN MY: ORCID | DBLP
19
TITLE: The LSTS Toolchain for Networked Vehicle Systems
AUTHORS: Jose Pinto ; Paulo S Dias ; Ricardo Martins; Joao Fortuna; Eduardo Marques ; Joao Sousa ;
PUBLISHED: 2013, SOURCE: MTS/IEEE OCEANS Conference in 2013 MTS/IEEE OCEANS - BERGEN
INDEXED IN: Scopus WOS CrossRef: 100
IN MY: ORCID
20
TITLE: Towards deductive verification of MPI programs against session types
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
Page 2 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