Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 18334

1699 Team Members
Filters -> Year: 2024
17301
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
INDEXED IN: DBLP
17302
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
INDEXED IN: WOS
17303
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
INDEXED IN: Scopus WOS
17304
TITLE: Coinductive Interpreters for Process Calculi
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PAGES: 183-197
INDEXED IN: Scopus DBLP CrossRef
17305
TITLE: Collaborative learning in a web-accessible workbench
AUTHORS: Ferreira, JMM; Gustavo R. Alves ; Costa, R; Hine, N;
PUBLISHED: 2002, SOURCE: 8th International Workshop on Groupware (CRIWG 2002) in GROUPWARE: DESIGN, IMPLEMENTATION, AND USE, PROCEEDINGS, VOLUME: 2440, PAGES: 25-34
INDEXED IN: Scopus WOS DBLP CrossRef: 3
17306
TITLE: Component-based programming for higher-order attribute grammars PDF
AUTHORS: Saraiva, J ;
PUBLISHED: 2002, SOURCE: 1st International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, VOLUME: 2487, PAGES: 268-282
INDEXED IN: Scopus WOS DBLP CrossRef: 3
17308
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
INDEXED IN: Handle
17309
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
INDEXED IN: Scopus WOS CrossRef: 2
17310
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; Luis A Gomes ; 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
17311
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
INDEXED IN: WOS CrossRef
17312
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
INDEXED IN: WOS DBLP CrossRef: 2
17313
TITLE: Dynamic optimization in the coordination and control of autonomous underwater vehicles
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Handle
17314
TITLE: Electrical current metering with a dual interferometric configuration and serrodyne signal processing
AUTHORS: Jorge, PAS ; Caldas, P ; Ferreira, LA; Ribeiro, ABL ; 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
INDEXED IN: Scopus WOS CrossRef
17315
TITLE: Electrical current metering with a dual interferometric configuration and serrodyne signal processing
AUTHORS: Jorge, PAS ; Caldas, P ; Ferreira, LA; Ribeiro, ABL ; Santos, JL ; Farahi, F;
PUBLISHED: 2002, SOURCE: MEASUREMENT SCIENCE & TECHNOLOGY, VOLUME: 13, ISSUE: 4, PAGES: 533-538
INDEXED IN: Scopus WOS Handle
17316
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
INDEXED IN: Scopus WOS DBLP CrossRef: 11
17317
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
INDEXED IN: Scopus
17318
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
INDEXED IN: Scopus WOS DBLP CrossRef
17319
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
INDEXED IN: Scopus WOS
17320
TITLE: Estimation of physical parameters of an induction motor using an indirect method
AUTHORS: Araujo, RE ; Leite, AV; Freitas, DS ;
PUBLISHED: 2002, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE 2002: PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-4, VOLUME: 2, PAGES: 535-540
INDEXED IN: Scopus WOS CrossRef: 4 Handle

Results per Page: 20.
Page 866 of 917. Total results: 18334.