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
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.
Page 124 of 406. Total results: 8106.