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: 2563
114 Team MembersFilters -> Year: 2026
2421
TITLE: Tool-Assisted Specification and Verification of the JavaCard Platform
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: AMAST, VOLUME: 2422, PAGES: 41-59
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: AMAST, VOLUME: 2422, PAGES: 41-59
2422
TITLE: Transient behaviour of a latent-heat thermal-energy store: numerical and experimental studies Full Text
AUTHORS: Silva, PD ; Goncalves, LC; Pires, L;
PUBLISHED: 2002, SOURCE: APPLIED ENERGY, VOLUME: 73, ISSUE: 1, PAGES: 83-98
AUTHORS: Silva, PD ; Goncalves, LC; Pires, L;
PUBLISHED: 2002, SOURCE: APPLIED ENERGY, VOLUME: 73, ISSUE: 1, PAGES: 83-98
2423
TITLE: Turbulent flow through a plane sudden expansion of modest aspect ratio Full Text
AUTHORS: Escudier, MP; Oliveira, PJ ; Poole, RJ;
PUBLISHED: 2002, SOURCE: PHYSICS OF FLUIDS, VOLUME: 14, ISSUE: 10, PAGES: 3641-3654
AUTHORS: Escudier, MP; Oliveira, PJ ; Poole, RJ;
PUBLISHED: 2002, SOURCE: PHYSICS OF FLUIDS, VOLUME: 14, ISSUE: 10, PAGES: 3641-3654
2424
TITLE: A formal executable semantics of the JavaCard platform
AUTHORS: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLISHED: 2001, SOURCE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028, PAGES: 302-319
AUTHORS: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLISHED: 2001, SOURCE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028, PAGES: 302-319
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2425
TITLE: Abrasion kinetics of wool and blended fabrics
AUTHORS: Manich, AM; de Castellar, MA; Sauri, RM; Miguel, RAL ; Barella, A;
PUBLISHED: 2001, SOURCE: TEXTILE RESEARCH JOURNAL, VOLUME: 71, ISSUE: 6, PAGES: 469-474
AUTHORS: Manich, AM; de Castellar, MA; Sauri, RM; Miguel, RAL ; Barella, A;
PUBLISHED: 2001, SOURCE: TEXTILE RESEARCH JOURNAL, VOLUME: 71, ISSUE: 6, PAGES: 469-474
2426
TITLE: An improved PISO algorithm for the computation of buoyancy-driven flows Full Text
AUTHORS: Oliveira, PJ ; Issa, RI;
PUBLISHED: 2001, SOURCE: NUMERICAL HEAT TRANSFER PART B-FUNDAMENTALS, VOLUME: 40, ISSUE: 6, PAGES: 473-493
AUTHORS: Oliveira, PJ ; Issa, RI;
PUBLISHED: 2001, SOURCE: NUMERICAL HEAT TRANSFER PART B-FUNDAMENTALS, VOLUME: 40, ISSUE: 6, PAGES: 473-493
2427
TITLE: Capacity Analysis in a Multi-service Mobile Broadband System
AUTHORS: Fernando José Velez ; Luis M Correia;
PUBLISHED: 2001, SOURCE: Proc. of EPMCC’ 2001 – 4th European Personal Mobile Communications Conference
AUTHORS: Fernando José Velez ; Luis M Correia;
PUBLISHED: 2001, SOURCE: Proc. of EPMCC’ 2001 – 4th European Personal Mobile Communications Conference
INDEXED IN: 
Handle
Handle2428
TITLE: Computer aided rheological design of extrusion dies for profiles Full Text
AUTHORS: Carneiro, OS ; Nobrega, JM ; Pinho, FT ; Oliveira, PJ ;
PUBLISHED: 2001, SOURCE: JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, VOLUME: 114, ISSUE: 1, PAGES: 75-86
AUTHORS: Carneiro, OS ; Nobrega, JM ; Pinho, FT ; Oliveira, PJ ;
PUBLISHED: 2001, SOURCE: JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, VOLUME: 114, ISSUE: 1, PAGES: 75-86
2429
TITLE: Discriminating between rotor asymmetries and time-varying loads in three-phase induction motors
AUTHORS: Cruz, SMA; Cardoso, AJM ;
PUBLISHED: 2001, SOURCE: 14th International Congress on Condition Monitoring and Diagnostic Engineering Management (COMADEM 2001) in CONDITION MONITORING AND DIAGNOSTIC ENGINEERING MANAGEMENT, PAGES: 319-327
AUTHORS: Cruz, SMA; Cardoso, AJM ;
PUBLISHED: 2001, SOURCE: 14th International Congress on Condition Monitoring and Diagnostic Engineering Management (COMADEM 2001) in CONDITION MONITORING AND DIAGNOSTIC ENGINEERING MANAGEMENT, PAGES: 319-327
2430
TITLE: Equilibria of a satellite subjected to a constant torque: Analysis of stability
AUTHORS: Sarychev, VA ; Paglione, P; Guerman, A ;
PUBLISHED: 2001, SOURCE: AAS/AIAA 11th Space Flight Mechanics Meeting in SPACEFLIGHT MECHANICS 2001, VOL 108, PTS 1 AND 2, VOLUME: 108, PAGES: 555-569
AUTHORS: Sarychev, VA ; Paglione, P; Guerman, A ;
PUBLISHED: 2001, SOURCE: AAS/AIAA 11th Space Flight Mechanics Meeting in SPACEFLIGHT MECHANICS 2001, VOL 108, PTS 1 AND 2, VOLUME: 108, PAGES: 555-569
INDEXED IN: Scopus WOS
Scopus WOS2431
TITLE: Frequency reuse and system capacity in Mobile Broadband Systems: Comparison between the 40 and 60 GHz bands
AUTHORS: Fernando José Velez ; Correia, LM; Brázio, JM;
PUBLISHED: 2001, SOURCE: WIRELESS PERSONAL COMMUNICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 1-24
AUTHORS: Fernando José Velez ; Correia, LM; Brázio, JM;
PUBLISHED: 2001, SOURCE: WIRELESS PERSONAL COMMUNICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 1-24
2432
TITLE: Jakarta: A Toolset for Reasoning about JavaCard
AUTHORS: Gilles Barthe ; Guillaume Dufay; Marieke Huisman; Simão Melo de Sousa ;
PUBLISHED: 2001, SOURCE: E-smart, VOLUME: 2140, PAGES: 2-18
AUTHORS: Gilles Barthe ; Guillaume Dufay; Marieke Huisman; Simão Melo de Sousa ;
PUBLISHED: 2001, SOURCE: E-smart, VOLUME: 2140, PAGES: 2-18
INDEXED IN: Scopus DBLP
Scopus DBLP2433
TITLE: Measurements of hydrodynamic loading on a large scale jacket structure under waves and current
AUTHORS: Mendes, AC ; Kishev, R; Kolodziej, JA;
PUBLISHED: 2001, SOURCE: 1st International Conference on Fluid Structure Interaction in FLUID STRUCTURE INTERACTION, VOLUME: 30, PAGES: 13-24
AUTHORS: Mendes, AC ; Kishev, R; Kolodziej, JA;
PUBLISHED: 2001, SOURCE: 1st International Conference on Fluid Structure Interaction in FLUID STRUCTURE INTERACTION, VOLUME: 30, PAGES: 13-24
INDEXED IN: Scopus WOS
Scopus WOS2434
TITLE: Method for time-dependent simulations of viscoelastic flows: vortex shedding behind cylinder Full Text
AUTHORS: Oliveira, PJ ;
PUBLISHED: 2001, SOURCE: JOURNAL OF NON-NEWTONIAN FLUID MECHANICS, VOLUME: 101, ISSUE: 1-3, PAGES: 113-137
AUTHORS: Oliveira, PJ ;
PUBLISHED: 2001, SOURCE: JOURNAL OF NON-NEWTONIAN FLUID MECHANICS, VOLUME: 101, ISSUE: 1-3, PAGES: 113-137
2435
TITLE: Multi-service Traffic for Mobile Broadband Systems in Presence of Mobility
AUTHORS: Fernando José Velez ; Luis M Correia;
PUBLISHED: 2001, SOURCE: Proc. of International Symposium on 3G Infrastructure and Services
AUTHORS: Fernando José Velez ; Luis M Correia;
PUBLISHED: 2001, SOURCE: Proc. of International Symposium on 3G Infrastructure and Services
INDEXED IN: Handle
Handle2436
TITLE: On combining classifiers using sum and product rules
AUTHORS: Alexandre, LA ; Campilho, AC ; Kamel, M;
PUBLISHED: 2001, SOURCE: 11th Portugues Conference on Pattern Reconition (RECPAD 2000) in PATTERN RECOGNITION LETTERS, VOLUME: 22, ISSUE: 12, PAGES: 1283-1289
AUTHORS: Alexandre, LA ; Campilho, AC ; Kamel, M;
PUBLISHED: 2001, SOURCE: 11th Portugues Conference on Pattern Reconition (RECPAD 2000) in PATTERN RECOGNITION LETTERS, VOLUME: 22, ISSUE: 12, PAGES: 1283-1289
2437
TITLE: On the numerical implementation of nonlinear viscoelastic models in a finite-volume method Full Text
AUTHORS: Oliveira, PJ ;
PUBLISHED: 2001, SOURCE: NUMERICAL HEAT TRANSFER PART B-FUNDAMENTALS, VOLUME: 40, ISSUE: 4, PAGES: 283-301
AUTHORS: Oliveira, PJ ;
PUBLISHED: 2001, SOURCE: NUMERICAL HEAT TRANSFER PART B-FUNDAMENTALS, VOLUME: 40, ISSUE: 4, PAGES: 283-301
2438
TITLE: On-line aircraft stability derivatives estimation
AUTHORS: Bousson, K ; Paglione, P;
PUBLISHED: 2001, SOURCE: SAE World Aviation Congress - 2001 Aerospace Congress in SAE Technical Papers
AUTHORS: Bousson, K ; Paglione, P;
PUBLISHED: 2001, SOURCE: SAE World Aviation Congress - 2001 Aerospace Congress in SAE Technical Papers
2439
TITLE: Optimal aircraft collision avoidance in terminal areas
AUTHORS: Bousson, K ;
PUBLISHED: 2001, SOURCE: SAE Advances in Aviation Safety Conference - 2001 Aerospace Congress in SAE Technical Papers
AUTHORS: Bousson, K ;
PUBLISHED: 2001, SOURCE: SAE Advances in Aviation Safety Conference - 2001 Aerospace Congress in SAE Technical Papers
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2440
TITLE: Performance comparison of wavelength routing optical networks with chordal ring and mesh-torus topologies
AUTHORS: Freire, MM ; da Silva, HJA;
PUBLISHED: 2001, SOURCE: 1st International Conference on Networking in NETWORKING - ICN 2001, PT I, PROCEEDINGS, VOLUME: 2093, PAGES: 358-367
AUTHORS: Freire, MM ; da Silva, HJA;
PUBLISHED: 2001, SOURCE: 1st International Conference on Networking in NETWORKING - ICN 2001, PT I, PROCEEDINGS, VOLUME: 2093, PAGES: 358-367
