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: 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.
Page 183 of 406. Total results: 8107.