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

531 Team Members
Filters -> Year: 2025
2381
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
2382
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
2383
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
2384
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
2385
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
2386
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: 4
2387
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: 2
2388
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
2389
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
2390
TÍTULO: A GENETIC ALGORITHM FOR A MULTI-PRODUCT DISTRIBUTION PROBLEM
AUTORES: Bruno Cretú; Faculdade de Economia da Universidade do Porto, Porto, Portugal, ; Dalila B M M Fontes; Seyed Mahdi Homayouni ;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, NÚMERO: 4, PÁGINAS: 901-914
INDEXADO EM: Scopus WOS CrossRef
2391
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
2392
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: 12
2393
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
2394
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
2395
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: 14
2396
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
2397
TÍTULO: A Multi-agent System for Recommending Fire Evacuation Routes in Buildings, Based on Context and IoT
AUTORES: Joaquim Neto; Jorge J 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
2398
TÍTULO: A NEW GAME-BASED APPROACH FOR THE CREATIVE LEARNING OF PROGRAMMING IN THE DIGITAL MEDIA AREA
AUTORES: Coelho, A ; Reis, L; Monteiro, J;
PUBLICAÇÃO: 2019, FONTE: 11th International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN19: 11TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PÁGINAS: 7907-7917
INDEXADO EM: WOS CrossRef
2399
TÍTULO: A Novel Intrusion Detection System Architecture for Internet of Things Networks
AUTORES: Leonel Santos; Ramiro Goncalves ; Carlos Rabadao ;
PUBLICAÇÃO: 2019, FONTE: 18th European Conference on Cyber Warfare and Security (ECCWS) in PROCEEDINGS OF THE 18TH EUROPEAN CONFERENCE ON CYBER WARFARE AND SECURITY (ECCWS 2019), VOLUME: 2019-July, PÁGINAS: 428-435
INDEXADO EM: Scopus WOS
2400
TÍTULO: A Proposal for an Electronic Negotiation Platform for Tourism in Low-Density Regions: Characterizing a Functional Analysis and Prototype for the Douro Valley
AUTORES: Luis Cardoso; Jose Martins ; Ramiro Goncalves ; Frederico Branco ; Fernando Moreira ; Manuel Au Yong Oliveira ;
PUBLICAÇÃO: 2019, FONTE: 7th International Conference on Software Process Improvement (CIMPS) in TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING (CIMPS 2018), VOLUME: 865, PÁGINAS: 280-292
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 120 de 424. Total de resultados: 8461.