Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Peter Müller

Bayesian Hierarchical Models for Protein Networks in Single-Cell Mass Cytometry

Cancer Informatics
Cancer ResearchOncology
2014English

Correction To: Impact of an In-Situ Cr(VI)-Contaminated Site Remediation on the Groundwater

Environmental Science and Pollution Research
MutagenesisEnvironmental ChemistryHealthMedicineToxicologyPollution
2020English

Membrane Properties of Hydroxycholesterols Related to the Brain Cholesterol Metabolism

Beilstein Journal of Organic Chemistry
Organic Chemistry
2017English

The Role of a Primary Arthroplasty in the Treatment of Proximal Tibia Fractures in Orthogeriatric Patients

BioMed Research International
ImmunologyMolecular BiologyBiochemistryMicrobiology MedicineGenetics
2016English

Automating Deductive Verification for Weak-Memory Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Automatic Inference of Heap Properties Exploiting Value Domains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Verification Condition Generation for Permission Logics With Abstract Predicates and Abstraction Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Tetrakis(acetonitrile)copper(I) Hydrogen Oxalate–oxalic Acid–acetonitrile (1/0.5/0.5)

Acta Crystallographica Section E Structure Reports Online
2013English

Two Polymorphs of 1,8-Dichloroanthracene

Acta Crystallographica Section C Crystal Structure Communications
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy