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: 19032
1704 Team MembersFilters -> Year: 2025
11821
TITLE: PrologCheck - Property-Based Testing in Prolog
AUTHORS: Claudio Amaral ; Mario Florido ; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 1-17
AUTHORS: Claudio Amaral ; Mario Florido ; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 1-17
11822
TITLE: Promoting 'Soft Skills' from the Start of the Engineering Degree and the Case Study of the Special 'Projeto FEUP' Course
AUTHORS: Sousa, A. ; Mouraz, Ana ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 30, ISSUE: 6, PAGES: 1539-1548
AUTHORS: Sousa, A. ; Mouraz, Ana ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 30, ISSUE: 6, PAGES: 1539-1548
INDEXED IN: 
Scopus 
WOS
Scopus WOS11823
TITLE: Proposal of an Information System for an Adaptive Mixed Reality System for Archaeological Sites
AUTHORS: Luis Gonzaga Magalhaes; Joaquim Joao Sousa ; Ricardo Bento ; Telmo Adao ; Francisco Pereira; Vitor Filipe ; Emanuel Peres ;
PUBLISHED: 2014, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCIST) in CENTERIS 2014 - CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2014 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2014 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 16, PAGES: 499-507
AUTHORS: Luis Gonzaga Magalhaes; Joaquim Joao Sousa ; Ricardo Bento ; Telmo Adao ; Francisco Pereira; Vitor Filipe ; Emanuel Peres ;
PUBLISHED: 2014, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCIST) in CENTERIS 2014 - CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2014 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2014 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 16, PAGES: 499-507
11824
TITLE: Prototype of an Adaptive Decision Support System for Interactive Scheduling with MetaCognition and User Modeling Experience
AUTHORS: Ana Maria Madureira ; Gomes, S; Cunha, B; Pereira, JP; Santos, JM; Pereira, I ;
PUBLISHED: 2014, SOURCE: 6th World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2014 SIXTH WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 145-150
AUTHORS: Ana Maria Madureira ; Gomes, S; Cunha, B; Pereira, JP; Santos, JM; Pereira, I ;
PUBLISHED: 2014, SOURCE: 6th World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2014 SIXTH WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 145-150
11825
TITLE: Prototyping and analysing ubiquitous computing environments using multiple layers
AUTHORS: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 5, PAGES: 488-506
AUTHORS: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 5, PAGES: 488-506
11826
TITLE: Pulse pressure waveform estimation using distension profiling with contactless optical probe Full Text
AUTHORS: Tania Pereira ; Ines Santos; Tatiana Oliveira; Pedro Vaz; Telmo Pereira; Helder Santos; Helena Pereira; Carlos Correia; Joao Cardoso;
PUBLISHED: 2014, SOURCE: MEDICAL ENGINEERING & PHYSICS, VOLUME: 36, ISSUE: 11, PAGES: 1515-1520
AUTHORS: Tania Pereira ; Ines Santos; Tatiana Oliveira; Pedro Vaz; Telmo Pereira; Helder Santos; Helena Pereira; Carlos Correia; Joao Cardoso;
PUBLISHED: 2014, SOURCE: MEDICAL ENGINEERING & PHYSICS, VOLUME: 36, ISSUE: 11, PAGES: 1515-1520
11827
TITLE: Putative cis-regulatory drivers in colorectal cancer Full Text
AUTHORS: Ongen, H; Andersen, CL; Bramsen, JB; Oster, B; Rasmussen, MH; Ferreira, PG ; Sandoval, J; Vidal, E; Whiffin, N; Planchon, A; Padioleau, I; Bielser, D; Romano, L; Tomlinson, I; Houlston, RS; Esteller, M; Orntoft, TF; Dermitzakis, ET;
PUBLISHED: 2014, SOURCE: Nature, VOLUME: 512, ISSUE: 1, PAGES: 87-90
AUTHORS: Ongen, H; Andersen, CL; Bramsen, JB; Oster, B; Rasmussen, MH; Ferreira, PG ; Sandoval, J; Vidal, E; Whiffin, N; Planchon, A; Padioleau, I; Bielser, D; Romano, L; Tomlinson, I; Houlston, RS; Esteller, M; Orntoft, TF; Dermitzakis, ET;
PUBLISHED: 2014, SOURCE: Nature, VOLUME: 512, ISSUE: 1, PAGES: 87-90
11828
TITLE: QoS-based management of biomedical wireless sensor networks for patient monitoring
AUTHORS: Carlos Abreu ; Francisco Miranda; Manuel Ricardo ; Paulo Mateus Mendes;
PUBLISHED: 2014, SOURCE: SPRINGERPLUS, VOLUME: 3, ISSUE: 1, PAGES: 1-13
AUTHORS: Carlos Abreu ; Francisco Miranda; Manuel Ricardo ; Paulo Mateus Mendes;
PUBLISHED: 2014, SOURCE: SPRINGERPLUS, VOLUME: 3, ISSUE: 1, PAGES: 1-13
11829
TITLE: Quantitative analysis of Reo-based service coordination
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, PAGES: 1247-1254
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, PAGES: 1247-1254
11830
TITLE: Quasi-real-time management of Electric Vehicles charging Full Text
AUTHORS: Soares, FJ ; Rocha Almeida, PMR; Pecas Lopes, JAP ;
PUBLISHED: 2014, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 108, PAGES: 293-303
AUTHORS: Soares, FJ ; Rocha Almeida, PMR; Pecas Lopes, JAP ;
PUBLISHED: 2014, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 108, PAGES: 293-303
11831
TITLE: Querying Volatile and Dynamic Networks
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: Encyclopedia of Social Network Analysis and Mining, PAGES: 1456-1463
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: Encyclopedia of Social Network Analysis and Mining, PAGES: 1456-1463
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef11832
TITLE: Ranking MEDLINE documents
AUTHORS: Célia Talma Gonçalves; Rui Camacho ; Eugénio C Oliveira ;
PUBLISHED: 2014, SOURCE: J. Braz. Comp. Soc., VOLUME: 20, ISSUE: 1, PAGES: 13:1-13:16
AUTHORS: Célia Talma Gonçalves; Rui Camacho ; Eugénio C Oliveira ;
PUBLISHED: 2014, SOURCE: J. Braz. Comp. Soc., VOLUME: 20, ISSUE: 1, PAGES: 13:1-13:16
11833
TITLE: Rapid development of first person serious games using the APEX platform: The Asthma Game. the asthma game Full Text
AUTHORS: Gomes, T; Abade, T; Campos, JC ; Harrison, M ; Silva, JL ;
PUBLISHED: 2014, SOURCE: 29th Annual ACM Symposium on Applied Computing, SAC 2014 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 169-174
AUTHORS: Gomes, T; Abade, T; Campos, JC ; Harrison, M ; Silva, JL ;
PUBLISHED: 2014, SOURCE: 29th Annual ACM Symposium on Applied Computing, SAC 2014 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 169-174
11834
TITLE: Rapid fabrication of polymeric micro lenses for optical fiber trapping and beam shaping
AUTHORS: Rodrigues S R Ribeiro ; Queiros, RB; Ecoffet, C; Soppera, O; Oliva, A; Guerreiro, A ; Jorge, PAS ;
PUBLISHED: 2014, SOURCE: Conference on Optical Trapping and Optical Micromanipulation XI in OPTICAL TRAPPING AND OPTICAL MICROMANIPULATION XI, VOLUME: 9164
AUTHORS: Rodrigues S R Ribeiro ; Queiros, RB; Ecoffet, C; Soppera, O; Oliva, A; Guerreiro, A ; Jorge, PAS ;
PUBLISHED: 2014, SOURCE: Conference on Optical Trapping and Optical Micromanipulation XI in OPTICAL TRAPPING AND OPTICAL MICROMANIPULATION XI, VOLUME: 9164
11835
TITLE: Real Time Visual SLAM for underwater robotic inspection
AUTHORS: Magda Meireles; Renato Lourenco; Andre Dias ; Jose Miguel Almeida ; Hugo Silva ; Alfredo Martins ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
AUTHORS: Magda Meireles; Renato Lourenco; Andre Dias ; Jose Miguel Almeida ; Hugo Silva ; Alfredo Martins ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
11836
TITLE: Real-time control for long ohmic alternate current discharges Full Text
AUTHORS: Ivo S Carvalho; Paulo Duarte; Horacio Fernandes; Daniel F Valcarcel; Pedro J Carvalho; Carlos Silva; Andre S Duarte; Andre Neto; Jorge Sousa; Antonio J N Batista; Tiago Hekkert ; Bernardo B Carvalho; Rui B Gomes;
PUBLISHED: 2014, SOURCE: FUSION ENGINEERING AND DESIGN, VOLUME: 89, ISSUE: 5, PAGES: 576-581
AUTHORS: Ivo S Carvalho; Paulo Duarte; Horacio Fernandes; Daniel F Valcarcel; Pedro J Carvalho; Carlos Silva; Andre S Duarte; Andre Neto; Jorge Sousa; Antonio J N Batista; Tiago Hekkert ; Bernardo B Carvalho; Rui B Gomes;
PUBLISHED: 2014, SOURCE: FUSION ENGINEERING AND DESIGN, VOLUME: 89, ISSUE: 5, PAGES: 576-581
11837
TITLE: Real-time dosimeter targeted to nuclear applications
AUTHORS: Alexandre Correia; Carla C Rosa ; Pedro M P Santos; Antonio N Falcao; Katharina Lorentz;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Applications of Optics and Photonics in SECOND INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 9286
AUTHORS: Alexandre Correia; Carla C Rosa ; Pedro M P Santos; Antonio N Falcao; Katharina Lorentz;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Applications of Optics and Photonics in SECOND INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 9286
11838
TITLE: Real-time hand tracking for rehabilitation and character animation
AUTHORS: Moreira, AHJ; Queirós, S; Fonseca, J; Rodrigues, PL; Rodrigues, NF ; Vilaça, JL;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014 in SeGAH 2014 - IEEE 3rd International Conference on Serious Games and Applications for Health, Books of Proceedings
AUTHORS: Moreira, AHJ; Queirós, S; Fonseca, J; Rodrigues, PL; Rodrigues, NF ; Vilaça, JL;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014 in SeGAH 2014 - IEEE 3rd International Conference on Serious Games and Applications for Health, Books of Proceedings
INDEXED IN: Scopus
Scopus11839
TITLE: Real-time hand tracking for rehabilitation and character animation
AUTHORS: Moreira, AHJ; Queiros, S; Fonseca, J; Rodrigues, PL; Rodrigues, NF ; Vilaca, JL;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health (SeGAH) in 2014 IEEE 3RD INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
AUTHORS: Moreira, AHJ; Queiros, S; Fonseca, J; Rodrigues, PL; Rodrigues, NF ; Vilaca, JL;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health (SeGAH) in 2014 IEEE 3RD INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
11840
TITLE: Realistic multi-agent simulation of competitive electricity markets Full Text
AUTHORS: Pinto, T ; Santos, G; Vale, Z; Praca, I; Lopes, F; Algarvio, H;
PUBLISHED: 2014, SOURCE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PAGES: 109-113
AUTHORS: Pinto, T ; Santos, G; Vale, Z; Praca, I; Lopes, F; Algarvio, H;
PUBLISHED: 2014, SOURCE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PAGES: 109-113
