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

531 Team Members
Filters -> Year: 2025
2621
TITLE: Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces
AUTHORS: Alberto Oliveira; Ricardo Freitas; Alípio Jorge ; Vítor Amorim; Nuno Moniz ; Ana C R Paiva ; Paulo J Azevedo ;
PUBLISHED: 2020, SOURCE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PAGES: 516-523
INDEXED IN: Scopus DBLP CrossRef
2622
TITLE: Serious Pervasive Games
AUTHORS: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; Maria van Zeller ; Liliana Santos; António Augusto de Sousa ;
PUBLISHED: 2020, SOURCE: Frontiers Comput. Sci., VOLUME: 2, PAGES: 30
INDEXED IN: DBLP CrossRef: 11 Handle
2623
TITLE: Simplified methodology for the practice of business architecture in smes [Metodologia Simplificada para a Prática de Arquitetura Empresarial em PME]
AUTHORS: Mamede, HS ; Correia, J;
PUBLISHED: 2020, SOURCE: 20a Conferencia da Associacao Portuguesa de Sistemas de Informacao, CAPSI 2020 - 20th Conference of the Portuguese Association for Information Systems, CAPSI 2020 in Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao, VOLUME: 2020-October
INDEXED IN: Scopus
2624
TITLE: Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer  Full Text
AUTHORS: Guimaraes, JD; Tavares, C ; Barbosa, LS ; Vasilevskiy, MI;
PUBLISHED: 2020, SOURCE: COMPLEXITY, VOLUME: 2020, PAGES: 3510676:1-3510676:12
INDEXED IN: Scopus WOS DBLP CrossRef: 5
2625
TITLE: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2020, SOURCE: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020, PAGES: 101-115
INDEXED IN: Scopus DBLP
2626
TITLE: Smartphone Recommendation System to Prevent Potential Injuries in Young Athletes
AUTHORS: Matos, P; Rocha, J ; Goncalves, R ; Santos, F; Marreiros, G ; Mota, D; Fonseca, N; Martins, C ;
PUBLISHED: 2020, SOURCE: 15th Mediterranean Conference on Medical and Biological Engineering and Computing (MEDICON) in XV MEDITERRANEAN CONFERENCE ON MEDICAL AND BIOLOGICAL ENGINEERING AND COMPUTING - MEDICON 2019, VOLUME: 76, PAGES: 1411-1415
INDEXED IN: Scopus WOS CrossRef: 4
2627
TITLE: Sofrimento nos enfermeiros em cuidados de saúde primários
AUTHORS: Luísa Pires; Maria Monteiro; José Vasconcelos-Raposo ;
PUBLISHED: 2020, SOURCE: Revista de Enfermagem Referência, VOLUME: V Série, ISSUE: Nº 1
INDEXED IN: CrossRef
2628
TITLE: Software engineering for 'quantum advantage'
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering Workshops, ICSEW 2020 in ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020, PAGES: 427-429
INDEXED IN: Scopus DBLP CrossRef: 18
2629
TITLE: Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy
AUTHORS: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra Fabbri; Ana C R Paiva ; Auri Marcelo Rizzo Vincenzi;
PUBLISHED: 2020, SOURCE: J. Softw. Eng. Res. Dev., VOLUME: 8, PAGES: 5
INDEXED IN: DBLP
2630
TITLE: Solar Thermal Collector Output Temperature Prediction by Hybrid Intelligent Model for Smartgrid and Smartbuildings Applications and Optimization  Full Text
AUTHORS: José-Luis Casteleiro-Roca; Pablo Chamoso; Esteban Jove; Alfonso González-Briones; Héctor Quintián; María-Isabel Fernández-Ibáñez; Rafael Alejandro Vega Vega; Andrés-José Piñón Pazos; José Antonio López Vázquez; Santiago Torres-Álvarez; Tiago Pinto ; Jose Luis Calvo-Rolle;
PUBLISHED: 2020, SOURCE: Applied Sciences, VOLUME: 10, ISSUE: 13, PAGES: 4644
INDEXED IN: CrossRef: 7
2631
TITLE: Solving the Job Shop Scheduling Problem with Reinforcement Learning: A Statistical Analysis
AUTHORS: Bruno Cunha; Ana Madureira ; Benjamim Fonseca ;
PUBLISHED: 2020, SOURCE: Intelligent Systems Design and Applications - 20th International Conference on Intelligent Systems Design and Applications (ISDA 2020) held December 12-15, 2020, VOLUME: 1351, PAGES: 600-609
INDEXED IN: DBLP CrossRef: 1
2632
TITLE: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications  Full Text
AUTHORS: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
INDEXED IN: Scopus WOS DBLP CrossRef: 10
2633
TITLE: Spatiotemporal Phenomena Summarization through Static Visual Narratives
AUTHORS: Marques, D; de Carvalho, AV ; Rodrigues, R ; Carneiro, E;
PUBLISHED: 2020, SOURCE: 24th International Conference Information Visualisation (IV) in 2020 24TH INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV 2020), VOLUME: 2020-September, PAGES: 467-472
INDEXED IN: Scopus WOS DBLP CrossRef
2634
TITLE: Spatiotemporal Traffic Anomaly Detection on Urban Road Network Using Tensor Decomposition Method
AUTHORS: Leo Tisljaric; Sofia da Silva Fernandes; Tonci Caric; João Gama ;
PUBLISHED: 2020, SOURCE: 23rd International Conference on Discovery Science, DS 2020 in Discovery Science - 23rd International Conference, DS 2020, Thessaloniki, Greece, October 19-21, 2020, Proceedings, VOLUME: 12323, PAGES: 674-688
INDEXED IN: Scopus DBLP CrossRef: 7
2635
TITLE: Special issue on accessibility and software design for all  Full Text
AUTHORS: Joao Barroso ; Lourdes Moreno Lopez; Hugo Paredes ; Franz Puehretmair; Tania Rocha ;
PUBLISHED: 2020, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 19, ISSUE: 3, PAGES: 483-484
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2636
TITLE: SPELLing out energy leaks: Aiding developers locate energy inefficient code  Full Text
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
INDEXED IN: Scopus WOS DBLP CrossRef: 22
2637
TITLE: State-Machine Replication for Planet-Scale Systems
AUTHORS: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLISHED: 2020, SOURCE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PAGES: 24:1-24:15
INDEXED IN: Scopus WOS DBLP
2638
TITLE: State-machine replication for planet-scale systems
AUTHORS: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLISHED: 2020, SOURCE: Proceedings of the Fifteenth European Conference on Computer Systems
INDEXED IN: CrossRef: 24
2639
TITLE: State-Machine Replication for Planet-Scale Systems (Extended Version)
AUTHORS: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2003.11789
INDEXED IN: DBLP
2640
TITLE: State-of-the-Art Approaches for Meta-Knowledge Assertion in the Web of Data  Full Text
AUTHORS: Sen, S; Malta, MC ; Dutta, B; Dutta, A;
PUBLISHED: 2020, SOURCE: IETE TECHNICAL REVIEW, VOLUME: 38, ISSUE: 6, PAGES: 672-709
INDEXED IN: Scopus WOS CrossRef: 5

Results per Page: 20.
Page 132 of 446. Total results: 8913.