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: 18397
1699 Team MembersFilters -> Year: 2024
17141
TITLE: Verifying user interface behaviour with model checking
AUTHORS: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLISHED: 2004, SOURCE: Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, PAGES: 87-96
AUTHORS: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLISHED: 2004, SOURCE: Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, PAGES: 87-96
INDEXED IN: 
DBLP
DBLP17142
TITLE: Wavelength multiplexing of frequency-based self-referenced fiber optic intensity sensors
AUTHORS: Baptista, JM ; Abad, S; Rego, GM ; Ferreira, LA; Araujo, FM; Santos, JL ; Lage, AS;
PUBLISHED: 2004, SOURCE: OPTICAL ENGINEERING, VOLUME: 43, ISSUE: 3, PAGES: 702-707
AUTHORS: Baptista, JM ; Abad, S; Rego, GM ; Ferreira, LA; Araujo, FM; Santos, JL ; Lage, AS;
PUBLISHED: 2004, SOURCE: OPTICAL ENGINEERING, VOLUME: 43, ISSUE: 3, PAGES: 702-707
17143
TITLE: 140-MHz stretched pulse ytterbium fiber laser
operating in the 980–1030 nm spectral
range
AUTHORS: Luis A Gomes ; Xiang, N; Jouhti, T; O.G Okhotnikov; Hotoleanu, M; Salomaa, A; Tammela, S;
PUBLISHED: 2003, SOURCE: Frontiers in Optics
AUTHORS: Luis A Gomes ; Xiang, N; Jouhti, T; O.G Okhotnikov; Hotoleanu, M; Salomaa, A; Tammela, S;
PUBLISHED: 2003, SOURCE: Frontiers in Optics
INDEXED IN: 
CrossRef
CrossRef17144
TITLE: 3D modelling of large urban scenes from diverse sources of information
AUTHORS: Coelho, AF ; Sousa, AA ; Ferreira, FN;
PUBLISHED: 2003, SOURCE: 7th International Conference on Electronic Publishing in FROM INFORMATION TO KNOWLEDGE, PAGES: 278-287
AUTHORS: Coelho, AF ; Sousa, AA ; Ferreira, FN;
PUBLISHED: 2003, SOURCE: 7th International Conference on Electronic Publishing in FROM INFORMATION TO KNOWLEDGE, PAGES: 278-287
INDEXED IN: 
WOS DBLP 
Handle
WOS DBLP Handle17145
TITLE: 980-nm picosecond fiber laser
AUTHORS: O.G Okhotnikov; Luis A Gomes ; Xiang, N; Jouhti, T; A.K Chin; Singh, R; A.B Grudinin;
PUBLISHED: 2003, SOURCE: IEEE Photonics Technology Letters, VOLUME: 15, ISSUE: 11, PAGES: 1519-1521
AUTHORS: O.G Okhotnikov; Luis A Gomes ; Xiang, N; Jouhti, T; A.K Chin; Singh, R; A.B Grudinin;
PUBLISHED: 2003, SOURCE: IEEE Photonics Technology Letters, VOLUME: 15, ISSUE: 11, PAGES: 1519-1521
17146
TITLE: <title>Sol-gel hybrid channel waveguide fabrication using UV excimer laser patterning</title>
AUTHORS: Moreira, PJ; Marques, PV ; Antonio M P P Leite;
PUBLISHED: 2003, SOURCE: 19th Congress of the International Commission for Optics: Optics for the Quality of Life
AUTHORS: Moreira, PJ; Marques, PV ; Antonio M P P Leite;
PUBLISHED: 2003, SOURCE: 19th Congress of the International Commission for Optics: Optics for the Quality of Life
INDEXED IN: CrossRef
CrossRef17147
TITLE: <title>Thermal behavior of Bragg gratings formed in germanosilicate fiber</title>
AUTHORS: Mario J N Lima; Antonio L J Teixeira; Orlando Frazao ; Paulo S B Andre; Jose R F da Rocha;
PUBLISHED: 2003, SOURCE: Photonics, Devices, and Systems II
AUTHORS: Mario J N Lima; Antonio L J Teixeira; Orlando Frazao ; Paulo S B Andre; Jose R F da Rocha;
PUBLISHED: 2003, SOURCE: Photonics, Devices, and Systems II
INDEXED IN: CrossRef
CrossRef17148
TITLE: A boot-strap estimator for joint flux and parameters online identification for vector controlled induction motor drives
AUTHORS: V. Leite; Rui E Araújo ; Diamantino S Freitas;
PUBLISHED: 2003, SOURCE: Proceedings of 10th European Conference on Power Electronics and Applications – EPE 2003
AUTHORS: V. Leite; Rui E Araújo ; Diamantino S Freitas;
PUBLISHED: 2003, SOURCE: Proceedings of 10th European Conference on Power Electronics and Applications – EPE 2003
INDEXED IN: Handle
Handle17149
TITLE: A CLP-based tool for computer aided generation and solving of maths exercises
AUTHORS: Tomas, AP ; Leal, JP ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 223-240
AUTHORS: Tomas, AP ; Leal, JP ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 223-240
17150
TITLE: A CMOS mixed-signal interface with a RF transmitter for a micromachined soil moisture sensor
AUTHORS: Morais, R ; Valente, A ; Correia, JH ; Couto, C;
PUBLISHED: 2003, SOURCE: IEEE International Symposium on Industrial Electronics in 2003 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: II, PAGES: 952-955
AUTHORS: Morais, R ; Valente, A ; Correia, JH ; Couto, C;
PUBLISHED: 2003, SOURCE: IEEE International Symposium on Industrial Electronics in 2003 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: II, PAGES: 952-955
17151
TITLE: A comparative analysis of clustering algorithms applied to load profiling
AUTHORS: Rodrigues, F ; Duarte, J; Figueiredo, V; Vale, Z ; Cordeiro, M;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Machine Learning and Data Mining in Pattern Recognition in MACHINE LEARNING AND DATA MINING IN PATTERN RECOGNITION, PROCEEDINGS, VOLUME: 2734, PAGES: 73-85
AUTHORS: Rodrigues, F ; Duarte, J; Figueiredo, V; Vale, Z ; Cordeiro, M;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Machine Learning and Data Mining in Pattern Recognition in MACHINE LEARNING AND DATA MINING IN PATTERN RECOGNITION, PROCEEDINGS, VOLUME: 2734, PAGES: 73-85
17152
TITLE: A formal approach to the usability engineering
AUTHORS: José Creissac Campos ;
PUBLISHED: 2003, SOURCE: Latin American Conference on Human-Computer Interaction, CLIHC '03 in Latin American Conference on Human-Computer Interaction, CLIHC'03, Rio de Janeiro, Brazil, November 17-20, 2003, VOLUME: 46, PAGES: 17-28
AUTHORS: José Creissac Campos ;
PUBLISHED: 2003, SOURCE: Latin American Conference on Human-Computer Interaction, CLIHC '03 in Latin American Conference on Human-Computer Interaction, CLIHC'03, Rio de Janeiro, Brazil, November 17-20, 2003, VOLUME: 46, PAGES: 17-28
INDEXED IN: 
Scopus DBLP
Scopus DBLP17153
TITLE: A generalized net model of the treatment of mechanically ventilated patients with nosocomial pneumonia
AUTHORS: Todorova, L; Bentes, I. ; Barroso, J ; Temelkov, A;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1057-1063
AUTHORS: Todorova, L; Bentes, I. ; Barroso, J ; Temelkov, A;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1057-1063
INDEXED IN: Scopus WOS
Scopus WOS17154
TITLE: A Goal Programming Model for Rescheduling of Generation Power in Deregulated Markets Full Text
AUTHORS: Centeno E.; Vitoriano B.; Campos A.; Muñoz A.; Villar J. ; Sánchez-Úbeda E.;
PUBLISHED: 2003, SOURCE: Annals of Operations Research, VOLUME: 120, ISSUE: 1-4, PAGES: 45-57
AUTHORS: Centeno E.; Vitoriano B.; Campos A.; Muñoz A.; Villar J. ; Sánchez-Úbeda E.;
PUBLISHED: 2003, SOURCE: Annals of Operations Research, VOLUME: 120, ISSUE: 1-4, PAGES: 45-57
INDEXED IN: Scopus
Scopus17155
TITLE: A high performance IMU based navigation system for a small size ROV
AUTHORS: Correia, MD; Matod, AC ;
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: 362-362
AUTHORS: Correia, MD; Matod, AC ;
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: 362-362
INDEXED IN: Scopus WOS
Scopus WOS17156
TITLE: A low cost solution for laboratory experiments in induction motor control
AUTHORS: Rui E Araújo ; V. Leite; Diamantino S Freitas;
PUBLISHED: 2003, SOURCE: Proceedings of 10th European Conference on Power Electronics and Applications – EPE 2003
AUTHORS: Rui E Araújo ; V. Leite; Diamantino S Freitas;
PUBLISHED: 2003, SOURCE: Proceedings of 10th European Conference on Power Electronics and Applications – EPE 2003
INDEXED IN: Handle
Handle17157
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763, PAGES: 316-323
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763, PAGES: 316-323
17158
TITLE: A multidimensional dynamic regulation model for E-marketplaces: DYNEX
AUTHORS: Tavares, LV ; Pereira, MJ; Coelho, JS ;
PUBLISHED: 2003, SOURCE: 2nd IFIP Conference on E-Commerce, E-Business, E-Government (13E 2002) in TOWARDS THE KNOWLEDGE SOCIETY: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT, VOLUME: 105, PAGES: 67-81
AUTHORS: Tavares, LV ; Pereira, MJ; Coelho, JS ;
PUBLISHED: 2003, SOURCE: 2nd IFIP Conference on E-Commerce, E-Business, E-Government (13E 2002) in TOWARDS THE KNOWLEDGE SOCIETY: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT, VOLUME: 105, PAGES: 67-81
INDEXED IN: Scopus WOS
Scopus WOS17159
TITLE: A new online identification methodology for flux and parameters estimation of vector controlled induction motors
AUTHORS: Leite, V; Araújo, R ; Freitas, D ;
PUBLISHED: 2003, SOURCE: IEEE International Electric Machines and Drives Conference, IEMDC 2003 in IEMDC 2003 - IEEE International Electric Machines and Drives Conference, VOLUME: 1, PAGES: 449-455
AUTHORS: Leite, V; Araújo, R ; Freitas, D ;
PUBLISHED: 2003, SOURCE: IEEE International Electric Machines and Drives Conference, IEMDC 2003 in IEMDC 2003 - IEEE International Electric Machines and Drives Conference, VOLUME: 1, PAGES: 449-455
17160
TITLE: A new power flow method for radial networks
AUTHORS: Matos, MA ;
PUBLISHED: 2003, SOURCE: 2003 IEEE Bologna PowerTech Conference in 2003 IEEE Bologna PowerTech - Conference Proceedings, VOLUME: 2, PAGES: 359-365
AUTHORS: Matos, MA ;
PUBLISHED: 2003, SOURCE: 2003 IEEE Bologna PowerTech Conference in 2003 IEEE Bologna PowerTech - Conference Proceedings, VOLUME: 2, PAGES: 359-365
