Metachromatic leukodystrophy (MLD): new insights into genotype / phenotype correlation

Metachromatic leukodystrophy (MLD): new insights into genotype / phenotype correlation

Johannes Berger (ORCID: 0000-0003-0182-2658)

Disciplines

Medical-Theoretical Sciences, Pharmacy (100%)

Keywords

    Genotyp/Phänotyp-Korreltaion MLD-Therapie Diagnose Lysosomale Erkrankungen Demyelinisierung, Demyelinisierung, Diagnose, Genotyp/Phänotyp-Kor, Lysosomale Erkrankun, MLD-Therapie

Research institution(s)
Project participants
  • Brunhilde Molzer, associated research partner

Research Output

  • 328 Citations
  • 15 Publications
Publications
  • 2019
    Title Synthesizing adaptive test strategies from temporal logic specifications
    DOI 10.1007/s10703-019-00338-9
    Type Journal Article
    Author Bloem R
    Journal Formal Methods in System Design
    Pages 103-135
    Link Publication
  • 2018
    Title Formal Verification of Masked Hardware Implementations in the Presence of Glitches
    DOI 10.1007/978-3-319-78375-8_11
    Type Book Chapter
    Author Bloem R
    Publisher Springer Nature
    Pages 321-353
  • 2017
    Title Bounded Synthesis for Streett, Rabin, and
    DOI 10.1007/978-3-319-63390-9_18
    Type Book Chapter
    Author Khalimov A
    Publisher Springer Nature
    Pages 333-352
  • 2017
    Title Shield synthesis
    DOI 10.1007/s10703-017-0276-9
    Type Journal Article
    Author Könighofer B
    Journal Formal Methods in System Design
    Pages 332-361
    Link Publication
  • 2016
    Title Synthesizing Adaptive Test Strategies from Temporal Logic Specifications
    DOI 10.1109/fmcad.2016.7886656
    Type Conference Proceeding Abstract
    Author Bloem R
    Pages 17-24
    Link Publication
  • 2016
    Title The first reactive synthesis competition (SYNTCOMP 2014)
    DOI 10.1007/s10009-016-0416-3
    Type Journal Article
    Author Jacobs S
    Journal International Journal on Software Tools for Technology Transfer
    Pages 367-390
  • 2017
    Title Synthesizing Non-Vacuous Systems
    DOI 10.1007/978-3-319-52234-0_4
    Type Book Chapter
    Author Bloem R
    Publisher Springer Nature
    Pages 55-72
  • 2016
    Title Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
    DOI 10.1007/978-3-319-41528-4_9
    Type Book Chapter
    Author Bloem R
    Publisher Springer Nature
    Pages 157-176
  • 2015
    Title Tight Cutoffs for Guarded Protocols with Fairness
    DOI 10.1007/978-3-662-49122-5_23
    Type Book Chapter
    Author Außerlechner S
    Publisher Springer Nature
    Pages 476-494
  • 2015
    Title Synthesizing Cooperative Reactive Mission Plans
    DOI 10.1109/iros.2015.7353862
    Type Conference Proceeding Abstract
    Author Rüdiger E
    Pages 3478-3485
  • 2014
    Title Partial Witnesses from Preprocessed Quantified Boolean Formulas
    DOI 10.7873/date2014.162
    Type Conference Proceeding Abstract
    Author Seidl M
    Pages 1-6
  • 2014
    Title Synthesis of Synchronization Using Uninterpreted Functions
    DOI 10.1109/fmcad.2014.6987593
    Type Conference Proceeding Abstract
    Author Bloem R
    Pages 35-42
  • 2014
    Title SAT-Based Methods for Circuit Synthesis
    DOI 10.1109/fmcad.2014.6987592
    Type Conference Proceeding Abstract
    Author Bloem R
    Pages 31-34
    Link Publication
  • 2011
    Title Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions
    DOI 10.1109/memcod.2011.5970508
    Type Conference Proceeding Abstract
    Author Hofferek G
    Pages 31-42
  • 2013
    Title Synthesizing robust systems
    DOI 10.1007/s00236-013-0191-5
    Type Journal Article
    Author Bloem R
    Journal Acta Informatica
    Pages 193-220