CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 10670

535 Team Members
Filters -> Year: 2026
7261
7262
TITLE: Analysis of the quality of hospital information systems audit trails
AUTHORS: Cruz Correia, R ; Boldt, I; Lapao, L ; Santos Pereira, C; Rodrigues, PP ; Ferreira, AM ; Freitas, A ;
PUBLISHED: 2013, SOURCE: BMC MEDICAL INFORMATICS AND DECISION MAKING, VOLUME: 13, ISSUE: 1, PAGES: 84
INDEXED IN: Scopus WOS DBLP CrossRef: 18 Handle
7263
TITLE: Android: introdução ao desenvolvimento de aplicações
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2013
INDEXED IN: Handle
7264
TITLE: ANOSOV DIFFEOMORPHISMS
AUTHORS: Almeida, JP ; Fisher, AM; Pinto, AA ; Rand, DA;
PUBLISHED: 2013, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: Special ISSUE, ISSUE: SUPPL., PAGES: 837-845
INDEXED IN: Scopus WOS Handle
7265
TITLE: Application to quantify fetal lung branching on rat explants
AUTHORS: Rodrigues, PL; Granja, S; Moreira, A; Rodrigues, N ; Vilaca, JL ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 67-70
INDEXED IN: Scopus
7266
TITLE: Applying a text mining framework to the extraction of numerical parameters from scientific literature in the biotechnology domain
AUTHORS: André Santos ; Regina Nogueira; Anália Lourenço;
PUBLISHED: 2013, SOURCE: ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, VOLUME: 1, ISSUE: 1, PAGES: 1-8
INDEXED IN: CrossRef: 3
7267
TITLE: Architecture for Transparent Binary Acceleration of Loops with Memory Accesses  Full Text
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2013, SOURCE: 9th International Applied Reconfigurable Computing Symposium (ARC) in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 7806, PAGES: 122-133
INDEXED IN: Scopus WOS DBLP CrossRef: 2
7268
TITLE: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTHORS: Nikolic, B; Ali, HI; Petters, SM; Pinho, LM ;
PUBLISHED: 2013, SOURCE: 21st International Conference on Real-Time Networks and Systems, RTNS 2013 in ACM International Conference Proceeding Series, PAGES: 13-22
INDEXED IN: Scopus CrossRef: 20
7269
TITLE: Aspect-based source to source transformations
AUTHORS: De F. Coutinho, JG; Cardoso, JMP ; Carvalho, T ; Bhattacharya, S; Luk, W; Constantinides, G; Diniz, PC ; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 71-103
INDEXED IN: Scopus CrossRef
7270
TITLE: Assemblathon 2: evaluating de novo methods of genome assembly in three vertebrate species  Full Text
AUTHORS: 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; ...More
PUBLISHED: 2013, SOURCE: GIGASCIENCE, VOLUME: 2, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 575
7271
TITLE: Assessment of 3D scanners for modeling pectus carinatum corrective bar
AUTHORS: Moreira, AHJ; Fonseca, JG; Rodrigues, PL; Fonseca, JC; Pinho, ACM ; Correia Pinto, J ; Rodrigues, NF ; Vilaca, JL ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 122-125
INDEXED IN: Scopus
7272
TITLE: Automated theorem proving for the systematic analysis of an infusion pump  Full Text
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
INDEXED IN: Scopus DBLP Handle
7273
TITLE: Automatic Emotional Reactions Identification: A Software Tool for Offline User Experience Research
AUTHORS: Nogueira, PA ; Torres, V; Rodrigues, R ;
PUBLISHED: 2013, SOURCE: 12th IFIP International Conference on Entertainment Computing (ICEC) in ENTERTAINMENT COMPUTING - ICEC 2013, VOLUME: 8215, PAGES: 164-167
INDEXED IN: Scopus WOS DBLP CrossRef: 4
7274
TITLE: Automatic Generation and Delivery of Multiple-Choice Math Quizzes
AUTHORS: Ana Paula Tomas ; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124, PAGES: 848-863
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7275
TITLE: Automatic modeling of an orthotic bracing for nonoperative correction of Pectus Carinatum
AUTHORS: Vilaca, JL ; Rodrigues, PL; Moreira, AHJ; Fonseca, JG; Pinho, ACM ; Fonseca, JC; Rodrigues, N ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 71-74
INDEXED IN: Scopus
7276
TITLE: Automatic Street Surface Modeling for Web-Based Urban Information Systems  Full Text
AUTHORS: Maria D Dolores Robles Ortega; Lidia Ortega; Antonio Coelho ; Francisco Feito; Augusto de Sousa ;
PUBLISHED: 2013, SOURCE: JOURNAL OF URBAN PLANNING AND DEVELOPMENT-ASCE, VOLUME: 139, ISSUE: 1, PAGES: 40-48
INDEXED IN: WOS CrossRef: 12
7277
TITLE: Avaliação de ambientes ubíquos na plataforma APEX
AUTHORS: Tiago Abade; Tiago E O Gomes; José L C Silva; Campos, J. Creissac ;
PUBLISHED: 2013
INDEXED IN: Handle
7278
TITLE: Avoiding Anomalies in Data Stream Learning  Full Text
AUTHORS: Joao Gama ; Petr Kosina; Ezilda Almeida ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 49-63
INDEXED IN: Scopus WOS DBLP CrossRef
7279
TITLE: BabeLO-An Extensible Converter of Programming Exercises Formats  Full Text
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, VOLUME: 6, ISSUE: 1, PAGES: 38-45
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Handle
7280
TITLE: Batched Evaluation of Linear Tabled Logic Programs  Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1775-1797
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 364 of 534. Total results: 10670.