Narcissus: correct-by-construction derivation of decoders and encoders from binary formats by Pit-Claudel, Clement Francois, Chlipala, Adam

Get full text

New pricing models for generic medicines to ensure long-term sustainable competition in Europe by Clement Francois, Clement Francois, Gabriela Gawlik, Jorge Mestre-Ferrandiz, Adrian Pana, Julian Perelman, John Yfantopoulos, Steven Simoens

Get full text

Use of Patient Preference Information in Benefit–Risk Assessment, Health Technology Assessment, and Pricing and Reimbursement Decisions: A Systematic Literature Review of Attempts... by Lylia Chachoua, Monique Dabbous, Clément François, Clément François, Claude Dussart, Samuel Aballéa, Samuel Aballéa, Mondher Toumi, Mondher Toumi

Get full text

President Trump’s prescription to reduce drug prices: from the campaign trail to American Patients First by Monique Dabbous, Clément François, Lylia Chachoua, Mondher Toumi

Get full text

Challenges and new perspectives of developmental cognitive EEG studies by Estelle Hervé, Giovanni Mento, Béatrice Desnous, Clément François

Get full text

Faster sound stream segmentation in musicians than in nonmusicians. by Clément François, Florent Jaillet, Sylvain Takerkart, Daniele Schön

Get full text

From investigational product to active reference: evolution of oral sumatriptan efficacy versus placebo for the treatment of acute migraine episodes and potential impact in compara... by Katia Thokagevistk, Clément François, Mélanie Brignone, Mondher Toumi

Get full text

Systematic review of utility values used in the pharmacoeconomic evaluations for schizophrenia: implications on cost-effectiveness results by Junwen Zhou, Aurélie Millier, Clément François, Samuel Aballéa, Mondher Toumi

Get full text

The essence of Bluespec: a core language for rule-based hardware design by Bourgeat, Thomas, Pit-Claudel, Clement Francois, Chlipala, Adam, Arvind, Arvind

Get full text

Exit interviews from two randomised placebo-controlled phase 3 studies with caregivers of young children with autism spectrum disorder by Natalia Hawken, Bruno Falissard, Carl Choquet, Clement Francois, Jean Tardu, Ramona Schmid

Get full text

Methods for Indirect Treatment Comparison: Results from a Systematic Literature Review by Bérengère Macabeo, Arthur Quenéchdu, Samuel Aballéa, Clément François, Laurent Boyer, Philippe Laramée

Get full text

Allocating treatment resources for hepatitis C in the UK: a constrained optimization modelling approach by Ru Han, Shuyao Liang, Clément François, Samuel Aballea, Emilie Clay, Mondher Toumi

Get full text

Correction: Using the Goal Attainment Scale adapted for depression to better understand treatment outcomes in patients with major depressive disorder switching to vortioxetine: a p... by Maggie McCue, Sara Sarkey, Anna Eramo, Clement François, Sagar V. Parikh

Get full text

Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs by Pit-Claudel, Clement Francois, Wang, Peng, Delaware, Benjamin, Gross, Jason S., Chlipala, Adam

Get full text

The Effects of as-Needed Nalmefene on Patient-Reported Outcomes and Quality of Life in Relation to a Reduction in Alcohol Consumption in Alcohol-Dependent Patients. by Clément François, Nora Rahhali, Ylana Chalem, Per Sørensen, Amandine Luquiens, Henri-Jean Aubin

Get full text

Psychometric validation of a patient-reported single-item assessment of ‘Good Day Bad Day’ in a neurogenic orthostatic hypotension population treated with droxidopa by Clément François, Nicola Germain, Renata Majewska, Vanessa Taieb, L. Arthur Hewitt, Steven Kymes

Get full text

Rapid literature review: definition and methodology by Beata Smela, Mondher Toumi, Karolina Świerk, Clement Francois, Małgorzata Biernikiewicz, Emilie Clay, Laurent Boyer

Get full text

Treatment patterns, healthcare resource utilization, and costs following first-line antidepressant treatment in major depressive disorder: a retrospective US claims database analys... by Geneviève Gauthier, Annie Guérin, Maryia Zhdanava, William Jacobson, George Nomikos, Elizabeth Merikle, Clément François, Vanessa Perez

Get full text

Why “American Patients First” is likely to raise drug prices outside of the United States by Monique Dabbous, Cyprien Milea, Steven Simoens, Clement François, Claude Dussart, Lylia Chachoua, Borislav Borissov, Mondher Toumi

Get full text

Access to innovative drugs and the National Reimbursement Drug List in China: Changing dynamics and future trends in pricing and reimbursement by Bérengère Macabeo, Liam Wilson, Jianwei Xuan, Ruichen Guo, Petar Atanasov, Linda Zheng, Clement François, Philippe Laramée

Get full text