Eduardo Resende Brandão Marques


AuthID: R-000-4FT

Confirmed Publications: 31



11
TITLE: Behavioural types: From theory to tools english
AUTHORS: Gay, S ; Ravara, A;
PUBLISHED: 2017, SOURCE: Behavioural Types: from Theory to Tools English
INDEXED IN: Scopus CrossRef: 23
IN MY: ORCID
12
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
13
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
14
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
15
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
16
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
17
TITLE: Towards programmable coordination of unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus CrossRef: 5
IN MY: ORCID
18
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
19
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
20
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
Page 2 of 4. Total results: 31.

footer slogan

Useful Links

Get Help

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