???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; .
Read full resume ↓
Identification

Personal identification

Full name
Alberto José Gonçalves de Carvalho Proença

Citation names

  • Proença, Alberto
  • Alberto Proenca

Author identifiers

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

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Intermediate (B1) Advanced (C1) Advanced (C1) Intermediate (B1)
French Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
Spanish; Castilian Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
Education
Degree Classification
1998
Concluded
 Engenharia Informática (Título de Agregado)
Universidade do Minho Escola de Engenharia, Portugal
 Unanimidade
1982
Concluded
 n/a (Doctor of Philosophy)
The University of Manchester - North Campus, United Kingdom
"A Local Network Architecture for Real Time Control" (THESIS/DISSERTATION)
 Unanimidade
1979
Concluded
 MSc Digital Electronics (Master)
The University of Manchester - North Campus, United Kingdom
"A Multi-user Microprocessor Development Aid in CYBA-M" (THESIS/DISSERTATION)
 Unanimidade
1976
Concluded
 Engª Electrotécnica (Licenciatura)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"n/a" (THESIS/DISSERTATION)
 18
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2001/01/01 - 2024/06/30 Full Professor (University Teacher) Universidade do Minho, Portugal
2015 - 2018 Full Professor (University Teacher) Universidade do Minho Centro ALGORITMI, Portugal
2007 - 2013 Full Professor (University Teacher) Universidade do Minho Centro ALGORITMI, Portugal
1982/07/01 - 1987/03/01 Assistant Professor (University Teacher) Universidade do Minho, Portugal
1982/07/01 - 1985/08/01 Lecturer (University Teacher) Universidade do Minho, Portugal
1979/10/01 - 1982/07/01 Assistant (University Teacher) Universidade do Minho, Portugal
1977/02/01 - 1982/07/01 Lecturer (University Teacher) Universidade do Minho, Portugal
1977/02/01 - 1979/10/01 Trainee Assistant (University Teacher) Universidade do Minho, Portugal
1976/10/01 - 1977/02/01 Trainee Assistant (University Teacher) Universidade do Porto, Portugal
1976/10/01 - 1977/02/01 Lecturer (University Teacher) Universidade do Porto, Portugal

Others

Category
Host institution 		Employer
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, Mozambique
Projects

Contract

Designation Funders
2019/06/01 - 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
Cancelled
2018/12 - 2021/12 ESC4SHI: Efficient Simulation and Computation for Health, Sea and Industry,
PTDC/MAT-APL/28118/2017
Researcher
Universidade do Minho Centro de Física, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2018/07 - 2021/06 RDB-TS: A reaction database for transition state information from quantum chemical calculations
TDC/QUI-QFI/31689/2017
Researcher
Universidade do Minho Centro ALGORITMI, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2014/04 - 2015/05 SeARCH-ON2: Requalificação de infraestruturas de HPC da UMinho
NORTE-07-0162-FEDER-000086
Principal investigator
Concluded
2010/05 - 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.
Concluded
2007/03/01 - 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
Concluded
2007/08 - 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
Principal investigator
Concluded
2007/07 - 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.
Concluded
2005/01 - 2006/12 SeARCH: Services and Advanced Research Computing with HTC/HPC clusters
REEQ/443/EEI/2005
Principal investigator
Concluded
2002/03 - 2005/09 ViAr: Affordable and Interactive Virtual Archaeology with Adaptive Cluster Computing
POSI/CHS/42041/2001
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
1997/05 - 2000/05 SETNA-ParComp: Scalable Environments, Tools and Numerical Algorithms in Parallel Computing
PRAXIS XXI 2/2.1/TIT/1557/95
Principal investigator
Universidade do Minho, Portugal
Concluded
1997/01 - 2000/05 GEIRA: Gestão da Informação Regional da Área Fronteiriça Norte
INTERREG II 02/REGII/6/96
Principal investigator
Universidade do Minho, Portugal
Concluded
1990/10 - 1993/10 Projecto, implementação e avaliação duma arquitectura de computador para Visão
JNICT PMCT/C/TIT/165/90
Principal investigator
Universidade do Minho, Portugal
Concluded
1989/10 - 1991/09 Domains of Applicability of CSP and Associative Parallel Schemes for High-Level Vision Processing
ESPRIT BRA 3224
Researcher
Universidade do Minho, Portugal
Concluded
Outputs

