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

531 Team Members
Filters -> Year: 2024
2461
TITLE: Learning Preferential Perceptual Exposure for HDR Displays
AUTHORS: Thomas Bashford Rogers; Miguel Melo ; Demetris Marnerides; Maximino Bessa ; Kurt Debattista; Alan Chalmers;
PUBLISHED: 2019, SOURCE: IEEE ACCESS, VOLUME: 7, PAGES: 36800-36809
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2462
TITLE: Learning under Concept Drift: A Review  Full Text
AUTHORS: Jie Lu; Anjin J Liu; Fan Dong; Feng Gu; Joao Gama ; Guangquan Q Zhang;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOLUME: 31, ISSUE: 12, PAGES: 2346-2363
INDEXED IN: Scopus WOS DBLP CrossRef: 446
2463
TITLE: Lessons Learned and Challenges on Benchmarking Publish-Subscribe loT Platforms
AUTHORS: Ana Aguiar ; Ricardo Morla ;
PUBLISHED: 2019, SOURCE: 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench) in CPS-IOTBENCH '19: PROCEEDINGS OF THE 2019 2ND WORKSHOP ON BENCHMARKING CYBER-PHYSICAL SYSTEMS AND INTERNET OF THINGS, PAGES: 24-29
INDEXED IN: Scopus WOS CrossRef: 2
2464
TITLE: LIAAD at SemDeep-5 Challenge: Word-in-Context (WiC)
AUTHORS: Daniel Loureiro ; Alípio Jorge ;
PUBLISHED: 2019, SOURCE: Proceedings of the 5th Workshop on Semantic Deep Learning, SemDeep@IJCAI 2019, Macau, China, August 12, 2019, PAGES: 1-5
INDEXED IN: DBLP
2465
TITLE: Limits in categories of Vietoris coalgebras
AUTHORS: Hofmann, D ; Neves, R ; Nora, P;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4, PAGES: 552-587
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2466
TITLE: Live Software Development Environment for Java using Virtual Reality
AUTHORS: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nobrega, R ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 37-46
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
2467
TITLE: Live software development: tightening the feedback loops. tightening the feedback loops
AUTHORS: Ademar Aguiar ; André Restivo ; Filipe Figueiredo Correia ; Hugo Sereno Ferreira ; João Pedro Dias ;
PUBLISHED: 2019, SOURCE: 3rd International Conference on Art, Science, and Engineering of Programming, Programming 2019 in Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, PAGES: 22:1-22:6
INDEXED IN: Scopus DBLP CrossRef: 13
2468
TITLE: Local Energy Markets: Paving the Path Toward Fully Transactive Energy Systems
AUTHORS: Lezama, F; Soares, J; Hernandez Leal, P; Kaisers, M; Pinto, T ; Vale, Z;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 34, ISSUE: 5, PAGES: 4081-4088
INDEXED IN: Scopus WOS CrossRef: 218
2469
TITLE: Local Observability and Controllability Enforcement in Distributed Testing
AUTHORS: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLISHED: 2019, SOURCE: 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019 in Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, VOLUME: 1010, PAGES: 327-338
INDEXED IN: Scopus DBLP CrossRef
2470
TITLE: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758, PAGES: 3-20
INDEXED IN: Scopus DBLP
2471
TITLE: Logistic Operations in a Hospital: A Multi-item Inventory Distribution Problem with Heterogeneous Fleet
AUTHORS: Agra, A; Cerveira, A ; Requejo, C;
PUBLISHED: 2019, SOURCE: Lecture Notes in Logistics, PAGES: 215-227
INDEXED IN: Scopus CrossRef Handle
2472
TITLE: Lost in Disclosure: On the Inference of Password Composition Policies
AUTHORS: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: 30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 in IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, PAGES: 264-269
INDEXED IN: Scopus DBLP CrossRef
2473
TITLE: Machine learning for streaming data: state of the art, challenges, and opportunities  Full Text
AUTHORS: Heitor Murilo Gomes; Jesse Read; Albert Bifet; Jean Paul Barddal; João Gama ;
PUBLISHED: 2019, SOURCE: SIGKDD Explorations, VOLUME: 21, ISSUE: 2, PAGES: 6-22
INDEXED IN: DBLP
2474
TITLE: Machine Learning predictive model of grapevine yield based on agroclimatic patterns
AUTHORS: Sirsat, MS; Mendes Moreira, J ; Ferreira, C ; Cunha, M ;
PUBLISHED: 2019, SOURCE: Engineering in Agriculture, Environment and Food, VOLUME: 12, ISSUE: 4, PAGES: 443-450
INDEXED IN: Scopus CrossRef: 23
2475
TITLE: Machine Learning to Predict Developmental Neurotoxicity with High-Throughput Data from 2D Bio-Engineered Tissues
AUTHORS: Finn Kuusisto; Vítor Santos Costa ; Zhonggang Hou; James A Thomson; David Page; Ron M Stewart;
PUBLISHED: 2019, SOURCE: 18th IEEE International Conference on Machine Learning and Applications, ICMLA 2019 in 18th IEEE International Conference On Machine Learning And Applications, ICMLA 2019, Boca Raton, FL, USA, December 16-19, 2019, PAGES: 293-298
INDEXED IN: Scopus DBLP CrossRef: 1
2476
TITLE: Machine-Checked Proofs for Cryptographic Standards
AUTHORS: José Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1155
INDEXED IN: DBLP
2477
TITLE: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3. Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3  Full Text
AUTHORS: Jose Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Tiago Oliveira ; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 1607-1622
INDEXED IN: Scopus WOS DBLP CrossRef: 17
2478
TITLE: Main Factors Driving the Open Rate of Email Marketing Campaigns
AUTHORS: Andreia Conceição; João Gama ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Discovery Science, DS 2019 in Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings, VOLUME: 11828, PAGES: 145-154
INDEXED IN: Scopus DBLP CrossRef: 4
2479
TITLE: Mathematical modelling of multi-product ordering in three-echelon supply chain networks
AUTHORS: Homayouni, SM ; Khayyambashi, A; Fontes, DBMM ; Fernandes, JC ;
PUBLISHED: 2019, SOURCE: 3rd Eu International Conference on Industrial Engineering and Operations Management,IEOM 2019 in Proceedings of the International Conference on Industrial Engineering and Operations Management, ISSUE: July, PAGES: 1265-1274
INDEXED IN: Scopus
2480
TITLE: Mediating model of brand equity and its application
AUTHORS: Umesh Ramchandra Raut; Prafulla Arjun Pawar; Pedro Quelhas Brito ; Gyanendra Singh Sisodia;
PUBLISHED: 2019, SOURCE: Spanish Journal of Marketing - ESIC, VOLUME: 23, ISSUE: 2, PAGES: 295-318
INDEXED IN: CrossRef: 6

Results per Page: 20.
Página 124 de 406. Total de resultados: 8106.