Eduardo R. B. Marques

According to our database, Eduardo R. B. Marques authored at least 22 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Floralens: a Deep Learning Model for the Portuguese Native Flora.

António Filgueiras, Eduardo R. B. Marques, Luís M. B. Lopes, Miguel Marques, Hugo Silva

CoRR, 2024

2023

Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds.

Joaquim Silva, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando M. A. Silva

Softw. Pract. Exp., October, 2023

Emerging Technologies to Promote Fans Interaction in Football Events: A Systematic Review.

Francisco Martins, A. César C. França, Pedro Paixão, Diogo V. Martinho, Pedro F. Campos, Tatiana B. Gouveia, Helder Lopes, Andreas Ihle, Eduardo R. B. Marques, Élvio Rúbio Gouveia

Adv. Hum. Comput. Interact., 2023

2021

Cityscape LoRa Signal Propagation Predicted and Tested Using Real-World Building-Data Based O-FDTD Simulations and Experimental Characterization.

Ricardo M. R. Adão, Eduardo R. B. Marques, Alicia V. Carpentier, Humberto Michinel, Jana B. Nieder

Sensors, 2021

Energy-aware adaptive offloading of soft real-time jobs in mobile edge clouds.

Joaquim Silva, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando Silva

J. Cloud Comput., 2021

2020

Jay: Adaptive Computation Offloading for Hybrid Cloud Environments.

Joaquim M. A. Silva, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando M. A. Silva

Proceedings of the Fifth International Conference on Fog and Mobile Edge Computing, 2020

Ramble: Opportunistic Crowdsourcing of User-Generated Data using Mobile Edge Clouds.

Miguel Garcia, João Rodrigues, Joaquim Silva, Eduardo R. B. Marques, Luís M. B. Lopes

Proceedings of the Fifth International Conference on Fog and Mobile Edge Computing, 2020

2018

Flux: A Platform for Dynamically Reconfigurable Mobile Crowd-Sensing.

Nuno Silva, Eduardo R. B. Marques, Luís M. B. Lopes

ACM Trans. Sens. Networks, 2018

Dolphin: A Task Orchestration Language for Autonomous Vehicle Networks.

Keila Lima, Eduardo R. B. Marques, José Pinto, João B. Sousa

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Video Dissemination in Untethered Edge-Clouds: A Case Study.

João Rodrigues, Eduardo R. B. Marques, Joaquim Silva, Luís M. B. Lopes, Fernando M. A. Silva

Proceedings of the Distributed Applications and Interoperable Systems, 2018

2017

Streaming sensor data from dynamically reprogrammable tasks running on mobile devices.

Nuno Silva, Eduardo R. B. Marques, Luís M. B. Lopes

Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017

Towards a middleware for mobile edge-cloud applications.

João Rodrigues, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando M. A. Silva

Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets, 2017

P3-Mobile: Parallel Computing for Mobile Edge-Clouds.

Joaquim Silva, Daniel Silva, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando M. A. Silva

Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud@EuroSys 2017, Belgrade, Serbia, April 23, 2017

2015

NVL: a coordination language for unmanned vehicle networks.

Eduardo R. B. Marques, Manuel A. Ribeiro, José Pinto, João B. Sousa, Francisco Martins

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Protocol-based verification of message-passing parallel programs.

Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Cooperari: a tool for cooperative testing of multithreaded Java programs.

Eduardo R. B. Marques, Francisco Martins, Miguel Simões

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

2013

Towards deductive verification of MPI programs against session types.

Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

Fine-grained Patches for Java Software Upgrades.

Eduardo R. B. Marques

Proceedings of the 5th Workshop on Hot Topics in Software Upgrades, 2013

2012

Verification of MPI Programs Using Session Types.

Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Recent Advances in the Message Passing Interface, 2012

2010

Runtime Programming through Model-Preserving, Scalable Runtime Patches.

Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Distributed, Modular HTL.

Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: Implementation and experiments.

Andrew Tinka, S. Diemer, L. Madureira, Eduardo R. B. Marques, João Borges de Sousa, Ricardo Martins, José Pinto, Jorge Estrela da Silva, André Sousa, Patrick Saint-Pierre, Alexandre M. Bayen

Proceedings of the American Control Conference, 2009