Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 18106

1699 Team Members
Filters -> Year: 2024
11025
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
INDEXED IN: Scopus WOS DBLP CrossRef: 13
11026
TITLE: Promoting 'Soft Skills' from the Start of the Engineering Degree and the Case Study of the Special 'Projeto FEUP' Course
AUTHORS: Armando Sousa ; Mouraz, Ana ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 30, ISSUE: 6, PAGES: 1539-1548
INDEXED IN: Scopus WOS
11027
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
INDEXED IN: WOS CrossRef: 9
11028
TITLE: Prototype of an Adaptive Decision Support System for Interactive Scheduling with MetaCognition and User Modeling Experience
AUTHORS: Madureira, A ; 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
INDEXED IN: Scopus WOS DBLP CrossRef
11029
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
INDEXED IN: Scopus WOS DBLP CrossRef Handle
11030
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
INDEXED IN: Scopus WOS CrossRef: 7
11031
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
INDEXED IN: Scopus CrossRef: 131
11032
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
INDEXED IN: Scopus WOS CrossRef: 5
11033
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
INDEXED IN: DBLP CrossRef: 1
11034
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
INDEXED IN: Scopus WOS CrossRef: 40
11035
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
INDEXED IN: DBLP CrossRef
11036
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
INDEXED IN: Scopus DBLP CrossRef
11037
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
INDEXED IN: Scopus DBLP CrossRef: 2
11038
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
INDEXED IN: Scopus WOS CrossRef
11039
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
INDEXED IN: Scopus WOS CrossRef: 8

Results per Page: 20.
Page 552 of 906. Total results: 18106.