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

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 18402

1699 Team Members
Filters -> Year: 2024
17141
TÍTULO: Towards Temporal Reasoning in Constraint Contextual Logic Programming
AUTORES: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLICAÇÃO: 2004, FONTE: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004
INDEXADO EM: DBLP
17142
TÍTULO: Type-based termination of recursive definitions
AUTORES: Gilles Barthe; Maria João Frade ; Eduardo Giménez; Luís Pinto; Tarmo Uustalu;
PUBLICAÇÃO: 2004, FONTE: Math. Struct. Comput. Sci., VOLUME: 14, NÚMERO: 1, PÁGINAS: 97-141
INDEXADO EM: DBLP
17143
TÍTULO: Type-based termination of recursive definitions
AUTORES: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2004, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 1, PÁGINAS: 97-141
INDEXADO EM: Scopus WOS
17144
TÍTULO: Using Meta-Learning to Support Data Mining PDF
AUTORES: Ricardo Vilalta; Christophe Giraud G Carrier; Pavel Brazdil ; Carlos Soares ;
PUBLICAÇÃO: 2004, FONTE: IJCSA, VOLUME: 1, NÚMERO: 1, PÁGINAS: 31-45
INDEXADO EM: DBLP
17145
TÍTULO: Validation process for a fuzzy spatial load forecasting
AUTORES: Miranda, V ; Monteiro, C ; de Leao, TP;
PUBLICAÇÃO: 2004, FONTE: Conference on Probabilistic Methods Applied to Power Systems (PMAPS 2002) in COMPEL-THE INTERNATIONAL JOURNAL FOR COMPUTATION AND MATHEMATICS IN ELECTRICAL AND ELECTRONIC ENGINEERING, VOLUME: 23, NÚMERO: 1, PÁGINAS: 197-208
INDEXADO EM: Scopus WOS
17146
TÍTULO: Verifying user interface behaviour with model checking
AUTORES: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLICAÇÃO: 2004, FONTE: 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, PÁGINAS: 87-96
INDEXADO EM: DBLP
17147
TÍTULO: Wavelength multiplexing of frequency-based self-referenced fiber optic intensity sensors
AUTORES: Baptista, JM ; Abad, S; Rego, GM ; Ferreira, LA; Araujo, FM; Santos, JL ; Lage, AS;
PUBLICAÇÃO: 2004, FONTE: OPTICAL ENGINEERING, VOLUME: 43, NÚMERO: 3, PÁGINAS: 702-707
INDEXADO EM: Scopus WOS CrossRef: 14
17148
TÍTULO: 140-MHz stretched pulse ytterbium fiber laser operating in the 980–1030 nm spectral range
AUTORES: Luis A Gomes ; Xiang, N; Jouhti, T; O.G Okhotnikov; Hotoleanu, M; Salomaa, A; Tammela, S;
PUBLICAÇÃO: 2003, FONTE: Frontiers in Optics
INDEXADO EM: CrossRef
17149
TÍTULO: 3D modelling of large urban scenes from diverse sources of information
AUTORES: Coelho, AF ; Sousa, AA ; Ferreira, FN;
PUBLICAÇÃO: 2003, FONTE: 7th International Conference on Electronic Publishing in FROM INFORMATION TO KNOWLEDGE, PÁGINAS: 278-287
INDEXADO EM: WOS DBLP Handle
17150
TÍTULO: 980-nm picosecond fiber laser
AUTORES: O.G Okhotnikov; Luis A Gomes ; Xiang, N; Jouhti, T; A.K Chin; Singh, R; A.B Grudinin;
PUBLICAÇÃO: 2003, FONTE: IEEE Photonics Technology Letters, VOLUME: 15, NÚMERO: 11, PÁGINAS: 1519-1521
INDEXADO EM: CrossRef: 16
17151
TÍTULO: <title>Sol-gel hybrid channel waveguide fabrication using UV excimer laser patterning</title>
AUTORES: Moreira, PJ; Marques, PV ; Antonio M P P Leite;
PUBLICAÇÃO: 2003, FONTE: 19th Congress of the International Commission for Optics: Optics for the Quality of Life
INDEXADO EM: CrossRef
17153
TÍTULO: A boot-strap estimator for joint flux and parameters online identification for vector controlled induction motor drives
AUTORES: V. Leite; Rui E Araújo ; Diamantino S Freitas;
PUBLICAÇÃO: 2003, FONTE: Proceedings of 10th European Conference on Power Electronics and Applications – EPE 2003
INDEXADO EM: Handle
17154
TÍTULO: A CLP-based tool for computer aided generation and solving of maths exercises
AUTORES: Tomas, AP ; Leal, JP ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PÁGINAS: 223-240
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
17155
TÍTULO: A CMOS mixed-signal interface with a RF transmitter for a micromachined soil moisture sensor
AUTORES: Morais, R ; Valente, A ; Correia, JH ; Couto, C;
PUBLICAÇÃO: 2003, FONTE: IEEE International Symposium on Industrial Electronics in 2003 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: II, PÁGINAS: 952-955
INDEXADO EM: Scopus WOS CrossRef: 1
17156
TÍTULO: A comparative analysis of clustering algorithms applied to load profiling
AUTORES: Rodrigues, F ; Duarte, J; Figueiredo, V; Vale, Z ; Cordeiro, M;
PUBLICAÇÃO: 2003, FONTE: 3rd International Conference on Machine Learning and Data Mining in Pattern Recognition in MACHINE LEARNING AND DATA MINING IN PATTERN RECOGNITION, PROCEEDINGS, VOLUME: 2734, PÁGINAS: 73-85
INDEXADO EM: Scopus WOS CrossRef: 19
17157
TÍTULO: A formal approach to the usability engineering
AUTORES: José Creissac Campos ;
PUBLICAÇÃO: 2003, FONTE: 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, PÁGINAS: 17-28
INDEXADO EM: Scopus DBLP
17158
TÍTULO: A generalized net model of the treatment of mechanically ventilated patients with nosocomial pneumonia
AUTORES: Todorova, L; Bentes, I. ; Barroso, J ; Temelkov, A;
PUBLICAÇÃO: 2003, FONTE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PÁGINAS: 1057-1063
INDEXADO EM: Scopus WOS
17159
TÍTULO: A Goal Programming Model for Rescheduling of Generation Power in Deregulated Markets  Full Text
AUTORES: Centeno E.; Vitoriano B.; Campos A.; Muñoz A.; Villar J. ; Sánchez-Úbeda E.;
PUBLICAÇÃO: 2003, FONTE: Annals of Operations Research, VOLUME: 120, NÚMERO: 1-4, PÁGINAS: 45-57
INDEXADO EM: Scopus
17160
TÍTULO: A high performance IMU based navigation system for a small size ROV
AUTORES: Correia, MD; Matod, AC ;
PUBLICAÇÃO: 2003, FONTE: 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, PÁGINAS: 362-362
INDEXADO EM: Scopus WOS

Results per Page: 20.
Página 858 de 921. Total de resultados: 18402.