???global.info.a_carregar???
Identification

Personal identification

Full name
Luis Lopes

Citation names

  • Lopes, Luis

Author identifiers

Ciência ID
D215-F8C1-953A
ORCID iD
0000-0001-8273-1357
Education
Degree Classification
1999/12/21
Concluded
 Ciência de Computadores (Doutoramento)
Major in Ciência de Computadores
Universidade do Porto Faculdade de Ciências, Portugal
"On the Design and Implementation of a Virtual Machine for Process Calculi" (THESIS/DISSERTATION)
 Aprovado por unanimidade
1995/03/01
Concluded
 Provas de Capacidade Científica e Aptidão Pedagógica (Curso Técnico Superior Profissional)
Major in Ciência de Computadores
Universidade do Porto Faculdade de Ciências, Portugal
 Muito Bom
1988/09/01 - 1992/06/30
Concluded
 Matemática Aplicada, ramo de Ciência de Computadores (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
 16
Affiliation

Science

Category
Host institution 		Employer
2008/01/01 - Current Researcher (Research) Universidade do Porto, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
1993/01/01 - 2007/01/01 Researcher (Research) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2010 - Current Associate Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2000 - 2010 Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
1995 - 1999 Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1993/01/01 - 1995 Trainee Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
Projects

Contract

Designation Funders
2020 - Current SMILES
NORTE-01-0145-FEDER-000020
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Concluded
2019 - Current SafeCities
POCI-01-0247-FEDER-041435
Researcher
Universidade do Porto, Portugal
Concluded
2016 - Current RTS
ON.2/NORTE-07-0124-FEDER-000062
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Concluded
2016 - Current SENSING
ON.2/NORTE-07-0124-FEDER-000058
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Concluded
2021/01/01 - 2025/12/31 INESC TEC - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC)
LA/P/0063/2020
10.54499/LA/P/0063/2020
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2019/01/01 - 2019/12/31 INESC TEC – INESC Tecnologia e Ciência
UID/EEA/50014/2019
Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2015/06/01 - 2018/12/31 FOTOCATGRAF
UTAP-ICDT/CTM-NAN/0025/2014
Rede de Química e Tecnologia Laboratório Associado para a Química Verde, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade de Aveiro, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade de Aveiro CICECO, Portugal

Universidade do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2014/04/21 - 2018/07/31 Hyrax
CMUP-ERI/FIA/0048/2013
Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Carnegie Mellon University, United States

Instituto de Telecomunicações Lisboa, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2011/03/01 - 2014/08/31 MACAW
PTDC/EIA-EIA/115730/2009
Researcher
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2010/04/01 - 2013/03/31 Knowledge Discovery from Ubiquitous Data Streams
PTDC/EIA-EIA/098355/2008
Instituto de Engenharia de Sistemas e Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2008/05/18 - 2011/05/17 Quadro formal para projecto e operação de redes de veículos e sensores em aplicações inovadores de elevado impacto na sociedade
PTDC/EEA-ACR/75242/2006
Centro de Investigação em Sistemas e Tecnologias, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

University of California Berkeley, United States

Universidade do Porto Faculdade de Desporto, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2008/01/01 - 2011/04/30 CALLAS
PTDC/EIA/71462/2006
Principal investigator
Universidade do Porto Faculdade de Ciências, Portugal

Instituto de Telecomunicações Lisboa, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2001 - 2004 MIMO
POSI/CHS/39789/2001
Principal investigator
Concluded
2001 - 2004 MIKADO
IST-2001-32222
Researcher
Concluded
1998 - 2001 DICOMO
PRAXIS/C/EEI/12059/1998
Researcher
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Concluded
1995 - 1998 DOLPHIN
PRAXIS/2/2.1/TIT/1577/95
Researcher
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Concluded
Outputs

Publications

Book chapter
  1. Lopes, LMB; Martins, F; Barros, J. "Programming Wireless Sensor Networks". 2009.
    10.1007/978-3-540-89707-1_2
  2. Rodrigues, PP; Gama, J; Lopes, L. "Knowledge discovery for sensor network comprehension". 2009.
    10.4018/978-1-60566-328-9.ch006
