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

536 Team Members
Filters -> Year: 2026
7261
TÍTULO: An Institution for Alloy and Its Translation to Second-Order Logic
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013], VOLUME: 263, PÁGINAS: 45-75
INDEXADO EM: Scopus DBLP CrossRef: 2
7262
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
7263
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
7264
TÍTULO: Analysis of the quality of hospital information systems audit trails
AUTORES: Cruz Correia, R ; Boldt, I; Lapao, L ; Santos Pereira, C; Rodrigues, PP ; Ferreira, AM ; Freitas, A ;
PUBLICAÇÃO: 2013, FONTE: BMC MEDICAL INFORMATICS AND DECISION MAKING, VOLUME: 13, NÚMERO: 1, PÁGINAS: 84
INDEXADO EM: Scopus WOS DBLP CrossRef: 18 Handle
7265
TÍTULO: Android: introdução ao desenvolvimento de aplicações
AUTORES: Ricardo Queirós ;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
7266
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
7267
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
7268
TÍTULO: Applying a text mining framework to the extraction of numerical parameters from scientific literature in the biotechnology domain
AUTORES: André Santos ; Regina Nogueira; Anália Lourenço;
PUBLICAÇÃO: 2013, FONTE: ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, VOLUME: 1, NÚMERO: 1, PÁGINAS: 1-8
INDEXADO EM: CrossRef: 3
7269
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
7270
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 CrossRef: 20
7271
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
7272
TÍTULO: Assemblathon 2: evaluating de novo methods of genome assembly in three vertebrate species  Full Text
AUTORES: Keith R Bradnam; Joseph N Fass; Anton Alexandrov; Paul Baranay; Michael Bechner; Inanc Birol; Sebastien Boisvert; Jarrod A Chapman; Guillaume Chapuis; Rayan Chikhi; Hamidreza Chitsaz; Wen Chi Chou; Jacques Corbeil; Cristian Del Fabbro; Roderick R Docking; Richard Durbin; Dent Earl; Scott Emrich; Pavel Fedotov; Nuno A Fonseca ; Ganeshkumar Ganapathy; Richard A Gibbs; Sante Gnerre; Elenie Godzaridis; Steve Goldstein; Matthias Haimel; Giles Hall; David Haussler; Joseph B Hiatt; Isaac Y Ho; Jason Howard; Martin Hunt; Shaun D Jackman; David B Jaffe; Erich D Jarvis; Huaiyang Jiang; Sergey Kazakov; Paul J Kersey; Jacob O Kitzman; James R Knight; Sergey Koren; Tak Wah Lam; Dominique Lavenier; Francois Laviolette; Yingrui R Li; Zhenyu Y Li; Binghang H Liu; Yue Liu; Ruibang Luo; Iain MacCallum; Matthew D MacManes; Nicolas Maillet; Sergey Melnikov; Delphine Naquin; Zemin Ning; Thomas D Otto; Benedict Paten; Octavio S Paulo ; Adam M Phillippy; Francisco Pina Martins; Michael Place; Dariusz Przybylski; Xiang Qin; Carson Qu; Filipe J Ribeiro; Stephen Richards; Daniel S Rokhsar; Graham G Ruby; Simone Scalabrin; Michael C Schatz; David C Schwartz; Alexey Sergushichev; Ted Sharpe; Timothy I Shaw; Jay Shendure; Yujian J Shi; Jared T Simpson; Henry Song; Fedor Tsarev; Francesco Vezzi; Riccardo Vicedomini; Bruno M Vieira; Jun Wang; Kim C Worley; Shuangye Y Yin; Siu Ming Yiu; Jianying Y Yuan; Guojie J Zhang; Hao Zhang; Shiguo Zhou; Ian F Korf; ...Mais
PUBLICAÇÃO: 2013, FONTE: GIGASCIENCE, VOLUME: 2, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 575
7273
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
7274
TÍTULO: Automated theorem proving for the systematic analysis of an infusion pump  Full Text
AUTORES: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 69
INDEXADO EM: Scopus DBLP Handle
7275
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
7276
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
7277
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
7278
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: 12
7279
TÍTULO: Avaliação de ambientes ubíquos na plataforma APEX
AUTORES: Tiago Abade; Tiago E O Gomes; José L C Silva; Campos, J. Creissac ;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
7280
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

Results per Page: 20.
Página 364 de 534. Total de resultados: 10672.