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: 17979
1699 Team MembersFilters -> Year: 2024
16921
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 DBLP16922
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
16923
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
DBLP16924
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
16925
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
16926
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 CrossRef16927
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
16928
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 CrossRef16929
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
16930
TITLE: What can we learn from a measurement of sin(2 beta+gamma)?
AUTHORS: Silva, JP ; Soffer, A; Wolfenstein, L; Wu, F;
PUBLISHED: 2003, SOURCE: PHYSICAL REVIEW D, VOLUME: 67, ISSUE: 3
AUTHORS: Silva, JP ; Soffer, A; Wolfenstein, L; Wu, F;
PUBLISHED: 2003, SOURCE: PHYSICAL REVIEW D, VOLUME: 67, ISSUE: 3
INDEXED IN: Scopus 
WOS
Scopus WOS16931
TITLE: Workshop on Language Descriptions, Tools and Applications, LDTA@ETAPS 2003, Warsaw, Poland, April 12-13, 2003
AUTHORS: Barrett R Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: LDTA@ETAPS, VOLUME: 82, ISSUE: 3
AUTHORS: Barrett R Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: LDTA@ETAPS, VOLUME: 82, ISSUE: 3
INDEXED IN: DBLP
DBLP16932
TITLE: XSDoc: an Extensible Wiki-based Infrastructure for Framework Documentation
AUTHORS: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 11-24
AUTHORS: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 11-24
INDEXED IN: DBLP
DBLP16933
TITLE: YapDss: An Or-parallel prolog system for scalable Beowulf clusters Full Text
AUTHORS: Rocha, R ; Silva, F ; Rolando Martins ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, ISSUE: 2902, PAGES: 136-150
AUTHORS: Rocha, R ; Silva, F ; Rolando Martins ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, ISSUE: 2902, PAGES: 136-150
16934
TITLE: A 2-exchange heuristic for nesting problems Full Text
AUTHORS: Gomes, AM ; Oliveira, JF ;
PUBLISHED: 2002, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 141, ISSUE: 2, PAGES: 359-370
AUTHORS: Gomes, AM ; Oliveira, JF ;
PUBLISHED: 2002, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 141, ISSUE: 2, PAGES: 359-370
16935
TITLE: A comparative morphologic analysis of benchmark sets of project networks Full Text
AUTHORS: Valadares Tavares, L ; Antunes Ferreira, J ; Silva Coelho, J ;
PUBLISHED: 2002, SOURCE: International Journal of Project Management, VOLUME: 20, ISSUE: 6, PAGES: 475-485
AUTHORS: Valadares Tavares, L ; Antunes Ferreira, J ; Silva Coelho, J ;
PUBLISHED: 2002, SOURCE: International Journal of Project Management, VOLUME: 20, ISSUE: 6, PAGES: 475-485
16936
TITLE: A comparative study of some issues concerning algorithm recommendation using ranking methods
AUTHORS: Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 8th Ibero-American Conference on Artifical Intelligence (IBERAMIA 02) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, VOLUME: 2527, PAGES: 80-89
AUTHORS: Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 8th Ibero-American Conference on Artifical Intelligence (IBERAMIA 02) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, VOLUME: 2527, PAGES: 80-89
16937
TITLE: A dynamically configurable architecture for the control of autonomous underwater vehicles
AUTHORS: Borges Sousa, J ; Lobo Pereira, F ; Pereira da Silva, E ;
PUBLISHED: 2002, SOURCE: Proceedings of OCEANS'94
AUTHORS: Borges Sousa, J ; Lobo Pereira, F ; Pereira da Silva, E ;
PUBLISHED: 2002, SOURCE: Proceedings of OCEANS'94
16938
TITLE: A general approach for security monitoring and preventive control of networks with large wind power production
AUTHORS: Helena Vasconcelos; José N M Marques Fidalgo ; J. A. Peças Lopes;
PUBLISHED: 2002
AUTHORS: Helena Vasconcelos; José N M Marques Fidalgo ; J. A. Peças Lopes;
PUBLISHED: 2002
INDEXED IN: 
Handle
Handle16939
TITLE: A new quantified approach to video-EEG analysis in epileptic seizures
AUTHORS: Cunha, JP ; Li, ZJ; da Silva, AM;
PUBLISHED: 2002, SOURCE: 6th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2002)/8th International Conference on Information Systems Analysis and Synthesis (ISAS 2002) in 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS III, PAGES: 203-207
AUTHORS: Cunha, JP ; Li, ZJ; da Silva, AM;
PUBLISHED: 2002, SOURCE: 6th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2002)/8th International Conference on Information Systems Analysis and Synthesis (ISAS 2002) in 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS III, PAGES: 203-207
INDEXED IN: WOS
WOS16940
TITLE: A real-time estimator of electrical parameters for vector controlled induction motor using a reduced order extended Kalman filter
AUTHORS: V. Leite; Rui E Araújo ; Diamantino S Freitas;
PUBLISHED: 2002, SOURCE: Proceedings of 10th International Power Electronics and Motion Control Conference - EPE-PEMC’02
AUTHORS: V. Leite; Rui E Araújo ; Diamantino S Freitas;
PUBLISHED: 2002, SOURCE: Proceedings of 10th International Power Electronics and Motion Control Conference - EPE-PEMC’02
INDEXED IN: Handle
Handle