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

536 Team Members
Filters -> Year: 2026
2861
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; Holger Fröning; Günther Schindler; Riccardo Guidotti; Anna Monreale; Salvatore Rinzivillo; Przemyslaw Biecek; Eirini Ntoutsi; Mykola Pechenizkiy; Bodo Rosenhahn; Christopher L Buckley; Daniela Cialfi; Pablo Lanillos; Maxwell Ramstead; Tim Verbelen; Pedro M Ferreira; Giuseppina Andresini; Donato Malerba; Ibéria Medeiros; Philippe Fournier Viger; Saqib S Nawaz; Sebastián Ventura; Meng Sun; Min Zhou; Valerio Bitetta; Ilaria Bordino; Andrea Ferretti; Francesco Gullo; Giovanni Ponti; Lorenzo Severini; Rita P Ribeiro ; João Gama ; Ricard Gavaldà; Lee A D Cooper; Naghmeh Ghazaleh; Jonas Richiardi; Damian Roqueiro; Diego Saldana Miranda; Konstantinos Sechidis; Guilherme Graça; ...More
PUBLISHED: 2021, SOURCE: PKDD/ECML Workshops (2), VOLUME: 1525
INDEXED IN: DBLP
2862
TITLE: Machine Learning Informed Decision-Making with Interpreted Model's Outputs: A Field Intervention  Full Text
AUTHORS: Leid Zejnilović; Susana Lavado; Carlos Soares ; Íñigo Martínez de Rituerto De Troya; Andrew Bell; Rayid Ghani;
PUBLISHED: 2021, SOURCE: 81st Annual Meeting of the Academy of Management 2021: Bringing the Manager Back in Management, AoM 2021, VOLUME: 2021, ISSUE: 1, PAGES: 15424
INDEXED IN: Scopus CrossRef: 2
2863
TITLE: Machine Learning Methods for Signal, Image and Speech Processing
AUTHORS: Jabbar, MA; Prasad, KMVV; Peng, SL; Reaz, MBI; Madureira, A ;
PUBLISHED: 2021, SOURCE: Machine Learning Methods for Signal, Image and Speech Processing, PAGES: 1-230
INDEXED IN: Scopus Openlibrary
2864
TITLE: Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head  Full Text
AUTHORS: José Carlos Bacelar Almeida ; Manuel Barbosa ; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira ;
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
INDEXED IN: Scopus WOS DBLP CrossRef
2865
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
INDEXED IN: DBLP
2866
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2867
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
INDEXED IN: Scopus WOS DBLP CrossRef: 19
2868
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
INDEXED IN: DBLP
2869
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
INDEXED IN: DBLP
2870
TITLE: Mapping a logical representation of TSP to quantum annealing
AUTHORS: Silva, C ; Aguiar, A ; Lima, PM; Dutra, I ;
PUBLISHED: 2021, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 20, ISSUE: 12, PAGES: 386
INDEXED IN: Scopus WOS DBLP CrossRef: 12
2871
TITLE: MARTINE Semantic Interoperability: Local Electricity Market Hour-Ahead Session
AUTHORS: Gabriel Santos; Luis Gomes; Tiago Pinto ; Zita Vale; Pedro Faria;
PUBLISHED: 2021
INDEXED IN: DBLP
2872
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
INDEXED IN: Scopus WOS CrossRef: 10
2873
TITLE: Matching User Interfaces to Assess Simple Web Applications (Short Paper)
AUTHORS: Marco Primo; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: ICPEC, VOLUME: 91, PAGES: 7:1-7:6
INDEXED IN: Scopus DBLP
2874
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
INDEXED IN: Scopus WOS CrossRef: 1
2875
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.
INDEXED IN: DBLP
2876
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
INDEXED IN: DBLP
2877
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
INDEXED IN: WOS DBLP CrossRef: 12
2878
TITLE: Meta-aprendizado para otimizacao de parametros de redes neurais
AUTHORS: Tarsicio Lucas; Teresa Bernarda Ludermir; Ricardo B C Prudêncio; Carlos Soares ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.13745
INDEXED IN: DBLP
2879
TITLE: Metabarcoding with MinION: Speeding up the detection of invasive aquatic species using environmental DNA and nanopore sequencing
AUTHORS: Bastian Egeter; Joana Veríssimo; Manuel Lopes-Lima ; catia chaves; Joana Pinto; Nicoletta Riccardi; Pedro Beja; Nuno A Fonseca ;
PUBLISHED: 2021, SOURCE: ARPHA Conference Abstracts, VOLUME: 4
INDEXED IN: CrossRef: 1
2880
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)
INDEXED IN: Scopus WOS CrossRef: 11 Handle

Results per Page: 20.
Page 144 of 534. Total results: 10677.