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)

Wissenschaftsdisziplinen

Medizinisch-theoretische Wissenschaften, Pharmazie (100%)

Keywords

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

Forschungsstätte(n)
Nationale Projektbeteiligte
  • Brunhilde Molzer, assoziierte:r Forschungspartner:in

Research Output

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