Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 24952
1716 Team MembersFilters -> Year: 2026
23921
TITLE: Special issue on Mathematics of Program Construction (MPC 2000) Preface Full Text
AUTHORS: Backhouse, R; Oliveira, J ;
PUBLISHED: 2002, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
AUTHORS: Backhouse, R; Oliveira, J ;
PUBLISHED: 2002, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
INDEXED IN: 
Scopus 
WOS
Scopus WOS23922
TITLE: Strain-compensated GaInNAs structures for 1.3-μm lasers Full Text
AUTHORS: Jouhti, T; Chang Si Peng; E.-M Pavelescu; Konttinen, J; L.A Gomes ; O.G Okhotnikov; Pessa, M;
PUBLISHED: 2002, SOURCE: IEEE Journal of Selected Topics in Quantum Electronics, VOLUME: 8, ISSUE: 4, PAGES: 787-794
AUTHORS: Jouhti, T; Chang Si Peng; E.-M Pavelescu; Konttinen, J; L.A Gomes ; O.G Okhotnikov; Pessa, M;
PUBLISHED: 2002, SOURCE: IEEE Journal of Selected Topics in Quantum Electronics, VOLUME: 8, ISSUE: 4, PAGES: 787-794
23923
TITLE: Support of IP QoS over UMTS networks
AUTHORS: Ricardo, M ; Dias, J ; Carneiro, G; Ruela, J ;
PUBLISHED: 2002, SOURCE: 13th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications in 13TH IEEE INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS, VOL 1-5, PROCEEDINGS, VOLUME: 4, PAGES: 1909-1913
AUTHORS: Ricardo, M ; Dias, J ; Carneiro, G; Ruela, J ;
PUBLISHED: 2002, SOURCE: 13th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications in 13TH IEEE INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS, VOL 1-5, PROCEEDINGS, VOLUME: 4, PAGES: 1909-1913
23924
TITLE: Supporting internet protocols in master-slave fieldbus networks'
AUTHORS: Filipe de Faria Pacheco ; Tovar, E ; Kalogeras, A; Pereira, N ;
PUBLISHED: 2002, SOURCE: 4th IFAC Conference on Fieldbus Systems and Their Applications (FeT 2001) in FIELDBUS SYSTEMS AND THEIR APPLICATIONOS 2001 (FET'2001), PAGES: 285-291
AUTHORS: Filipe de Faria Pacheco ; Tovar, E ; Kalogeras, A; Pereira, N ;
PUBLISHED: 2002, SOURCE: 4th IFAC Conference on Fieldbus Systems and Their Applications (FeT 2001) in FIELDBUS SYSTEMS AND THEIR APPLICATIONOS 2001 (FET'2001), PAGES: 285-291
INDEXED IN: WOS 
Handle
WOS Handle23925
TITLE: Teichmuller spaces and HR structures for hyperbolic surface dynamics
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2002, SOURCE: ERGODIC THEORY AND DYNAMICAL SYSTEMS, VOLUME: 22, ISSUE: 6, PAGES: 1905-1931
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2002, SOURCE: ERGODIC THEORY AND DYNAMICAL SYSTEMS, VOLUME: 22, ISSUE: 6, PAGES: 1905-1931
23926
TITLE: The Impact of Linearity Information on the Performance of TyCO
AUTHORS: Francisco Martins ; Luís M B Lopes ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2002, SOURCE: TIP@MPC, VOLUME: 75, PAGES: 41-60
AUTHORS: Francisco Martins ; Luís M B Lopes ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2002, SOURCE: TIP@MPC, VOLUME: 75, PAGES: 41-60
23927
TITLE: The reaction of the Portuguese stock market to ISO 9000 certification Full Text
AUTHORS: Beirao, G ; Cabral, JAS ;
PUBLISHED: 2002, SOURCE: TOTAL QUALITY MANAGEMENT, VOLUME: 13, ISSUE: 4, PAGES: 465-474
AUTHORS: Beirao, G ; Cabral, JAS ;
PUBLISHED: 2002, SOURCE: TOTAL QUALITY MANAGEMENT, VOLUME: 13, ISSUE: 4, PAGES: 465-474
23928
TITLE: The workflow-enabled supply chain, the Civil Construction Enterprise case study
AUTHORS: Pinto, MPT; Ferreira, JJP ;
PUBLISHED: 2002, SOURCE: 3rd Working Conference on Infrastructures for Virtual Enterprises (PRO-VE 02) in COLLABORATIVE BUSINESS ECOSYSTEMS AND VIRTUAL ENTERPRISES, VOLUME: 85, PAGES: 561-568
AUTHORS: Pinto, MPT; Ferreira, JJP ;
PUBLISHED: 2002, SOURCE: 3rd Working Conference on Infrastructures for Virtual Enterprises (PRO-VE 02) in COLLABORATIVE BUSINESS ECOSYSTEMS AND VIRTUAL ENTERPRISES, VOLUME: 85, PAGES: 561-568
INDEXED IN: WOS 
DBLP
WOS DBLP23929
TITLE: Thomas-Fermi model for a dust particle in a plasma
AUTHORS: Mendonca, JT ; Tsintsadze, NL; Guerreiro, A ;
PUBLISHED: 2002, SOURCE: EUROPHYSICS LETTERS, VOLUME: 57, ISSUE: 3, PAGES: 362-367
AUTHORS: Mendonca, JT ; Tsintsadze, NL; Guerreiro, A ;
PUBLISHED: 2002, SOURCE: EUROPHYSICS LETTERS, VOLUME: 57, ISSUE: 3, PAGES: 362-367
23930
TITLE: Towards Temporal Reasoning in ISCO
AUTHORS: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 311-324
AUTHORS: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 311-324
INDEXED IN: DBLP
DBLP23931
TITLE: Towards the workflow-enabled civil construction enterprise integration
AUTHORS: Pinto, MPT; Ferreira, JJP ;
PUBLISHED: 2002, SOURCE: 11th International Prolamat Conference on Digital Enterprise - New Challenges in DIGITAL ENTERPRISE CHALLENGES: LIFE-CYCLE APPROACH TO MANAGEMENT AND PRODUCTION, VOLUME: 77, PAGES: 187-195
AUTHORS: Pinto, MPT; Ferreira, JJP ;
PUBLISHED: 2002, SOURCE: 11th International Prolamat Conference on Digital Enterprise - New Challenges in DIGITAL ENTERPRISE CHALLENGES: LIFE-CYCLE APPROACH TO MANAGEMENT AND PRODUCTION, VOLUME: 77, PAGES: 187-195
INDEXED IN: WOS DBLP
WOS DBLP23932
TITLE: Transparent environment for replicated Ravenscar applications
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2002, SOURCE: 7th International Conference on Reliable Software Technologies - Ada Europe 2002 in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, VOLUME: 2361, PAGES: 297-308
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2002, SOURCE: 7th International Conference on Reliable Software Technologies - Ada Europe 2002 in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, VOLUME: 2361, PAGES: 297-308
23933
TITLE: Trends in agile and co-operative manufacturing
AUTHORS: Leitao, P ; Barata, J ; Camarinha Matos, L ; Boissier, R;
PUBLISHED: 2002, SOURCE: 6th IFAC Symposium on Cost Oriented Automation in COST ORIENTED AUTOMATION - (LOW COST AUTOMATION 2001), PAGES: 149-158
AUTHORS: Leitao, P ; Barata, J ; Camarinha Matos, L ; Boissier, R;
PUBLISHED: 2002, SOURCE: 6th IFAC Symposium on Cost Oriented Automation in COST ORIENTED AUTOMATION - (LOW COST AUTOMATION 2001), PAGES: 149-158
INDEXED IN: WOS
WOS23934
TITLE: Turbidity and color spectronephelometric measurements in consumable fluid samples
AUTHORS: Oliveira, L ; Clemente, MP;
PUBLISHED: 2002, SOURCE: 2002 Saratov Fall Meeting in SARATOV FALL MEETING 2002: OPTICAL TECHNOLOGIES IN BIOPHYSICS AND MEDICINE IV, VOLUME: 5068, PAGES: 227-233
AUTHORS: Oliveira, L ; Clemente, MP;
PUBLISHED: 2002, SOURCE: 2002 Saratov Fall Meeting in SARATOV FALL MEETING 2002: OPTICAL TECHNOLOGIES IN BIOPHYSICS AND MEDICINE IV, VOLUME: 5068, PAGES: 227-233
INDEXED IN: Scopus WOS
Scopus WOS23935
TITLE: Using Constraint Logic Programming to Generate Drills in Mathematics
AUTHORS: Ana Paula Tomás ; José Paulo Leal ; Pedro Vasconcelos;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 155-172
AUTHORS: Ana Paula Tomás ; José Paulo Leal ; Pedro Vasconcelos;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 155-172
INDEXED IN: DBLP
DBLP23936
TITLE: Using near field model predictions to detect and map an outfall sewage plume with an AUV
AUTHORS: Ramos, P ; Neves, MV; Pereira, FL ;
PUBLISHED: 2002, SOURCE: MTS/IEEE Oceans 2002 Conference in OCEANS 2002 MTS/IEEE CONFERENCE & EXHIBITION, VOLS 1-4, CONFERENCE PROCEEDINGS, VOLUME: 1, PAGES: 285-290
AUTHORS: Ramos, P ; Neves, MV; Pereira, FL ;
PUBLISHED: 2002, SOURCE: MTS/IEEE Oceans 2002 Conference in OCEANS 2002 MTS/IEEE CONFERENCE & EXHIBITION, VOLS 1-4, CONFERENCE PROCEEDINGS, VOLUME: 1, PAGES: 285-290
23937
TITLE: Using Ravenscar to support fault-tolerant real-time applications
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXII, ISSUE: 4, PAGES: 47
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXII, ISSUE: 4, PAGES: 47
23938
TITLE: Using Ravenscar to support fault-tolerant real-time applications
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: IRTAW, PAGES: 47-52
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: IRTAW, PAGES: 47-52
23939
TITLE: Version stamps - Decentralized version vectors
AUTHORS: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PAGES: 544-551
AUTHORS: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PAGES: 544-551
23940
TITLE: Widely tunable L-band erbium doped fiber ring laser by means of induced cavity loss control Full Text
AUTHORS: Melo, M; Teixeira, A ; Frazao, O ; Gomes, L ; Lima, M ; Santos, C; Pereira, D; Rocha, F; Salgado, HM ;
PUBLISHED: 2002, SOURCE: 15th Annual Meeting of the IEEE-Lasers-and-Electro-Optics-Society in 2002 IEEE/LEOS ANNUAL MEETING CONFERENCE PROCEEDINGS, VOLS 1 AND 2, VOLUME: 2, PAGES: 502-503
AUTHORS: Melo, M; Teixeira, A ; Frazao, O ; Gomes, L ; Lima, M ; Santos, C; Pereira, D; Rocha, F; Salgado, HM ;
PUBLISHED: 2002, SOURCE: 15th Annual Meeting of the IEEE-Lasers-and-Electro-Optics-Society in 2002 IEEE/LEOS ANNUAL MEETING CONFERENCE PROCEEDINGS, VOLS 1 AND 2, VOLUME: 2, PAGES: 502-503