Publications

Book chapter
  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.
    Published • 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, edited by M. Danelutto; D. Laforenza; M. Vanneschi, 222-229. Springer-Verlag, 2004.
    Published
  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.
    Published
  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, edited by P. Amestoy; P. Berger; M. Daydé; I. Duff; V. Frayssé; L. Giraud; D. Ruiz, 845-852. Springer Berlin Heidelberg, 1999.
    Published • 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, edited by C. Baron; J.-C. Geffroy; G. Motet. Kluwer, 1997.
    Published
  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, edited by M. Bubak; Jack Dongarra; J. Wasniewski. Springer-Verlag, 1997.
    Published
  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, edited by H. Power; J.J. Casares Long. Computational Mechanics Publications, 1997.
    Published
  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, edited by C. Delgado Kloos; E. Cerny, 86-88. Chapman & Hall, 1997.
    Published • 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, edited by E. Montseny; J. Frau. Springer-Verlag, 1994.
    Published
  11. Proença, Alberto. "Advanced Controller Design". In Microcomputer´91 - Design, Practice, Education, edited by Jarnicki J.. Wroclaw, Poland: Prace Naukowe Inst. Cyb. Tech. Politech. Wroclaw, 1991.
    Published
Conference abstract
  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". Paper presented in European Microscopy Congress, 2016.
    Published
