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: 2715
113 Team MembersFilters -> Year: 2024
2581
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: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, VOLUME: 2422, PAGES: 41-59
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, VOLUME: 2422, PAGES: 41-59
2582
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
2583
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
2584
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 DBLP2585
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
2586
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
2587
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
2588
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
2589
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 WOS2590
TITLE: Frequency reuse and system capacity in Mobile Broadband Systems: Comparison between the 40 and 60 GHz bands Full Text
AUTHORS: Fernando José Velez ; Correia, LM; Brazio, JM;
PUBLISHED: 2001, SOURCE: WIRELESS PERSONAL COMMUNICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 1-24
AUTHORS: Fernando José Velez ; Correia, LM; Brazio, JM;
PUBLISHED: 2001, SOURCE: WIRELESS PERSONAL COMMUNICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 1-24
2591
TITLE: Jakarta: A Toolset for Reasoning about JavaCard
AUTHORS: Gilles Barthe ; Guillaume Dufay; Marieke Huisman; Simão Melo de Sousa ;
PUBLISHED: 2001, SOURCE: Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings, VOLUME: 2140, PAGES: 2-18
AUTHORS: Gilles Barthe ; Guillaume Dufay; Marieke Huisman; Simão Melo de Sousa ;
PUBLISHED: 2001, SOURCE: Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings, VOLUME: 2140, PAGES: 2-18
INDEXED IN: Scopus DBLP
Scopus DBLP2592
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
2593
TITLE: On combining classifiers using sum and product rules Full Text
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
2594
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
2595
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
2596
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 CrossRef2597
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
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP2598
TITLE: Stator winding fault diagnosis in three-phase synchronous and asynchronous motors, by the Extended Park's Vector Approach
AUTHORS: Cruz, SMA ; Cardoso, AJM ;
PUBLISHED: 2001, SOURCE: Annual Meeting of the Industry-Applications-Society in IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, VOLUME: 37, ISSUE: 5, PAGES: 1227-1233
AUTHORS: Cruz, SMA ; Cardoso, AJM ;
PUBLISHED: 2001, SOURCE: Annual Meeting of the Industry-Applications-Society in IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, VOLUME: 37, ISSUE: 5, PAGES: 1227-1233
2599
TITLE: Study of steady pipe and channel flows of a single-mode Phan-Thien-Tanner fluid Full Text
AUTHORS: Alves, MA ; Pinho, FT ; Oliveira, PJ ;
PUBLISHED: 2001, SOURCE: JOURNAL OF NON-NEWTONIAN FLUID MECHANICS, VOLUME: 101, ISSUE: 1-3, PAGES: 55-76
AUTHORS: Alves, MA ; Pinho, FT ; Oliveira, PJ ;
PUBLISHED: 2001, SOURCE: JOURNAL OF NON-NEWTONIAN FLUID MECHANICS, VOLUME: 101, ISSUE: 1-3, PAGES: 55-76
2600
TITLE: The flow of viscoelastic fluids past a cylinder: finite-volume high-resolution methods Full Text
AUTHORS: Alves, MA ; Pinho, FT ; Oliveira, PJ ;
PUBLISHED: 2001, SOURCE: JOURNAL OF NON-NEWTONIAN FLUID MECHANICS, VOLUME: 97, ISSUE: 2-3, PAGES: 207-232
AUTHORS: Alves, MA ; Pinho, FT ; Oliveira, PJ ;
PUBLISHED: 2001, SOURCE: JOURNAL OF NON-NEWTONIAN FLUID MECHANICS, VOLUME: 97, ISSUE: 2-3, PAGES: 207-232