Conference paper
  1. Silva, J; Marques, ERB; Lopes, LMB; Silva, F. "JAY: Adaptive Computation Offloading for Hybrid Cloud Environments". 2020.
    10.1109/fmec49853.2020.9144950
  2. Garcia, M; Rodrigues, J; Silva, J; Marques, ERB; Lopes, LMB. "RAMBLE: Opportunistic Crowdsourcing of User-Generated Data using Mobile Edge Clouds". 2020.
    10.1109/fmec49853.2020.9144881
  3. Rodrigues, J; Marques, ERB; Silva, J; Lopes, LMB; Silva, F. "Video Dissemination in Untethered Edge-Clouds: A Case Study". 2018.
    10.1007/978-3-319-93767-0_10
  4. Silva, J; Silva, D; Marques, ERB; Lopes, LMB; Silva, FMA. "P3-Mobile: Parallel Computing for Mobile Edge-Clouds". 2017.
    10.1145/3069383.3069388
  5. Pinto Silva, PMP; Rodrigues, J; Silva, J; Martins, R; Lopes, L; Silva, F. "Using Edge-Clouds to Reduce Load on Traditional WiFi Infrastructures and Improve Quality of Experience". 2017.
    10.1109/icfec.2017.14
  6. Rodrigues, J; Marques, ERB; Lopes, LMB; Silva, FMA. "Towards a middleware for mobile edge-cloud applications". 2017.
    10.1145/3152360.3152361
  7. Silva, N; Marques, ERB; Lopes, LMB. "Streaming sensor data from dynamically reprogrammable tasks running on mobile devices". 2017.
    10.1145/3137133.3137139
  8. Rodrigues, J; Silva, J; Martins, R; Lopes, L; Drolia, U; Narasimhan, P; Silva, F. "Benchmarking Wireless Protocols for Feasibility in Supporting Crowdsourced Mobile Computing". 2016.
    10.1007/978-3-319-39577-7_8
  9. Ferro, G; Silva, R; Lopes, L. "Towards Out-of-the-Box Programming of Wireless Sensor-Actuator Networks". 2015.
    10.1109/cse.2015.20
  10. Machado, C; Gouveia, C; Ferreira, J; Kovacs, B; Jorge, P; Lopes, L. "An Adjustable Sensor Platform Using Dual Wavelength Measurements For Optical Colorimetric Sensitive Films". 2014.
    10.1109/icsens.2014.6985018
  11. Neto, E; Mendes, R; Lopes, LMB. "An Architecture for Seamless Configuration, Deployment, and Management of Wireless Sensor-actuator Networks". 2014.
  12. Kirsch, CM; Lopes, L; Marques, ERB; Sokolova, A. "Runtime programming through model-preserving, scalable runtime patches". 2012.
    10.1007/978-3-642-27269-1_18
  13. Martins, F; Lopes, LMB; Barros, J. "Towards the Safe Programming of Wireless Sensor Networks". 2009.
    10.4204/EPTCS.17.5
  14. Ribeiro, P; Pereira, P; Lopes, L; Silva, F. "Plugging Computer Labs to the Grid". 2007.
  15. Martins, F; Salvador, L; Vasconcelos, VT; Lopes, LMB. "MiKO - Mikado Koncurrent Objects". 2005.
  16. Lopes, L; Figueira, A; Silva, F; Vasconcelos, VT. "A concurrent programming environment with support for distributed computations and code mobility". 2000.
    10.1109/CLUSTR.2000.889083
  17. Silva, FMA; Paulino, H; Lopes, LMB. "Di_pSystem: A Parallel Programming System for Distributed Memory Architectures". 1999.
    10.1007/3-540-48158-3_65
  18. Lopes, LMB; Silva, FMA. "Scheduling Algorithms Performance with the pSystem Parallel Programming Environment". 1994.
    10.1007/3-540-58184-7_167
Edited book
  1. Lopes, L; Zilinskas, J; Costan, A; Cascella, RG; Kecskemeti, G; Jeannot, E; Cannataro, M; et al. Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 InternationalWorkshops Porto, Portugal, August 25-26, 2014 Revised Selected Papers, Part II. 2014.
    10.1007/978-3-319-14313-2
  2. Lopes, L; Zilinskas, J; Costan, A; Cascella, RG; Kecskemeti, G; Jeannot, E; Cannataro, M; et al. Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops Porto, Portugal, August 25-26, 2014 Revised Selected Papers, Part I. 2014.
    10.1007/978-3-319-14325-5
  3. Martins, F; Lopes, LMB; Paulino, H. Sensor Systems and Software - Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers. 2012.
    10.1007/978-3-642-32778-0