Conference paper
  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". Paper presented in International Conference on Computational Science and its Applications (2020), 2020.
    Submitted
  2. Proença, Alberto; André Pereira; António Onofre. "Efficient Use of Parallel PRNGs on Heterogeneous Servers". Paper presented in Intern. Conf. on Mathematical Applications, Funchal, 2018.
    Published
  3. Oliveira, André; Perdigão, César Morais; Santos, Luís Paulo; Proença, Alberto José. "Exploring heterogeneous computing with advanced path tracing algorithms". Paper presented in 23rd Portuguese Meeting on Computer Graphics and Interaction, 2016.
    Published • 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". Paper presented in 24th Euromicro Int. Conf. Parallel, Distributed, and Network-Based Processing, 2016.
    Published • 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". Paper presented in Int. Conf. High Performance Computing & Simulation, 2016.
    Published • 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". Paper presented in Int. Conf. Computational Science and Computational Intelligence, 2015.
    Published • 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". Paper presented in 23rd Euromicro Int. Conf. Parallel, Distributed, and Network-Based Processing, 2015.
    Published • 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". Paper presented in Int. Conf. High Performance Computing, 2012.
    Published
  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". Paper presented in VI International Conference on Forest Fire Research, Coimbra, 2010.
    Published
  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". Paper presented in 4th Iberian Grid Infrastructure Conf (IBERGRID´10), 2010.
    Published • 10.4272/978-84-9745-549-7
  12. Proença, Alberto; António Esteves; Marco Caldas; António Pina. "An OGC/SOS Conformant Client to Manage Geospatial Data on the GRID". Paper presented in 4th Iberian Grid Infrastructure Conf (IBERGRID´10), 2010.
    Published
  13. Proença, Alberto; António Pina; Bruno Oliveira; Joel Puga; Antonio Esteves. "A platform to support Civil Protection applications on the GRID". Paper presented in 4th Iberian Grid Infrastructure Conf (IBERGRID´10), 2010.
    Published • 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". Paper presented in 3rd Iberian Grid Infrastructure Conf (IBERGRID´09), Valência, 2009.
    Published
  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". Paper presented in Enabling Grids for E-sciencE Conf. (EGEE'09), Barcelona, 2009.
    Published
  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". Paper presented in 2nd EELA-2 Conference, Choroni, 2009.
    Published
  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". Paper presented in 9th Int. Symposium on Virtual Reality, Archaeology and Cultural Heritage, VAST'2008, Braga, 2008.
    Published
  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". Paper presented in Eurographics 2008, Crete, 2008.
    Published
  20. Proença, Alberto; Barbosa, J.; Sobral, J.L.. "Imaging Techniques to Simplify the PTM Generation of a Bas-Relief". Paper presented in 8th Int. Symposium on Virtual Reality, Archaeology and Cultural Heritage, VAST´2007, Brighton, 2007.
    Published
  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". Paper presented in 15º Encontro Português de Computação Gráfica, EPCG'2007, Porto Salvo, 2007.
    Published
  22. Proença, Alberto; Sobral, J.L.. "Enabling JaSkel Skeletons for Clusters and Computational Grids". Paper presented in IEEE Cluster (Cluster 2007), Austin, 2007.
    Published
  23. Proença, Alberto; Alonso, J. M.; Hernández, V.; Moltó, G.; Sobral, J.L.. "Grid Enabled JaSKel Skeletons with GMarte". Paper presented in 1st Iberian Grid Infrastructure Conf (IBERGRID´07), Santiago de Compostela, 2007.
    Published
  24. Proença, Alberto; J. F. Ferreira; J. L. Sobral. "JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing". Paper presented in 6th IEEE International Symposium on Cluster Computing and the Grid (CCGRID'06), 2006.
    Published
  25. Proença, Alberto; Oliveira, A.; Santos, L.P.. "Refinement Criteria for High Fidelity Interactive Walkthroughs". Paper presented in 4th Int Conf Computer Graphics and Interactive Techniques in Australasia and South-East Asia – GRAPHITE’06, 2006.
    Published
  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". Paper presented in 6th Int. Symposium on Virtual Reality, Archaeology and Cultural Heritage, VAST'2005, 2005.
    Published
  27. Esteves, António; Proença, Alberto José. "A hardware/software partition methodology targeted to an FPGA/CPLD architecture". Paper presented in Jornadas sobre Sistemas Reconfiguráveis, 2005.
    Published
  28. Esteves, António; Proença, Alberto José. "A partition methodology to develop data flow dominated embedded systems". Paper presented in Int. Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2004), Hamilton, 2004.
    Published
  29. Proença, Alberto; Santos, L.P.. "A Systematic Approach to Effective Scheduling in Distributed Systems". Paper presented in 5th Int. Conf. Vector and Parallel Processing, VecPar '02, Porto, 2002.
    Published
  30. Santos, L.P.; Proença, A.. "A Bayesian runtime load manager on a shared cluster". Paper presented in 1st IEEE/ACM Symp. Cluster Computing and the Grid (CCGrid 2001), Brisbane, 2001.
    Published • 10.1109/ccgrid.2001.923259
  31. Proença, Alberto; Sobral, J.. "A SCOOPP Evaluation on Packing Parallel Objects in Run-time". Paper presented in 4th Int. Conf. Vector and Parallel Processing, VecPar '2000, Porto, 2000.
    Published
  32. Sobral, J.L.; Proenca, A.J.. "Dynamic grain-size adaptation on object oriented parallel programming. The SCOOPP approach". Paper presented in 2nd Merged IPPS/SPDP 1999, 1999.
    Published • 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". Paper presented in 5th IEEE Intern. Conf. on Electronics, Circuits and Systems (ICECS'98, Lisboa, 1998.
    Published • 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". Paper presented in 10th World Conf. on Educational Multimedia and Hypermedia & World Conference on Educational Telecommunications (ED-MEDIA/ ED-TELECOM '98), Freiburg, 1998.
    Published
  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". Paper presented in 9th IFAC Symp. on Information Control in Manufacturing (INCOM'98), Nancy e Metz, 1998.
    Published
  37. Proença, Alberto; Brito, M.; Ramalho, T.; Regalo H.. "Using the Web to Give Life to Museums". Paper presented in Intern. Conf. on Museums and the Web,, Toronto, 1998.
    Published
  38. Sobral, J.L.; Proenca, A.J.. "ParC++: a simple extension of C++ to parallel systems". Paper presented in 6th EuroMicro Workshop on Parallel and Distributed Processing, Madrid, 1998.
    Published • 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". Paper presented in IEEE Intern. Symp. on Industrial Electronics (Signal Processing & Control), ISIE'97, Guimarães, 1997.
    Published • 10.1109/isie.1997.651794
  41. Proença, Alberto; Monteiro, M.P.; Bulas-Cruz, J.. "Porting Khoros Applications to a Parallel Vision Machine". Paper presented in Khoros Symposium '97, Albuquerque, 1997.
    Published
  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". Paper presented in Simpósio Investigação e Desenvolvimento de Software Educativo, Costa da Caparica, 1996.
    Published
  45. Proença, Alberto; Fernandes, J.M.; Pina, A.M.. "Concurrent Execution of Petri Nets based on Agents". Paper presented in Workshop OOP & Models of Concurrency, ICATPN'95, Torino, 1995.
    Published
  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". Paper presented in 2nd Intern. Conf. on Software for Multiprocessors and Supercomputers: Theory, Practice and Experience, Moscow, 1994.
    Published
  49. Proença, Alberto; Santos, L.P.; Chalmers, A.. "A Data Management Strategy for Increased Parallel Processing Efficiency". Paper presented in 1st Intern. Meeting on Vector and Parallel Processing, Porto, 1993.
    Published
  50. Proença, Alberto. "Development Stages in Real-Time Computer Vision Architectures". Paper presented in 1st Intern. Meeting on Vector and Parallel Processing, Porto, 1993.
    Published
