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

531 Team Members
Filters -> Year: 2024
3161
TITLE: Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests
AUTHORS: Alberto Rodrigues da Silva; Ana C R Paiva ; Valter Emanuel R da Silva;
PUBLISHED: 2018, SOURCE: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., VOLUME: 2018-January, PAGES: 213-224
INDEXED IN: Scopus DBLP CrossRef: 1
3163
TITLE: TOWARDS ENERGY-AWARE CODING PRACTICES FOR ANDROID  Full Text
AUTHORS: João SARAIVA ; HASLab/INESC TEC, University of Minho, Portugal, ; Marco COUTO; Csaba SZABÓ; Dávid NOVÁK; HASLab/INESC TEC, University of Minho, Portugal, ; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, Slovak Rep, ; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, Slovak Rep, ;
PUBLISHED: 2018, SOURCE: Acta Electrotechnica et Informatica, VOLUME: 18, ISSUE: 1, PAGES: 19-25
INDEXED IN: CrossRef: 1
3164
TITLE: Towards Player Adaptivity in Mobile Exergames
AUTHORS: Jacob, J ; Lopes, A ; Nobrega, R ; Rodrigues, R ; Coelho, A ;
PUBLISHED: 2018, SOURCE: 14th International Conference on Advances in Computer Entertainment Technology, ACE 2017 in ADVANCES IN COMPUTER ENTERTAINMENT TECHNOLOGY, ACE 2017, VOLUME: 10714, PAGES: 278-292
INDEXED IN: Scopus WOS DBLP CrossRef
3165
TITLE: Towards Real-Time Patient Prioritization in Hospital Emergency Services
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 20th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2018, Ostrava, Czech Republic, September 17-20, 2018, PAGES: 1-4
INDEXED IN: DBLP CrossRef: 1
3166
TITLE: Towards Verified Handwritten Calculational Proofs
AUTHORS: Alexandra Mendes ; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PAGES: 432-440
INDEXED IN: WOS DBLP
3167
TITLE: Transforming Legal Documents for Visualization and Analysis
AUTHORS: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PAGES: 23-26
INDEXED IN: Scopus DBLP CrossRef: 1
3168
TITLE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017
AUTHORS: Fernando De la Prieta; Zita Vale; Luis Antunes; Tiago Pinto ; Andrew T Campbell; Vicente Julián; Antonio J.R Neves ; María N Moreno;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing
INDEXED IN: CrossRef: 1 Openlibrary
3169
TITLE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions
AUTHORS: Fernando de la Prieta; Zita A Vale; Luis Antunes; Tiago Pinto ; Andrew T Campbell; Vicente Julián; António J R Neves; María N Moreno;
PUBLISHED: 2018, SOURCE: PAAMS (Special Sessions), VOLUME: 619
INDEXED IN: DBLP
3170
TITLE: Triple-Similarity Mechanism for alarm management in the cloud  Full Text
AUTHORS: Dalmazo, BL; Vilela, JP ; Curado, M;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 78, PAGES: 33-42
INDEXED IN: Scopus WOS CrossRef: 4
3171
TITLE: Twitter as a Source for Time- and Domain-Dependent Sentiment Lexicons
AUTHORS: Nuno Guimaraes ; Luis Torgo ; Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 8th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in SOCIAL NETWORK BASED BIG DATA ANALYSIS AND APPLICATIONS, PAGES: 1-19
INDEXED IN: WOS DBLP CrossRef: 3
3172
TITLE: UCB1 Based Reinforcement Learning Model for Adaptive Energy Management in Buildings
AUTHORS: Rui Andrade; Tiago Pinto ; Isabel Praça; Zita A Vale;
PUBLISHED: 2018, SOURCE: Distributed Computing and Artificial Intelligence, 15th International Conference, DCAI 2018, Toledo, Spain, 20-22 June 2018, Special Sessions I., VOLUME: 801, PAGES: 3-11
INDEXED IN: DBLP
3173
TITLE: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTHORS: Sá Sousa, J; Vilela, JP ;
PUBLISHED: 2018, SOURCE: IEEE Transactions on Information Forensics and Security, VOLUME: 13, ISSUE: 1, PAGES: 143-155
INDEXED IN: Scopus CrossRef: 9
3174
TITLE: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 13, ISSUE: 1, PAGES: 143-155
INDEXED IN: WOS
3175
TITLE: Uncovering Social Media Content Strategies for Worldwide Top-Ranked Universities
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2018, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies, CENTERIS/ProjMAN/HCist 2018 in CENTERIS 2018 - International Conference on ENTERprise Information Systems / ProjMAN 2018 - International Conference on Project MANagement / HCist 2018 - International Conference on Health and Social Care Information Systems and Technologies 2018, Lisbon, Portugal, VOLUME: 138, PAGES: 663-670
INDEXED IN: Scopus DBLP CrossRef: 8
3176
TITLE: Understanding the Use of Temporal Expressions on Persian Web Search
AUTHORS: Mansouri, B; Zahedi, MS; Campos, R ; Farhoodi, M; Yari, A;
PUBLISHED: 2018, SOURCE: COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), PAGES: 1743-1748
INDEXED IN: Scopus WOS DBLP CrossRef
3177
TITLE: Understanding User's Search Behavior towards Spiky Events
AUTHORS: Mansouri, B; Zahedi, MS; Campos, R ; Farhoodi, M; Rahgozar, M;
PUBLISHED: 2018, SOURCE: COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), PAGES: 1763-1769
INDEXED IN: WOS DBLP CrossRef
3178
TITLE: Unsupervised Domain Adaptation for Human Activity Recognition
AUTHORS: Paulo Barbosa; Kemilly Dearo Garcia; João Mendes Moreira ; André C P L F de Carvalho;
PUBLISHED: 2018, SOURCE: 19th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2018 in Intelligent Data Engineering and Automated Learning - IDEAL 2018 - 19th International Conference, Madrid, Spain, November 21-23, 2018, Proceedings, Part I, VOLUME: 11314, PAGES: 623-630
INDEXED IN: Scopus DBLP CrossRef: 2
3179
TITLE: Updating a Robust Optimization Model for Improving Bus Schedules
AUTHORS: Yassine Baghoussi ; Joao Mendes Moreira ; Michael T M Emmerich;
PUBLISHED: 2018, SOURCE: 10th International Conference on Communication Systems and Networks (COMSNETS) in 2018 10TH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS (COMSNETS), VOLUME: 2018-January, PAGES: 619-624
INDEXED IN: Scopus WOS DBLP CrossRef: 3
3180
TITLE: Use of the physiological response to improve the gaming experience
AUTHORS: Manuel Pinto; Miguel Melo ; Maximino Bessa ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
INDEXED IN: Scopus WOS CrossRef: 3

Results per Page: 20.
Page 159 of 406. Total results: 8107.