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

535 Team Members
Filters -> Year: 2026
7261
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
7262
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
7263
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
7264
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
7265
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
7266
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
7267
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
7268
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
7269
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
7270
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
7271
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
7272
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
7273
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
7274
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
7276
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
7277
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
7278
TÍTULO: Bisimilarity and refinement for hybrid(ised) logics  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 16th International Refinement Workshop, Refine 2013 in Proceedings 16th International Refinement Workshop, Refine 2013, Turku, Finland, 11th June 2013., VOLUME: 115, PÁGINAS: 84-98
INDEXADO EM: Scopus DBLP CrossRef: 1
7279
TÍTULO: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 29, PÁGINAS: 75-89
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
7280
TÍTULO: Boosting the Detection of Transposable Elements Using Machine Learning
AUTORES: Loureiro, T; Camacho, R ; Vieira, J ; Fonseca, NA ;
PUBLICAÇÃO: 2013, FONTE: Advances in Intelligent Systems and Computing, VOLUME: 222, PÁGINAS: 85-91
INDEXADO EM: Scopus DBLP CrossRef: 11

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