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

531 Team Members
Filters -> Year: 2024
1521
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
1522
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
1523
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: 6
1524
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
1525
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: 3 Handle
1526
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
INDEXED IN: Scopus Handle
1527
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
INDEXED IN: Scopus WOS CrossRef: 3 Unpaywall
1528
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
INDEXED IN: Scopus DBLP CrossRef: 4 Unpaywall
1529
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
INDEXED IN: CrossRef Openlibrary
1530
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
INDEXED IN: Scopus WOS CrossRef
1531
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
INDEXED IN: Scopus WOS DBLP CrossRef
1532
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
INDEXED IN: WOS DBLP CrossRef
1533
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
INDEXED IN: Scopus DBLP
1534
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
INDEXED IN: Scopus WOS DBLP CrossRef: 52
1535
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
INDEXED IN: Scopus DBLP CrossRef: 8
1536
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Handle
1537
TITLE: NeuralLog: a Neural Logic Language
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
INDEXED IN: DBLP
1538
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
INDEXED IN: Scopus WOS CrossRef: 22
1540
TITLE: No Free Lunch in imbalanced learning  Full Text
AUTHORS: Moniz, N ; Monteiro, H;
PUBLISHED: 2021, SOURCE: KNOWLEDGE-BASED SYSTEMS, VOLUME: 227, PAGES: 107222
INDEXED IN: Scopus WOS DBLP CrossRef: 16

Results per Page: 20.
Page 77 of 406. Total results: 8103.