Edited book
  1. Proença, Alberto; Pina, Antonio; Garcia Tobio, Javier; Ribeiro, Ligia. Ibergrid 2010. Spain: Netbiblo. 2010.
    Published • 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.
    Published • Editor
  3. Proença, Alberto; M. Ashley; S. Hermon; K. Rodriguez-Echavarria. VAST´2008, Eurographics Symposium Proceedings. Eurographics Association. 2008.
    Published • Editor
  4. Proença, Alberto; M. Ashley; S. Hermon; K. Rodriguez-Echavarria. VAST´2008, Workshops, Short and Project Papers. Eurographics Association. 2008.
    Published • Editor
Journal article
  1. Proença, Alberto; Andre´ Pereira. "Multi-layer Scheduling with Adaptive Ordering of Pipelined Data Stream Analyses on Heterogeneous Servers". Computer Physics Communications (2020):
    Open access • Submitted
  2. Proença, Alberto; Andre´ Pereira; Anto´nio Onofre. "HEP-Frame: a Powerful Tool to Build LHC Data Analyses". European Physics Journal C (2020):
    Open access • Submitted
  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.
    Open access • Published
  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.
    Published • 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):
    Published
  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.
    Published • 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.
    Open access • Published
  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.
    Published • 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.
    Open access • Published
  21. Proença, Alberto. "Students and Staff Mobility across Europe: from ERASMUS to TEMPUS". Applied Mathematics and Computer Science 3 1 (1993):
    Open access • Published
  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):
    Open access • Published
  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.
Magazine article
  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
Thesis / Dissertation
  1. Proença, Alberto. "A Local Network Architecture for Real-Time Control". PhD, The University of Manchester - North Campus, 1982.
  2. Proença, Alberto. "A Multi-user Microprocessor Development Aid in CYBA-M". Master, The University of Manchester - North Campus, 1979.
Activities

Supervision

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

Event organisation

Event name
Type of event (Role) 		Institution / Organization
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)
Conference (President of the Organising Committee)
 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)
Conference (President of the Organising Committee)
 Universidade do Minho Centro ALGORITMI, Portugal
Distinctions

Other distinction

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, United States
1998 Prize EXPRESSO