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: 18402
1699 Team MembersFilters -> Year: 2024
15121
TITLE: Refinement by Interpretation in a General Setting
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 259, ISSUE: C, PAGES: 105-121
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 259, ISSUE: C, PAGES: 105-121
15122
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
15123
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
15124
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
15125
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; Helder Miguel Fernandes;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 1
AUTHORS: José Vasconcelos-Raposo ; Octávio V Gonçalves; Carla M Teixeira; Helder Miguel Fernandes;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 1
INDEXED IN: 
CrossRef
CrossRef15126
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
15127
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
15128
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
WOS15129
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
15130
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
15131
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
Scopus15132
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
15133
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
15134
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
15135
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
15136
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 CrossRef15137
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
15138
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
Handle15139
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
15140
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
