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: 18522
1699 Team MembersFilters -> Year: 2024
17441
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
17442
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
17443
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
INDEXED IN: 
Scopus 
WOS
Scopus WOS17444
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
17445
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
17446
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 DBLP17447
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
17448
TITLE: Transmission expansion planning and long term marginal prices calculation using simulated annealing
AUTHORS: Braga, AS; Saraiva, JT ;
PUBLISHED: 2003, SOURCE: 2003 IEEE Bologna PowerTech Conference in 2003 IEEE Bologna PowerTech - Conference Proceedings, VOLUME: 2, PAGES: 886-892
AUTHORS: Braga, AS; Saraiva, JT ;
PUBLISHED: 2003, SOURCE: 2003 IEEE Bologna PowerTech Conference in 2003 IEEE Bologna PowerTech - Conference Proceedings, VOLUME: 2, PAGES: 886-892
17449
TITLE: Transparent network for hybrid multiplexing of fiber Bragg gratings and intensity-modulated fiber-optic sensors
AUTHORS: Abad, S; Araujo, FM; Ferreira, LA; Santos, JL ; Lopez Amo, M;
PUBLISHED: 2003, SOURCE: APPLIED OPTICS, VOLUME: 42, ISSUE: 25, PAGES: 5040-5045
AUTHORS: Abad, S; Araujo, FM; Ferreira, LA; Santos, JL ; Lopez Amo, M;
PUBLISHED: 2003, SOURCE: APPLIED OPTICS, VOLUME: 42, ISSUE: 25, PAGES: 5040-5045
17450
TITLE: Tunable L-band erbium-doped fibre ring laser by means of induced cavity loss using a fibre taper Full Text
AUTHORS: Melo, M; Frazao, O ; Teixeira, ALJ ; Luis A Gomes ; da Rocha, JRF; Salgado, HM ;
PUBLISHED: 2003, SOURCE: APPLIED PHYSICS B-LASERS AND OPTICS, VOLUME: 77, ISSUE: 1, PAGES: 139-142
AUTHORS: Melo, M; Frazao, O ; Teixeira, ALJ ; Luis A Gomes ; da Rocha, JRF; Salgado, HM ;
PUBLISHED: 2003, SOURCE: APPLIED PHYSICS B-LASERS AND OPTICS, VOLUME: 77, ISSUE: 1, PAGES: 139-142
17451
TITLE: Unchirped fiber Bragg grating for simultaneous filtering and dispersion compensation in wavelength-multiplexed systems
AUTHORS: Lima, AJN; Teixeira, ALJ ; da Rocha, JRF; Andre, PS; Frazao, O ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Telecommunications (ICT 2003) in ICT'2003: 10TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, VOLS I AND II, CONFERENCE PROCEEDINGS, VOLUME: 1, PAGES: 188-191
AUTHORS: Lima, AJN; Teixeira, ALJ ; da Rocha, JRF; Andre, PS; Frazao, O ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Telecommunications (ICT 2003) in ICT'2003: 10TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, VOLS I AND II, CONFERENCE PROCEEDINGS, VOLUME: 1, PAGES: 188-191
17452
TITLE: Updating GIS data using personal digital assistants
AUTHORS: Silva, H; Sousa, AV; Lopes, JC ;
PUBLISHED: 2003, SOURCE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 1, PAGES: 566-569
AUTHORS: Silva, H; Sousa, AV; Lopes, JC ;
PUBLISHED: 2003, SOURCE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 1, PAGES: 566-569
INDEXED IN: Scopus DBLP
Scopus DBLP17453
TITLE: Upper bounds minimum-cost for single-source uncapacitated concave network flow problems Full Text
AUTHORS: Fontes, DBMM ; Hadjiconstantinou, E; Christofides, N;
PUBLISHED: 2003, SOURCE: NETWORKS, VOLUME: 41, ISSUE: 4, PAGES: 221-228
AUTHORS: Fontes, DBMM ; Hadjiconstantinou, E; Christofides, N;
PUBLISHED: 2003, SOURCE: NETWORKS, VOLUME: 41, ISSUE: 4, PAGES: 221-228
17454
TITLE: Using Contextual Logic Programming for Temporal Reasoning
AUTHORS: Vítor Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 479-490
AUTHORS: Vítor Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 479-490
INDEXED IN: DBLP
DBLP17455
TITLE: Using GRASP to solve the unit commitment problem Full Text
AUTHORS: Viana, A ; De Sousa, JP ; Matos, M ;
PUBLISHED: 2003, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 120, ISSUE: 1-4, PAGES: 117-132
AUTHORS: Viana, A ; De Sousa, JP ; Matos, M ;
PUBLISHED: 2003, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 120, ISSUE: 1-4, PAGES: 117-132
17456
TITLE: Using task knowledge to guide interactor specifications analysis
AUTHORS: Campos, JC ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 171-186
AUTHORS: Campos, JC ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 171-186
17457
TITLE: Verifying, validating and monitoring the open Ravenscar real time kernel Full Text
AUTHORS: Maia, R; Moreira, F; Barbosa, R; Costa, D; Hjortaes, K; Rodriguez, P; Pinho, LM ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03, PAGES: 74-81
AUTHORS: Maia, R; Moreira, F; Barbosa, R; Costa, D; Hjortaes, K; Rodriguez, P; Pinho, LM ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03, PAGES: 74-81
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef17458
TITLE: Visualization and evaluation support of knowledge discovery through the predictive model markup language
AUTHORS: Wettschereck, D; Jorge, A ; Moyle, S;
PUBLISHED: 2003, SOURCE: 7th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2003) in KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, VOLUME: 2773, PAGES: 493-501
AUTHORS: Wettschereck, D; Jorge, A ; Moyle, S;
PUBLISHED: 2003, SOURCE: 7th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2003) in KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, VOLUME: 2773, PAGES: 493-501
17459
TITLE: Voltage wave quality in low voltage power systems
AUTHORS: Baptista, JMR ; Cordeiro, MR; Machado E Moura, A;
PUBLISHED: 2003, SOURCE: Renewable Energy and Power Quality Journal, VOLUME: 1, ISSUE: 1, PAGES: 117-122
AUTHORS: Baptista, JMR ; Cordeiro, MR; Machado E Moura, A;
PUBLISHED: 2003, SOURCE: Renewable Energy and Power Quality Journal, VOLUME: 1, ISSUE: 1, PAGES: 117-122
INDEXED IN: Scopus CrossRef
Scopus CrossRef17460
TITLE: Weak reduction and garbage collection in interaction nets
AUTHORS: Pinto, JS ;
PUBLISHED: 2003, SOURCE: WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings in Electronic Notes in Theoretical Computer Science, VOLUME: 86, ISSUE: 4, PAGES: 625-640
AUTHORS: Pinto, JS ;
PUBLISHED: 2003, SOURCE: WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings in Electronic Notes in Theoretical Computer Science, VOLUME: 86, ISSUE: 4, PAGES: 625-640
