Search Results - "FRICK, Markus"

Refine Results
  1. 1

    Metal‐Free Nitrile Diboration through Activation by an Electron‐Rich Diborane by Frick, Markus, Kaifer, Elisabeth, Himmel, Hans‐Jörg

    Published in Angewandte Chemie International Edition (11-09-2017)
    “…Diboration of unsaturated organic compounds is an extremely useful reaction in synthetic chemistry. Herein, we report the first diboration of a nitrile by an…”
    Get full text
    Journal Article
  2. 2

    The complexity of first-order and monadic second-order logic revisited by Frick, Markus, Grohe, Martin

    Published in Annals of pure and applied logic (01-12-2004)
    “…The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in C. In this paper, we give…”
    Get full text
    Journal Article
  3. 3

    Metallfreie Diborierung von Nitrilen durch Aktivierung eines elektronenreichen Diborans by Frick, Markus, Kaifer, Elisabeth, Himmel, Hans‐Jörg

    Published in Angewandte Chemie (11-09-2017)
    “…Diborierungen von ungesättigten organischen Molekülen sind äußerst nützliche Reaktionen in der Synthesechemie. Hier berichten wir über die erste Diborierung…”
    Get full text
    Journal Article
  4. 4
  5. 5

    Catalyst‐Free Hydroboration of CO2 With a Nucleophilic Diborane(4) by Frick, Markus, Horn, Julian, Wadepohl, Hubert, Kaifer, Elisabeth, Himmel, Hans‐Jörg

    Published in Chemistry : a European journal (16-11-2018)
    “…Hydroboration generally requires the presence of a catalyst to lower the barrier for hydride transfer. This work reports on the first catalyst‐free CO2…”
    Get full text
    Journal Article
  6. 6

    Catalyst‐Free Hydroboration of CO 2 With a Nucleophilic Diborane(4) by Frick, Markus, Horn, Julian, Wadepohl, Hubert, Kaifer, Elisabeth, Himmel, Hans‐Jörg

    Published in Chemistry : a European journal (16-11-2018)
    “…Abstract Hydroboration generally requires the presence of a catalyst to lower the barrier for hydride transfer. This work reports on the first catalyst‐free CO…”
    Get full text
    Journal Article
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12

    Generalized Model-Checking over Locally Tree-Decomposable Classes by Frick, Markus

    Published in Theory of computing systems (01-01-2004)
    “…It has been proved in Frick and Grohe that properties of graphs or other relational structures that are definable in first-order logic can be decided in linear…”
    Get full text
    Journal Article
  13. 13

    Superior mobilisation of haematopoietic progenitor cells with glycosylated G‐CSF in male but not female unrelated stem cell donors by Fischer, Johannes C., Frick, Markus, Wassmuth, Ralf, Platz, Alexander, Punzel, Michael, Wernet, Peter

    Published in British journal of haematology (01-09-2005)
    “…Summary Granulocyte colony‐stimulating factor (G‐CSF) effectively mobilises haematopoietic stem cells to the peripheral blood. It is unclear whether the…”
    Get full text
    Journal Article
  14. 14

    Metallfreie Diborierung von Nitrilen durch Aktivierung eines elektronenreichen Diborans by Frick, Markus, Kaifer, Elisabeth, Himmel, Hans‐Jörg

    Published in Angewandte Chemie (11-09-2017)
    “…Abstract Diborierungen von ungesättigten organischen Molekülen sind äußerst nützliche Reaktionen in der Synthesechemie. Hier berichten wir über die erste…”
    Get full text
    Journal Article
  15. 15

    Model-Based Generation of Attack-Fault Trees by Groner, Raffaela, Witte, Thomas, Raschke, Alexander, Hirn, Sophie, Pekaric, Irdin, Frick, Markus, Tichy, Matthias, Felderer, Michael

    Published 18-09-2023
    “…Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault…”
    Get full text
    Journal Article
  16. 16

    Streamlining Attack Tree Generation: A Fragment-Based Approach by Pekaric, Irdin, Frick, Markus, Adigun, Jubril Gbolahan, Groner, Raffaela, Witte, Thomas, Raschke, Alexander, Felderer, Michael, Tichy, Matthias

    Published 01-10-2023
    “…Attack graphs are a tool for analyzing security vulnerabilities that capture different and prospective attacks on a system. As a threat modeling tool, it shows…”
    Get full text
    Journal Article
  17. 17
  18. 18

    The complexity of first-order and monadic second-order logic revisited by Frick, M., Grohe, M.

    “…The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in C. In this paper, we give…”
    Get full text
    Conference Proceeding Journal Article
  19. 19

    Query evaluation on compressed trees by Frick, M., Grohe, M., Koch, C.

    “…This paper studies the problem of evaluating unary (or node-selecting) queries on unranked trees compressed in a natural structure-preserving way, by the…”
    Get full text
    Conference Proceeding
  20. 20