ProfileOfResearchers

TÃTULO: Behavioural types: From theory to tools english
AUTORES: Gay, S ; Ravara, A;
PUBLICAÇÃO: 2017, FONTE: Behavioural Types: from Theory to Tools English

INDEXADO EM:

Scopus

CrossRef: 23

NO MEU:

ORCID

TÃTULO: P3-Mobile: Parallel Computing for Mobile Edge-Clouds. Parallel Computing for Mobile Edge-Clouds
AUTORES: Joaquim Silva ; Daniel Silva; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLICAÇÃO: 2017, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef: 5

NO MEU:

ORCID |

DBLP

TÃTULO: Streaming sensor data from dynamically reprogrammable tasks running on mobile devices
AUTORES: Nuno Silva ; Eduardo R B Marques ; Luís M B Lopes ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, BuildSys 2017, Delft, The Netherlands, November 08-09, 2017

INDEXADO EM:

DBLP

CrossRef

NO MEU:

ORCID |

DBLP

TÃTULO: Towards a middleware for mobile edge-cloud applications
AUTORES: João Rodrigues ; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLICAÇÃO: 2017, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef: 17

NO MEU:

ORCID |

DBLP

TÃTULO: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTORES: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLICAÇÃO: 2015, FONTE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 5

NO MEU:

ORCID |

DBLP

TÃTULO: Protocol-Based Verification of Message-Passing Parallel Programs Full Text
AUTORES: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 10

INDEXADO EM:

WOS

DBLP

CrossRef: 24

NO MEU:

ORCID |

DBLP

TÃTULO: Towards programmable coordination of unmanned vehicle networks
AUTORES: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLICAÇÃO: 2015, FONTE: IFAC-PapersOnLine, VOLUME: 28, NÚMERO: 2

INDEXADO EM:

Scopus

CrossRef: 5

NO MEU:

ORCID

TÃTULO: Cooperari: a tool for cooperative testing of multithreaded Java programs. a tool for cooperative testing of multithreaded Java programs
AUTORES: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLICAÇÃO: 2014, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef: 2

NO MEU:

ORCID |

DBLP

TÃTULO: Fine-grained Patches for Java Software Upgrades
AUTORES: Eduardo R B Marques ;
PUBLICAÇÃO: 2013, FONTE: 5th Workshop on Hot Topics in Software Upgrades, HotSWUp'13, San Jose, CA, USA, June 28, 2013

INDEXADO EM:

DBLP

NO MEU:

ORCID |

DBLP