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

531 Team Members
Filters -> Year: 2024
3181
TÍTULO: Programming from metaphorisms
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94, PÁGINAS: 15-44
INDEXADO EM: Scopus WOS CrossRef: 3
3182
TÍTULO: Programming Networked Vehicle Systems using Dolphin - Field Tests at REP'17
AUTORES: Keila Lima ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ;
PUBLICAÇÃO: 2018, FONTE: OCEANS - MTS/IEEE Kobe Techno-Oceans Conference (OTO) in 2018 OCEANS - MTS/IEEE KOBE TECHNO-OCEANS (OTO)
INDEXADO EM: WOS CrossRef: 1
3183
TÍTULO: Property-Based Testing for the Robot Operating System
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PÁGINAS: 56-62
INDEXADO EM: Scopus WOS DBLP CrossRef
3184
TÍTULO: Proposal of a BI/SSBI System for Knowledge Management of the Traffic of a Network Infrastructure - A University of Trás-os-Montes e Alto Douro Case Study
AUTORES: José Bessa; Frederico Branco ; António Rio Costa ; Ramiro Gonçalves ; Fernando Moreira ;
PUBLICAÇÃO: 2018, FONTE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 1 [WorldCIST'18, Naples, Italy, March 27-29, 2018]., VOLUME: 745, PÁGINAS: 678-690
INDEXADO EM: Scopus DBLP CrossRef
3185
TÍTULO: Proposition of an Action Layer for Electrum
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
PUBLICAÇÃO: 2018, FONTE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PÁGINAS: 397-402
INDEXADO EM: Scopus DBLP CrossRef: 2
3186
TÍTULO: Prototyping an autonomous system to stimulate the interaction and preserve the elderly's social bonds Development of a prototype to validate the interaction model
AUTORES: Rui Xavier; Arsenio Reis ; Hugo Paredes ; Joao Barroso ;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PÁGINAS: 1-5
INDEXADO EM: Scopus WOS CrossRef
3187
TÍTULO: Psychology, Technology and Knowledge Dissimination
AUTORES: José Vasconcelos-Raposo ;
PUBLICAÇÃO: 2018, FONTE: PSYCHTECH & HEALTH JOURNAL, VOLUME: 2, NÚMERO: 1, PÁGINAS: 1-3
INDEXADO EM: CrossRef
3188
TÍTULO: Psychopathological correlates of eating behavior among Portuguese undergraduate students  Full Text
AUTORES: Rui Poinhos ; Bruno M P M Oliveira ; Flora Correia ;
PUBLICAÇÃO: 2018, FONTE: NUTRITION, VOLUME: 48, PÁGINAS: 33-39
INDEXADO EM: Scopus WOS CrossRef: 7
3189
TÍTULO: Qualification offer in EGOV competencies in PALOP-TL
AUTORES: Silva, JMC ; Ramos, LFM; Fonte, V ;
PUBLICAÇÃO: 2018, FONTE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in ACM International Conference Proceeding Series, PÁGINAS: 308-311
INDEXADO EM: Scopus CrossRef
3190
TÍTULO: Qualification offer in EGOV competencies in PALOP-TL
AUTORES: João Marco C Silva ; Luis Felipe Macías Ramos; Victor Fonte ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PÁGINAS: 308-311
INDEXADO EM: DBLP
3191
TÍTULO: Querying Volatile and Dynamic Networks
AUTORES: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLICAÇÃO: 2018, FONTE: Encyclopedia of Social Network Analysis and Mining, 2nd Edition
INDEXADO EM: DBLP
3192
TÍTULO: Raccode: An Eclipse Plugin for Assessment of Programming Exercises (Short Paper)
AUTORES: André Silva; José Paulo Leal ; José Carlos Paiva ;
PUBLICAÇÃO: 2018, FONTE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018 in 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal, VOLUME: 62, PÁGINAS: 4:1-4:8
INDEXADO EM: Scopus DBLP
3193
TÍTULO: Radio-cephalic arteriovenous fistula recovered with drainage through the brachial vein. RC-AVF drainage into the brachial vein  Full Text
AUTORES: de Matos, AN; Sousa, CN ; Almeida, P; Teles, P ; Rego, D; Teixeira, G; Loureiro, L; Teixeira, S;
PUBLICAÇÃO: 2018, FONTE: HEMODIALYSIS INTERNATIONAL, VOLUME: 22, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef: 4
3194
TÍTULO: Radiocephalic Fistula Recovery Using the Brachial Vein and Forearm Basilic Vein: A Case Series and Literature Review. RC-AVF Recovery Using Different Veins  Full Text
AUTORES: Antonio Norton de Matos; Clemente N Sousa ; Paulo Almeida; Paulo Teles ; Duarte Rego; Gabriela Teixeira; Luis Loureiro; Sergio Teixeira; Ines Antunes;
PUBLICAÇÃO: 2018, FONTE: THERAPEUTIC APHERESIS AND DIALYSIS, VOLUME: 22, NÚMERO: 6, PÁGINAS: 570-574
INDEXADO EM: Scopus WOS CrossRef: 3
3195
TÍTULO: Rapid Prototyping and Verification of Hardware Modules Generated Using HLS
AUTORES: Julian Caba; João M P Cardoso ; Fernando Rincón; Julio Dondo; Juan Carlos López;
PUBLICAÇÃO: 2018, FONTE: 14th International Symposium on Applied Reconfigurable Computing, ARC 2018 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings, VOLUME: 10824, PÁGINAS: 446-458
INDEXADO EM: Scopus DBLP CrossRef: 2
3196
TÍTULO: Reactive Models for Biological Regulatory Networks
AUTORES: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers, VOLUME: 11415, PÁGINAS: 74-88
INDEXADO EM: Scopus DBLP CrossRef: 3
3197
TÍTULO: Real-Time Software Transactional Memory
AUTORES: António Barros ;
PUBLICAÇÃO: 2018
INDEXADO EM: DBLP Handle
3198
TÍTULO: Reap-SoS: A Requirement Engineering Approach for System of Systems
AUTORES: Felipe Lima Duarte; Angélica Félix de Castro; Paulo Gabriel Gadelha Queiroz ;
PUBLICAÇÃO: 2018, FONTE: Computer Science & Information Technology
INDEXADO EM: CrossRef: 1
3199
TÍTULO: REBAGG: REsampled BAGGing for Imbalanced Regression
AUTORES: Paula Branco ; Luís Torgo ; Rita P Ribeiro ;
PUBLICAÇÃO: 2018, FONTE: Second International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA@ECML/PKDD 2018, Dublin, Ireland, September 10, 2018, VOLUME: 94, PÁGINAS: 67-81
INDEXADO EM: DBLP
3200
TÍTULO: Reframing Taxonomy Development in Collaborative Computing Research: A Review and Synthesis of CSCW Literature 2003-2010
AUTORES: António Correia ; Hugo Paredes ; Benjamim Fonseca ;
PUBLICAÇÃO: 2018, FONTE: 24th International Conference on Collaboration and Technology, CRIWG 2018 in Collaboration and Technology - 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings, VOLUME: 11001, PÁGINAS: 42-59
INDEXADO EM: Scopus DBLP CrossRef: 3

Results per Page: 20.
Página 160 de 414. Total de resultados: 8279.