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: 8139
531 Team MembersFilters -> Year: 2024
1521
TITLE: LOOM: Interweaving tightly coupled visualization and numeric simulation framework
AUTHORS: Barbosa, J ; Navratil, P; Paulo Santos, L; Fussell, D;
PUBLISHED: 2021, SOURCE: In Situ Infrastructures for Enabling Extreme-Scale Analysis and Visualization, ISAV 2021 - Held in conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2021 in ACM International Conference Proceeding Series, PAGES: 1-5
AUTHORS: Barbosa, J ; Navratil, P; Paulo Santos, L; Fussell, D;
PUBLISHED: 2021, SOURCE: In Situ Infrastructures for Enabling Extreme-Scale Analysis and Visualization, ISAV 2021 - Held in conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2021 in ACM International Conference Proceeding Series, PAGES: 1-5
1522
TITLE: Low-Cost and Reduced-Size 3D-Cameras Metrological Evaluation Applied to Industrial Robotic Welding Operations
AUTHORS: de Souza, JPC ; Rocha, LF ; Filipe, VM ; Boaventura Cunha, J ; Moreira, AP ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 123-129
AUTHORS: de Souza, JPC ; Rocha, LF ; Filipe, VM ; Boaventura Cunha, J ; Moreira, AP ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 123-129
1523
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases. International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part II
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: Communications in Computer and Information Science
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: Communications in Computer and Information Science
1524
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases. International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: Communications in Computer and Information Science
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: Communications in Computer and Information Science
INDEXED IN: 
CrossRef
CrossRef1525
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: PKDD/ECML Workshops (1), VOLUME: 1524
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: PKDD/ECML Workshops (1), VOLUME: 1524
INDEXED IN: 
DBLP
DBLP1526
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part II
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: PKDD/ECML Workshops (2), VOLUME: 1525
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: PKDD/ECML Workshops (2), VOLUME: 1525
INDEXED IN: DBLP
DBLP1527
TITLE: Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head Full Text
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Correia, Manuel L.; Eldefrawy, Karim; Graham Lengrand, Stephane; Pacheco, Hugo ; Pereira, Vitor;
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: 2587-2600
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Correia, Manuel L.; Eldefrawy, Karim; Graham Lengrand, Stephane; Pacheco, Hugo ; Pereira, Vitor;
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: 2587-2600
1528
TITLE: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Manuel L Correia; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1149
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Manuel L Correia; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1149
INDEXED IN: DBLP
DBLP1529
TITLE: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
AUTHORS: José Carlos Bacelar Almeida ; Manuel Barbosa ; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05516
AUTHORS: José Carlos Bacelar Almeida ; Manuel Barbosa ; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05516
INDEXED IN: DBLP
DBLP1530
TITLE: MAINT.Data: Modelling and Analysing Interval Data in R Full Text
AUTHORS: Silva, APD; Brito, P ; Filzmoser, P; Dias, JG;
PUBLISHED: 2021, SOURCE: R JOURNAL, VOLUME: 13, ISSUE: 2, PAGES: 336-364
AUTHORS: Silva, APD; Brito, P ; Filzmoser, P; Dias, JG;
PUBLISHED: 2021, SOURCE: R JOURNAL, VOLUME: 13, ISSUE: 2, PAGES: 336-364
1531
TITLE: Managing non-trivial internet-of-things systems with conversational assistants: A prototype and a feasibility experiment Full Text
AUTHORS: Lago, AS; Dias, JP ; Ferreira, HS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 51, PAGES: 101324
AUTHORS: Lago, AS; Dias, JP ; Ferreira, HS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 51, PAGES: 101324
1532
TITLE: Managing research the wiki way
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: XRDS, VOLUME: 27, ISSUE: 3, PAGES: 10-11
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: XRDS, VOLUME: 27, ISSUE: 3, PAGES: 10-11
INDEXED IN: DBLP
DBLP1533
TITLE: Managing Research the Wiki Way: A Systematic Approach to Documenting Research
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01849
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01849
INDEXED IN: DBLP
DBLP1534
TITLE: MARTINE-A Platform for Real-Time Energy Management in Smart Grids Full Text
AUTHORS: Vale, Z; Faria, P; Abrishambaf, O; Gomes, L; Pinto, T ;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 7, PAGES: 1820
AUTHORS: Vale, Z; Faria, P; Abrishambaf, O; Gomes, L; Pinto, T ;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 7, PAGES: 1820
1535
TITLE: Matching User Interfaces to Assess Simple Web Applications (Short Paper)
AUTHORS: Marco Primo; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 2nd International Computer Programming Education Conference, ICPEC 2021 in Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal., VOLUME: 91, PAGES: 7:1-7:6
AUTHORS: Marco Primo; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 2nd International Computer Programming Education Conference, ICPEC 2021 in Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal., VOLUME: 91, PAGES: 7:1-7:6
INDEXED IN: 
Scopus DBLP
Scopus DBLP1536
TITLE: Measuring Plantar Temperature Changes in Thermal Images Using Basic Statistical Descriptors
AUTHORS: Filipe, V ; Teixeira, P; Teixeira, A;
PUBLISHED: 2021, SOURCE: 21st International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, ICCSA 2021, PT V, VOLUME: 12953, PAGES: 445-455
AUTHORS: Filipe, V ; Teixeira, P; Teixeira, A;
PUBLISHED: 2021, SOURCE: 21st International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, ICCSA 2021, PT V, VOLUME: 12953, PAGES: 445-455
1537
TITLE: Measuring Trust in Technology: A Survey Tool to Assess Users' Trust Experiences
AUTHORS: Sonia Sousa; Paulo Martins ; José Cravino;
PUBLISHED: 2021, SOURCE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
AUTHORS: Sonia Sousa; Paulo Martins ; José Cravino;
PUBLISHED: 2021, SOURCE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
INDEXED IN: DBLP
DBLP1538
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
1539
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
DBLP1540
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)
