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
5421
TÍTULO: An Online Tool to Manage and Assess Collaborative Group Work
AUTORES: Alvaro Figueira ; Helena Leal;
PUBLICAÇÃO: 2013, FONTE: 12th European Conference e-Learning (ECEL) in PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2013), PÁGINAS: 112-120
INDEXADO EM: Scopus WOS
5422
TÍTULO: Análise da variabilidade da frequência cardíaca em indivíduos saudáveis, doentes com insuficiência cardíaca e doentes transplantados  Full Text
AUTORES: Leite, A ; Silva, ME ; Rocha, AP ;
PUBLICAÇÃO: 2013, FONTE: Motricidade, VOLUME: 9, NÚMERO: 4, PÁGINAS: 54-63
INDEXADO EM: Scopus (SciELO) CrossRef: 1
5423
TÍTULO: ANOSOV DIFFEOMORPHISMS
AUTORES: Almeida, JP ; Fisher, AM; Pinto, AA ; Rand, DA;
PUBLICAÇÃO: 2013, FONTE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: Special ISSUE, NÚMERO: SUPPL., PÁGINAS: 837-845
INDEXADO EM: Scopus WOS Handle
5424
TÍTULO: Application to quantify fetal lung branching on rat explants
AUTORES: Rodrigues, PL; Granja, S; Moreira, A; Rodrigues, N ; Vilaca, JL ;
PUBLICAÇÃO: 2013, FONTE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PÁGINAS: 67-70
INDEXADO EM: Scopus
5425
TÍTULO: Architecture for Transparent Binary Acceleration of Loops with Memory Accesses  Full Text
AUTORES: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLICAÇÃO: 2013, FONTE: 9th International Applied Reconfigurable Computing Symposium (ARC) in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 7806, PÁGINAS: 122-133
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
5426
TÍTULO: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTORES: Nikolic, B; Ali, HI; Petters, SM; Pinho, LM ;
PUBLICAÇÃO: 2013, FONTE: 21st International Conference on Real-Time Networks and Systems, RTNS 2013 in ACM International Conference Proceeding Series, PÁGINAS: 13-22
INDEXADO EM: Scopus
5427
TÍTULO: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTORES: Borislav Nikolić; Hazem Ismail Ali; Stefan M Petters; Luís Miguel Pinho ;
PUBLICAÇÃO: 2013, FONTE: Proceedings of the 21st International conference on Real-Time Networks and Systems - RTNS '13
INDEXADO EM: CrossRef
5428
TÍTULO: Aspect-based source to source transformations
AUTORES: De F. Coutinho, JG; Cardoso, JMP ; Carvalho, T ; Bhattacharya, S; Luk, W; Constantinides, G; Diniz, PC ; Petrov, Z;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PÁGINAS: 71-103
INDEXADO EM: Scopus CrossRef
5429
TÍTULO: Assessment of 3D scanners for modeling pectus carinatum corrective bar
AUTORES: Moreira, AHJ; Fonseca, JG; Rodrigues, PL; Fonseca, JC; Pinho, ACM ; Correia Pinto, J ; Rodrigues, NF ; Vilaca, JL ;
PUBLICAÇÃO: 2013, FONTE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PÁGINAS: 122-125
INDEXADO EM: Scopus
5430
TÍTULO: Automated theorem proving for the systematic analysis of an infusion pump
AUTORES: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 69
INDEXADO EM: Scopus DBLP
5431
TÍTULO: Automatic Emotional Reactions Identification: A Software Tool for Offline User Experience Research
AUTORES: Nogueira, PA ; Torres, V; Rodrigues, R ;
PUBLICAÇÃO: 2013, FONTE: 12th IFIP International Conference on Entertainment Computing (ICEC) in ENTERTAINMENT COMPUTING - ICEC 2013, VOLUME: 8215, PÁGINAS: 164-167
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
5432
TÍTULO: Automatic Generation and Delivery of Multiple-Choice Math Quizzes
AUTORES: Ana Paula Tomas ; Jose Paulo Leal ;
PUBLICAÇÃO: 2013, FONTE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124, PÁGINAS: 848-863
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5433
TÍTULO: Automatic modeling of an orthotic bracing for nonoperative correction of Pectus Carinatum
AUTORES: Vilaca, JL ; Rodrigues, PL; Moreira, AHJ; Fonseca, JG; Pinho, ACM ; Fonseca, JC; Rodrigues, N ;
PUBLICAÇÃO: 2013, FONTE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PÁGINAS: 71-74
INDEXADO EM: Scopus
5434
TÍTULO: Automatic Street Surface Modeling for Web-Based Urban Information Systems  Full Text
AUTORES: Maria D Dolores Robles Ortega; Lidia Ortega; Antonio Coelho ; Francisco Feito; Augusto de Sousa ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF URBAN PLANNING AND DEVELOPMENT-ASCE, VOLUME: 139, NÚMERO: 1, PÁGINAS: 40-48
INDEXADO EM: WOS CrossRef: 10
5435
TÍTULO: Avoiding Anomalies in Data Stream Learning  Full Text
AUTORES: Joao Gama ; Petr Kosina; Ezilda Almeida ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PÁGINAS: 49-63
INDEXADO EM: Scopus WOS DBLP CrossRef
5436
TÍTULO: BabeLO-An Extensible Converter of Programming Exercises Formats  Full Text
AUTORES: Queiros, R ; Leal, JP ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, VOLUME: 6, NÚMERO: 1, PÁGINAS: 38-45
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Handle
5437
TÍTULO: Batched Evaluation of Linear Tabled Logic Programs  Full Text
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, NÚMERO: 4, PÁGINAS: 1775-1797
INDEXADO EM: Scopus WOS DBLP CrossRef
5439
TÍTULO: BigYAP: Exo-compilation meets UDI
AUTORES: Vitor Santos Costa ; David Vaz;
PUBLICAÇÃO: 2013, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, NÚMERO: 4-5, PÁGINAS: 799-813
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5440
TÍTULO: Binary recommender systems: Introduction, an application and outlook. introduction, an application and outlook
AUTORES: Jorge, AM ;
PUBLICAÇÃO: 2013, FONTE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PÁGINAS: 1-2
INDEXADO EM: Scopus DBLP CrossRef

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