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

531 Team Members
Filters -> Year: 2024
3641
TITLE: The impact of rare variation on gene expression across tissues  Full Text
AUTHORS: Xin Li; Yungil Kim; Emily K Tsang; Joe R Davis; Farhan N Damani; Colby Chiang; Gaelen T Hess; Zachary Zappala; Benjamin J Strober; Alexandra J Scott; Amy Li; Andrea Ganna; Michael C Bassik; Jason D Merker; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; Kane Hadley; Robert E Handsaker; Katherine H Huang; Seva Kashin; Konrad J Karczewski; Monkol Lek; Xiao Li; Daniel G MacArthur; Jared L Nedzel; Duyen T Nguyen; Michael S Noble; Ayellet V Segrè; Casandra A Trowbridge; Taru Tukiainen; Nathan S Abell; Brunilda Balliu; Ruth Barshir; Omer Basha; Alexis Battle; Gireesh K Bogu; Andrew Brown; Christopher D Brown; Stephane E Castel; Lin S Chen; Colby Chiang; Donald F Conrad; Nancy J Cox; Farhan N Damani; Joe R Davis; Olivier Delaneau; Emmanouil T Dermitzakis; Barbara E Engelhardt; Eleazar Eskin; Pedro G Ferreira ; Laure Frésard; Eric R Gamazon; Diego Garrido-Martín; Ariel D.H Gewirtz; Genna Gliner; Michael J Gloudemans; Roderic Guigo; Ira M Hall; Buhm Han; Yuan He; Farhad Hormozdiari; Cedric Howald; Hae Kyung Im; Brian Jo; Eun Yong Kang; Yungil Kim; Sarah Kim-Hellmuth; Tuuli Lappalainen; Gen Li; Xin Li; Boxiang Liu; Serghei Mangul; Mark I McCarthy; Ian C McDowell; Pejman Mohammadi; Jean Monlong; Stephen B Montgomery; Manuel Muñoz-Aguirre; Anne W Ndungu; Dan L Nicolae; Andrew B Nobel; Meritxell Oliva; Halit Ongen; John J Palowitch; Nikolaos Panousis; Panagiotis Papasaikas; YoSon Park; Princy Parsana; Anthony J Payne; Christine B Peterson; Jie Quan; Ferran Reverter; Chiara Sabatti; Ashis Saha; Michael Sammeth; Alexandra J Scott; Andrey A Shabalin; Reza Sodaei; Matthew Stephens; Barbara E Stranger; Benjamin J Strober; Jae Hoon Sul; Emily K Tsang; Sarah Urbut; Martijn van de Bunt; Gao Wang; Xiaoquan Wen; Fred A Wright; Hualin S Xi; Esti Yeger-Lotem; Zachary Zappala; Judith B Zaugg; Yi-Hui Zhou; Joshua M Akey; Daniel Bates; Joanne Chan; Lin S Chen; Melina Claussnitzer; Kathryn Demanelis; Morgan Diegel; Jennifer A Doherty; Andrew P Feinberg; Marian S Fernando; Jessica Halow; Kasper D Hansen; Eric Haugen; Peter F Hickey; Lei Hou; Farzana Jasmine; Ruiqi Jian; Lihua Jiang; Audra Johnson; Rajinder Kaul; Manolis Kellis; Muhammad G Kibriya; Kristen Lee; Jin Billy Li; Qin Li; Xiao Li; Jessica Lin; Shin Lin; Sandra Linder; Caroline Linke; Yaping Liu; Matthew T Maurano; Benoit Molinie; Stephen B Montgomery; Jemma Nelson; Fidencio J Neri; Meritxell Oliva; Yongjin Park; Brandon L Pierce; Nicola J Rinaldi; Lindsay F Rizzardi; Richard Sandstrom; Andrew Skol; Kevin S Smith; Michael P Snyder; John Stamatoyannopoulos; Barbara E Stranger; Hua Tang; Emily K Tsang; Li Wang; Meng Wang; Nicholas Van Wittenberghe; Fan Wu; Rui Zhang; Concepcion R Nierras; Philip A Branton; Latarsha J Carithers; Ping Guan; Helen M Moore; Abhi Rao; Jimmie B Vaught; Sarah E Gould; Nicole C Lockart; Casey Martin; Jeffery P Struewing; Simona Volpi; Anjene M Addington; Susan E Koester; Roger R Little; Lori E Brigham; Richard Hasz; Marcus Hunter; Christopher Johns; Mark Johnson; Gene Kopen; William F Leinweber; John T Lonsdale; Alisa McDonald; Bernadette Mestichelli; Kevin Myer; Brian Roe; Michael Salvatore; Saboor Shad; Jeffrey A Thomas; Gary Walters; Michael Washington; Joseph Wheeler; Jason Bridge; Barbara A Foster; Bryan M Gillard; Ellen Karasik; Rachna Kumar; Mark Miklos; Michael T Moser; Scott D Jewell; Robert G Montroy; Daniel C Rohrer; Dana R Valley; David A Davis; Deborah C Mash; Anita H Undale; Anna M Smith; David E Tabor; Nancy V Roche; Jeffrey A McLean; Negin Vatanian; Karna L Robinson; Leslie Sobin; Mary E Barcus; Kimberly M Valentino; Liqun Qi; Steven Hunter; Pushpa Hariharan; Shilpi Singh; Ki Sung Um; Takunda Matose; Maria M Tomaszewski; Laura K Barker; Maghboeba Mosavel; Laura A Siminoff; Heather M Traino; Paul Flicek; Thomas Juettemann; Magali Ruffier; Dan Sheppard; Kieron Taylor; Stephen J Trevanion; Daniel R Zerbino; Brian Craft; Mary Goldman; Maximilian Haeussler; James J Kent; Christopher M Lee; Benedict Paten; Kate R Rosenbloom; John Vivian; Jingchun Zhu; Ira M Hall; Alexis Battle; Stephen B Montgomery; ...More
PUBLISHED: 2017, SOURCE: Nature, VOLUME: 550, ISSUE: 7675, PAGES: 239-243
INDEXED IN: Scopus CrossRef: 218
3642
TITLE: The Initialization and Parameter Setting Problem in Tensor Decomposition-Based Link Prediction
AUTHORS: Sofia da Silva Fernandes ; Hadi Fanaee Tork; João Manuel Portela da Gama ;
PUBLISHED: 2017, SOURCE: 4th International Conference on Data Science and Advanced Analytics, DSAA 2017 in 2017 IEEE International Conference on Data Science and Advanced Analytics, DSAA 2017, Tokyo, Japan, October 19-21, 2017, VOLUME: 2018-January, PAGES: 99-108
INDEXED IN: Scopus DBLP CrossRef: 10
3643
TITLE: The Integration of Augmented Reality and the Concept of Sticker Album Collection for Informal Learning in Museums
AUTHORS: António Coelho ; Luís Miguel Costa;
PUBLISHED: 2017, SOURCE: 3rd International Conference on Immersive Learning Research Network, iLRN 2017 in Immersive Learning Research Network - Third International Conference, iLRN 2017, Coimbra, Portugal, June 26-29, 2017, Proceedings, VOLUME: 725, PAGES: 107-115
INDEXED IN: Scopus DBLP CrossRef: 3
3644
TITLE: The maximum edge weight clique problem: Formulations and solution approaches
AUTHORS: Hosseinian, S; Fontes, DBMM ; Butenko, S; Nardelli, MB; Fornari, M; Curtarolo, S;
PUBLISHED: 2017, SOURCE: Springer Optimization and Its Applications, VOLUME: 130, PAGES: 217-237
INDEXED IN: Scopus CrossRef: 9
3645
TITLE: The MINDS Method: Integrating Management and Interaction Design Perspectives for Service Design
AUTHORS: Jorge Grenha Teixeira ; Lia Patricio ; Ko Hsun Huang; Raymond P Fisk; Leonel Nobrega; Larry Constantine;
PUBLISHED: 2017, SOURCE: JOURNAL OF SERVICE RESEARCH, VOLUME: 20, ISSUE: 3, PAGES: 240-258
INDEXED IN: Scopus WOS CrossRef: 54
3646
TITLE: The present and future of privacy-preserving computation in fog computing
AUTHORS: Sousa, PR ; Antunes, L ; Rolando Martins ;
PUBLISHED: 2017, SOURCE: Fog Computing in the Internet of Things: Intelligence at the Edge, PAGES: 51-69
INDEXED IN: Scopus CrossRef: 9
3647
TITLE: The Single-Writer Principle in CRDT Composition
AUTHORS: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 2017 Programming Models and Languages for Distributed Computing, PMLDC 2017 in Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017, PAGES: 4:1-4:3
INDEXED IN: Scopus DBLP CrossRef: 2
3648
TITLE: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTHORS: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: The Handbook of Formal Methods in Human-Computer Interaction., PAGES: 379-403
INDEXED IN: DBLP CrossRef: 1
3649
TITLE: The use of sheep as a model for studying peripheral nerve regeneration following nerve injury: review of the literature
AUTHORS: Camila Cardoso Diogo; Jose Arthur Camassa; Jose Eduardo Pereira; Luis Maltez da Costa; Vitor Filipe ; Pedro Alexandre Couto ; Stefano Geuna; Ana Colette Mauricio ; Artur Severo Varejao;
PUBLISHED: 2017, SOURCE: NEUROLOGICAL RESEARCH, VOLUME: 39, ISSUE: 10, PAGES: 926-939
INDEXED IN: Scopus WOS CrossRef: 32
3650
TITLE: Time-dependent genetic effects on gene expression implicate aging processes
AUTHORS: Bryois, J; Buil, A; Ferreira, PG ; Panousis, NI; Brown, AA; Viñuela, A; Planchon, A; Bielser, D; Small, K; Spector, T; Dermitzakis, ET;
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 4, PAGES: 545-552
INDEXED IN: Scopus CrossRef: 32
3651
TITLE: TOM: A Model-Based GUI Testing Framework
AUTHORS: Miguel Pinto; Marcelo Goncalves; Paolo Masci ; Jose Creissac Campos ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 155-161
INDEXED IN: Scopus WOS DBLP CrossRef
3652
TITLE: Tools control center to enable the joint simulation of multi-agent systems
AUTHORS: Brígida Teixeira; Tiago Pinto ; Gabriel Santos; Isabel Praça; Zita Vale;
PUBLISHED: 2017, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 619, PAGES: 307-308
INDEXED IN: Scopus CrossRef
3653
TITLE: Tools Control Center to Enable the Joint Simulation of Multi-agent Systems
AUTHORS: Brigida Teixeira; Tiago Pinto ; Gabriel Santos; Isabel Praça; Zita A Vale;
PUBLISHED: 2017, SOURCE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PAGES: 307-308
INDEXED IN: DBLP
3654
TITLE: Toward a Token-Based Approach to Concern Detection in MATLAB Sources
AUTHORS: Miguel P Monteiro; Nuno C Marques; Bruno Silva; Bruno Palma; Joao Cardoso ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 573-584
INDEXED IN: Scopus WOS DBLP CrossRef
3655
TITLE: Towards a Framework for Agent-Based Simulation of User Behaviour in E-Commerce Context
AUTHORS: Duarte Duarte; Hugo Sereno Ferreira ; João Pedro Dias ; Zafeiris Kokkinogenis ;
PUBLISHED: 2017, SOURCE: 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017 in Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PAGES: 30-38
INDEXED IN: Scopus DBLP CrossRef: 2
3656
TITLE: Towards a Green Ranking for Programming Languages
AUTHORS: Marco Couto ; Rui Pereira ; Francisco Ribeiro ; Rui Rua ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: 21st Brazilian Symposium on Programming Languages (SBLP) as Part of 8th Brazilian Conference on Software (CBSoft) in PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), VOLUME: Part F130805, PAGES: 7:1-7:8
INDEXED IN: Scopus WOS DBLP CrossRef: 7
3657
TITLE: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
AUTHORS: Miguel Joao Goncalves Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLISHED: 2017, SOURCE: 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017 in 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017, Campinas, Brazil, October 17-20, 2017, PAGES: 145-152
INDEXED IN: Scopus DBLP CrossRef: 3
3658
TITLE: Towards a middleware for mobile edge-cloud applications
AUTHORS: João Rodrigues ; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: 2nd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2017 in Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets, MECC@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017, PAGES: 1:1-1:6
INDEXED IN: Scopus DBLP CrossRef: 16
3659
TITLE: Towards an Automated Test Bench Environment for Prolog Systems
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017 in 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal, VOLUME: 56, PAGES: 2:1-2:13
INDEXED IN: Scopus DBLP
3660
TITLE: Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
AUTHORS: Lima, BMC ; Faria, JCP ;
PUBLISHED: 2017, SOURCE: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, PAGES: 356-365
INDEXED IN: Scopus CrossRef: 4

Results per Page: 20.
Página 183 de 406. Total de resultados: 8107.