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

531 Team Members
Filters -> Year: 2024
5021
TITLE: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. teaching algorithmic skills using magic card tricks
AUTHORS: João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2014, SOURCE: 2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014 in Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014, PAGES: 75-80
INDEXED IN: Scopus DBLP CrossRef: 4
5022
TITLE: The Modelery: A Collaborative Web Based Repository
AUTHORS: Rui Couto ; Antonio Nestor Ribeiro ; Jose Creissac Campos ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 1-16
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5023
TITLE: The Related-Key Analysis of Feistel Constructions
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2014, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2014, PAGES: 93
INDEXED IN: DBLP
5024
TITLE: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT PDF  Full Text
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 2
5025
TITLE: ThumbCam: Returning to single touch interactions to explore 3D virtual environments. Returning to single touch interactions to explore 3D virtual environments
AUTHORS: Daniel Mendes ; Maurício Sousa; Alfredo Ferreira ; Joaquim A Jorge;
PUBLISHED: 2014, SOURCE: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014, PAGES: 403-408
INDEXED IN: Scopus DBLP CrossRef
5026
TITLE: Towards a Framework for Adaptive Web Applications
AUTHORS: Sampaio, AI; Campos, JC ;
PUBLISHED: 2014, SOURCE: Communications in Computer and Information Science, VOLUME: 434 PART I, PAGES: 240-245
INDEXED IN: Scopus DBLP CrossRef: 2
5027
TITLE: Towards a framework for multidirectional model transformations PDF
AUTHORS: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLISHED: 2014, SOURCE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133, PAGES: 71-74
INDEXED IN: Scopus DBLP
5028
TITLE: Towards a pattern language for model-based GUI testing
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2014, SOURCE: 19th European Conference on Pattern Languages of Programs, EuroPLoP 2014 in ACM International Conference Proceeding Series, VOLUME: 09-13-July-2014, PAGES: 26:1-26:8
INDEXED IN: Scopus DBLP CrossRef: 3
5029
TITLE: Towards a Runtime Verification Framework for the Ada Programming Language
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PAGES: 58-73
INDEXED IN: Scopus WOS DBLP CrossRef Handle
5030
TITLE: Towards a Unified European Electricity Market: The Contribution of Data-mining to Support Realistic Simulation Studies
AUTHORS: Pinto, T ; Santos, G; Pereira, IF; Fernandes, R; Sousa, TM; Praca, I; Vale, Z; Morais, H;
PUBLISHED: 2014, SOURCE: IEEE PES General Meeting in 2014 IEEE PES GENERAL MEETING - CONFERENCE & EXPOSITION, VOLUME: 2014-October, ISSUE: October
INDEXED IN: Scopus WOS CrossRef Handle
5031
TITLE: Towards using Probabilities and Logic to Model Regulatory Networks
AUTHORS: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 239-242
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5032
TITLE: Trace-Based Reconfigurable Acceleration with Data Cache and External Memory Support
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 158-165
INDEXED IN: Scopus WOS DBLP CrossRef: 4
5033
TITLE: Traffic Management in Rural Networks
AUTHORS: Rodrigo Emiliano; Fernando Silva; Luis Frazao; Joao Barroso ; Antonio Pereira;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Design, User Experience, and Usability (DUXU) in DESIGN, USER EXPERIENCE, AND USABILITY: USER EXPERIENCE DESIGN FOR EVERYDAY LIFE APPLICATIONS AND SERVICES, PT III, VOLUME: 8519, ISSUE: PART 3, PAGES: 452-461
INDEXED IN: Scopus WOS DBLP CrossRef
5034
TITLE: Traffic Sign Recognition for Autonomous Driving Robot
AUTHORS: Tiago Moura; Antonio Valente ; Antonio Sousa ; Vitor Filipe ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2014 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 303-308
INDEXED IN: Scopus WOS DBLP CrossRef: 6
5035
TITLE: Training and Support system in the Cloud for improving the situational awareness in Search and Rescue (SAR) operations
AUTHORS: Michal Pelka; Karol Majek; Janusz Bedkowski; Pawel Musialik; Andrzej Maslowski; Geert De Cubber; Haris Balta; António Coelho ; Ricardo Gonçalves; Ricardo Baptista ; Jose M Sanchez; Shashank Govindaraj;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Safety, Security and Rescue Robotics, SSRR 2014 in 2014 IEEE International Symposium on Safety, Security, and Rescue Robotics, SSRR 2014, Toyako-cho, Hokkaido, Japan, October 27-30, 2014, PAGES: 1-6
INDEXED IN: Scopus DBLP CrossRef: 2
5036
TITLE: Transcriptome characterization by RNA sequencing identifies a major molecular and clinical subdivision in chronic lymphocytic leukemia
AUTHORS: Ferreira, PG ; Jares, P; Rico, D; Gómez López, G; Martínez Trillos, A; Villamor, N; Ecker, S; González Pérez, A; Knowles, DG; Monlong, J; Johnson, R; Quesada, V; Djebali, S; Papasaikas, P; López Guerra, M; Colomer, D; Royo, C; Cazorla, M; Pinyol, M; Clot, G; Aymerich, M; Rozman, M; Kulis, M; Tamborero, D; Gouin, A; Blanc, J; Gut, M; Gut, I; Puente, XS; Pisano, DG; Martin Subero, JI; López Bigas, N; López Guillermo, A; Valencia, A; López Otín, C; Campo, E; Guigó, R; ...More
PUBLISHED: 2014, SOURCE: Genome Research, VOLUME: 24, ISSUE: 2, PAGES: 212-226
INDEXED IN: Scopus CrossRef: 169
5037
TITLE: Transmission parameters estimated for Salmonella typhimurium in swine using susceptible-infectious-resistant models and a Bayesian approach  Full Text
AUTHORS: Carla Correia Gomes; Theodoros Economou; Trevor Bailey; Pavel Brazdil ; Lis Alban; Joao Niza Ribeiro ;
PUBLISHED: 2014, SOURCE: BMC VETERINARY RESEARCH, VOLUME: 10, ISSUE: 1, PAGES: 101
INDEXED IN: Scopus WOS CrossRef: 3
5038
TITLE: Unified overhead-aware schedulability analysis for slot-based task-splitting  Full Text
AUTHORS: Paulo Baltarejo Sousa; Konstantinos Bletsas; Eduardo Tovar ; Pedro Souto ; Benny Akesson;
PUBLISHED: 2014, SOURCE: REAL-TIME SYSTEMS, VOLUME: 50, ISSUE: 5-6, PAGES: 680-735
INDEXED IN: Scopus WOS DBLP CrossRef: 8
5039
TITLE: Universal access to eCall system
AUTHORS: Miriam Cabo; Filipe Fernandes; Tania Pereira; Benjamim Fonseca ; Hugo Paredes ;
PUBLISHED: 2014, SOURCE: 5th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion in 5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013, VOLUME: 27, PAGES: 104-112
INDEXED IN: Scopus WOS DBLP CrossRef: 11
5040
TITLE: Unsupervised density-based behavior change detection in data streams  Full Text
AUTHORS: Rosane M M Vallim; Jose A Andrade Filho; Rodrigo F de Mello; Andre C P L F de Carvalho; Joao Gama ;
PUBLISHED: 2014, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 18, ISSUE: 2, PAGES: 181-201
INDEXED IN: Scopus WOS DBLP CrossRef: 5

Results per Page: 20.
Página 252 de 406. Total de resultados: 8106.