CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 10654

535 Team Members
Filters -> Year: 2026
3681
TÍTULO: A classification scheme for analyses of messages exchanged in online health forums  Full Text
AUTORES: Carla Teixeira Lopes ; Barbara Guimaraes Da Silva;
PUBLICAÇÃO: 2019, FONTE: ISIC Information Behaviour Conference in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 24, NÚMERO: 1
INDEXADO EM: WOS
3682
TÍTULO: A clinical risk matrix for obstructive sleep apnea using Bayesian network approaches
AUTORES: Daniela Ferreira Santos ; Pedro Pereira Rodrigues ;
PUBLICAÇÃO: 2019, FONTE: Int. J. Data Sci. Anal., VOLUME: 8, NÚMERO: 4, PÁGINAS: 339-349
INDEXADO EM: Scopus DBLP
3683
TÍTULO: A Data Visualization Approach for Intersection Analysis using AIS Data
AUTORES: Ricardo Cardoso Pereira ; Pedro Henriques Abreu ; Evgheni Polisciuc; Penousal Machado ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2019, Volume 3: IVAPP, Prague, Czech Republic, February 25-27, 2019., PÁGINAS: 208-215
INDEXADO EM: DBLP
3684
TÍTULO: A Data Visualization Approach for Intersection Analysis using AIS Data
AUTORES: Pereira, R ; Abreu, P ; Polisciuc, E; Machado, P ;
PUBLICAÇÃO: 2019, FONTE: 10th International Conference on Information Visualization Theory and Applications, IVAPP 2019 - Part of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2019 in PROCEEDINGS OF THE 14TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL 3: IVAPP, PÁGINAS: 208-215
INDEXADO EM: Scopus WOS CrossRef Unpaywall
3685
TÍTULO: A decision support system for TV self-promotion Scheduling
AUTORES: Fontes, DBMM ; Pereira, PA; Fontes, FACC ;
PUBLICAÇÃO: 2019, FONTE: International Journal of Advanced Trends in Computer Science and Engineering, VOLUME: 8, NÚMERO: 2, PÁGINAS: 134-140
INDEXADO EM: Scopus CrossRef: 4 Handle
3686
TÍTULO: A Domain Model for Transparency in Portuguese Cooperatives. The Governance Structure and Accountability Dimensions
AUTORES: Mariana Curado Malta ; Deolinda Aparício Meira; Ana Maria Bandeira; Melanie Santos;
PUBLICAÇÃO: 2019, FONTE: Modernization and Accountability in the Social Economy Sector - Advances in Finance, Accounting, and Economics, PÁGINAS: 43-56
INDEXADO EM: CrossRef
3687
TÍTULO: A dynamic selection of dispatching rules based on the kano model satisfaction scheduling tool
AUTORES: Ferreirinha L.; Baptista S.; Pereira A.; Santos A.; Bastos J. ; Madureira A. ; Varela M. ;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Electrical Engineering, VOLUME: 505, PÁGINAS: 339-346
INDEXADO EM: Scopus CrossRef: 2 Unpaywall
3688
TÍTULO: A evolução da ciência em Portugal (1987-2016)
AUTORES: Elizabeth Sousa Vieira ; João Mesquita; Jorge Miguel Barros da Silva ; Raquel Vasconcelos; Joana Torres; Sylwia Bugla ; Fernando Silva; Ester A Serrao; Nuno Ferrand ;
PUBLICAÇÃO: 2019
INDEXADO EM: Openlibrary
3689
TÍTULO: A fit of CD4(+) T cell immune response to an infection by lymphocytic choriomeningitis virus
AUTORES: Atefeh Afsar; Filipe Martins ; Bruno M P M Oliveira ; Alberto A Pinto ;
PUBLICAÇÃO: 2019, FONTE: MATHEMATICAL BIOSCIENCES AND ENGINEERING, VOLUME: 16, NÚMERO: 6, PÁGINAS: 7009-7021
INDEXADO EM: Scopus WOS CrossRef: 6
3690
TÍTULO: A framework for automatic and parameterizable memoization
AUTORES: Loic Besnard; Pedro Pinto; Imane Lasri; Joao Bispo ; Erven Rohou; Joao M P Cardoso ;
PUBLICAÇÃO: 2019, FONTE: SOFTWAREX, VOLUME: 10, PÁGINAS: 100322
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
3691
TÍTULO: A generalized program verification workflow based on loop elimination and SA form
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2019, FONTE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., PÁGINAS: 75-84
INDEXADO EM: Scopus DBLP CrossRef: 2
3692
TÍTULO: A Generator of User Interface Prototypes for the IVY Workbench
AUTORES: Joao Miguel Araujo; Rui Couto ; Jose Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PÁGINAS: 32-39
INDEXADO EM: Scopus WOS DBLP CrossRef
3693
TÍTULO: A GENETIC ALGORITHM FOR A MULTI-PRODUCT DISTRIBUTION PROBLEM
AUTORES: Cretu, B; Fontes, DBMM ; Homayouni, SM ;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, NÚMERO: 4, PÁGINAS: 901-914
INDEXADO EM: Scopus WOS CrossRef
3694
TÍTULO: A Hierarchically-Labeled Portuguese Hate Speech Dataset
AUTORES: Paula Fortuna; Joao R Rocha da Silva ; Juan Soler Company; Leo Wanner; Sergio Nunes ;
PUBLICAÇÃO: 2019, FONTE: 3rd Workshop on Abusive Language Online in THIRD WORKSHOP ON ABUSIVE LANGUAGE ONLINE, PÁGINAS: 94-104
INDEXADO EM: WOS
3695
TÍTULO: A Local Electricity Market Model for DSO Flexibility Trading
AUTORES: Faia, R; Pinto, T ; Vale, Z ; Corchado, JM;
PUBLICAÇÃO: 2019, FONTE: 16th International Conference on the European Energy Market, EEM 2019 in International Conference on the European Energy Market, EEM, VOLUME: 2019-September
INDEXADO EM: Scopus CrossRef: 17
3696
TÍTULO: A Lock-Free Coalescing-Capable Mechanism for Memory Management
AUTORES: Ricardo Leite ; Ricardo Rocha ;
PUBLICAÇÃO: 2019, FONTE: 18th ACM SIGPLAN International Symposium on Memory Management (ISMM) in PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT (ISMM '19), PÁGINAS: 79-88
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
3697
TÍTULO: A Low-Cost System to Estimate Leaf Area Index Combining Stereo Images and Normalized Difference Vegetation Index
AUTORES: Mendes, JM ; Filipe, VM ; dos Santos, FN ; dos Santos, RM ;
PUBLICAÇÃO: 2019, FONTE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PÁGINAS: 236-247
INDEXADO EM: Scopus WOS CrossRef
3698
TÍTULO: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PÁGINAS: 63-78
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
3699
TÍTULO: A MCDA MODEL FOR OLIVE OIL SUPPLIER SELECTION USING MACBETH
AUTORES: Teresa Pereira ; Elisabete Dias; Dalila B M M Fontes ;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, NÚMERO: 4, PÁGINAS: 849-862
INDEXADO EM: Scopus WOS CrossRef: 5 Handle
3700
TÍTULO: A Multi-agent System for Recommending Fire Evacuation Routes in Buildings, Based on Context and IoT
AUTORES: Joaquim Neto; A. Jorge Morais ; Ramiro Gonçalves ; Leça L Coelho;
PUBLICAÇÃO: 2019, FONTE: 17th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2019 in Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection - International Workshops of PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings, VOLUME: 1047, PÁGINAS: 343-347
INDEXADO EM: Scopus DBLP CrossRef: 3

Results per Page: 20.
Página 185 de 533. Total de resultados: 10654.