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

531 Team Members
Filters -> Year: 2024
2681
TITLE: Scalable modelling and recommendation using wiki-based crowdsourced repositories  Full Text
AUTHORS: Fatima Leal; Bruno M Veloso ; Benedita Malheiro ; Horacio Gonzalez Velez; Juan C Carlos Burguillo;
PUBLISHED: 2019, SOURCE: ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, VOLUME: 33
INDEXED IN: Scopus WOS DBLP CrossRef: 12
2682
TITLE: SeCoGen - A Service Code Generator
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 23:1-23:8
INDEXED IN: Scopus DBLP
2683
TITLE: Second Workshop on User Interfaces for Spatial and Temporal Data Analysis (UISTDA2019)
AUTHORS: Wakamiya, S; Jatowt, A; Kawai, Y; Akiyama, T; Campos, R ; Yang, ZL;
PUBLISHED: 2019, SOURCE: 24th International Conference on Intelligent User Interfaces (IUI) in PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON INTELLIGENT USER INTERFACES: COMPANION (IUI 2019), PAGES: 137-138
INDEXED IN: Scopus WOS DBLP CrossRef
2684
TITLE: Secure Provisioning for Achieving End-to-End Secure Communications
AUTHORS: Patricia R Sousa ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Ad-Hoc Networks and Wireless (AdHoc-Now) in AD-HOC, MOBILE, AND WIRELESS NETWORKS (ADHOC-NOW 2019), VOLUME: 11803, PAGES: 498-507
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2685
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
2686
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
2687
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
2688
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
2689
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
2690
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
2691
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: 1
2692
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: 6
2693
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: 1
2694
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: 2
2695
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 Handle
2696
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: 5
2697
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
2698
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
2699
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
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 CrossRef
2700
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

Results per Page: 20.
Page 135 of 414. Total results: 8274.