???global.info.a_carregar???
Alberto José Gonçalves de Carvalho Proença. Concluiu o(a) Título de Agregado em Engenharia Informática em 1998 pelo(a) Universidade do Minho Escola de Engenharia, Licenciatura em Engª Electrotécnica em 1976 pelo(a) Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Doktor (PhD) em n/a em 1982 pelo(a) The University of Manchester - North Campus e Master Universitario em MSc Digital Electronics em 1979 pelo(a) The University of Manchester - North Campus. Publicou 4 artigos em revistas especializadas. Possui 2 livro(s). Orientou 3 tese(s) de doutoramento. Orientou 11 dissertação(ões) de mestrado. Recebeu 3 prémio(s) e/ou homenagens. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Decision support system; Civil protection; Geospatial services; Interoperability; Forest fires; OGC; Partitioning; Hardware/software co-design; PSM meta-model; Tabu search; Cluster growth; Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática; High Throughput Computing; Pipeline; Coding Environment; Execution Efficiency; Ciências Naturais::Ciências da Computação e da Informação; Science & Technology; PVC; Enumeração; Paralelização; OpenMP; MPI; Global illumination; Path space based integration; Heterogeneous parallel computing; Codesign; Rapid system prototyping; FPLDs; Transputer; VHDL generation; Parallel controllers; Petri nets; Partition methodology; Metrics estimation; Evaluation; Scheduling; Bayesian Networks; Parallel Computing; software tool; crystallographic indexing; nanostructured materials; .
Identificação

Identificação pessoal

Nome completo
Alberto José Gonçalves de Carvalho Proença

Nomes de citação

  • Proença, Alberto
  • Alberto Proenca

Identificadores de autor

Ciência ID
F91D-2BC2-5C00
ORCID iD
0000-0001-6018-7346

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador independente (B1)
Francês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Espanhol; Castelhano Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Formação
Grau Classificação
1998
Concluído
Engenharia Informática (Título de Agregado)
Universidade do Minho Escola de Engenharia, Portugal
Unanimidade
1982
Concluído
n/a (Doctor of Philosophy)
The University of Manchester - North Campus, Reino Unido
"A Local Network Architecture for Real Time Control" (TESE/DISSERTAÇÃO)
Unanimidade
1979
Concluído
MSc Digital Electronics (Master)
The University of Manchester - North Campus, Reino Unido
"A Multi-user Microprocessor Development Aid in CYBA-M" (TESE/DISSERTAÇÃO)
Unanimidade
1976
Concluído
Engª Electrotécnica (Licenciatura)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"n/a" (TESE/DISSERTAÇÃO)
18
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2001/01/01 - 2024/06/30 Professor Catedrático (Docente Universitário) Universidade do Minho, Portugal
2015 - 2018 Professor Catedrático (Docente Universitário) Universidade do Minho Centro ALGORITMI, Portugal
2007 - 2013 Professor Catedrático (Docente Universitário) Universidade do Minho Centro ALGORITMI, Portugal
1982/07/01 - 1987/03/01 Professor Auxiliar (Docente Universitário) Universidade do Minho, Portugal
1982/07/01 - 1985/08/01 Leitor (Docente Universitário) Universidade do Minho, Portugal
1979/10/01 - 1982/07/01 Assistente (Docente Universitário) Universidade do Minho, Portugal
1977/02/01 - 1982/07/01 Leitor (Docente Universitário) Universidade do Minho, Portugal
1977/02/01 - 1979/10/01 Assistente Estagiário (Docente Universitário) Universidade do Minho, Portugal
1976/10/01 - 1977/02/01 Assistente Estagiário (Docente Universitário) Universidade do Porto, Portugal
1976/10/01 - 1977/02/01 Leitor (Docente Universitário) Universidade do Porto, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
2013/01/01 - 2017/12/31 CoLab co-Director for Advanced Computing (Portugal-Univ. Texas in Austin, contract) Universidade do Minho, Portugal
2007/10/09 - 2012/12/31 CoLab Director for Advanced Computing (Portugal-Univ. Texas in Austin, contract) Universidade do Minho, Portugal
2005/01/17 - 2010/06/09 University Senate Member Universidade do Minho, Portugal
2006/06/01 - 2008/06/01 Program Director on Computer Science (Degree: Lic.) Universidade do Minho, Portugal
2002/09/01 - 2007/09/30 Director of R&D Centre of Computing Science and Technnologies Universidade do Minho, Portugal
1985/06/01 - 2003/05/01 Director of the University Computer Centre Universidade do Minho, Portugal
2002/04/01 - 2003/01/01 Director of R&D Centre of Computing Science and Technnologies Universidade do Minho, Portugal
1987/03/01 - 2001/01/01 Assoc. Professor Universidade do Minho, Portugal
1982/03/01 - 1985/11/01 Head of Dept. Universidade do Minho, Portugal
1974/09/01 - 1975/05/01 Demonstrator Universidde de Lourenço Marques, Moçambique, Moçambique
Projetos

Projeto

Designação Financiadores
2019 - 2022/05/31 Efficient computational solutions for integrated DNA barcoding, metabarcoding and associated high-throughput sequencing data analysis
PTDC/BIA-OUT/29626/2017
Universidade do Minho, Portugal

Universidade do Porto Instituto de Patologia e Imunologia Molecular, Portugal

