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

531 Team Members
Filters -> Year: 2024
2081
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: 4
2082
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
2083
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
2084
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
2085
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: 4
2086
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
2087
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: 4
2088
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
2089
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: 11
2090
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
2091
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: 1
2092
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
2093
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
2094
TITLE: StreamFaSE: An Online Algorithm for Subgraph Counting in Dynamic Networks
AUTHORS: Henrique Branquinho; Luciano Grácio; Pedro Ribeiro ;
PUBLISHED: 2020, SOURCE: 9th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS 2020 in Complex Networks & Their Applications IX - Volume 2, Proceedings of the Ninth International Conference on Complex Networks and Their Applications, COMPLEX NETWORKS 2020, 1-3 December 2020, Madrid, Spain., VOLUME: 944, PAGES: 688-699
INDEXED IN: Scopus DBLP CrossRef
2095
TITLE: Student Research Abstract: Multimodal Deep Learning Based Approach for Cells State Classification. student research abstract
AUTHORS: Silva, PR ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 20-23
INDEXED IN: Scopus WOS CrossRef
2096
TITLE: Students Drop Out Trends: A University Study
AUTHORS: Bruno Silva; Solteiro Pires, EJ ; Arsénio Reis ; Paulo de d Moura Oliveira ; João Barroso ;
PUBLISHED: 2020, SOURCE: 2nd International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2020 in Technology and Innovation in Learning, Teaching and Education - Second International Conference, TECH-EDU 2020, Vila Real, Portugal, December 2-4, 2020, Proceedings, 3, VOLUME: 1384, PAGES: 442-450
INDEXED IN: Scopus DBLP CrossRef
2097
TITLE: Studying How Health Literacy Influences Attention during Online Information Seeking
AUTHORS: Lopes, CT ; Ramos, E;
PUBLISHED: 2020, SOURCE: 5th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'20: PROCEEDINGS OF THE 2020 CONFERENCE ON HUMAN INFORMATION INTERACTION AND RETRIEVAL, PAGES: 283-291
INDEXED IN: Scopus WOS DBLP CrossRef
2098
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools  Full Text
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5, PAGES: 35:1-35:48
INDEXED IN: Scopus WOS DBLP CrossRef
2099
TITLE: Survey on Job Scheduling in Cloud-Fog Architecture
AUTHORS: Barros, C; Rocio, V ; Sousa, A; Paredes, H ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
INDEXED IN: Scopus WOS CrossRef: 5
2100
TITLE: Symphony. routing aware scheduling for DSME networks  Full Text
AUTHORS: Harrison Kurunathan; Ricardo Severino ; Anis Koubaa; Eduardo Tovar;
PUBLISHED: 2020, SOURCE: ACM SIGBED Review, VOLUME: 16, ISSUE: 4, PAGES: 26-31
INDEXED IN: CrossRef: 1

Results per Page: 20.
Page 105 of 406. Total results: 8106.