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: 8280
531 Team MembersFilters -> Year: 2024
1641
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2541-2563
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2541-2563
1642
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 156
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 156
INDEXED IN: 
DBLP
DBLP1643
TITLE: Metacognitive challenges to support self-reflection of students in online Software Engineering Education
AUTHORS: Pedrosa, Daniela; Fontes, Mario Madureira; Araujo, Tania; Morais, Ceres; Bettencourt, Teresa; Pestana, Pedro Duarte; Morgado, Leonel ; Cravino, Jose;
PUBLISHED: 2021, SOURCE: 4th International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
AUTHORS: Pedrosa, Daniela; Fontes, Mario Madureira; Araujo, Tania; Morais, Ceres; Bettencourt, Teresa; Pestana, Pedro Duarte; Morgado, Leonel ; Cravino, Jose;
PUBLISHED: 2021, SOURCE: 4th International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
1644
TITLE: METHODOLOGICAL FRAMEWORK FOR MEASURING REGIONAL LOGISTICS PERFORMANCE
AUTHORS: Tiago Duarte Silva Vieira; Ângela Silva ; Jorge Esparteiro Garcia ; Wellington Alves ;
PUBLISHED: 2021, SOURCE: Proceedings of the 16th International Symposium on Operational Research in Slovenia, SOR 2021, PAGES: 351-356
AUTHORS: Tiago Duarte Silva Vieira; Ângela Silva ; Jorge Esparteiro Garcia ; Wellington Alves ;
PUBLISHED: 2021, SOURCE: Proceedings of the 16th International Symposium on Operational Research in Slovenia, SOR 2021, PAGES: 351-356
INDEXED IN: 
Scopus 
Handle
Scopus Handle1645
TITLE: Methodological Quality of User-Centered Usability Evaluation of Ambient Assisted Living Solutions: A Systematic Literature Review Full Text
AUTHORS: BASTARDO, Rute ; Ana Isabel Martins ; Pavao, J ; Silva, AG; Rocha, NP;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, VOLUME: 18, ISSUE: 21, PAGES: 11507
AUTHORS: BASTARDO, Rute ; Ana Isabel Martins ; Pavao, J ; Silva, AG; Rocha, NP;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, VOLUME: 18, ISSUE: 21, PAGES: 11507
1646
TITLE: Methodology for Introducing Creativity in Requirements Engineering
AUTHORS: Vítor Santos; Henrique S Mamede ; Clara Silveira; Leonilde Reis;
PUBLISHED: 2021, SOURCE: 2021 International Conference on ENTERprise Information Systems, CENTERIS 2021 / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 and International Conference on Health and Social Care Information Systems and Technologies 2021 in CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 - International Conference on Health and Social Care Information Systems and Technologies 2021, Braga, Portugal, VOLUME: 196, PAGES: 27-35
AUTHORS: Vítor Santos; Henrique S Mamede ; Clara Silveira; Leonilde Reis;
PUBLISHED: 2021, SOURCE: 2021 International Conference on ENTERprise Information Systems, CENTERIS 2021 / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 and International Conference on Health and Social Care Information Systems and Technologies 2021 in CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 - International Conference on Health and Social Care Information Systems and Technologies 2021, Braga, Portugal, VOLUME: 196, PAGES: 27-35
1647
TITLE: Modeling, Dynamics, Optimization and Bioeconomics IV. DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May–June 2017—Selected Contributions
AUTHORS: Alberto Pinto ; David Zilberman;
PUBLISHED: 2021, SOURCE: Springer Proceedings in Mathematics & Statistics
AUTHORS: Alberto Pinto ; David Zilberman;
PUBLISHED: 2021, SOURCE: Springer Proceedings in Mathematics & Statistics
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary1648
TITLE: Modelling informative time points: an evolutionary process approach Full Text
AUTHORS: Monteiro, Andreia ; Menezes, R ; Silva, ME ;
PUBLISHED: 2021, SOURCE: TEST, VOLUME: 30, ISSUE: 2, PAGES: 364-382
AUTHORS: Monteiro, Andreia ; Menezes, R ; Silva, ME ;
PUBLISHED: 2021, SOURCE: TEST, VOLUME: 30, ISSUE: 2, PAGES: 364-382
1649
TITLE: Modelling Voting Behaviour During a General Election Campaign Using Dynamic Bayesian Networks
AUTHORS: Costa, Patricio; Nogueira, Ana Rita ; Gama, Joao ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 524-536
AUTHORS: Costa, Patricio; Nogueira, Ana Rita ; Gama, Joao ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 524-536
1650
TITLE: MONARCH: Hierarchical Storage Management for Deep Learning Frameworks
AUTHORS: Dantas, M; Leitao, D ; Correia, C ; Macedo, R ; Xu, WJ; Paulo, J ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Cluster Computing (Cluster) in 2021 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2021), PAGES: 657-663
AUTHORS: Dantas, M; Leitao, D ; Correia, C ; Macedo, R ; Xu, WJ; Paulo, J ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Cluster Computing (Cluster) in 2021 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2021), PAGES: 657-663
1651
TITLE: Mooshak's Diet Update: Introducing YAPExIL Format to Mooshak (Short Paper)
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94, PAGES: 9:1-9:7
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94, PAGES: 9:1-9:7
INDEXED IN: Scopus DBLP
Scopus DBLP1652
TITLE: Multi-aspect renewable energy forecasting Full Text
AUTHORS: Corizzo, R; Ceci, M; Fanaee T, H; Gama, J ;
PUBLISHED: 2021, SOURCE: INFORMATION SCIENCES, VOLUME: 546, PAGES: 701-722
AUTHORS: Corizzo, R; Ceci, M; Fanaee T, H; Gama, J ;
PUBLISHED: 2021, SOURCE: INFORMATION SCIENCES, VOLUME: 546, PAGES: 701-722
1653
TITLE: Multi-language static code analysis on the LARA framework
AUTHORS: Gil Teixeira; João Bispo ; Filipe F Correia ;
PUBLISHED: 2021, SOURCE: SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021, PAGES: 31-36
AUTHORS: Gil Teixeira; João Bispo ; Filipe F Correia ;
PUBLISHED: 2021, SOURCE: SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021, PAGES: 31-36
1654
TITLE: Narrative-Driven Immersion and Students' Perceptions in an Online Software Programming Course
AUTHORS: Fontes, MM; Pedrosa, D; Araujo, T; Morais, C ; Costa, A; Cravino, J; Morgado, L ;
PUBLISHED: 2021, SOURCE: 7th International Conference of the Immersive-Learning-Research-Network (iLRN) in 2021 7TH INTERNATIONAL CONFERENCE OF THE IMMERSIVE LEARNING RESEARCH NETWORK (ILRN), PAGES: 297-303
AUTHORS: Fontes, MM; Pedrosa, D; Araujo, T; Morais, C ; Costa, A; Cravino, J; Morgado, L ;
PUBLISHED: 2021, SOURCE: 7th International Conference of the Immersive-Learning-Research-Network (iLRN) in 2021 7TH INTERNATIONAL CONFERENCE OF THE IMMERSIVE LEARNING RESEARCH NETWORK (ILRN), PAGES: 297-303
1655
TITLE: NeuralLog: a Neural Logic Language
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
INDEXED IN: DBLP
DBLP1656
TITLE: New metrology for radon at the environmental level Full Text
AUTHORS: Rottger, A; Rottger, S; Grossi, C; Vargas, A; Curcoll, R; Otahal, P; Hernandez Ceballos, MA; Cinelli, G; Chambers, S; Barbosa, SA ; Ioan, MR; Radulescu, I; Kikaj, D; Chung, ED; Arnold, T; Yver Kwok, C; Fuente, M; Mertes, F; Morosh, V;
PUBLISHED: 2021, SOURCE: MEASUREMENT SCIENCE AND TECHNOLOGY, VOLUME: 32, ISSUE: 12
AUTHORS: Rottger, A; Rottger, S; Grossi, C; Vargas, A; Curcoll, R; Otahal, P; Hernandez Ceballos, MA; Cinelli, G; Chambers, S; Barbosa, SA ; Ioan, MR; Radulescu, I; Kikaj, D; Chung, ED; Arnold, T; Yver Kwok, C; Fuente, M; Mertes, F; Morosh, V;
PUBLISHED: 2021, SOURCE: MEASUREMENT SCIENCE AND TECHNOLOGY, VOLUME: 32, ISSUE: 12
1657
TITLE: NINJA TURTLES RACE: A REACTION TIME TEST TO STUDY AND ASSESS THE FOCUS OF ATTENTION, MOTOR, AND COGNITIVE SKILLS IN CHILDREN'S LEARNING PROCESSES
AUTHORS: Diana Sousa ; António Coelho ; Gilberto Bernardes ; Nuno Correia;
PUBLISHED: 2021, SOURCE: INTED2021 Proceedings
AUTHORS: Diana Sousa ; António Coelho ; Gilberto Bernardes ; Nuno Correia;
PUBLISHED: 2021, SOURCE: INTED2021 Proceedings
INDEXED IN: CrossRef
CrossRef1658
TITLE: No Free Lunch in imbalanced learning Full Text
AUTHORS: Moniz, N ; Monteiro, H;
PUBLISHED: 2021, SOURCE: KNOWLEDGE-BASED SYSTEMS, VOLUME: 227, PAGES: 107222
AUTHORS: Moniz, N ; Monteiro, H;
PUBLISHED: 2021, SOURCE: KNOWLEDGE-BASED SYSTEMS, VOLUME: 227, PAGES: 107222
1659
TITLE: Non-Intrusive Load Monitoring for Household Disaggregated Energy Sensing
AUTHORS: Paulos, Jose Pedro ; Fidalgo, Jose Nuno ; Gama, Joao ;
PUBLISHED: 2021, SOURCE: 14th IEEE Madrid PowerTech Conference (IEEE POWERTECH) in 2021 IEEE MADRID POWERTECH
AUTHORS: Paulos, Jose Pedro ; Fidalgo, Jose Nuno ; Gama, Joao ;
PUBLISHED: 2021, SOURCE: 14th IEEE Madrid PowerTech Conference (IEEE POWERTECH) in 2021 IEEE MADRID POWERTECH
1660
TITLE: Novelty Detection in Physical Activity
AUTHORS: Leite, B; Abdalrahman, A; Castro, J; Frade, J; Moreira, J ; Soares, C ;
PUBLISHED: 2021, SOURCE: 13th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2, VOLUME: 2, PAGES: 859-865
AUTHORS: Leite, B; Abdalrahman, A; Castro, J; Frade, J; Moreira, J ; Soares, C ;
PUBLISHED: 2021, SOURCE: 13th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2, VOLUME: 2, PAGES: 859-865