Instituto Nacional de Engenharia Biomédica, Portugal
Fundação para a Ciência e a Tecnologia
Desativado
2018 - 2021/12 ESC4SHI: Efficient Simulation and Computation for Health, Sea and Industry,
PTDC/MAT-APL/28118/2017
Investigador
Universidade do Minho Centro de Física, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2018 - 2021/06 RDB-TS: A reaction database for transition state information from quantum chemical calculations
TDC/QUI-QFI/31689/2017
Investigador
Universidade do Minho Centro ALGORITMI, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2014 - 2015/05 SeARCH-ON2: Requalificação de infraestruturas de HPC da UMinho
NORTE-07-0162-FEDER-000086
Investigador responsável
2010 - 2012/10 PERFORM: Portability and Performance in Heterogeneous Many Core Systems
100035
Provided by PTCRIS: 100035
PTDC /EIA-EIA/100035/2008
Universidade do Minho Centro ALGORITMI, Portugal
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2007 - 2011/08/31 UMinho Activities Plan under the UTA-Portugal Program
UTAustin/0003/2006
Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2007 - 2010/12 CROSS-Fire: Collaborative Resources Online to Support Simulations on Forest Fires. A Grid Platform to Integrate Geo-referenced Web Services for Real-Time Management
GRID/GRI/81795/2006
Investigador responsável
2007 - 2010/12 AspectGrid: Pluggable Grid Aspects for Scientific Applications
81880
Provided by PTCRIS: 81880
GRID/GRI/81880/2006
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2005 - 2006/12 SeARCH: Services and Advanced Research Computing with HTC/HPC clusters
REEQ/443/EEI/2005
Investigador responsável
2002 - 2005/09 ViAr: Affordable and Interactive Virtual Archaeology with Adaptive Cluster Computing
POSI/CHS/42041/2001
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
1997 - 2000/05 SETNA-ParComp: Scalable Environments, Tools and Numerical Algorithms in Parallel Computing
PRAXIS XXI 2/2.1/TIT/1557/95
Investigador responsável
Universidade do Minho, Portugal
1997 - 2000/05 GEIRA: Gestão da Informação Regional da Área Fronteiriça Norte
INTERREG II 02/REGII/6/96
Investigador responsável
Universidade do Minho, Portugal
1990 - 1993/10 Projecto, implementação e avaliação duma arquitectura de computador para Visão
JNICT PMCT/C/TIT/165/90
Investigador responsável
Universidade do Minho, Portugal
1989 - 1991/09 Domains of Applicability of CSP and Associative Parallel Schemes for High-Level Vision Processing
ESPRIT BRA 3224
Investigador
Universidade do Minho, Portugal
Produções

Publicações

