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: 19032
1704 Team MembersFilters -> Year: 2025
17941
TITLE: Solving nesting problems with non-convex polygons by constraint logic programming Full Text
AUTHORS: Carravilla, MA ; Ribeiro, C; Oliveira, JF ;
PUBLISHED: 2003, SOURCE: International Transactions in Operational Research, VOLUME: 10, ISSUE: 6, PAGES: 651-663
AUTHORS: Carravilla, MA ; Ribeiro, C; Oliveira, JF ;
PUBLISHED: 2003, SOURCE: International Transactions in Operational Research, VOLUME: 10, ISSUE: 6, PAGES: 651-663
17942
TITLE: Solving the revenue reconciliation problem of distribution network providers using long-term marginal prices
AUTHORS: de Leao, MTP; Saraiva, JT ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 18, ISSUE: 1, PAGES: 339-345
AUTHORS: de Leao, MTP; Saraiva, JT ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 18, ISSUE: 1, PAGES: 339-345
17943
TITLE: Specification of multiple AUV strategies for search of freshwater oceanic sources
AUTHORS: Silva, EP ; Martins, AM ; Almeida, JM ; Sousa, JB ; Pereira, FL ;
PUBLISHED: 2003, SOURCE: MTS/IEEE Conference on Celebrating the Past - Teaming Toward the Future in OCEANS 2003 MTS/IEEE: CELEBRATING THE PAST...TEAMING TOWARD THE FUTURE, VOLUME: 1, PAGES: 346-346
AUTHORS: Silva, EP ; Martins, AM ; Almeida, JM ; Sousa, JB ; Pereira, FL ;
PUBLISHED: 2003, SOURCE: MTS/IEEE Conference on Celebrating the Past - Teaming Toward the Future in OCEANS 2003 MTS/IEEE: CELEBRATING THE PAST...TEAMING TOWARD THE FUTURE, VOLUME: 1, PAGES: 346-346
17944
TITLE: Specification-based testing of user interfaces
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 139-153
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 139-153
17945
TITLE: Spectral response evaluation of fibre Bragg gratings written in tapered single mode optical fibres
AUTHORS: Melo, M; Frazao, O ; Romero, R; Andre, PS ; Marques, PVS ; Salgado, HM ; Santos, JL ;
PUBLISHED: 2003, SOURCE: 10th International Microwave and Optoelectronics Conference (IMOC) in PROCEEDINGS OF THE INTERNATIONAL 2003 SBMO/IEEE MTT-S INTERNATIONAL MICROWAVE AND OPTOELECTRONICS CONFERENCE - IMOC 2003, VOLS I AND II, PAGES: 643-645
AUTHORS: Melo, M; Frazao, O ; Romero, R; Andre, PS ; Marques, PVS ; Salgado, HM ; Santos, JL ;
PUBLISHED: 2003, SOURCE: 10th International Microwave and Optoelectronics Conference (IMOC) in PROCEEDINGS OF THE INTERNATIONAL 2003 SBMO/IEEE MTT-S INTERNATIONAL MICROWAVE AND OPTOELECTRONICS CONFERENCE - IMOC 2003, VOLS I AND II, PAGES: 643-645
INDEXED IN: 
Scopus 
WOS
Scopus WOS17946
TITLE: Spectral response of chirped fibre Bragg gratings written in Erbium doped fibres
AUTHORS: Romero, R; Salgado, HM ; Frazão, O ; Marques, PVS; Santos, JL ;
PUBLISHED: 2003, SOURCE: Bragg Gratings, Photosensitivity, and Poling in Glass Waveguides, BGPP 2003 in Optics InfoBase Conference Papers
AUTHORS: Romero, R; Salgado, HM ; Frazão, O ; Marques, PVS; Santos, JL ;
PUBLISHED: 2003, SOURCE: Bragg Gratings, Photosensitivity, and Poling in Glass Waveguides, BGPP 2003 in Optics InfoBase Conference Papers
INDEXED IN: Scopus
Scopus17947
TITLE: State-based components made generic
AUTHORS: Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2003, SOURCE: CMCS'03, Coalgebraic Methods in Computer Science Satellite Event for ETAPS 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 1, PAGES: 41-58
AUTHORS: Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2003, SOURCE: CMCS'03, Coalgebraic Methods in Computer Science Satellite Event for ETAPS 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 1, PAGES: 41-58
17948
TITLE: Study of the properties of arc-induced long-period gratings and Bragg gratings in B/Ge doped fibers
AUTHORS: Rego, G; Santos, JL ; Marques, PVS; Salgado, HM ;
PUBLISHED: 2003, SOURCE: Bragg Gratings, Photosensitivity, and Poling in Glass Waveguides, BGPP 2003 in Optics InfoBase Conference Papers
AUTHORS: Rego, G; Santos, JL ; Marques, PVS; Salgado, HM ;
PUBLISHED: 2003, SOURCE: Bragg Gratings, Photosensitivity, and Poling in Glass Waveguides, BGPP 2003 in Optics InfoBase Conference Papers
INDEXED IN: Scopus
Scopus17949
TITLE: Symbolic clustering of constrained probabilistic data
AUTHORS: Brito, P ; de Carvalho, FAT;
PUBLISHED: 2003, SOURCE: 25th Annual Conference of the German-Classification-Society in EXPLORATORY DATA ANALYSIS IN EMPIRICAL RESEARCH, PROCEEDINGS, PAGES: 12-21
AUTHORS: Brito, P ; de Carvalho, FAT;
PUBLISHED: 2003, SOURCE: 25th Annual Conference of the German-Classification-Society in EXPLORATORY DATA ANALYSIS IN EMPIRICAL RESEARCH, PROCEEDINGS, PAGES: 12-21
INDEXED IN: WOS
WOS17950
TITLE: Temporal beam splitter and temporal interference
AUTHORS: Mendonca, JT ; Martins, AM; Guerreiro, A ;
PUBLISHED: 2003, SOURCE: PHYSICAL REVIEW A, VOLUME: 68, ISSUE: 4, PAGES: 4
AUTHORS: Mendonca, JT ; Martins, AM; Guerreiro, A ;
PUBLISHED: 2003, SOURCE: PHYSICAL REVIEW A, VOLUME: 68, ISSUE: 4, PAGES: 4
17951
TITLE: The diagnosis and management of pre-invasive breast disease - Genetic alterations in pre-invasive lesions
AUTHORS: Reis, JS ; Lakhani, SR;
PUBLISHED: 2003, SOURCE: BREAST CANCER RESEARCH, VOLUME: 5, ISSUE: 6, PAGES: 313-319
AUTHORS: Reis, JS ; Lakhani, SR;
PUBLISHED: 2003, SOURCE: BREAST CANCER RESEARCH, VOLUME: 5, ISSUE: 6, PAGES: 313-319
17952
TITLE: The Fabricare scheduling prototype suite: Agent interaction and knowledge base Full Text
AUTHORS: Sousa, P; Ramos, C ; Neves, J ;
PUBLISHED: 2003, SOURCE: International Workshop on Agent-Based Manufacturing Process Planning and Scheduling held at the 3rd World Manufacturing Congrss in JOURNAL OF INTELLIGENT MANUFACTURING, VOLUME: 14, ISSUE: 5, PAGES: 441-455
AUTHORS: Sousa, P; Ramos, C ; Neves, J ;
PUBLISHED: 2003, SOURCE: International Workshop on Agent-Based Manufacturing Process Planning and Scheduling held at the 3rd World Manufacturing Congrss in JOURNAL OF INTELLIGENT MANUFACTURING, VOLUME: 14, ISSUE: 5, PAGES: 441-455
17953
TITLE: The human impact in the success of strategic cooperation networks and alliances for innovation
AUTHORS: Caldeira, JC; Mendonca, JM ; Chituc, CM;
PUBLISHED: 2003, SOURCE: IEEE International Engineering Management Conference in IEMC-2003: MANAGING TECHNOLOGICALLY DRIVEN ORGANIZATIONS: THE HUMAN SIDE OF INNOVATION AND CHANGE, PROCEEDINGS, PAGES: 616-620
AUTHORS: Caldeira, JC; Mendonca, JM ; Chituc, CM;
PUBLISHED: 2003, SOURCE: IEEE International Engineering Management Conference in IEMC-2003: MANAGING TECHNOLOGICALLY DRIVEN ORGANIZATIONS: THE HUMAN SIDE OF INNOVATION AND CHANGE, PROCEEDINGS, PAGES: 616-620
17954
TITLE: The impact of linearity information on the performance of TyCO
AUTHORS: Martins, F ; Lopes, L ; Vasconcelos, VT ;
PUBLISHED: 2003, SOURCE: TIP'02, International Worshop in Types in Programming in Electronic Notes in Theoretical Computer Science, VOLUME: 75, PAGES: 43-62
AUTHORS: Martins, F ; Lopes, L ; Vasconcelos, VT ;
PUBLISHED: 2003, SOURCE: TIP'02, International Worshop in Types in Programming in Electronic Notes in Theoretical Computer Science, VOLUME: 75, PAGES: 43-62
17955
TITLE: The use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net project
AUTHORS: Alves, MA; Jorge, A ; Heaney, M;
PUBLISHED: 2003, SOURCE: 8th International Conference on reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, VOLUME: 2655, PAGES: 196-207
AUTHORS: Alves, MA; Jorge, A ; Heaney, M;
PUBLISHED: 2003, SOURCE: 8th International Conference on reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, VOLUME: 2655, PAGES: 196-207
17956
TITLE: Thermal behavior of Bragg gratings formed in germanosilicate fiber
AUTHORS: Lima, MJN ; Teixeira, ALJ ; Frazao, O ; Andre, PS ; da Rocha, JRF ;
PUBLISHED: 2003, SOURCE: 4th International Conference on Photonics, Devices and Systems in PHOTONICS, DEVICES, AND SYSTEMS II, VOLUME: 5036, PAGES: 187-192
AUTHORS: Lima, MJN ; Teixeira, ALJ ; Frazao, O ; Andre, PS ; da Rocha, JRF ;
PUBLISHED: 2003, SOURCE: 4th International Conference on Photonics, Devices and Systems in PHOTONICS, DEVICES, AND SYSTEMS II, VOLUME: 5036, PAGES: 187-192
17957
TITLE: Toe out angle: a functional index for the evaluation of sciatic nerve recovery in the rat model Full Text
AUTHORS: Varejao, ASP ; Cabrita, AM ; Geuna, S; Melo Pinto, P ; Filipe, VM ; Gramsbergen, A; Meek, MF;
PUBLISHED: 2003, SOURCE: EXPERIMENTAL NEUROLOGY, VOLUME: 183, ISSUE: 2, PAGES: 695-699
AUTHORS: Varejao, ASP ; Cabrita, AM ; Geuna, S; Melo Pinto, P ; Filipe, VM ; Gramsbergen, A; Meek, MF;
PUBLISHED: 2003, SOURCE: EXPERIMENTAL NEUROLOGY, VOLUME: 183, ISSUE: 2, PAGES: 695-699
17958
TITLE: Toward automatic management of embarrassingly parallel applications
AUTHORS: Dutra, I ; Page, D; Costa, VS ; Shavlik, J; Waddell, M;
PUBLISHED: 2003, SOURCE: 9th International Euro-Par Conference on Parallel Processing in EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 2790, PAGES: 509-516
AUTHORS: Dutra, I ; Page, D; Costa, VS ; Shavlik, J; Waddell, M;
PUBLISHED: 2003, SOURCE: 9th International Euro-Par Conference on Parallel Processing in EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 2790, PAGES: 509-516
17959
TITLE: Towards a calculus of state-based software components Full Text
AUTHORS: Barbosa, LS ;
PUBLISHED: 2003, SOURCE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, ISSUE: 8, PAGES: 891-909
AUTHORS: Barbosa, LS ;
PUBLISHED: 2003, SOURCE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, ISSUE: 8, PAGES: 891-909
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP17960
TITLE: Towards peer-to-peer content indexing Full Text
AUTHORS: Carlos Baquero ; Nuno Lopes;
PUBLISHED: 2003, SOURCE: Operating Systems Review, VOLUME: 37, ISSUE: 4, PAGES: 90-96
AUTHORS: Carlos Baquero ; Nuno Lopes;
PUBLISHED: 2003, SOURCE: Operating Systems Review, VOLUME: 37, ISSUE: 4, PAGES: 90-96