Journal article
  1. Joaquim Silva; Eduardo R. B. Marques; Luís M. B. Lopes; Fernando M. A. Silva. "Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds". Software: Practice and Experience (2023): https://doi.org/10.1002/spe.3231.
    10.1002/spe.3231
  2. Silva, J; Marques, ERB; Lopes, LMB; Silva, F. "Energy-aware adaptive offloading of soft real-time jobs in mobile edge clouds". JOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONS (2021):
    10.1186/s13677-021-00251-9
  3. Rodrigues, PP; Araujo, J; Gama, J; Lopes, L. "A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks". INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS (2018):
    10.1177/1550147718808239
  4. Silva, N; Marques, ERB; Lopes, LMB. "FLUX: A Platform for Dynamically Reconfigurable Mobile Crowd-Sensing". ACM TRANSACTIONS ON SENSOR NETWORKS (2018):
    10.1145/3200202
  5. Lopes, L; Martins, F. "A safe-by-design programming language for wireless sensor networks". JOURNAL OF SYSTEMS ARCHITECTURE (2016):
    10.1016/j.sysarc.2016.01.004
  6. Martins, R.; Lopes, L.; Silva, F.; Narasimhan, P.. "Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems". Proceedings of the ACM Symposium on Applied Computing (2013): 431-438. http://www.scopus.com/inward/record.url?eid=2-s2.0-84877937384&partnerID=MN8TOARS.
    10.1145/2480362.2480449
  7. Ribeiro, P.; Silva, F.; Lopes, L.. "Parallel discovery of network motifs". Journal of Parallel and Distributed Computing 72 2 (2012): 144-154. http://www.scopus.com/inward/record.url?eid=2-s2.0-84855354933&partnerID=MN8TOARS.
    10.1016/j.jpdc.2011.08.007
  8. Ribeiro, P.; Silva, F.; Lopes, L.. "A parallel algorithm for counting subgraphs in complex networks". Communications in Computer and Information Science 127 CCIS (2011): 380-393. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952509908&partnerID=MN8TOARS.
    10.1007/978-3-642-18472-7_30
  9. Gama, J.; Rodrigues, P.P.; Lopes, L.. "Clustering distributed sensor data streams using local processing and reduced communication". Intelligent Data Analysis 15 1 (2011): 3-28. http://www.scopus.com/inward/record.url?eid=2-s2.0-79551527268&partnerID=MN8TOARS.
    10.3233/IDA-2010-0453
  10. Kirsch, C.M.; Lopes, L.; Marques, E.R.B.; Sokolova, A.. "Runtime programming through model-preserving, scalable runtime patches". Proceedings - International Conference on Application of Concurrency to System Design, ACSD (2011): 77-86. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052631657&partnerID=MN8TOARS.
    10.1109/ACSD.2011.28
  11. Rodrigues, P.P.; Gama, J.; Araújo, J.; Lopes, L.. "L2GClust: Local-to-global clustering of stream sources". Proceedings of the ACM Symposium on Applied Computing (2011): 1006-1011. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959289297&partnerID=MN8TOARS.
    10.1145/1982185.1982405
  12. Ribeiro, P.; Silva, F.; Lopes, L.. "Parallel calculation of subgraph census in biological networks". BIOINFORMATICS 2010 - Proceedings of the 1st International Conference on Bioinformatics (2010): 56-65. http://www.scopus.com/inward/record.url?eid=2-s2.0-77956355426&partnerID=MN8TOARS.
  13. Martins, R.; Narasimhany, P.; Lopes, L.; Silva, F.. "Lightweight fault-tolerance for peer-to-peer middleware". Proceedings of the IEEE Symposium on Reliable Distributed Systems (2010): 313-317. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650529379&partnerID=MN8TOARS.
    10.1109/SRDS.2010.43
  14. Ribeiro, P.; Silva, F.; Lopes, L.. "Efficient parallel subgraph counting using G-tries". Proceedings - IEEE International Conference on Cluster Computing, ICCC (2010): 217-226. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649461072&partnerID=MN8TOARS.
    10.1109/CLUSTER.2010.27
  15. Martins, R.; Lopes, L.; Silva, F.. "A peer-to-peer middleware platform for fault-tolerant, QoS, real-time computing". Proceedings of the 2nd Workshop on Middleware-Application Interaction, MAI'2008 - Affiliated with the DisCoTec Federated Conferences 2008 (2008): 1-6. http://www.scopus.com/inward/record.url?eid=2-s2.0-57449084766&partnerID=MN8TOARS.
    10.1145/1394272.1394274
  16. Rodrigues, P.P.; Gama, J.; Lopes, L.. "Clustering distributed sensor data streams". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5212 LNAI PART 2 (2008): 282-297. http://www.scopus.com/inward/record.url?eid=2-s2.0-56049122488&partnerID=MN8TOARS.
    10.1007/978-3-540-87481-2_19
  17. Paulino, H.; Lopes, L.. "A programming language for service-oriented computing with mobile agents". Software - Practice and Experience 38 7 (2008): 705-734. http://www.scopus.com/inward/record.url?eid=2-s2.0-43949111325&partnerID=MN8TOARS.
    10.1002/spe.842
  18. Lopes, L.; Martins, F.; Silva, M.S.; Barros, J.. "A process calculus approach to sensor network programming". 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings (2007): 451-456. http://www.scopus.com/inward/record.url?eid=2-s2.0-46449099827&partnerID=MN8TOARS.
    10.1109/SENSORCOMM.2007.4394962
  19. Paulino, H.; Lopes, L.. "A mobile agent service-oriented scripting language encoded on a process calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4228 LNCS (2006): 383-402. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750721025&partnerID=MN8TOARS.
    10.1007/11860990_24
  20. Paulino, H.; Lopes, L.. "A service-oriented language for programming mobile agents". Proceedings of the International Conference on Autonomous Agents 2006 (2006): 1294-1296. http://www.scopus.com/inward/record.url?eid=2-s2.0-34247192545&partnerID=MN8TOARS.
    10.1145/1160633.1160870
  21. Bettini, L.; De Nicola, R.; Falassi, D.; Lacoste, M.; Lopes, L.; Oliveira, L.; Paulino, H.; Vasconcelos, V.T.. "A software framework for rapid prototyping of run-time systems for mobile calculi". Lecture Notes in Computer Science 3267 (2005): 179-208. http://www.scopus.com/inward/record.url?eid=2-s2.0-23944436421&partnerID=MN8TOARS.
    10.1007/978-3-540-31794-4_10
  22. Paulino, H.; Marques, P.; Lopes, L.; Vasconcelos, V.; Silva, F.. "A multi-threaded asynchronous language". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2763 (2003): 316-323. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750689020&partnerID=MN8TOARS.
    10.1007/978-3-540-45145-7_29
  23. Figueira, Á.R.; Paulino, H.; Lopes, L.; Silva, F.. "Distributed typed concurrent objects: A programming language for distributed computations with mobile resources". Journal of Universal Computer Science 9 8 (2003): 745-760. http://www.scopus.com/inward/record.url?eid=2-s2.0-23844496715&partnerID=MN8TOARS.
  24. Martins, F.; Lopes, L.; Vasconcelos, V.T.. "The impact of linearity information on the performance of TyCO". Electronic Notes in Theoretical Computer Science 75 (2003): 43-62. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944371995&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)80778-3
  25. Paulino, H.; Lopes, L.; Silva, F.. "Mob: A scripting language for mobile agents based on a process calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2722 (2003): 40-43. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750741272&partnerID=MN8TOARS.
    10.1007/3-540-45068-8_6
  26. Ravara, A.; Matos, A.G.; Vasconcelos, V.T.; Lopes, L.. "Lexically scoped distribution: What you see is what you get". Electronic Notes in Theoretical Computer Science 85 1 (2003): 61-79. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944401258&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80088-X
  27. Oliveira, L.; Lopes, L.; Silva, F.. "P3: Parallel peer to peer an Internet parallel programming environment". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2376 LNCS (2002): 274-288. http://www.scopus.com/inward/record.url?eid=2-s2.0-33746820623&partnerID=MN8TOARS.
    10.1007/3-540-45745-3_25
  28. Lopes, L.; Vasconcelos, V.T.; Silva, F.. "Fine-grained multithreading with process calculi". IEEE Transactions on Computers 50 8 (2001): 852-862. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035415695&partnerID=MN8TOARS.
    10.1109/12.947014
  29. Lopes, Luis; Silva, Fernando; Vasconcelos, Vasco T.. "Fine grained multithreading with process calculi". Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT (2000): 217-226. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034498010&partnerID=MN8TOARS.
    10.1109/PACT.2000.888346
  30. Lopes, L; Silva, F; Vasconcelos, VT. "A virtual machine for a process calculus". PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS (1999):
    10.1007/10704567_15
  31. Vasconcelos, V.T.; Lopes, L.; Silva, F.. "Distribution and mobility with lexical scoping in process calculi". Electronic Notes in Theoretical Computer Science 16 3 (1998): 189-204. http://www.scopus.com/inward/record.url?eid=2-s2.0-0012717860&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)00142-2
  32. Lopes, L.M.B.; Silva, F.M.A.. "Thread- and process-based implementations of the pSystem parallel programming environment". Software - Practice and Experience 27 3 (1997): 329-351. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031098363&partnerID=MN8TOARS.
    10.1002/(sici)1097-024x(199703)27:3<329::aid-spe90>3.0.co;2-9

Other

Other output
  1. The Mob core language and abstract machine (rev 0.2). 2008. Paulino, Herve; Lopes, LuisM.B..
  2. A Formal Model for Programming Wireless Sensor Networks. 2007. Lopes, LuisM.B.; Martins, Francisco; Silva, MiguelS.; Barros, Joao.
  3. A Calculus for Sensor Networks. 2006. Silva, MiguelS.; Martins, Francisco; Lopes, LuisM.B.; Barros, Joao.