Artigo em conferência
  1. Proença, Alberto; Andre´ Pereira. "PRNG-broker: A High-Performance Broker to Supply Parallel Generated Streams of Pseudo-Random Numbers to Large Scale Simulations". Trabalho apresentado em International Conference on Computational Science and its Applications (2020), 2020.
    Submetido
  2. Proença, Alberto; André Pereira; António Onofre. "Efficient Use of Parallel PRNGs on Heterogeneous Servers". Trabalho apresentado em Intern. Conf. on Mathematical Applications, Funchal, 2018.
    Publicado
  3. Oliveira, André; Perdigão, César Morais; Santos, Luís Paulo; Proença, Alberto José. "Exploring heterogeneous computing with advanced path tracing algorithms". Trabalho apresentado em 23rd Portuguese Meeting on Computer Graphics and Interaction, 2016.
    Publicado • 10.1109/EPCGI.2016.7851185
  4. Correia, Fábio José Gonçalves; Mariano, Artur Miguel Matos; Proença, Alberto José; Bischof, Christian; Agrell, Erik. "Parallel improved Schnorr-Euchner enumeration SE++ for the CVP and SVP". Trabalho apresentado em 24th Euromicro Int. Conf. Parallel, Distributed, and Network-Based Processing, 2016.
    Publicado • 10.1109/PDP.2016.95
  5. Proença, Alberto; André Pereira; António Onofre; Pereira, A.; Onofre, A.; Proenca, A.. "Tuning Pipelined Scientific Data Analyses for Efficient Multicore Execution". Trabalho apresentado em Int. Conf. High Performance Computing & Simulation, 2016.
    Publicado • 10.1109/HPCSim.2016.7568410
  6. Pereira, André Martins; Onofre, A.; Proença, Alberto José. "HEP-Frame: A software engineered framework to aid the development and efficient multicore execution of scientific code". Trabalho apresentado em Int. Conf. Computational Science and Computational Intelligence, 2015.
    Publicado • 10.1109/CSCI.2015.42
  7. Proença, Alberto; Cristiano Da Silva Sousa; Artur Mariano; Da Silva Sousa, C.; Mariano, A.; Proença, A.. "A generic and highly efficient parallel variant of Boruvka's algorithm". Trabalho apresentado em 23rd Euromicro Int. Conf. Parallel, Distributed, and Network-Based Processing, 2015.
    Publicado • 10.1109/PDP.2015.72
  8. Correia, Fábio José Gonçalves; Mariano, Artur Miguel Matos; Proença, Alberto José. "Paralelização de algoritmos de enumeração para o problema do vector mais curto em sistemas de memória partilhada e distribuída". 2014.
  9. Mariano, Artur Miguel Matos; Alves, Ricardo; Barbosa, João; Santos, Luís Paulo; Proença, Alberto José; Proença, Alberto; Artur Mariano; et al. "A (ir)regularity-aware task scheduler for heterogeneous platforms". Trabalho apresentado em Int. Conf. High Performance Computing, 2012.
    Publicado
  10. Pina, António Manuel Silva; Oliveira, B.; Ribeiro, Luís Mário; Puga, Joel; Esteves, António; Proença, Alberto José; Viegas, Domingos X.. "Cross-Fire : a grid platform to integrate geo-referenced web services for real-time risk management". Trabalho apresentado em VI International Conference on Forest Fire Research, Coimbra, 2010.
    Publicado
  11. Proença, Alberto; Bruno Oliveira; António Pina; Oliveira, B.; Pina, António Manuel Silva; Proença, Alberto José. "EGEE site administration made easy". Trabalho apresentado em 4th Iberian Grid Infrastructure Conf (IBERGRID´10), 2010.
    Publicado
  12. Proença, Alberto; António Esteves; Marco Caldas; António Pina. "An OGC/SOS Conformant Client to Manage Geospatial Data on the GRID". Trabalho apresentado em 4th Iberian Grid Infrastructure Conf (IBERGRID´10), 2010.
    Publicado
  13. Proença, Alberto; António Pina; Bruno Oliveira; Joel Puga; Antonio Esteves. "A platform to support Civil Protection applications on the GRID". Trabalho apresentado em 4th Iberian Grid Infrastructure Conf (IBERGRID´10), 2010.
    Publicado • 10.1109/ccgrid.2006.1630896
  14. Pina, António Manuel Silva; Oliveira, B.; Puga, Joel; Esteves, António; Proença, Alberto José. "Bridging the gap between applications geospatial data and the Grid". 2010.
  15. Proença, Alberto; António Pina; Bruno Oliveira; Joel Puga; Ricardo Marques; Pina, António Manuel Silva; Oliveira, B.; et al. "An OGC-WS Framework to Run FireStation on the Grid". Trabalho apresentado em 3rd Iberian Grid Infrastructure Conf (IBERGRID´09), Valência, 2009.
    Publicado
  16. Pina, António Manuel Silva; Oliveira, B.; Puga, Joel; Esteves, António; Proença, Alberto José; Proença, Alberto; António Pina; et al. "FireStation on the grid: aAfurther on the adoption of OGC/SDI standards". Trabalho apresentado em Enabling Grids for E-sciencE Conf. (EGEE'09), Barcelona, 2009.
    Publicado
  17. Pina, António Manuel Silva; Oliveira, B.; Puga, Joel; Esteves, António; Proença, Alberto José; Proença, Alberto; António Pina; et al. "CROSS-Fire : a risk management decision support system on the Grid". Trabalho apresentado em 2nd EELA-2 Conference, Choroni, 2009.
    Publicado
  18. Proença, Alberto; J. Barbosa; P. Bernardes; M. Almeida; P. Gomes; R. Goncalves. "A Technology Cocktail for a 3D Photo-Realistic Model of a I Century Roman Fountain: Range Scanning, RTI and Physically Based Rendering". Trabalho apresentado em 9th Int. Symposium on Virtual Reality, Archaeology and Cultural Heritage, VAST'2008, Braga, 2008.
    Publicado
  19. Proença, Alberto; Mudge, M.; Malzbender, T.; Chalmers, A.; Scopigno, R.; Davis, J.; Wang, O.; et al. "Image-Based Empirical Information Acquisition, Scientific Reliability, and Long-Term Digital Preservation for the Natural Sciences and Cultural Heritage". Trabalho apresentado em Eurographics 2008, Crete, 2008.
    Publicado
  20. Proença, Alberto; Barbosa, J.; Sobral, J.L.. "Imaging Techniques to Simplify the PTM Generation of a Bas-Relief". Trabalho apresentado em 8th Int. Symposium on Virtual Reality, Archaeology and Cultural Heritage, VAST´2007, Brighton, 2007.
    Publicado
  21. Proença, Alberto; Barbosa, J.; Sobral, J.L.. "Detecção Automática da Localização dos Focos de Luz na Modelação de Baixos Relevos em Texturas PTM". Trabalho apresentado em 15º Encontro Português de Computação Gráfica, EPCG'2007, Porto Salvo, 2007.
    Publicado
  22. Proença, Alberto; Sobral, J.L.. "Enabling JaSkel Skeletons for Clusters and Computational Grids". Trabalho apresentado em IEEE Cluster (Cluster 2007), Austin, 2007.
    Publicado
  23. Proença, Alberto; Alonso, J. M.; Hernández, V.; Moltó, G.; Sobral, J.L.. "Grid Enabled JaSKel Skeletons with GMarte". Trabalho apresentado em 1st Iberian Grid Infrastructure Conf (IBERGRID´07), Santiago de Compostela, 2007.
    Publicado
  24. Proença, Alberto; J. F. Ferreira; J. L. Sobral. "JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing". Trabalho apresentado em 6th IEEE International Symposium on Cluster Computing and the Grid (CCGRID'06), 2006.
    Publicado
  25. Proença, Alberto; Oliveira, A.; Santos, L.P.. "Refinement Criteria for High Fidelity Interactive Walkthroughs". Trabalho apresentado em 4th Int Conf Computer Graphics and Interactive Techniques in Australasia and South-East Asia – GRAPHITE’06, 2006.
    Publicado
  26. Proença, Alberto; Santos, L.P.; Coelho, V.; Bernardes, P.; Santos, Luís Paulo; Coelho, Vítor; Proença, Alberto José. "High Fidelity Walkthroughs in Archaeology Sites". Trabalho apresentado em 6th Int. Symposium on Virtual Reality, Archaeology and Cultural Heritage, VAST'2005, 2005.
    Publicado
  27. Esteves, António; Proença, Alberto José. "A hardware/software partition methodology targeted to an FPGA/CPLD architecture". Trabalho apresentado em Jornadas sobre Sistemas Reconfiguráveis, 2005.
    Publicado
  28. Esteves, António; Proença, Alberto José. "A partition methodology to develop data flow dominated embedded systems". Trabalho apresentado em Int. Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2004), Hamilton, 2004.
    Publicado
  29. Proença, Alberto; Santos, L.P.. "A Systematic Approach to Effective Scheduling in Distributed Systems". Trabalho apresentado em 5th Int. Conf. Vector and Parallel Processing, VecPar '02, Porto, 2002.
    Publicado
  30. Santos, L.P.; Proença, A.. "A Bayesian runtime load manager on a shared cluster". Trabalho apresentado em 1st IEEE/ACM Symp. Cluster Computing and the Grid (CCGrid 2001), Brisbane, 2001.
    Publicado • 10.1109/ccgrid.2001.923259
  31. Proença, Alberto; Sobral, J.. "A SCOOPP Evaluation on Packing Parallel Objects in Run-time". Trabalho apresentado em 4th Int. Conf. Vector and Parallel Processing, VecPar '2000, Porto, 2000.
    Publicado
  32. Sobral, J.L.; Proenca, A.J.. "Dynamic grain-size adaptation on object oriented parallel programming. The SCOOPP approach". Trabalho apresentado em 2nd Merged IPPS/SPDP 1999, 1999.
    Publicado • 10.1109/ipps.1999.760556
  33. Machado, Ricardo J.; Fernandes, João M.; Proença, Alberto José. "An object-oriented model for rapid prototyping of data path/control systems - a case study". 1999.
  34. Machado, R.J.; Fernandes, J.M.; Proenca, A.J.. "Hierarchical mechanisms for high-level modeling and simulation of digital systems". Trabalho apresentado em 5th IEEE Intern. Conf. on Electronics, Circuits and Systems (ICECS'98, Lisboa, 1998.
    Publicado • 10.1109/icecs.1998.813973
  35. Proença, Alberto; Pereira, F.S.; Bulas-Cruz J.. "Remote Learning in Parallel Computing. Design of an Interactive Course". Trabalho apresentado em 10th World Conf. on Educational Multimedia and Hypermedia & World Conference on Educational Telecommunications (ED-MEDIA/ ED-TELECOM '98), Freiburg, 1998.
    Publicado
  36. Proença, Alberto; Machado, R.J.; Fernandes, J.M.. "An Object-Oriented Model for Rapid Prototyping of Data Path/Control Systems - A Case Study". Trabalho apresentado em 9th IFAC Symp. on Information Control in Manufacturing (INCOM'98), Nancy e Metz, 1998.
    Publicado
  37. Proença, Alberto; Brito, M.; Ramalho, T.; Regalo H.. "Using the Web to Give Life to Museums". Trabalho apresentado em Intern. Conf. on Museums and the Web,, Toronto, 1998.
    Publicado
  38. Sobral, J.L.; Proenca, A.J.. "ParC++: a simple extension of C++ to parallel systems". Trabalho apresentado em 6th EuroMicro Workshop on Parallel and Distributed Processing, Madrid, 1998.
    Publicado • 10.1109/empdp.1998.647233
  39. Machado, Ricardo J.; Fernandes, João M.; Proença, Alberto José. "Hierarchical mechanisms for high-level modelling and simulation of digital systems". 1998.
    10.1109/ICECS.1998.813973
  40. Machado, R.J.; Fernandes, J.M.; Proenca, A.J.. "Specification of industrial digital controllers with object-oriented Petri nets". Trabalho apresentado em IEEE Intern. Symp. on Industrial Electronics (Signal Processing & Control), ISIE'97, Guimarães, 1997.
    Publicado • 10.1109/isie.1997.651794
  41. Proença, Alberto; Monteiro, M.P.; Bulas-Cruz, J.. "Porting Khoros Applications to a Parallel Vision Machine". Trabalho apresentado em Khoros Symposium '97, Albuquerque, 1997.
    Publicado
  42. Fernandas, J.M.; Adamski, M.; Proença, A.J.. "VHDL generation from hierarchical Petri net specifications of parallel controllers". 1997.
  43. Machado, Ricardo J.; Fernandes, João M.; Proença, Alberto José. "Redes de Petri e VHDL na prototipagem rápida de sistemas digitais". 1997.
  44. Proença, Alberto; Maia, J.. "Matriz Hipermédia para Desenvolvimento de Material Pedagógico". Trabalho apresentado em Simpósio Investigação e Desenvolvimento de Software Educativo, Costa da Caparica, 1996.
    Publicado
  45. Proença, Alberto; Fernandes, J.M.; Pina, A.M.. "Concurrent Execution of Petri Nets based on Agents". Trabalho apresentado em Workshop OOP & Models of Concurrency, ICATPN'95, Torino, 1995.
    Publicado
  46. Fernandes, João M.; Pina, António Manuel Silva; Proença, Alberto José. "Simulação e síntese de controladores paralelos a partir de especificações baseados em redes de Petri". 1995.
  47. Esteves, António; Fernandes, João M.; Santos, Henrique Dinis dos; Proença, Alberto José. "A plataforma EDgAR na prototipagem rápida de sistemas digitais". 1995.
  48. Proença, Alberto; Santos, L.P.; Chalmers, A.. "A Messages Density Monitoring Strategy for Distributed Memory Parallel Systems". Trabalho apresentado em 2nd Intern. Conf. on Software for Multiprocessors and Supercomputers: Theory, Practice and Experience, Moscow, 1994.
    Publicado
  49. Proença, Alberto; Santos, L.P.; Chalmers, A.. "A Data Management Strategy for Increased Parallel Processing Efficiency". Trabalho apresentado em 1st Intern. Meeting on Vector and Parallel Processing, Porto, 1993.
    Publicado
  50. Proença, Alberto. "Development Stages in Real-Time Computer Vision Architectures". Trabalho apresentado em 1st Intern. Meeting on Vector and Parallel Processing, Porto, 1993.
    Publicado
Artigo em revista
  1. Proença, Alberto; Andre´ Pereira. "Multi-layer Scheduling with Adaptive Ordering of Pipelined Data Stream Analyses on Heterogeneous Servers". Computer Physics Communications (2020):
    Acesso aberto • Submetido
  2. Proença, Alberto; Andre´ Pereira; Anto´nio Onofre. "HEP-Frame: a Powerful Tool to Build LHC Data Analyses". European Physics Journal C (2020):
    Acesso aberto • Submetido
  3. Proença, Alberto; Fábio Correia; Artur Mariano; C. Bischof; E. Agrell; Correia, Fábio; Mariano, Artur; et al. "Parallel improved Schnorr-Euchner enumeration SE++ on shared and distributed memory systems, with and without extreme pruning". Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications 7 4 (2016): 1-19. http://www.scopus.com/inward/record.url?eid=2-s2.0-85008467377&partnerID=MN8TOARS.
    Acesso aberto • Publicado
  4. Debattista, Kurt; Proença, Alberto; Santos, Luís Paulo. "Preface and biographic notes for the special issue on graphics for serious games". Computers & Graphics 34 6 (2010): 641-642. http://dx.doi.org/10.1016/j.cag.2010.09.016.
    Publicado • 10.1016/j.cag.2010.09.016
  5. Debattista, K.; Dickey, M.; Proença, A.; Santos, L.P.. "VS-GAMES 2010 preface". 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 (2010): http://www.scopus.com/inward/record.url?eid=2-s2.0-77953004132&partnerID=MN8TOARS.
  6. Sobral, J.L.; Proença, A.J.. "Enabling JaSkel skeletons for clusters and computational grids". Proceedings - IEEE International Conference on Cluster Computing, ICCC (2007): 365-371. http://www.scopus.com/inward/record.url?eid=2-s2.0-53349161334&partnerID=MN8TOARS.
    10.1109/CLUSTR.2007.4629251
  7. Oliveira, A.; Santos, L.P.; Proença, A.. "Refinement criteria for high fidelity interactive walkthroughs". Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia (2006): 453-458. http://www.scopus.com/inward/record.url?eid=2-s2.0-34547178348&partnerID=MN8TOARS.
    10.1145/1174429.1174505
  8. Ferreira, J.F.; Sobral, J.L.; Proença, A.J.. "JaSkel: A Java skeleton-based framework for structured cluster and grid computing". Sixth IEEE International Symposium on Cluster Computing and the Grid, 2006. CCGRID 06 (2006): 301-304. http://www.scopus.com/inward/record.url?eid=2-s2.0-33751097512&partnerID=MN8TOARS.
    10.1109/CCGRID.2006.65
  9. Santos, L.P.; Proenca, A.. "Scheduling under conditions of uncertainty: A bayesian approach". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3149 (2004): 222-229. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048873914&partnerID=MN8TOARS.
  10. Proença, Alberto; Filipe, V.; Bulas-Cruz, J.. "Aplicación de Redes Neuronales en el Análisis del Movimiento en Secuencias de Imágenes". Información Tecnológica Chile 10 4 (1999):
    Publicado
  11. Sobral, J.L.; Proença, A.J.. "A run-time system for dynamic grain packing". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1685 LNCS (1999): 845-852. http://www.scopus.com/inward/record.url?eid=2-s2.0-53349099372&partnerID=MN8TOARS.
  12. Sobral, Joao Luis; Proenca, Alberto Jose. "Dynamic grain-size adaptation on object oriented parallel programming - the SCOOPP approach". Proceedings of the International Parallel Processing Symposium, IPPS (1999): 728-732. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032641911&partnerID=MN8TOARS.
  13. Sobral, JL; Proenca, AJ; IEEE COMP SOC. "ParC++: A simple extension of C++ to parallel systems". Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing - Pdp '98 (1998): 453-459.
    10.1109/EMPDP.1998.647233
  14. Machado, Ricardo Jorge; Fernandes, Joao Miguel; Proenca, Alberto Jose. "Hierarchical mechanisms for high-level modeling and simulation of digital systems". Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems 3 (1998): 229-232. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032279666&partnerID=MN8TOARS.
  15. Fernandes, João M.; Adamski, Marian; Proença, Alberto José. "VHDL generation from hierarchical petri net specifications of parallel controllers". IEE Journal on Computers and Digital Techniques 144 2 (1997): http://hdl.handle.net/1822/5976.
    Publicado • 10.1049/ip-cdt:19970845
  16. Machado, Ricardo J.; Fernandes, João M.; Proença, Alberto José. "Redes de Petri e VHDL na prototipagem rápida de sistemas digitais". Anais da Engenharia e Tecnologia Electrotécnica, Ordem dos Engenheiros Ano 2 4 (1997): 1-4. http://hdl.handle.net/1822/41350.
    Acesso aberto • Publicado
  17. Oliveira, Vitor; Pina, Antonio; Proenca, Alberto. "Parallel genetic algorithms in a networked workstation environment". International Series on Advances in High Performance Computing (1997): 93-102. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030686293&partnerID=MN8TOARS.
  18. Machado, Ricardo Jorge; Fernandes, Joao Miguel; Proenca, Alberto Jose. "Specification of industrial digital controllers with Object-Oriented Petri Nets". IEEE International Symposium on Industrial Electronics 1 (1997): 78-83. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031372016&partnerID=MN8TOARS.
  19. Santos, Henrique Dinis dos; Ramalho, José Carlos; Fernandes, João M.; Proença, Alberto José. "A heterogeneous computer vision architecture : implementation issues". Computing Systems in Enginering 6 4/5 (1995): http://hdl.handle.net/1822/5950.
    Publicado • 10.1016/0956-0521(95)00029-1
  20. Proença, Alberto; Santos, L.P.; Chalmers, A.. "A messages-density monitoring strategy for distributed-memory parallel systems". Programming and Computer Software 21 1 (1995): 51-55.
    Acesso aberto • Publicado
  21. Proença, Alberto. "Students and Staff Mobility across Europe: from ERASMUS to TEMPUS". Applied Mathematics and Computer Science 3 1 (1993):
    Acesso aberto • Publicado
  22. Proença, Alberto. "The Computer Architecture course in a common core in Computer Science and Engineer degrees". Applied Mathematics and Computer Science 3 1 (1993):
    Acesso aberto • Publicado
  23. Proença, Alberto; Cardoso, Armindo; Araújo, Elísio; Necho, Mário. "A rede informática dos Serviços de Documentação da Universidade do Minho". (1992): https://www.bad.pt/publicacoes/index.php/congressosbad/article/view/2621.
  24. Proenca, Alberto Jose. "Advanced controller design". Prace Naukowe Instytutu Cybernetyki Technicznej, Politechniki Wroclawskiej 89 39 (1991): 191-205. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026404459&partnerID=MN8TOARS.
Artigo em revista (magazine)
  1. Proença, Alberto. "Uma plataforma nacional para integração de serviços geo-referenciados na gestão de fogos florestais em tempo-real", Díxitos, Fundación CESGA, Xullo 2007, 2007
Capítulo de livro
  1. Pereira, André; Onofre, António; Proença, Alberto. "Removing Inefficiencies from Scientific Code: The Study of the Higgs Boson Couplings to Top Quarks". In Lecture Notes on Computer Science, 576-591. Springer International Publishing, 2014.
    Publicado • 10.1007/978-3-319-09147-1_42
  2. Santos, Luís Paulo; Proença, Alberto José. "Scheduling under conditions of uncertainty: a bayesian approach". In Lecture Notes in Computer Science, editado por M. Danelutto; D. Laforenza; M. Vanneschi, 222-229. Springer-Verlag, 2004.
    Publicado
  3. Sobral, J.L.; Proença, A.J.; Proença, Alberto; João Luís Sobral. "Designing scalable object oriented parallel applications". Springer-Verlag, 2002.
    Publicado
  4. Sobral, J.L.; Proença, A.J.. "A SCOOPP evaluation on packing parallel objects in run-time". 2001.
  5. Sobral, JoãoLuís; Proença, AlbertoJosé. "A Run-Time System for Dynamic Grain Packing". In Lecture Notes in Computer Science, editado por P. Amestoy; P. Berger; M. Daydé; I. Duff; V. Frayssé; L. Giraud; D. Ruiz, 845-852. Springer Berlin Heidelberg, 1999.
    Publicado • 10.1007/3-540-48311-x_119
  6. Esteves, António; Fernandes, João M.; Proença, Alberto José. "Edgar : a platform for hardware/software codesign". In Embedded System Applications, editado por C. Baron; J.-C. Geffroy; G. Motet. Kluwer, 1997.
    Publicado
  7. Proença, Alberto; Santos, L.P.; Castro, V; Castro, V.; Proença, A.. "Evaluation of the Communication Performance on a Parallel Processing System". In Lecture Notes in Computer Science, editado por M. Bubak; Jack Dongarra; J. Wasniewski. Springer-Verlag, 1997.
    Publicado
  8. Proença, Alberto; Oliveira, V.; Pina, A.M.. "Parallel Genetic Algorithms in a Networked Workstation Environment". In Applications of High Performance Computing in Engineering V, editado por H. Power; J.J. Casares Long. Computational Mechanics Publications, 1997.
    Publicado
  9. Machado, Ricardo J.; Fernandes, João M.; Proença, Alberto J.. "SOFHIA: A CAD Environment to Design Digital Control Systems". In Hardware Description Languages and their Applications, editado por C. Delgado Kloos; E. Cerny, 86-88. Chapman & Hall, 1997.
    Publicado • 10.1007/978-0-387-35064-6_10
  10. Proença, Alberto; Santos, H.D.; Dagless, E.. "Microcontroller Strategies in an Associative Array Processor for Computer Vision". In Computer Vision: Specialized Processors for Real-Time Image Analysis, editado por E. Montseny; J. Frau. Springer-Verlag, 1994.
    Publicado
  11. Proença, Alberto. "Advanced Controller Design". In Microcomputer´91 - Design, Practice, Education, editado por Jarnicki J.. Wroclaw, Polónia: Prace Naukowe Inst. Cyb. Tech. Politech. Wroclaw, 1991.
    Publicado
Edição de livro
  1. Proença, Alberto; Pina, Antonio; Garcia Tobio, Javier; Ribeiro, Ligia. Ibergrid 2010. Espanha: Netbiblo. 2010.
    Publicado • 10.4272/978-84-9745-549-7 • Editor
  2. Proença, Alberto; K. Debattista; M. Dickey; L. P. Santos. VS-Games 2010. IEEE Computer Society Press. 2010.
    Publicado • Editor
  3. Proença, Alberto; M. Ashley; S. Hermon; K. Rodriguez-Echavarria. VAST´2008, Eurographics Symposium Proceedings. Eurographics Association. 2008.
    Publicado • Editor
  4. Proença, Alberto; M. Ashley; S. Hermon; K. Rodriguez-Echavarria. VAST´2008, Workshops, Short and Project Papers. Eurographics Association. 2008.
    Publicado • Editor
Resumo em conferência
  1. Proença, Alberto. "Im2Cr: An efficient tool for crystallographic indexing of HR(S)TEM images". 2016.
    10.1002/9783527808465.EMC2016.6803
  2. Proença, Alberto; André Silva; Enrique Carbó-Argibay; Daniel Stroppa. "Im2Cr: An efficient tool for crystallographic indexing of HR(S)TEM images". Trabalho apresentado em European Microscopy Congress, 2016.
    Publicado
Tese / Dissertação
  1. Proença, Alberto. "A Local Network Architecture for Real-Time Control". Doutoramento, The University of Manchester - North Campus, 1982.
  2. Proença, Alberto. "A Multi-user Microprocessor Development Aid in CYBA-M". Mestrado, The University of Manchester - North Campus, 1979.
Atividades

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2020/10 - Atual Analytical Querying with Typed Linear Algebra in MonetDB
Coorientador
Engenharia Informática (Mestrado)
Universidade do Minho Centro ALGORITMI, Portugal
2019/10 - Atual Synthetic Data Generator from Knowledge Graphs and Empirical Data
Orientador de João Pedro Pereira Alves
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2019/10 - Atual An Efficient, Scalable, Extensible and Accurate Framework to Analyse Large-Scale Sequences
Orientador de Luís Manuel Pacheco Neto
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2019/10 - Atual Optimization of deep learning algorithms for an autonomous RC vehicle
Orientador de Andre´ Filipe Amorim Pereira
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2019/10 - Atual Improving the efficiency of the energy split approach to compute the energy of a very large molecular system"
Orientador
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2019/10 - Atual Parallelization of the ADI method exploring vector computing in GPUs
Orientador de Filipe Pereira da Silva
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2017/10 - Atual Im2Model: Efficient computation to refine atomic models for TEM image simulation and matching
Orientador de Filipe Costa Oliveira
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2018/02 - 2019/11 Performance Tuning to Determine Electronic Properties of Materials with Quantum Espresso
Orientador de Sérgio Caldas
Ciências de Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2014/02 - 2019/05/27 HEP-Frame: a development aid and efficient execution engine where a multi-layer scheduler adaptiveliy orders pipelined data stream applications.
Orientador de André Martins Pereira
Informática (Doutoramento)
Universidade do Minho, Portugal
2017/10 - 2018/10 Deeploy: a Neural Network Computer Vision Tool (for the NVidia Tegra TX2 Embedded System)
Orientador de João Pedro Alves Fernandes
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2018 - 2018 Towards an Efficient Linear Algebra Based OLAP Engine
Orientador de João Miguel Afonso
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2017 - 2018 Efficient computational methods to index crystallographic (S)TEM images and ED patterns
Orientador de André Sá Silva
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2017 - 2017 Exploring Heterogeneous computing with advanced path tracing algorithms
Orientador de André David Gomes Monteiro Oliveira
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2017 - 2017 Power aware scheduler for heterogeneous environments
Orientador de João Paulo Fontoura Moutinho Magalhães
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2017 - 2017 Efficient Segmentation of Electron Microscopy Tomograms
Orientador de Paulo Rafael da Costa e Sousa
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2016 - 2016 Multi-precision in efficient lattice reduction algorithms
Orientador de Hélder José Alves Gonçalves
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2016 - 2016 Scheduling Scientific Workloads on an Heterogeneous Server
Orientador de John Camilo Ferreira Maia
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2015 - 2015 Advanced Light Transport Algorithms on Heterogeneous Platforms: Evaluation of the DICE Framework
Orientador de César Morais Perdigão
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2015 - 2015 Efficient modelling of liquid surfaces on multi-core CPU and Xeon Phi devices
Orientador de Bruno Tiago Abreu de Araújo
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2015 - 2015 Improving the performance of liquid surfaces modelling in multicore devices
Orientador de José Ricardo Cunha da Silva Ribeiro
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2014 - 2014 Efficient sequential and parallel versions of MST-solvers for multi-core CPU-chips and GPUs
Orientador de Cristiano Rafael da Silva Sousa
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2014 - 2014 Numerical modeling of extrusion forming tools: improving its efficiency on heterogeneous parallel computers
Orientador de David dos Santos Pereira
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2014 - 2014 Assessing the hardness of SVP algorithms in the presence of CPUs and GPUs
Orientador de Fábio José Gonçalves Correia
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2013 - 2013 Efficient processing of ATLAS events analysis in homogeneous and heterogeneous platforms with accelerator devices
Orientador de André Martins Pereira
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2013 - 2013 Efficient computation of the matrix square root in heterogeneous platforms
Orientador de Pedro Filipe Araújo Costa
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2013 - 2013 An Evaluation of the GAMA/StarPU Frameworks for Heterogeneous Platforms: the Progressive Photon Mapping Algorithm
Orientador de Miguel Branco Palhas
Direito e Informática (Mestrado)
Universidade do Minho, Portugal
2012 - 2012 RetScan: Efficient Fovea and Optic Disc Detection in Retinographies
Orientador de André Vilas Boas da Costa
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2012 - 2012 Scheduling (ir)regular applications on heterogeneous platforms
Orientador de Artur Miguel Matos Mariano
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2011 - 2011 Scalar algorithms for molecular docking in heterogeneous platforms
Orientador de Rui Sérgio Magalhães Costa
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2011 - 2011 Efficient computation of CPW2000 using a CPU-GPU heterogeneous platform
Orientador de Pedro Miguel Linhares Miranda
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2008 - 2009 RTI-based techniques and tools for digital surrogates
Orientador de João Carlos Garcia Barbosa
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2001 - 2001 Application Level Run Time Load Management: a Bayesiam Approach
Orientador de Luís Paulo Peixoto dos Santos
Informática (Doutoramento)
Universidade do Minho, Portugal
2000 - 2001 CoRes Computação orientada ao Recurso: uma especificação
Orientador de Cecília Moreira
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
1996 - 2001 Application Level RunTime Load Management: a Bayesian Approach
Orientador de Luís Paulo Santos
Informática (Doutoramento)
Universidade do Minho, Portugal
1995 - 2001 Uma Metodologia de Partição para o Co-Projecto de Sistemas Digitais Embebidos
Orientador de António Joaquim Esteves
Informática (Doutoramento)
Universidade do Minho, Portugal
1996 - 2000 Midas: Metodologia Orientada ao Objecto para Desenvolvimento de Sistemas Embebidos
Orientador de João Miguel Lobo Fernandes
Informática (Doutoramento)
Universidade do Minho, Portugal
1996 - 2000 Computação Paralela Escalável Orientada ao Objecto
Orientador de João Luís Sobral
Informática (Doutoramento)
Universidade do Minho, Portugal
1997 - 1998 Aprendizagem Remota em Processamento Digital da Imagem
Orientador
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
1997 - 1997 Aplicação de Redes Neurais na Análise de Movimento
Coorientador
Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
1992 - 1997 Modelo de Computação Celular. Origem e Evolução
Orientador de António Manuel Pina
Informática (Doutoramento)
Universidade do Minho, Portugal
1996 - 1996 Hierarquia em Redes de Petri Orientadas por Objectos na Especificação de Sistemas Digitais
Orientador de Ricardo Jorge Machado
Informática (Mestrado)
Universidade do Minho, Portugal
1995 - 1996 Realização de um Modelo de Computação Baseado em Agentes
Orientador de António José Tavares
Informática (Mestrado)
Universidade do Minho, Portugal
1995 - 1996 Integração no Khoros de Ambiente Paralelo
Orientador de Miguel Pessoa Monteiro
Informática (Mestrado)
Universidade do Minho, Portugal
1995 - 1996 Desenvolvimento de uma Matriz e sua Utilização na Produção de Material Pedagógico Hipermédia
Orientador
Ensino de Informática (Mestrado)
Universidade do Minho, Portugal
1992 - 1996 Metodologias de Projecto de Sistemas Digitais. Desenvolvimento de um Controlador de APA
Orientador de Henrique Dinis Santos
Informática (Doutoramento)
Universidade do Minho, Portugal
1994 - 1995 ParC++: Orientação ao Objecto em Arquitecturas Paralelas
Orientador de João Luís Sobral
Informática (Mestrado)
Universidade do Minho, Portugal
1993 - 1994 Redes de Petri e VHDL na Especificação de Controladores Paralelos
Orientador de João Miguel Fernandes
Informática (Mestrado)
Universidade do Minho, Portugal
1992 - 1993 Um compilador para o GLiTCH
Orientador
Informática (Mestrado)
Universidade do Minho, Portugal
1987 - 1988 Sistemas de Automação de Escritórios
Orientador de Luís da Costa Lima
Informática (Mestrado)
Universidade do Minho, Portugal
1987 - 1988 Programação no Ambiente Gráfico GEM
Orientador
Informática (Mestrado)
Universidade do Minho, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2010/05/24 - 2010/05/27 Program & Organization Chair (with 3 other Researchers) of the 4th Iberian Grid Infrastructure Conference, IBERGRID 2010, in Braga, Portugal (2010/05/24 - 2010/05/27) Universidade do Minho Centro ALGORITMI, Portugal
2010/03/25 - 2010/03/26 Program & Orgnization Chair (with 3 other Researchers) of the 2nd Int. Conf. Serious Games and Virtual Worlds, VS-Games 2010, in Braga, Portugal (2010/03/25 - 2010/03/26)
Conferência (Presidente da Comissão Organizadora)
Universidade do Minho Centro ALGORITMI, Portugal
2008/12/02 - 2008/12/05 Program & Organization Chair (with 3 other Researchers) of the 9th Int. Symp. Virtual Architecture, Archaeology and Cultural Heritage, VAST´2008, Eurographics Association, 2008, in Braga, Portugal (2008/12/02 - 2008/12/05)
Conferência (Presidente da Comissão Organizadora)
Universidade do Minho Centro ALGORITMI, Portugal
Distinções

Outra distinção

2018 Ideias de Negócio - SpinUM
TecMinho Associação Universidade-Empresa para o Desenvolvimento, Portugal
2005 IBM EQUINOX/SUR - Shared University Research
International Business Machines Corp, Estados Unidos
1998 Prize EXPRESSO