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: 19602
1707 Team MembersFilters -> Year: 2025
16281
TITLE: Refinement via interpretation
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PAGES: 250-259
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PAGES: 250-259
16282
TITLE: Refractive index tip sensor based on Fabry-Perot cavities formed by a suspended core fibre Full Text
AUTHORS: Frazao, O ; Baptista, JM ; Santos, JL ; Kobelke, J; Shuster, K;
PUBLISHED: 2009, SOURCE: JOURNAL OF THE EUROPEAN OPTICAL SOCIETY-RAPID PUBLICATIONS, VOLUME: 4
AUTHORS: Frazao, O ; Baptista, JM ; Santos, JL ; Kobelke, J; Shuster, K;
PUBLISHED: 2009, SOURCE: JOURNAL OF THE EUROPEAN OPTICAL SOCIETY-RAPID PUBLICATIONS, VOLUME: 4
16283
TITLE: Regression Trees from Data Streams with Drift Detection
AUTHORS: Elena Ikonomovska; Joao Gama ; Raquel Sebastiao ; Dejan Gjorgjevik;
PUBLISHED: 2009, SOURCE: 12th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 5808, PAGES: 121-135
AUTHORS: Elena Ikonomovska; Joao Gama ; Raquel Sebastiao ; Dejan Gjorgjevik;
PUBLISHED: 2009, SOURCE: 12th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 5808, PAGES: 121-135
16284
TITLE: Relação entre dimensões do autoconceito e consumo de álcool em alunos Full Text
AUTHORS: José Vasconcelos-Raposo ; Octávio V Gonçalves; Carla M Teixeira; Fernandes, HM ;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 1
AUTHORS: José Vasconcelos-Raposo ; Octávio V Gonçalves; Carla M Teixeira; Fernandes, HM ;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 1
INDEXED IN: 
CrossRef
CrossRef16285
TITLE: Relação entre exercício físico, depressão e índice de massa corporal Full Text
AUTHORS: José Vasconcelos-Raposo ; Fernandes, HM ; Miriam Mano; Edith Martins;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 1
AUTHORS: José Vasconcelos-Raposo ; Fernandes, HM ; Miriam Mano; Edith Martins;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 1
16286
TITLE: Relational Models for Tabling Logic Programs in a Database Full Text
AUTHORS: Pedro Costa ; Ricardo Rocha ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437, PAGES: 99-116
AUTHORS: Pedro Costa ; Ricardo Rocha ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437, PAGES: 99-116
16287
TITLE: Remote sensing monitoring to preserve ancestral semi-natural mountain meadows landscapes
AUTHORS: Pocas, I ; Cunha, M ; Marcal, ARS ; Pereira, LS;
PUBLISHED: 2009, SOURCE: 28th European-Association-of-Remote-Sensing-Laboratories (EARSeL) Symposium and Workshops on Remote Sensing for a Changing Europe in REMOTE SENSING FOR A CHANGING EUROPE, PAGES: 102-108
AUTHORS: Pocas, I ; Cunha, M ; Marcal, ARS ; Pereira, LS;
PUBLISHED: 2009, SOURCE: 28th European-Association-of-Remote-Sensing-Laboratories (EARSeL) Symposium and Workshops on Remote Sensing for a Changing Europe in REMOTE SENSING FOR A CHANGING EUROPE, PAGES: 102-108
INDEXED IN: 
WOS CrossRef
WOS CrossRef16288
TITLE: Remote system for detection of low-levels of methane based on photonic crystal fibres and wavelength modulation spectroscopy Full Text
AUTHORS: Carvalho, JP; Lehmann, H; Bartelt, H; Magalhes, F; Amezcua Correa, R; Santos, JL ; Roosbroeck, JV; Arajo, FM; Ferreira, LA; Knight, JC;
PUBLISHED: 2009, SOURCE: Journal of Sensors, VOLUME: 2009, PAGES: 1-10
AUTHORS: Carvalho, JP; Lehmann, H; Bartelt, H; Magalhes, F; Amezcua Correa, R; Santos, JL ; Roosbroeck, JV; Arajo, FM; Ferreira, LA; Knight, JC;
PUBLISHED: 2009, SOURCE: Journal of Sensors, VOLUME: 2009, PAGES: 1-10
16289
TITLE: Requirements engineering for multi-channel services: the SEB method and its application to a multi-channel bank Full Text
AUTHORS: Lia Patricio ; Joao F E Falcao e Cunha ; Raymond P Fisk;
PUBLISHED: 2009, SOURCE: REQUIREMENTS ENGINEERING, VOLUME: 14, ISSUE: 3, PAGES: 209-227
AUTHORS: Lia Patricio ; Joao F E Falcao e Cunha ; Raymond P Fisk;
PUBLISHED: 2009, SOURCE: REQUIREMENTS ENGINEERING, VOLUME: 14, ISSUE: 3, PAGES: 209-227
16290
TITLE: Responding to questionnaires on the Web using XwQuest
AUTHORS: Leal, JP ;
PUBLISHED: 2009, SOURCE: IADIS International Conference WWW/Internet 2009, ICWI 2009 in Proceedings of the IADIS International Conference WWW/Internet 2009, ICWI 2009, VOLUME: 1, PAGES: 149-156
AUTHORS: Leal, JP ;
PUBLISHED: 2009, SOURCE: IADIS International Conference WWW/Internet 2009, ICWI 2009 in Proceedings of the IADIS International Conference WWW/Internet 2009, ICWI 2009, VOLUME: 1, PAGES: 149-156
INDEXED IN: 
Scopus
Scopus16291
TITLE: REUSE OF VIDEO ANNOTATIONS BASED ON LOW-LEVEL DESCRIPTOR SIMILARITY
AUTHORS: Mario Cordeiro ; Cristina Ribeiro ;
PUBLISHED: 2009, SOURCE: 10th International Workshop on Image Analysis for Multimedia Interactive Services in 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES, PAGES: 193-196
AUTHORS: Mario Cordeiro ; Cristina Ribeiro ;
PUBLISHED: 2009, SOURCE: 10th International Workshop on Image Analysis for Multimedia Interactive Services in 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES, PAGES: 193-196
16292
TITLE: Road tunnels lighting using genetic algorithms
AUTHORS: Leitao, S; Pires, EJS ; De Moura Oliveira, PB ;
PUBLISHED: 2009, SOURCE: 2009 15th International Conference on Intelligent System Applications to Power Systems, ISAP '09 in 2009 15th International Conference on Intelligent System Applications to Power Systems, ISAP '09
AUTHORS: Leitao, S; Pires, EJS ; De Moura Oliveira, PB ;
PUBLISHED: 2009, SOURCE: 2009 15th International Conference on Intelligent System Applications to Power Systems, ISAP '09 in 2009 15th International Conference on Intelligent System Applications to Power Systems, ISAP '09
16293
TITLE: Robust and Real-time Teaching of Industrial Robots for Mass Customisation Manufacturing Using Stereoscopic Vision
AUTHORS: Paulo Malheiros; Paulo Costa ; Antonio Paulo Moreira ; Marcos Ferreira;
PUBLISHED: 2009, SOURCE: 35th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON 2009) in IECON: 2009 35TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS, VOLS 1-6, PAGES: 2205-2210
AUTHORS: Paulo Malheiros; Paulo Costa ; Antonio Paulo Moreira ; Marcos Ferreira;
PUBLISHED: 2009, SOURCE: 35th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON 2009) in IECON: 2009 35TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS, VOLS 1-6, PAGES: 2205-2210
16294
TITLE: Robust tuning of power system stabilisers to install in wind energy conversion systems
AUTHORS: Mendonca, A; Pecas Lopes, JAP ;
PUBLISHED: 2009, SOURCE: IET RENEWABLE POWER GENERATION, VOLUME: 3, ISSUE: 4, PAGES: 465-475
AUTHORS: Mendonca, A; Pecas Lopes, JAP ;
PUBLISHED: 2009, SOURCE: IET RENEWABLE POWER GENERATION, VOLUME: 3, ISSUE: 4, PAGES: 465-475
16295
TITLE: Rotating speed stability and mechanical vibrations analysis of a one-stage inertia flexible rotor driven by variable speed drives
AUTHORS: Oliveira, F ; Donsión, MP; Peláez, G;
PUBLISHED: 2009, SOURCE: Renewable Energy and Power Quality Journal, VOLUME: 1, ISSUE: 7, PAGES: 554-557
AUTHORS: Oliveira, F ; Donsión, MP; Peláez, G;
PUBLISHED: 2009, SOURCE: Renewable Energy and Power Quality Journal, VOLUME: 1, ISSUE: 7, PAGES: 554-557
INDEXED IN: Scopus CrossRef
Scopus CrossRef16296
TITLE: SAGA Reloaded: Towards a Generic Platform for Developing Cooperative Applications
AUTHORS: Benjamim Fonseca ; Hugo Paredes ; Joao Paulo Sousa; Mario M Martins ; Eurico Carrapatoso;
PUBLISHED: 2009, SOURCE: 13th International Conference on Computer Supported Cooperative Work in Design in 2009 13TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PAGES: 331-337
AUTHORS: Benjamim Fonseca ; Hugo Paredes ; Joao Paulo Sousa; Mario M Martins ; Eurico Carrapatoso;
PUBLISHED: 2009, SOURCE: 13th International Conference on Computer Supported Cooperative Work in Design in 2009 13TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PAGES: 331-337
16297
TITLE: Schem@Doc: a web-based XML schema visualizer
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
INDEXED IN: 
Handle
Handle16298
TITLE: Search Optimizations in Structured Peer-to-peer Systems
AUTHORS: Nuno Lopes; Carlos Baquero ;
PUBLISHED: 2009, SOURCE: 10th International Conference on Intelligent Tutoring Systems18th IEEE International Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises in 2009 18TH IEEE INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURES FOR COLLABORATIVE ENTERPRISES, PAGES: 111-115
AUTHORS: Nuno Lopes; Carlos Baquero ;
PUBLISHED: 2009, SOURCE: 10th International Conference on Intelligent Tutoring Systems18th IEEE International Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises in 2009 18TH IEEE INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURES FOR COLLABORATIVE ENTERPRISES, PAGES: 111-115
16299
TITLE: Second Life Information Desk System using Instant Messaging and Short Messaging Service Technologies
AUTHORS: Valerio, S; Pereira, J; Morgado, L ; Mestre, P ; C. Serôdio ; Carvalho, F;
PUBLISHED: 2009, SOURCE: 1st IEEE International Conference in Games and Virtual Worlds for Serious Applications (VS-GAMES 2009) in PROCEEDINGS OF THE IEEE VIRTUAL WORLDS FOR SERIOUS APPLICATIONS, PAGES: 125-132
AUTHORS: Valerio, S; Pereira, J; Morgado, L ; Mestre, P ; C. Serôdio ; Carvalho, F;
PUBLISHED: 2009, SOURCE: 1st IEEE International Conference in Games and Virtual Worlds for Serious Applications (VS-GAMES 2009) in PROCEEDINGS OF THE IEEE VIRTUAL WORLDS FOR SERIOUS APPLICATIONS, PAGES: 125-132
16300
TITLE: Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Cryptology in Africa in PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009, VOLUME: 5580, PAGES: 235-253
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Cryptology in Africa in PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009, VOLUME: 5580, PAGES: 235-253
