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

531 Team Members
Filters -> Year: 2025
3061
TITLE: Security and Fairness in IoT Based e-Health System: A Case Study of Mobile Edge-Clouds
AUTHORS: Francis N Nwebonyi; Rolando Martins ; Manuel E Correia ;
PUBLISHED: 2019, SOURCE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PAGES: 318-323
INDEXED IN: Scopus WOS DBLP CrossRef: 4
3062
TITLE: Selection of a Strategic Plan Using an Integrated AHP-Goal Programming Approach
AUTHORS: Fontes, DBMM ; Pereira, T ; Oliveira, M;
PUBLISHED: 2019, SOURCE: 19th Congress of APDIO, Portuguese Association of Operational Research, IO 2018 in Springer Proceedings in Mathematics and Statistics, VOLUME: 278, PAGES: 125-141
INDEXED IN: Scopus CrossRef: 1
3063
TITLE: Self-driving cars and considerations on ethics: Where are we heading with Automation?
AUTHORS: Jael, B; Au Yong Oliveira, M ; Branco, F ;
PUBLISHED: 2019, SOURCE: 14th European Conference on Innovation and Entrepreneurship, ECIE 2019 in Proceedings of the European Conference on Innovation and Entrepreneurship, ECIE, VOLUME: 1, PAGES: 424-433
INDEXED IN: Scopus
3064
TITLE: SensiMAR - Designing a Multisensory AR System
AUTHORS: Anabela Marto; Alexandrino Goncalves ; Maximino Bessa ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 9-16
INDEXED IN: Scopus WOS DBLP CrossRef: 3
3065
TITLE: Sequence and Network Mining of Touristic Routes Based on Flickr Geotagged Photos
AUTHORS: Silva, Ana; Campos, Pedro ; Ferreira, Carlos ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805, PAGES: 133-144
INDEXED IN: Scopus WOS DBLP CrossRef
3066
TITLE: Sharing and Learning Alloy on the Web PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
INDEXED IN: DBLP arXiv
3067
TITLE: Shopping Centre Patronage: Situational Factors Against Affect  Full Text
AUTHORS: Brito, PQ ; McGoldrick, PJ; Raut, UR;
PUBLISHED: 2019, SOURCE: VISION-THE JOURNAL OF BUSINESS PERSPECTIVE, VOLUME: 23, ISSUE: 2, PAGES: 189-196
INDEXED IN: Scopus WOS CrossRef: 2
3068
TITLE: Simplifying the Algorithm Selection Using Reduction of Rankings of Classification Algorithms
AUTHORS: Salisu Mamman Abdulrahman; Pavel Brazdil ; Wan Mohd Nazmee Wan Zainon; Alhassan Adamu;
PUBLISHED: 2019, SOURCE: 8th International Conference on Software and Computer Applications (ICSCA) in 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2019), VOLUME: Part F147956, PAGES: 140-148
INDEXED IN: Scopus WOS DBLP CrossRef: 8
3069
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
INDEXED IN: Scopus DBLP CrossRef: 2
3070
TITLE: Simulation under Arbitrary Temporal Logic Constraints PDF  Full Text
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
INDEXED IN: Scopus DBLP arXiv CrossRef: 5
3071
TITLE: Size-Density Trajectory in Regenerated Maritime Pine Stands after Fire  Full Text
AUTHORS: Enes, T; Lousada, J; Aranha, J; Cerveira, A ; Alegria, C; Fonseca, T;
PUBLISHED: 2019, SOURCE: FORESTS, VOLUME: 10, ISSUE: 12, PAGES: 1057
INDEXED IN: Scopus WOS CrossRef: 8 Handle
3072
TITLE: Smart Coach - A Recommendation System for Young Football Athletes
AUTHORS: Paulo Matos; João Rocha ; Ramiro Gonçalves ; Ana de Almeida ; Filipe Santos; David Abreu; Constantino Martins ;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Ambient Intelligence, ISAmI 2019 in Ambient Intelligence - Software and Applications -,10th International Symposium on Ambient Intelligence, ISAmI 2019, Ávila, Spain, 26-28 June 2019., VOLUME: 1006, PAGES: 171-178
INDEXED IN: Scopus DBLP CrossRef: 6
3073
TITLE: SOCIAL ENGAGEMENT AND MOTIVATION IN A MOOC ON SCHOOL LIBRARIES
AUTHORS: Bastos, G; Cabral, P; Rocio, V ;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019), PAGES: 6690-6695
INDEXED IN: WOS Handle
3074
TITLE: Software Modules and Communication to Support Real-Time Remote Control and Monitoring of Unmanned Vehicles
AUTHORS: João Ramos; David Safadinho; Roberto Ribeiro; Patrício Domingues; João Barroso ; António Pereira ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 45-55
INDEXED IN: Scopus DBLP CrossRef: 1
3075
TITLE: SoK: Computer-Aided Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1393
INDEXED IN: DBLP
3076
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTHORS: Ramos, MVM; Almeida, JCB ; Moreira, N ; de Queiroz, RJGB;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 151-167
INDEXED IN: Scopus WOS DBLP arXiv CrossRef
3077
TITLE: Special Issue of DASFAA 2019
AUTHORS: Guoliang Li; João Gama ; Jun Yang;
PUBLISHED: 2019, SOURCE: Data Science and Engineering, VOLUME: 4, ISSUE: 3, PAGES: 177-178
INDEXED IN: Scopus DBLP CrossRef
3078
TITLE: Special track on data streams
AUTHORS: Bifet, A; Carvalho, A; Ferreira, C ; Gama, J ;
PUBLISHED: 2019, SOURCE: 34th Annual ACM Symposium on Applied Computing, SAC 2019 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F147772, PAGES: 556
INDEXED IN: Scopus
3079
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69
INDEXED IN: Scopus WOS DBLP CrossRef: 16
3080
TITLE: Stochastic interval-based optimal offering model for residential energy management systems by household owners  Full Text
AUTHORS: Gazafroudi, AS; Soares, J; Ghazvini, MAF; Pinto, T ; Vale, Z ; Corchado, JM;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 105, PAGES: 201-219
INDEXED IN: Scopus WOS CrossRef: 66

Results per Page: 20.
Page 154 of 443. Total results: 8841.