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: 18529
1699 Team MembersFilters -> Year: 2024
14421
TITLE: GamaSlicer: an online laboratory for program verification and analysis. an online laboratory for program verification and analysis
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS, PAGES: 3
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS, PAGES: 3
14422
TITLE: Gas Pipelines LPV Modelling and Identification for Leakage Detection Full Text
AUTHORS: dos Santos, PL ; Azevedo Perdicoulis, TP ; Ramos, JA; Jank, G; de Carvalho, JLM ; Milhinhos, J;
PUBLISHED: 2010, SOURCE: American Control Conference in 2010 AMERICAN CONTROL CONFERENCE, PAGES: 1211-1216
AUTHORS: dos Santos, PL ; Azevedo Perdicoulis, TP ; Ramos, JA; Jank, G; de Carvalho, JLM ; Milhinhos, J;
PUBLISHED: 2010, SOURCE: American Control Conference in 2010 AMERICAN CONTROL CONFERENCE, PAGES: 1211-1216
14423
TITLE: Gender Differences in Internet Usage Habits: A Case Study in Higher Education
AUTHORS: Babo, R; Lopes, CT ; Rodrigues, AC; Pinto, M; Queiros, R ; de Oliveira, PC;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
AUTHORS: Babo, R; Lopes, CT ; Rodrigues, AC; Pinto, M; Queiros, R ; de Oliveira, PC;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
INDEXED IN: 
Scopus 
WOS 
Handle
Scopus WOS Handle14424
TITLE: Generic Point-free Lenses
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
14425
TITLE: Genetic Algorithm with Local Search for Community Mining in Complex Networks
AUTHORS: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 105-112
AUTHORS: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 105-112
14426
TITLE: Gestão de projectos TI e administração centralizada de sistemas e redes: cenários práticos em contexto empresarial
AUTHORS: Mário Antunes ;
PUBLISHED: 2010
AUTHORS: Mário Antunes ;
PUBLISHED: 2010
INDEXED IN: Handle
Handle14427
TITLE: Godel's system T revisited Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
14428
TITLE: Greenhouse Heat Load Prediction Using a Support Vector Regression Model
AUTHORS: Coelho, JP ; Cunha, JB ; Oliveira, PD ; Pires, ES ;
PUBLISHED: 2010, SOURCE: 5th International Workshop on Soft Computing Models in Industrial Applications in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, VOLUME: 73, PAGES: 111-117
AUTHORS: Coelho, JP ; Cunha, JB ; Oliveira, PD ; Pires, ES ;
PUBLISHED: 2010, SOURCE: 5th International Workshop on Soft Computing Models in Industrial Applications in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, VOLUME: 73, PAGES: 111-117
14429
TITLE: Grid interactive charging control for plug-in electric vehicles
AUTHORS: Rei, RJ; Soares, FJ ; Rocha Almeida, PM; Pecas Lopes, JA ;
PUBLISHED: 2010, SOURCE: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, PAGES: 386-391
AUTHORS: Rei, RJ; Soares, FJ ; Rocha Almeida, PM; Pecas Lopes, JA ;
PUBLISHED: 2010, SOURCE: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, PAGES: 386-391
14430
TITLE: GUI Inspection from Source Code Analysis
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus 
DBLP
Scopus DBLP14431
TITLE: Hábitos de utilização da internet nos alunos do ensino superior: caso de estudo
AUTHORS: Ana C Rodrigues; Mário Pinto; Ricardo Queirós; Rosalina Babo; Carla T Lopes ; Paulo C d Oliveira;
PUBLISHED: 2010, SOURCE: Recursos humanos: das teorias às boas práticas: os artigos de investigação e intervenção
AUTHORS: Ana C Rodrigues; Mário Pinto; Ricardo Queirós; Rosalina Babo; Carla T Lopes ; Paulo C d Oliveira;
PUBLISHED: 2010, SOURCE: Recursos humanos: das teorias às boas práticas: os artigos de investigação e intervenção
INDEXED IN: Handle
Handle14432
TITLE: HAND GRIP STRENGTH IN A SAMPLE Of 11 to 14 Years Old Children Full Text
AUTHORS: Carreira, H; Amaral, TF ; Bras Silva, C ; Oliveira, BMPM ; Borges, N ;
PUBLISHED: 2010, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 23, ISSUE: 5, PAGES: 811-818
AUTHORS: Carreira, H; Amaral, TF ; Bras Silva, C ; Oliveira, BMPM ; Borges, N ;
PUBLISHED: 2010, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 23, ISSUE: 5, PAGES: 811-818
INDEXED IN: Scopus WOS Handle
Scopus WOS Handle14433
TITLE: Handling mobility on a QoS-aware service-based framework for mobile systems
AUTHORS: Goncalves, J; Ferreira, LL ; Pinho, LM ; Silva, G;
PUBLISHED: 2010, SOURCE: IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010 in Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, PAGES: 97-104
AUTHORS: Goncalves, J; Ferreira, LL ; Pinho, LM ; Silva, G;
PUBLISHED: 2010, SOURCE: IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010 in Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, PAGES: 97-104
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef14434
TITLE: Hg(II) sensing based on functionalized carbon dots obtained by direct laser ablation Full Text
AUTHORS: Helena Goncalves ; Pedro A S Jorge ; Fernandes, JRA ; Joaquim C G E Esteves da Silva ;
PUBLISHED: 2010, SOURCE: SENSORS AND ACTUATORS B-CHEMICAL, VOLUME: 145, ISSUE: 2, PAGES: 702-707
AUTHORS: Helena Goncalves ; Pedro A S Jorge ; Fernandes, JRA ; Joaquim C G E Esteves da Silva ;
PUBLISHED: 2010, SOURCE: SENSORS AND ACTUATORS B-CHEMICAL, VOLUME: 145, ISSUE: 2, PAGES: 702-707
14435
TITLE: Hierarchical medical image annotation using SVM-based approaches
AUTHORS: Amaral, IF; Coelho, F; Da Costa, JFP ; Cardoso, JS ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Information Technology and Applications in Biomedicine: Emerging Technologies for Patient Specific Healthcare, ITAB 2010 in Proceedings of the IEEE/EMBS Region 8 International Conference on Information Technology Applications in Biomedicine, ITAB
AUTHORS: Amaral, IF; Coelho, F; Da Costa, JFP ; Cardoso, JS ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Information Technology and Applications in Biomedicine: Emerging Technologies for Patient Specific Healthcare, ITAB 2010 in Proceedings of the IEEE/EMBS Region 8 International Conference on Information Technology Applications in Biomedicine, ITAB
14436
TITLE: High SNR secrecy rates with OFDM signaling over fading channels
AUTHORS: Renna, F ; Laurenti, N; Poor, HV;
PUBLISHED: 2010, SOURCE: 2010 IEEE 21st International Symposium on Personal Indoor and Mobile Radio Communications, PIMRC 2010 in IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC, PAGES: 2692-2697
AUTHORS: Renna, F ; Laurenti, N; Poor, HV;
PUBLISHED: 2010, SOURCE: 2010 IEEE 21st International Symposium on Personal Indoor and Mobile Radio Communications, PIMRC 2010 in IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC, PAGES: 2692-2697
14437
TITLE: High-level programming and control for industrial robotics: using a hand-held accelerometer-based input device for gesture and posture recognition
AUTHORS: Neto, P; Pires, JN ; Moreira, AP ;
PUBLISHED: 2010, SOURCE: INDUSTRIAL ROBOT-AN INTERNATIONAL JOURNAL, VOLUME: 37, ISSUE: 2, PAGES: 137-147
AUTHORS: Neto, P; Pires, JN ; Moreira, AP ;
PUBLISHED: 2010, SOURCE: INDUSTRIAL ROBOT-AN INTERNATIONAL JOURNAL, VOLUME: 37, ISSUE: 2, PAGES: 137-147
14438
TITLE: HUMANOID LOW-LEVEL CONTROLLER DEVELOPMENT BASED ON A REALISTIC SIMULATION
AUTHORS: Lima, JL ; Goncalves, JC ; Costa, PG ; Moreira, AP ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF HUMANOID ROBOTICS, VOLUME: 7, ISSUE: 4, PAGES: 587-607
AUTHORS: Lima, JL ; Goncalves, JC ; Costa, PG ; Moreira, AP ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF HUMANOID ROBOTICS, VOLUME: 7, ISSUE: 4, PAGES: 587-607
14439
TITLE: Hybrid framework for evaluating video object tracking algorithms Full Text
AUTHORS: Carvalho, P ; Cardoso, JS ; Corte Real, L ;
PUBLISHED: 2010, SOURCE: ELECTRONICS LETTERS, VOLUME: 46, ISSUE: 6, PAGES: 411-412
AUTHORS: Carvalho, P ; Cardoso, JS ; Corte Real, L ;
PUBLISHED: 2010, SOURCE: ELECTRONICS LETTERS, VOLUME: 46, ISSUE: 6, PAGES: 411-412
14440
TITLE: Hybrid modeling, control and estimation in ABS applications based on In-Wheel electric motors
AUTHORS: Ricardo d Castro; João d Sousa; Rui Araújo ; F. Lobo Pereira; Diamantino Freitas;
PUBLISHED: 2010
AUTHORS: Ricardo d Castro; João d Sousa; Rui Araújo ; F. Lobo Pereira; Diamantino Freitas;
PUBLISHED: 2010
INDEXED IN: Handle
Handle