CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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: 10641

536 Team Members
Filters -> Year: 2026
5741
TITLE: Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
AUTHORS: Madeira, A ; Barbosa, LS ; Hennicker, R; Martins, MA ;
PUBLISHED: 2016, SOURCE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965, PAGES: 422-440
INDEXED IN: Scopus WOS DBLP CrossRef: 5
5742
TITLE: E-Commerce and the Web of Data
AUTHORS: Mariana Curado Malta ; Ana Alice Baptista ;
PUBLISHED: 2016, SOURCE: Encyclopedia of E-Commerce Development, Implementation, and Management, PAGES: 1058-1077
INDEXED IN: Scopus CrossRef Handle
5743
TITLE: Editorial
AUTHORS: Vaz de Carvalho, C; Escudeiro, P; Coelho, A ;
PUBLISHED: 2016, SOURCE: 5th International Conference on Serious Games, Interaction, and Simulation, SGAMES 2015 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, VOLUME: 161, PAGES: 1-5
INDEXED IN: Scopus CrossRef
5744
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2016, SOURCE: Ada User Journal, VOLUME: 37, ISSUE: 1, PAGES: 3
INDEXED IN: Scopus
5745
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2016, SOURCE: Ada User Journal, VOLUME: 37, ISSUE: 3, PAGES: 123
INDEXED IN: Scopus
5746
TITLE: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2016, SOURCE: Ada User Journal, VOLUME: 37, ISSUE: 4, PAGES: 183
INDEXED IN: Scopus
5747
TITLE: EduBridge Social Bridging Social Networks and Learning Management Systems
AUTHORS: Oliveira, L ; Figueira, A ;
PUBLISHED: 2016, SOURCE: 8th International Conference on Computer Supported Education (CSEDU) in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 1 (CSEDU), VOLUME: 1, PAGES: 162-171
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
5748
TITLE: Effect of Dialysis Day on Intradialytic Hypotension Risk
AUTHORS: Ana Rocha; Clemente Sousa ; Paulo Teles ; Augusto Coelho; Eva Xavier;
PUBLISHED: 2016, SOURCE: KIDNEY & BLOOD PRESSURE RESEARCH, VOLUME: 41, ISSUE: 2, PAGES: 168-174
INDEXED IN: Scopus WOS CrossRef: 28
5749
TITLE: Effect of Incomplete Meta-dataset on Average Ranking Method
AUTHORS: Salisu Mamman Abdulrahman ; Pavel Brazdil ;
PUBLISHED: 2016, SOURCE: AutoML@ICML, PAGES: 1-10
INDEXED IN: DBLP
5750
TITLE: Effects of Language and Terminology on the Usage of Health Query Suggestions
AUTHORS: Lopes, CT ; Ribeiro, C ;
PUBLISHED: 2016, SOURCE: 7th International Conference of the CLEF-Association (CLEF) in EXPERIMENTAL IR MEETS MULTILINGUALITY, MULTIMODALITY, AND INTERACTION, CLEF 2016, VOLUME: 9822, PAGES: 83-95
INDEXED IN: Scopus WOS DBLP CrossRef: 8
5751
TITLE: Effects of Speed and Transitions on Target-based Travel Techniques
AUTHORS: Medeiros, D; Cordeiro, E; Mendes, D ; Sousa, M; Raposo, A; Ferreira, A ; Jorge, J;
PUBLISHED: 2016, SOURCE: 22nd ACM Conference on Virtual Reality Software and Technology (VRST) in 22ND ACM CONFERENCE ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2016), VOLUME: 02-04-November-2016, PAGES: 327-328
INDEXED IN: Scopus WOS DBLP CrossRef: 29
5752
TITLE: Efficient Deduplication in a Distributed Primary Storage Infrastructure
AUTHORS: Paulo, J ; Pereira, J ;
PUBLISHED: 2016, SOURCE: ACM TRANSACTIONS ON STORAGE, VOLUME: 12, ISSUE: 4, PAGES: 20:1-20:35
INDEXED IN: Scopus WOS DBLP CrossRef: 17
5753
TITLE: Efficient Delivery of Forecasts to a Nautical Sports Mobile Application with Semantic Data Services
AUTHORS: Ricardo Carvalho Amorim ; Artur Rocha ; Marco Amaro Oliveira ; Cristina Ribeiro ;
PUBLISHED: 2016, SOURCE: C3S2E, VOLUME: 20-22-July-2016, PAGES: 7-12
INDEXED IN: Scopus DBLP CrossRef: 5
5754
TITLE: Efficient SQL Adaptive Query Processing in Cloud Databases Systems
AUTHORS: Clayton Maciel Costa ; Cicilia Raquel M Maia Leite; Antonio Luis Sousa ;
PUBLISHED: 2016, SOURCE: IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS) in PROCEEDINGS OF THE 2016 IEEE CONFERENCE ON EVOLVING AND ADAPTIVE INTELLIGENT SYSTEMS (EAIS), PAGES: 114-121
INDEXED IN: Scopus WOS CrossRef: 3
5755
TITLE: Electrical Energy Consumption Forecast Using Support Vector Machines
AUTHORS: Eugénia Vinagre; Tiago Pinto ; Sérgio Ramos; Zita A Vale; Juan M Corchado;
PUBLISHED: 2016, SOURCE: 27th International Workshop on Database and Expert Systems Applications, DEXA 2016 Workshops, Porto, Portugal, September 5-8, 2016, PAGES: 171-175
INDEXED IN: DBLP
5756
TITLE: Electricity Markets Ontology to Support MASCEM's Simulations
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Praa, I ; Morais, H;
PUBLISHED: 2016, SOURCE: 14th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS) in HIGHLIGHTS OF PRACTICAL APPLICATIONS OF SCALABLE MULTI-AGENT SYSTEMS, VOLUME: 616, PAGES: 393-404
INDEXED IN: Scopus WOS DBLP CrossRef: 10
5757
TITLE: Electronic governance in Portugal. a silent pioneer
AUTHORS: Sara Fernandes; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: Proceedings of the International Conference on Electronic Governance and Open Society Challenges in Eurasia - EGOSE '16
INDEXED IN: CrossRef: 3
5758
TITLE: Electronic governance in Portugal: a silent pioneer
AUTHORS: Sara Fernandes; Luís Soares Barbosa ;
PUBLISHED: 2016, SOURCE: EGOSE, PAGES: 77-82
INDEXED IN: DBLP
5759
TITLE: Embedding attribute grammars and their extensions using functional zippers
AUTHORS: Martins, P ; Fernandes, JP ; Saraiva, J ; Van Wyk, E; Sloane, A;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PAGES: 2-28
INDEXED IN: Scopus WOS DBLP CrossRef: 9

Results per Page: 20.
Page 288 of 533. Total results: 10641.