CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 8104

531 Team Members
Filters -> Year: 2024
2581
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
2582
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
2583
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
2584
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
2585
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
2586
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
2587
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
2588
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
2589
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: 2
2590
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: 65
2591
TITLE: Stop PropagHate at SemEval-2019 Tasks 5 and 6: Are abusive language classification results reproducible?
AUTHORS: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PAGES: 745-752
INDEXED IN: DBLP
2592
TITLE: Strain effect - A case study about the power of nano-influencers
AUTHORS: Au Yong Oliveira, M; Cardoso, AS; Goncalves, M; Tavares, A; Branco, F ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies, CISTI 2019 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2019-June
INDEXED IN: Scopus CrossRef: 4
2593
TITLE: Strategic participation in competitive electricity markets: Internal versus sectorial data analysis  Full Text
AUTHORS: Pinto, T ; Falcao Reis, F;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 108, PAGES: 432-444
INDEXED IN: Scopus WOS CrossRef: 14 Handle
2594
TITLE: Stream Recommendation using Individual Hyper-Parameters PDF
AUTHORS: Bruno M Veloso ; Benedita Malheiro ; Jerry Foss;
PUBLISHED: 2019, SOURCE: 1st International Workshop on Data-Driven Personalisation of Television, DataTV 2019 in Proceedings of the 1st International Workshop on Data-Driven Personalisation of Television co-located with the ACM International Conference on Interactive Experiences for Television and Online Video, DataTV@TVX 2019, Manchester, UK, June 5, 2019., VOLUME: 2423
INDEXED IN: Scopus DBLP
2595
TITLE: Student concentration evaluation index in an E-learning context using facial emotion analysis
AUTHORS: Sharma, P; Esengönül, M; Khanal, SR; Khanal, TT ; Filipe, V ; Reis, MJCS ;
PUBLISHED: 2019, SOURCE: 1st International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2018 in Communications in Computer and Information Science, VOLUME: 993, PAGES: 529-538
INDEXED IN: Scopus CrossRef: 11
2596
TITLE: Studying Programming Students Motivation using Association Rules
AUTHORS: Tavares, Paula Correia; Gomes, Elsa Ferreira ; Henriques, Pedro Rangel;
PUBLISHED: 2019, SOURCE: 10th International Conference on Computer Supported Education (CSEDU) in CSEDU: PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION - VOL 2, VOLUME: 2, PAGES: 514-520
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
2597
TITLE: Supporting the Scale-up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; Sanna, N; Slaninova, K; Vitali, E; ...More
PUBLISHED: 2019, SOURCE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PAGES: 116-123
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2598
TITLE: Symphony: routing aware scheduling for DSME networks  Full Text
AUTHORS: Harrison Kurunathan; Ricardo Severino ; Anis Koubaa; Eduardo Tovar ;
PUBLISHED: 2019, SOURCE: SIGBED Review, VOLUME: 16, ISSUE: 4, PAGES: 26-31
INDEXED IN: Scopus DBLP Handle
2599
TITLE: System to Detect and Approach Humans from an Aerial View for the Landing Phase in a UAV Delivery Service
AUTHORS: David Safadinho; João Ramos; Roberto Ribeiro; Vítor Filipe ; João Barroso ; António Pereira;
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: 162-170
INDEXED IN: Scopus DBLP CrossRef Unpaywall
2600
TITLE: Technology as a didactic method of language teaching An approach to the impact, advantages and future
AUTHORS: Sofia Rocha; Sonia Paula; Manuel Au Yong Oliveira ; Frederico Branco ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Página 130 de 406. Total de resultados: 8104.