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: 25101
1717 Team MembersFilters -> Year: 2026
23981
TITLE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
AUTHORS: Gilles Barthe ; Peter Dybjer; Luis Pinto; João Saraiva ;
PUBLISHED: 2002, SOURCE: APPSEM, VOLUME: 2395
AUTHORS: Gilles Barthe ; Peter Dybjer; Luis Pinto; João Saraiva ;
PUBLISHED: 2002, SOURCE: APPSEM, VOLUME: 2395
INDEXED IN: 
DBLP
DBLP23982
TITLE: Brokerage function in agile virtual enterprise integration - A literature review
AUTHORS: Avila, P ; Putnik, GD ; Cunha, MM ;
PUBLISHED: 2002, SOURCE: 3rd Working Conference on Infrastructures for Virtual Enterprises (PRO-VE 02) in COLLABORATIVE BUSINESS ECOSYSTEMS AND VIRTUAL ENTERPRISES, VOLUME: 85, PAGES: 65-72
AUTHORS: Avila, P ; Putnik, GD ; Cunha, MM ;
PUBLISHED: 2002, SOURCE: 3rd Working Conference on Infrastructures for Virtual Enterprises (PRO-VE 02) in COLLABORATIVE BUSINESS ECOSYSTEMS AND VIRTUAL ENTERPRISES, VOLUME: 85, PAGES: 65-72
INDEXED IN: 
WOS
WOS23983
TITLE: Characterization of FBGs written in HiBi IEC fibre for multiparameter sensors
AUTHORS: Abe, I; Schiller, MW; Nogueira, RN ; Lopes, P; Frazao, O ; Santos, JL ; Pinto, JL ; Kalinowski, HJ;
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: 1, PAGES: 173-174
AUTHORS: Abe, I; Schiller, MW; Nogueira, RN ; Lopes, P; Frazao, O ; Santos, JL ; Pinto, JL ; Kalinowski, HJ;
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: 1, PAGES: 173-174
INDEXED IN: 
Scopus WOS
Scopus WOS23984
TITLE: Coinductive Interpreters for Process Calculi
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: FLOPS, VOLUME: 2441, PAGES: 183-197
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: FLOPS, VOLUME: 2441, PAGES: 183-197
23985
TITLE: Comparação de parâmetros direccionais de k populações de Bingham
AUTHORS: Adelaide Figueiredo ; Paulo Gomes;
PUBLISHED: 2002
AUTHORS: Adelaide Figueiredo ; Paulo Gomes;
PUBLISHED: 2002
INDEXED IN: 
Handle
Handle23986
TITLE: Component-based programming for higher-order attribute grammars
AUTHORS: Saraiva, J ;
PUBLISHED: 2002, SOURCE: 1st International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2002, PROCEEDINGS, VOLUME: 2487, PAGES: 268-282
AUTHORS: Saraiva, J ;
PUBLISHED: 2002, SOURCE: 1st International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2002, PROCEEDINGS, VOLUME: 2487, PAGES: 268-282
23987
TITLE: Design of decentralized multivariable PI controllers using the particle swarm optimization algorithm [Diseño de controladores proporcional-integral multivariables descentralizados con el algoritmo de optimizacion con grupos de particulas]
AUTHORS: De Moura, PB; Cunha, JB ;
PUBLISHED: 2002, SOURCE: Informacion Tecnologica, VOLUME: 13, ISSUE: 4, PAGES: 131-140
AUTHORS: De Moura, PB; Cunha, JB ;
PUBLISHED: 2002, SOURCE: Informacion Tecnologica, VOLUME: 13, ISSUE: 4, PAGES: 131-140
INDEXED IN: Scopus
Scopus23988
TITLE: Design of PID controllers using the particle swarm algorithm
AUTHORS: João P Coelho; José B Cunha ; Paulo d M Oliveira;
PUBLISHED: 2002, SOURCE: 21st International Conference in Modelling
AUTHORS: João P Coelho; José B Cunha ; Paulo d M Oliveira;
PUBLISHED: 2002, SOURCE: 21st International Conference in Modelling
INDEXED IN: Handle
Handle23989
TITLE: Detection and classification of underwater transients with data driven methods based on time-frequency distributions and non-parametric classifiers
AUTHORS: Oliveira, PM ; Lobo, V ; Barroso, V ; Moura Pires, F;
PUBLISHED: 2002, SOURCE: MTS/IEEE Oceans 2002 Conference in OCEANS 2002 MTS/IEEE CONFERENCE & EXHIBITION, VOLS 1-4, CONFERENCE PROCEEDINGS, VOLUME: 1, PAGES: 12-16
AUTHORS: Oliveira, PM ; Lobo, V ; Barroso, V ; Moura Pires, F;
PUBLISHED: 2002, SOURCE: MTS/IEEE Oceans 2002 Conference in OCEANS 2002 MTS/IEEE CONFERENCE & EXHIBITION, VOLS 1-4, CONFERENCE PROCEEDINGS, VOLUME: 1, PAGES: 12-16
23990
TITLE: Diluted nitride edge-emitting and vertical-cavity lasers for 1.3-μm fibre-optic networks
AUTHORS: Jouhti, T; Peng, CS; Pavelescu, EM; Konttinen, J; Gomes, LA ; Okhotnikov, O; Pessa, M;
PUBLISHED: 2002, SOURCE: 4th International Conference on Transparent Optical Networks, ICTON 2002 - collocated with Workshop on All-Optical Routing, in Association with COST 266 and European Symposium on Photonic Crystals, ESPC 2002, in Association with COST 268 and PCIC and Closing Meeting of COST 268 in International Conference on Transparent Optical Networks, VOLUME: 1, PAGES: 140-143
AUTHORS: Jouhti, T; Peng, CS; Pavelescu, EM; Konttinen, J; Gomes, LA ; Okhotnikov, O; Pessa, M;
PUBLISHED: 2002, SOURCE: 4th International Conference on Transparent Optical Networks, ICTON 2002 - collocated with Workshop on All-Optical Routing, in Association with COST 266 and European Symposium on Photonic Crystals, ESPC 2002, in Association with COST 268 and PCIC and Closing Meeting of COST 268 in International Conference on Transparent Optical Networks, VOLUME: 1, PAGES: 140-143
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef23991
TITLE: Displays for direct comparison of ARIMA models
AUTHORS: Heiberger, RM; Teles, P ;
PUBLISHED: 2002, SOURCE: AMERICAN STATISTICIAN, VOLUME: 56, ISSUE: 2, PAGES: 131-138
AUTHORS: Heiberger, RM; Teles, P ;
PUBLISHED: 2002, SOURCE: AMERICAN STATISTICIAN, VOLUME: 56, ISSUE: 2, PAGES: 131-138
23992
TITLE: Distributed shared memory in kernel mode
AUTHORS: Trevisan, TS; Costa, VS ; Whately, L; Amorim, CL;
PUBLISHED: 2002, SOURCE: 14th Symposium on Computer Architecture and High Performance Computing in 14TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 159-166
AUTHORS: Trevisan, TS; Costa, VS ; Whately, L; Amorim, CL;
PUBLISHED: 2002, SOURCE: 14th Symposium on Computer Architecture and High Performance Computing in 14TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 159-166
23993
TITLE: Dynamic optimization in the coordination and control of autonomous underwater vehicles Full Text
AUTHORS: de Sousa, JB ; Matos, A ; Pereira, FL ;
PUBLISHED: 2002, SOURCE: 41st IEEE Conference on Decision and Control in PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, VOLUME: 2, PAGES: 2087-2092
AUTHORS: de Sousa, JB ; Matos, A ; Pereira, FL ;
PUBLISHED: 2002, SOURCE: 41st IEEE Conference on Decision and Control in PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, VOLUME: 2, PAGES: 2087-2092
23994
TITLE: Efficient contingency filtering and ranking algorithm for steady-state security analysis of an electric power system
AUTHORS: Faustino Agreira, CI ; Machado Ferreira, CM ; Dias Pinto, JA; Maciel Barbosa, FP ;
PUBLISHED: 2002, SOURCE: UPEC 2002, 37th International Universities' Power Engineering Conference in Proceedings of the Universities Power Engineering Conference, VOLUME: 37, PAGES: 855-859
AUTHORS: Faustino Agreira, CI ; Machado Ferreira, CM ; Dias Pinto, JA; Maciel Barbosa, FP ;
PUBLISHED: 2002, SOURCE: UPEC 2002, 37th International Universities' Power Engineering Conference in Proceedings of the Universities Power Engineering Conference, VOLUME: 37, PAGES: 855-859
INDEXED IN: Scopus
Scopus23995
TITLE: Electrical current metering with a dual interferometric configuration and serrodyne signal processing
AUTHORS: Jorge, PAS ; Caldas, P ; Ferreira, LA; Antonio Lobo ; Santos, JL ; Farahi, F;
PUBLISHED: 2002, SOURCE: MEASUREMENT SCIENCE & TECHNOLOGY, VOLUME: 13, ISSUE: 4, PAGES: 533-538
AUTHORS: Jorge, PAS ; Caldas, P ; Ferreira, LA; Antonio Lobo ; Santos, JL ; Farahi, F;
PUBLISHED: 2002, SOURCE: MEASUREMENT SCIENCE & TECHNOLOGY, VOLUME: 13, ISSUE: 4, PAGES: 533-538
INDEXED IN: Scopus WOS Handle
Scopus WOS Handle23996
TITLE: Electrical current metering with a dual interferometric configuration and serrodyne signal processing
AUTHORS: Jorge, PAS ; Caldas, P ; Ferreira, LA; Antonio Lobo ; Santos, JL ; Farahi, F;
PUBLISHED: 2002, SOURCE: 15th Optical Fiber Sensors Conference in OFS 2002: 15TH OPTICAL FIBER SENSORS CONFERENCE TECHNICAL DIGEST, PAGES: 495-498
AUTHORS: Jorge, PAS ; Caldas, P ; Ferreira, LA; Antonio Lobo ; Santos, JL ; Farahi, F;
PUBLISHED: 2002, SOURCE: 15th Optical Fiber Sensors Conference in OFS 2002: 15TH OPTICAL FIBER SENSORS CONFERENCE TECHNICAL DIGEST, PAGES: 495-498
23997
TITLE: Encoding linear logic with interaction combinators Full Text
AUTHORS: Mackie, I; Pinto, JS ;
PUBLISHED: 2002, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 176, ISSUE: 2, PAGES: 153-186
AUTHORS: Mackie, I; Pinto, JS ;
PUBLISHED: 2002, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 176, ISSUE: 2, PAGES: 153-186
23998
TITLE: Energy management and control of island power systems with increased penetration from renewable sources
AUTHORS: Hatziargyriou, N; Contaxis, G; Matos, M ; Pecas Lopes, JA ; Kariniotakis, G; Mayer, D; Halliday, J; Dutton, G; Dokopoulos, P; Bakirtzis, A; Stefanakis, J; Gigantidou, A; O'Donnell, P; McCoy, D; Fernandes, MJ; Cotrim, JMS; Figueira, AP;
PUBLISHED: 2002, SOURCE: 2002 IEEE Power Engineering Society Winter Meeting in Proceedings of the IEEE Power Engineering Society Transmission and Distribution Conference, VOLUME: 1, PAGES: 335-339
AUTHORS: Hatziargyriou, N; Contaxis, G; Matos, M ; Pecas Lopes, JA ; Kariniotakis, G; Mayer, D; Halliday, J; Dutton, G; Dokopoulos, P; Bakirtzis, A; Stefanakis, J; Gigantidou, A; O'Donnell, P; McCoy, D; Fernandes, MJ; Cotrim, JMS; Figueira, AP;
PUBLISHED: 2002, SOURCE: 2002 IEEE Power Engineering Society Winter Meeting in Proceedings of the IEEE Power Engineering Society Transmission and Distribution Conference, VOLUME: 1, PAGES: 335-339
INDEXED IN: Scopus
Scopus23999
TITLE: EPSO - Best-of-two-worlds meta-heuristic applied to power system problems
AUTHORS: Miranda, V ; Fonseca, N;
PUBLISHED: 2002, SOURCE: IEEE World Congress on Computational Intelligence (WCCI2002) in CEC'02: PROCEEDINGS OF THE 2002 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, VOLUME: 2, PAGES: 1080-1085
AUTHORS: Miranda, V ; Fonseca, N;
PUBLISHED: 2002, SOURCE: IEEE World Congress on Computational Intelligence (WCCI2002) in CEC'02: PROCEEDINGS OF THE 2002 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, VOLUME: 2, PAGES: 1080-1085
24000
TITLE: EPSO - Evolutionary Particle Swarm Optimization, a new algorithm with applications in power systems
AUTHORS: Miranda, V ; Fonseca, N;
PUBLISHED: 2002, SOURCE: 1st International Conference and Exhibition on Transmission and Distribution in the Asia Pacific Region in IEEE/PES TRANSMISSION AND DISTRIBUTION CONFERENCE AND EXHIBITION 2002: ASIA PACIFIC, VOLS 1-3, CONFERENCE PROCEEDINGS: NEW WAVE OF T&D TECHNOLOGY FROM ASIA PACIFIC, VOLUME: 2, ISSUE: ASIA PACIFIC, PAGES: 745-750
AUTHORS: Miranda, V ; Fonseca, N;
PUBLISHED: 2002, SOURCE: 1st International Conference and Exhibition on Transmission and Distribution in the Asia Pacific Region in IEEE/PES TRANSMISSION AND DISTRIBUTION CONFERENCE AND EXHIBITION 2002: ASIA PACIFIC, VOLS 1-3, CONFERENCE PROCEEDINGS: NEW WAVE OF T&D TECHNOLOGY FROM ASIA PACIFIC, VOLUME: 2, ISSUE: ASIA PACIFIC, PAGES: 745-750
INDEXED IN: Scopus WOS
Scopus WOS