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: 18522
1699 Team MembersFilters -> Year: 2024
14181
TITLE: A Deductive Verification Platform for Cryptographic Software
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: 
DBLP
DBLP14182
TITLE: A digital game development education project
AUTHORS: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010, PAGES: 79-82
AUTHORS: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010, PAGES: 79-82
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef14183
TITLE: A Facade Tracking System for Outdoor Augmented Reality
AUTHORS: Jose F Martins; Jorge A Silva ; Augusto de Sousa, AA ;
PUBLISHED: 2010, SOURCE: 18th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2010: FULL PAPERS PROCEEDINGS, PAGES: 113-120
AUTHORS: Jose F Martins; Jorge A Silva ; Augusto de Sousa, AA ;
PUBLISHED: 2010, SOURCE: 18th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2010: FULL PAPERS PROCEEDINGS, PAGES: 113-120
INDEXED IN: Scopus 
WOS
Scopus WOS14184
TITLE: A Gap Analysis Methodology for the Team Software Process
AUTHORS: Luis Manuel G Gonzalez Amaral; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 424-429
AUTHORS: Luis Manuel G Gonzalez Amaral; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 424-429
14185
TITLE: A hybrid Fabry-Perot/Michelson interferometer sensor using a dual asymmetric core microstructured fiber Full Text
AUTHORS: Frazao, O ; Susana O. Silva ; Viegas, J; Baptista, JM ; Santos, JL ; Roy, P;
PUBLISHED: 2010, SOURCE: MEASUREMENT SCIENCE & TECHNOLOGY, VOLUME: 21, ISSUE: 2, PAGES: 025205
AUTHORS: Frazao, O ; Susana O. Silva ; Viegas, J; Baptista, JM ; Santos, JL ; Roy, P;
PUBLISHED: 2010, SOURCE: MEASUREMENT SCIENCE & TECHNOLOGY, VOLUME: 21, ISSUE: 2, PAGES: 025205
14186
TITLE: A hybrid GRASP/VND algorithm for two- and three-dimensional bin packing Full Text
AUTHORS: Parreno, F; Alvarez Valdes, R; Oliveira, JF ; Tamarit, JM;
PUBLISHED: 2010, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 179, ISSUE: 1, PAGES: 203-220
AUTHORS: Parreno, F; Alvarez Valdes, R; Oliveira, JF ; Tamarit, JM;
PUBLISHED: 2010, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 179, ISSUE: 1, PAGES: 203-220
14187
TITLE: A inteligência artificial na resolução de conflitos em linha
AUTHORS: Francisco C P Andrade; Davide R Carneiro ; Paulo Novais;
PUBLISHED: 2010
AUTHORS: Francisco C P Andrade; Davide R Carneiro ; Paulo Novais;
PUBLISHED: 2010
INDEXED IN: 
Handle
Handle14188
TITLE: A Learning Environment for Robotic Production Line Simulation
AUTHORS: Andre Dias ; Nuno Dias ; Daniela Campos; Hugo Ferreira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 179-186
AUTHORS: Andre Dias ; Nuno Dias ; Daniela Campos; Hugo Ferreira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 179-186
INDEXED IN: Scopus WOS
Scopus WOS14189
TITLE: A long-term risk management tool for electricity markets using swarm intelligence
AUTHORS: Azevedo, F ; Vale, ZA ; Oliveira, PBM ; Khodr, HM;
PUBLISHED: 2010, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 80, ISSUE: 4, PAGES: 380-389
AUTHORS: Azevedo, F ; Vale, ZA ; Oliveira, PBM ; Khodr, HM;
PUBLISHED: 2010, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 80, ISSUE: 4, PAGES: 380-389
14190
TITLE: A Lumped Transfer Function Model for High Pressure Gas Pipelines Full Text
AUTHORS: dos Santos, PL ; Azevedo Perdicoulis, TP ; Ramos, JA; Jank, G; de Carvalho, JLM ; Milhinhos, J;
PUBLISHED: 2010, SOURCE: 49th IEEE Conference on Decision and Control (CDC) in 49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), PAGES: 3487-3492
AUTHORS: dos Santos, PL ; Azevedo Perdicoulis, TP ; Ramos, JA; Jank, G; de Carvalho, JLM ; Milhinhos, J;
PUBLISHED: 2010, SOURCE: 49th IEEE Conference on Decision and Control (CDC) in 49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), PAGES: 3487-3492
14191
TITLE: A Metamodel-Based Approach for Automatic User Interface Generation
AUTHORS: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, VOLUME: 6394, ISSUE: PART 1, PAGES: 256-270
AUTHORS: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, VOLUME: 6394, ISSUE: PART 1, PAGES: 256-270
14192
TITLE: A method for the collaborative development of shared domain conceptualizations in inter-organizational contexts
AUTHORS: Pereira, CS ; Soares, AL ;
PUBLISHED: 2010, SOURCE: Terminology and Knowledge Engineering Conference 2010, TKE 2010 in TKE 2010: Presenting Terminology and Knowledge Engineering Resources Online: Models and Challenges, PAGES: 576-612
AUTHORS: Pereira, CS ; Soares, AL ;
PUBLISHED: 2010, SOURCE: Terminology and Knowledge Engineering Conference 2010, TKE 2010 in TKE 2010: Presenting Terminology and Knowledge Engineering Resources Online: Models and Challenges, PAGES: 576-612
INDEXED IN: Scopus
Scopus14193
TITLE: A MODEL OF PRIMATE PHOTORECEPTORS
AUTHORS: Hugo R Goncalves; Miguel V Correia ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Bio-Inspired Systems and Signal Processing (BIOSIGNALS 2010) in BIOSIGNALS 2010: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON BIO-INSPIRED SYSTEMS AND SIGNAL PROCESSING, PAGES: 277-283
AUTHORS: Hugo R Goncalves; Miguel V Correia ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Bio-Inspired Systems and Signal Processing (BIOSIGNALS 2010) in BIOSIGNALS 2010: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON BIO-INSPIRED SYSTEMS AND SIGNAL PROCESSING, PAGES: 277-283
INDEXED IN: Scopus WOS
Scopus WOS14194
TITLE: A Model of Primate Photoreceptors
AUTHORS: Hugo R Gonçalves; Miguel V Correia ;
PUBLISHED: 2010, SOURCE: BIOSIGNALS 2010 - Proceedings of the Third International Conference on Bio-inspired Systems and Signal Processing, Valencia, Spain, January 20-23, 2010, PAGES: 277-283
AUTHORS: Hugo R Gonçalves; Miguel V Correia ;
PUBLISHED: 2010, SOURCE: BIOSIGNALS 2010 - Proceedings of the Third International Conference on Bio-inspired Systems and Signal Processing, Valencia, Spain, January 20-23, 2010, PAGES: 277-283
INDEXED IN: DBLP
DBLP14195
TITLE: A Monte Carlo method to evaluate electric vehicles impacts in distribution networks
AUTHORS: Soares, FJ ; Pecas Lopes, JA ; Rocha Almeida, PM;
PUBLISHED: 2010, SOURCE: 2010 IEEE Conference on Innovative Technologies for an Efficient and Reliable Electricity Supply, CITRES 2010 in 2010 IEEE Conference on Innovative Technologies for an Efficient and Reliable Electricity Supply, CITRES 2010, PAGES: 365-372
AUTHORS: Soares, FJ ; Pecas Lopes, JA ; Rocha Almeida, PM;
PUBLISHED: 2010, SOURCE: 2010 IEEE Conference on Innovative Technologies for an Efficient and Reliable Electricity Supply, CITRES 2010 in 2010 IEEE Conference on Innovative Technologies for an Efficient and Reliable Electricity Supply, CITRES 2010, PAGES: 365-372
14196
TITLE: A Monte Carlo study of photoelectron extraction efficiency from CsI photocathodes into Xe-CH4 and Ne-CH4 mixtures Full Text
AUTHORS: Escada, J ; Dias, THVT ; Rachinhas, PJBM; Santos, FP; Lopes, JAM ; Coelho, LCC ; Conde, CAN; Stauffer, AD;
PUBLISHED: 2010, SOURCE: JOURNAL OF PHYSICS D-APPLIED PHYSICS, VOLUME: 43, ISSUE: 6, PAGES: 065502
AUTHORS: Escada, J ; Dias, THVT ; Rachinhas, PJBM; Santos, FP; Lopes, JAM ; Coelho, LCC ; Conde, CAN; Stauffer, AD;
PUBLISHED: 2010, SOURCE: JOURNAL OF PHYSICS D-APPLIED PHYSICS, VOLUME: 43, ISSUE: 6, PAGES: 065502
14197
TITLE: A multiobjective metaheuristic for a mean-risk multistage capacity investment problem Full Text
AUTHORS: Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2010, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 16, ISSUE: 1, PAGES: 85-115
AUTHORS: Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2010, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 16, ISSUE: 1, PAGES: 85-115
14198
TITLE: A multiobjective metaheuristic for a mean-risk static stochastic knapsack problem Full Text
AUTHORS: Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2010, SOURCE: COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, VOLUME: 46, ISSUE: 3, PAGES: 427-450
AUTHORS: Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2010, SOURCE: COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, VOLUME: 46, ISSUE: 3, PAGES: 427-450
14199
TITLE: A new linear parametrization for peak friction coefficient estimation in real time
AUTHORS: De Castro, R; Araujo, RE ; Cardoso, JS ; Freitas, D ;
PUBLISHED: 2010, SOURCE: 2010 IEEE Vehicle Power and Propulsion Conference, VPPC 2010 in 2010 IEEE Vehicle Power and Propulsion Conference, VPPC 2010
AUTHORS: De Castro, R; Araujo, RE ; Cardoso, JS ; Freitas, D ;
PUBLISHED: 2010, SOURCE: 2010 IEEE Vehicle Power and Propulsion Conference, VPPC 2010 in 2010 IEEE Vehicle Power and Propulsion Conference, VPPC 2010
