University of Beira Interior (UBI)
Universidade da Beira Interior
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 2807
114 Team MembersFilters -> Year: 2025
2501
TITLE: Tool-assisted specification and verification of typed low-level languages Full Text
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simao Melo De Sousa ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 4, PAGES: 295-354
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simao Melo De Sousa ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 4, PAGES: 295-354
2502
TITLE: Towards autonomic minimization of security vulnerabilities exploitation in hybrid network environments
AUTHORS: Rui Cardoso ; Freire, MM ;
PUBLISHED: 2005, SOURCE: Joint International Conference on Autonomics and Autonomous Systems/International Conference on Networking and Services (ICAS/ICNS) in 2005 Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services (ICAS/ICNS), VOLUME: 2005, PAGES: 493-499
AUTHORS: Rui Cardoso ; Freire, MM ;
PUBLISHED: 2005, SOURCE: Joint International Conference on Autonomics and Autonomous Systems/International Conference on Networking and Services (ICAS/ICNS) in 2005 Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services (ICAS/ICNS), VOLUME: 2005, PAGES: 493-499
2503
TITLE: UBIRIS: A noisy iris image database
AUTHORS: Proenca, H ; Alexandre, LA ;
PUBLISHED: 2005, SOURCE: 13th International Conference on Image Analysis and Processing in IMAGE ANALYSIS AND PROCESSING - ICIAP 2005, PROCEEDINGS, VOLUME: 3617, PAGES: 970-977
AUTHORS: Proenca, H ; Alexandre, LA ;
PUBLISHED: 2005, SOURCE: 13th International Conference on Image Analysis and Processing in IMAGE ANALYSIS AND PROCESSING - ICIAP 2005, PROCEEDINGS, VOLUME: 3617, PAGES: 970-977
INDEXED IN: 
Scopus 
WOS
Scopus WOS2504
TITLE: UBIRIS: A Noisy Iris Image Database
AUTHORS: Hugo Proença ; Luís A Alexandre;
PUBLISHED: 2005, SOURCE: Image Analysis and Processing - ICIAP 2005, 13th International Conference, Cagliari, Italy, September 6-8, 2005, Proceedings, VOLUME: 3617, PAGES: 970-977
AUTHORS: Hugo Proença ; Luís A Alexandre;
PUBLISHED: 2005, SOURCE: Image Analysis and Processing - ICIAP 2005, 13th International Conference, Cagliari, Italy, September 6-8, 2005, Proceedings, VOLUME: 3617, PAGES: 970-977
2505
TITLE: Unit commitment with environmental considerations: A practical approach
AUTHORS: João P. S. Catalão ; Mariano, S; Mendes, V; Ferreira, L;
PUBLISHED: 2005, SOURCE: 15th Power Systems Computation Conference, PSCC 2005 in 15th Power Systems Computation Conference, PSCC 2005
AUTHORS: João P. S. Catalão ; Mariano, S; Mendes, V; Ferreira, L;
PUBLISHED: 2005, SOURCE: 15th Power Systems Computation Conference, PSCC 2005 in 15th Power Systems Computation Conference, PSCC 2005
INDEXED IN: Scopus
Scopus2506
TITLE: Using a CLC low-pass filter to reduce the consequences of aging in steady-state regime of DC-DC converters
AUTHORS: Amaral, AMR ; Cardoso, AJM ;
PUBLISHED: 2005, SOURCE: 2005 European Conference on Power Electronics and Applications in 2005 European Conference on Power Electronics and Applications, VOLUME: 2005
AUTHORS: Amaral, AMR ; Cardoso, AJM ;
PUBLISHED: 2005, SOURCE: 2005 European Conference on Power Electronics and Applications in 2005 European Conference on Power Electronics and Applications, VOLUME: 2005
2507
TITLE: Visualizations of Boger fluid flows in a 4 : 1 square-square contraction Full Text
AUTHORS: Alves, MA ; Pinho, FT ; Oliveira, PJ ;
PUBLISHED: 2005, SOURCE: AICHE JOURNAL, VOLUME: 51, ISSUE: 11, PAGES: 2908-2922
AUTHORS: Alves, MA ; Pinho, FT ; Oliveira, PJ ;
PUBLISHED: 2005, SOURCE: AICHE JOURNAL, VOLUME: 51, ISSUE: 11, PAGES: 2908-2922
2508
TITLE: A derivative-free tracking algorithm for implicit curves with singularities
AUTHORS: Morgado, JFM; Gomes, AJP ;
PUBLISHED: 2004, SOURCE: 4th International Conference on Computational Science (ICCS 2004) in COMPUTATIONAL SCIENCE - ICCS 2004, PROCEEDINGS, VOLUME: 3039, PAGES: 221-228
AUTHORS: Morgado, JFM; Gomes, AJP ;
PUBLISHED: 2004, SOURCE: 4th International Conference on Computational Science (ICCS 2004) in COMPUTATIONAL SCIENCE - ICCS 2004, PROCEEDINGS, VOLUME: 3039, PAGES: 221-228
INDEXED IN: Scopus WOS
Scopus WOS2509
TITLE: A study on the thermal performance of calibrators
AUTHORS: Carneiro, OS ; Nobrega, JM ; Covas, JA ; Oliveira, PJ ; Pinho, FT ;
PUBLISHED: 2004, SOURCE: ANTEC 2004 - Annual Technical Conference Proceedings in Annual Technical Conference - ANTEC, Conference Proceedings, VOLUME: 1, PAGES: 251-255
AUTHORS: Carneiro, OS ; Nobrega, JM ; Covas, JA ; Oliveira, PJ ; Pinho, FT ;
PUBLISHED: 2004, SOURCE: ANTEC 2004 - Annual Technical Conference Proceedings in Annual Technical Conference - ANTEC, Conference Proceedings, VOLUME: 1, PAGES: 251-255
INDEXED IN: Scopus
Scopus2510
TITLE: Accounting for temperature-dependent properties in viscoelastic duct flows Full Text
AUTHORS: Nobrega, JM ; Pinho, FT ; Oliveira, PJ ; Carneiro, OS ;
PUBLISHED: 2004, SOURCE: INTERNATIONAL JOURNAL OF HEAT AND MASS TRANSFER, VOLUME: 47, ISSUE: 6-7, PAGES: 1141-1158
AUTHORS: Nobrega, JM ; Pinho, FT ; Oliveira, PJ ; Carneiro, OS ;
PUBLISHED: 2004, SOURCE: INTERNATIONAL JOURNAL OF HEAT AND MASS TRANSFER, VOLUME: 47, ISSUE: 6-7, PAGES: 1141-1158
2511
TITLE: Adaptive multiresolution approach for two-dimensional PDEs Full Text
AUTHORS: Santos, JC; Paulo Ribeiro da Cruz ; Alves, MA ; Oliveira, PJ ; Magalhaes, FD ; Mendes, A ;
PUBLISHED: 2004, SOURCE: COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, VOLUME: 193, ISSUE: 3-5, PAGES: 405-425
AUTHORS: Santos, JC; Paulo Ribeiro da Cruz ; Alves, MA ; Oliveira, PJ ; Magalhaes, FD ; Mendes, A ;
PUBLISHED: 2004, SOURCE: COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, VOLUME: 193, ISSUE: 3-5, PAGES: 405-425
2512
TITLE: Adsorption of cationic starch on typical furnishes used in the Portuguese paper industry
AUTHORS: Gaiolas, C; Costa, AP ; Silva, MS ; Belgacem, MN;
PUBLISHED: 2004, SOURCE: APPITA JOURNAL, VOLUME: 57, ISSUE: 2, PAGES: 112-115
AUTHORS: Gaiolas, C; Costa, AP ; Silva, MS ; Belgacem, MN;
PUBLISHED: 2004, SOURCE: APPITA JOURNAL, VOLUME: 57, ISSUE: 2, PAGES: 112-115
INDEXED IN: Scopus WOS
Scopus WOS2513
TITLE: Aerodynamic design of turbomachinery cascades using an enhanced time-marching finite volume method
AUTHORS: Pascoa, JC ; Mendes, AC ; Gato, LMC ; Elder, R;
PUBLISHED: 2004, SOURCE: CMES-COMPUTER MODELING IN ENGINEERING & SCIENCES, VOLUME: 6, ISSUE: 6, PAGES: 537-546
AUTHORS: Pascoa, JC ; Mendes, AC ; Gato, LMC ; Elder, R;
PUBLISHED: 2004, SOURCE: CMES-COMPUTER MODELING IN ENGINEERING & SCIENCES, VOLUME: 6, ISSUE: 6, PAGES: 537-546
INDEXED IN: Scopus WOS
Scopus WOS2514
TITLE: An instrumentation system for on-line winding fault diagnosis of three-phase power transformers
AUTHORS: Esteves, MAM; Cardoso, AJM ;
PUBLISHED: 2004, SOURCE: 4th IASTED International Conference on Power and Energy Systems in Proceedings of the Fourth IASTED International Conference on Power and Energy Systems, PAGES: 632-637
AUTHORS: Esteves, MAM; Cardoso, AJM ;
PUBLISHED: 2004, SOURCE: 4th IASTED International Conference on Power and Energy Systems in Proceedings of the Fourth IASTED International Conference on Power and Energy Systems, PAGES: 632-637
INDEXED IN: Scopus WOS
Scopus WOS2515
TITLE: An inverse method for turbomachinery cascades of blades - investigation of the existence and uniqueness of solution
AUTHORS: Pascoa, JC ; Mendes, AC ; Gato, LMC ;
PUBLISHED: 2004, SOURCE: 5th International Conference on Advances in Fluid Mechanics in ADVANCES IN FLUID MECHANICS V, VOLUME: 40, PAGES: 3-12
AUTHORS: Pascoa, JC ; Mendes, AC ; Gato, LMC ;
PUBLISHED: 2004, SOURCE: 5th International Conference on Advances in Fluid Mechanics in ADVANCES IN FLUID MECHANICS V, VOLUME: 40, PAGES: 3-12
INDEXED IN: Scopus WOS
Scopus WOS2516
TITLE: Angular velocities of Nubia and Somalia from continuous GPS data: implications on present-day relative kinematics Full Text
AUTHORS: Fernandes, RMS ; Ambrosius, BAC; Noomen, R; Bastos, L ; Combrinck, L; Miranda, JM; Spakman, W;
PUBLISHED: 2004, SOURCE: EARTH AND PLANETARY SCIENCE LETTERS, VOLUME: 222, ISSUE: 1, PAGES: 197-208
AUTHORS: Fernandes, RMS ; Ambrosius, BAC; Noomen, R; Bastos, L ; Combrinck, L; Miranda, JM; Spakman, W;
PUBLISHED: 2004, SOURCE: EARTH AND PLANETARY SCIENCE LETTERS, VOLUME: 222, ISSUE: 1, PAGES: 197-208
2517
TITLE: Asymmetrical operation of a twelve-pulse LCI drive system with power converter faults Full Text
AUTHORS: Alcaso, AN ; Cardosa, AJM;
PUBLISHED: 2004, SOURCE: 2004 IEEE 35th Annual Power Electronics Specialists Conference, PESC04 in PESC Record - IEEE Annual Power Electronics Specialists Conference, VOLUME: 6, PAGES: 4378-4382
AUTHORS: Alcaso, AN ; Cardosa, AJM;
PUBLISHED: 2004, SOURCE: 2004 IEEE 35th Annual Power Electronics Specialists Conference, PESC04 in PESC Record - IEEE Annual Power Electronics Specialists Conference, VOLUME: 6, PAGES: 4378-4382
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2518
TITLE: Automatic balancing of profile extrusion dies: Experimental assessment
AUTHORS: Carneiro, OS ; Nobrega, JM ; Pinho, FT ; Oliveira, PJ ;
PUBLISHED: 2004, SOURCE: ANTEC 2004 - Annual Technical Conference Proceedings in Annual Technical Conference - ANTEC, Conference Proceedings, VOLUME: 1, PAGES: 91-95
AUTHORS: Carneiro, OS ; Nobrega, JM ; Pinho, FT ; Oliveira, PJ ;
PUBLISHED: 2004, SOURCE: ANTEC 2004 - Annual Technical Conference Proceedings in Annual Technical Conference - ANTEC, Conference Proceedings, VOLUME: 1, PAGES: 91-95
INDEXED IN: Scopus
Scopus2519
TITLE: Bounds for the average generalization error of the mixture of experts neural network
AUTHORS: Alexandre, LA ; Campilho, A ; Kamel, M;
PUBLISHED: 2004, SOURCE: 10th International Workshop on Structural and Syntactic Pattern Recognition/5th International Conference on Statistical Techniques in Pattern Recognition in STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS, VOLUME: 3138, PAGES: 618-625
AUTHORS: Alexandre, LA ; Campilho, A ; Kamel, M;
PUBLISHED: 2004, SOURCE: 10th International Workshop on Structural and Syntactic Pattern Recognition/5th International Conference on Statistical Techniques in Pattern Recognition in STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS, VOLUME: 3138, PAGES: 618-625
2520
TITLE: Computer-aided modeling, analysis, and design of communication links and networks
AUTHORS: Lorenz, P; Granelli, F; Wright, S; Fonseca, NLS; Devetsikiotis, M; Mouftah, H; Dini, P; Chemouil, P; Freire, MM ; Jamalipour, A; Lee, M; Rodrigues, JJ ; Mammeri, Z; Kolarov, A;
PUBLISHED: 2004, SOURCE: IEEE Global Telecommunications Conference Workshops, GLOBECOM 2004 in GLOBECOM - IEEE Global Telecommunications Conference, PAGES: 219
AUTHORS: Lorenz, P; Granelli, F; Wright, S; Fonseca, NLS; Devetsikiotis, M; Mouftah, H; Dini, P; Chemouil, P; Freire, MM ; Jamalipour, A; Lee, M; Rodrigues, JJ ; Mammeri, Z; Kolarov, A;
PUBLISHED: 2004, SOURCE: IEEE Global Telecommunications Conference Workshops, GLOBECOM 2004 in GLOBECOM - IEEE Global Telecommunications Conference, PAGES: 219
INDEXED IN: Scopus
Scopus