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 001; Jorge Estrela da Silva; André Sousa; Patrick Saint-Pierre; Alexandre M. Bayen (ACC, 2009)

Distributed, Modular HTL. - Thomas A. Henzinger; Christoph M. Kirsch; Eduardo R. B. Marques; Ana Sokolova (RTSS, 2009)

Runtime Programming through Model-Preserving, Scalable Runtime Patches. - Christoph M. Kirsch; Luís M. B. Lopes; Eduardo R. B. Marques; Ana Sokolova (ACSD, 2011)

Verification of MPI Programs Using Session Types. - Kohei Honda 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; Vasco Thudichum Vasconcelos; Nobuko Yoshida (EuroMPI, 2012)

Fine-grained Patches for Java Software Upgrades. - Eduardo R. B. Marques (HotSWUp, 2013)

Towards deductive verification of MPI programs against session types. - Eduardo R. B. Marques; Francisco Martins; Vasco T. Vasconcelos; Nicholas Ng; Nuno Martins 001 (PLACES, 2013)

Cooperari: a tool for cooperative testing of multithreaded Java programs. - Eduardo R. B. Marques; Francisco Martins; Miguel Simões (PPPJ, 2014)

Protocol-based verification of message-passing parallel programs. - Hugo A. López 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; César Santos; Vasco Thudichum Vasconcelos; Nobuko Yoshida (OOPSLA, 2015)

NVL: a coordination language for unmanned vehicle networks. - Eduardo R. B. Marques; Manuel A. Ribeiro; José Pinto 001; João B. Sousa; Francisco Martins (SAC, 2015)

P3-Mobile: Parallel Computing for Mobile Edge-Clouds. - Joaquim Silva 001; Daniel Silva 006; Eduardo R. B. Marques; Luís M. B. Lopes; Fernando M. A. Silva (CCB@EuroSys, 2017)

Towards a middleware for mobile edge-cloud applications. - João Rodrigues 003; Eduardo R. B. Marques; Luís M. B. Lopes; Fernando M. A. Silva (MECC@Middleware, 2017)

Streaming sensor data from dynamically reprogrammable tasks running on mobile devices. - Nuno Silva 003; Eduardo R. B. Marques; Luís M. B. Lopes (BuildSys, 2017)

Video Dissemination in Untethered Edge-Clouds: A Case Study. - João Rodrigues 003; Eduardo R. B. Marques; Joaquim Silva 001; Luís M. B. Lopes; Fernando M. A. Silva (DAIS, 2018)

Dolphin: A Task Orchestration Language for Autonomous Vehicle Networks. - Keila Lima; Eduardo R. B. Marques; José Pinto 001; João B. Sousa (IROS, 2018)

Flux: A Platform for Dynamically Reconfigurable Mobile Crowd-Sensing. - Nuno Silva 003; Eduardo R. B. Marques; Luís M. B. Lopes (ACM Trans. Sens. Networks, 2018)

Ramble: Opportunistic Crowdsourcing of User-Generated Data using Mobile Edge Clouds. - Miguel Garcia; João Rodrigues 003; Joaquim Silva 001; Eduardo R. B. Marques; Luís M. B. Lopes (FMEC, 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 (FMEC, 2020)

Energy-aware adaptive offloading of soft real-time jobs in mobile edge clouds. - Joaquim Silva 001; Eduardo R. B. Marques; Luís M. B. Lopes; Fernando Silva 001 (J. Cloud Comput., 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)

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)

Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds. - Joaquim Silva 001; Eduardo R. B. Marques; Luís M. B. Lopes; Fernando M. A. Silva (Softw. Pract. Exp., 2023)

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)