Towards certified program logics for the verification of imperative programs

by David Miguel Ramalho Pereira
Published 2019

Noninvasive ventilation and mechanical assisted cough: efficacy from acute to chronic care

by Gonçalves, Miguel Ramalho do Souto
Published 2011

The deubiquitinase Usp9x regulates PRC2-mediated chromatin reprogramming during mouse development

by Trisha A. Macrae, Miguel Ramalho-Santos
Published 2021-03-01

Lemmel’s Syndrome: A Rare Cause of Cholestasis

by João Cruz, António P. Matos, Miguel Ramalho
Published 2018-04-01

The Spleen Revisited: An Overview on Magnetic Resonance Imaging

by João Palas, António P. Matos, Miguel Ramalho
Published 2013-01-01

Global Hypertranscription in the Mouse Embryonic Germline

by Michelle Percharde, Priscilla Wong, Miguel Ramalho-Santos
Published 2017-06-01

Depletion of nuclear LINE1 RNA in mouse ESCs and embryos

by Michelle Percharde, Chih-Jen Lin, Miguel Ramalho-Santos
Published 2021-09-01

Cytomegalovirus pseudotumor of the colon in an HIV patient

by Mariana Lima, MD, António P Matos, MD, Miguel Ramalho, MD
Published 2019-02-01

Multidetector Computer Tomography: Evaluation of Blunt Chest Trauma in Adults

by João Palas, António P. Matos, Vasco Mascarenhas, Vasco Herédia, Miguel Ramalho
Published 2014-01-01

Systematic identification of cis-regulatory sequences active in mouse and human embryonic stem cells.

by Marica Grskovic, Christina Chaivorapol, Alexandre Gaspar-Maia, Hao Li, Miguel Ramalho-Santos
Published 2007-08-01

Malignant uterine disease with concurrent myometrial contraction at MRI: a possible source of overstaging

by Sriluxayini Manikkavasakar, Amrutha Ramachandram, Miguel Ramalho, António P. Matos, Richard C. Semelka

B-cell lymphoma of the heart: A rare diagnosis

by António P. Matos, João Palas, Constantinos Doulaptsis, Miguel Ramalho, Sérgio Duarte, Jan Bogaert
Published 2014-12-01

B-cell lymphoma of the heart: A rare diagnosis

by António P. Matos, João Palas, Constantinos Doulaptsis, Miguel Ramalho, Sérgio Duarte, Jan Bogaert
Published 2014-12-01

Bivalent Chromatin Marks Developmental Regulatory Genes in the Mouse Embryonic Germline In Vivo

by Michael Sachs, Courtney Onodera, Kathryn Blaschke, Kevin T. Ebata, Jun S. Song, Miguel Ramalho-Santos
Published 2013-06-01

High-efficiency stem cell fusion-mediated assay reveals Sall4 as an enhancer of reprogramming.

by Connie C Wong, Alexandre Gaspar-Maia, Miguel Ramalho-Santos, Renee A Reijo Pera
Published 2008-01-01

Magnetic resonance imaging of the cirrhotic liver: diagnosis of hepatocellular carcinoma and evaluation of response to treatment - Part 1

by Miguel Ramalho, António P. Matos, Mamdoh AlObaidy, Fernanda Velloni, Ersan Altun, Richard C. Semelka

Magnetic resonance imaging of the cirrhotic liver: diagnosis of hepatocellular carcinoma and evaluation of response to treatment – Part 2

by Miguel Ramalho, António P. Matos, Mamdoh AlObaidy, Fernanda Velloni, Ersan Altun, Richard C. Semelka

Pelvic inflammatory myofibroblastic tumor mimicking a rectal cancer

by Lídia Roque-Ramos, António P. Matos, Pedro Pinto-Marques, Gabriela Machado, Joana Nogueira, Miguel Ramalho
Published 2016-01-01

Modified approach to the characterization of adrenal nodules using a standard abdominal magnetic resonance imaging protocol

by António P. Matos, Richard C. Semelka, Vasco Herédia, Mamdoh AlObaidiy, Filipe Veloso Gomes, Miguel Ramalho

MR-PET of the body: Early experience and insights

by Miguel Ramalho, Mamdoh AlObaidy, Onofrio A. Catalano, Alexander R. Guimaraes, Marco Salvatore, Richard C. Semelka
Published 2014-01-01