CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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
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!
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!
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!
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: 10649
536 Team MembersFilters -> Year: 2026
4061
TITLE: Learning under Concept Drift: A Review
AUTHORS: Lu, J; Liu, AJ; Dong, F; Gu, F; Gama, J ; Zhang, GQ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOLUME: 31, ISSUE: 12, PAGES: 2346-2363
AUTHORS: Lu, J; Liu, AJ; Dong, F; Gu, F; Gama, J ; Zhang, GQ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOLUME: 31, ISSUE: 12, PAGES: 2346-2363
4062
TITLE: Lessons Learned and Challenges on Benchmarking Publish-Subscribe loT Platforms
AUTHORS: Aguiar, A ; Morla, R ;
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
AUTHORS: Aguiar, A ; Morla, R ;
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
4063
TITLE: LIAAD at SemDeep-5 Challenge: Word-in-Context (WiC)
AUTHORS: Daniel Loureiro ; Alípio Jorge ;
PUBLISHED: 2019, SOURCE: SemDeep@IJCAI, PAGES: 1-5
AUTHORS: Daniel Loureiro ; Alípio Jorge ;
PUBLISHED: 2019, SOURCE: SemDeep@IJCAI, PAGES: 1-5
INDEXED IN: 
DBLP
DBLP4064
TITLE: Liability of foreignness and anti-corruption reporting in an emerging market: The case of Turkish listed companies Full Text
AUTHORS: Manuel Castelo Branco ; Catarina Delgado ; Duygu Turker;
PUBLISHED: 2019, SOURCE: JOURNAL OF CLEANER PRODUCTION, VOLUME: 232, PAGES: 118-126
AUTHORS: Manuel Castelo Branco ; Catarina Delgado ; Duygu Turker;
PUBLISHED: 2019, SOURCE: JOURNAL OF CLEANER PRODUCTION, VOLUME: 232, PAGES: 118-126
4065
TITLE: Limits in categories of Vietoris coalgebras PDF
AUTHORS: Hofmann, D ; Neves, R ; Nora, P;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4, PAGES: 552-587
AUTHORS: Hofmann, D ; Neves, R ; Nora, P;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4, PAGES: 552-587
4066
TITLE: Live Software Development Environment for Java using Virtual Reality
AUTHORS: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nóbrega, 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
AUTHORS: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nóbrega, 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
4067
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: Programming, PAGES: 22:1-22:6
AUTHORS: Ademar Aguiar ; André Restivo ; Filipe Figueiredo Correia ; Hugo Sereno Ferreira ; João Pedro Dias ;
PUBLISHED: 2019, SOURCE: Programming, PAGES: 22:1-22:6
4068
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
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
4069
TITLE: Local Observability and Controllability Enforcement in Distributed Testing
AUTHORS: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLISHED: 2019, SOURCE: QUATIC, VOLUME: 1010, PAGES: 327-338
AUTHORS: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLISHED: 2019, SOURCE: QUATIC, VOLUME: 1010, PAGES: 327-338
4070
TITLE: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: FMTea, VOLUME: 11758 LNCS, PAGES: 3-20
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: FMTea, VOLUME: 11758 LNCS, PAGES: 3-20
INDEXED IN: 
Scopus DBLP
Scopus DBLP4071
TITLE: Logics for Petri Nets with Propagating Failures
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Mario R F Benevides;
PUBLISHED: 2019, SOURCE: FSEN, VOLUME: 11761 LNCS, PAGES: 145-157
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Mario R F Benevides;
PUBLISHED: 2019, SOURCE: FSEN, VOLUME: 11761 LNCS, PAGES: 145-157
4072
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
AUTHORS: Agra, A; Cerveira, A ; Requejo, C;
PUBLISHED: 2019, SOURCE: Lecture Notes in Logistics, PAGES: 215-227
4073
TITLE: Lost in Disclosure: On the Inference of Password Composition Policies
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: ISSRE Workshops, PAGES: 264-269
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: ISSRE Workshops, PAGES: 264-269
4074
TITLE: Machine learning for streaming data: state of the art, challenges, and opportunities
AUTHORS: Heitor Murilo Gomes; Jesse Read; Albert Bifet; Jean Paul Barddal; João Gama ;
PUBLISHED: 2019, SOURCE: SIGKDD Explor., VOLUME: 21, ISSUE: 2, PAGES: 6-22
AUTHORS: Heitor Murilo Gomes; Jesse Read; Albert Bifet; Jean Paul Barddal; João Gama ;
PUBLISHED: 2019, SOURCE: SIGKDD Explor., VOLUME: 21, ISSUE: 2, PAGES: 6-22
INDEXED IN: DBLP
DBLP4075
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
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
4076
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: ICMLA, PAGES: 293-298
AUTHORS: Finn Kuusisto; Vítor Santos Costa ; Zhonggang Hou; James A Thomson; David Page; Ron M Stewart;
PUBLISHED: 2019, SOURCE: ICMLA, PAGES: 293-298
4077
TITLE: Machine-Checked Proofs for Cryptographic Standards
AUTHORS: José Bacelar Almeida ; Cécile 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
AUTHORS: José Bacelar Almeida ; Cécile 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
DBLP4078
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
AUTHORS: Almeida, JB ; Baritel Ruet, C; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Oliveira, T ; Stoughton, A; Strub, PY;
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
AUTHORS: Almeida, JB ; Baritel Ruet, C; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Oliveira, T ; Stoughton, A; Strub, PY;
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
4079
TITLE: Main Factors Driving the Open Rate of Email Marketing Campaigns
AUTHORS: Andreia Conceição; João Gama ;
PUBLISHED: 2019, SOURCE: DS, VOLUME: 11828 LNAI, PAGES: 145-154
AUTHORS: Andreia Conceição; João Gama ;
PUBLISHED: 2019, SOURCE: DS, VOLUME: 11828 LNAI, PAGES: 145-154
4080
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
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
Scopus