Search Results - Keidel, Sven

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Sound and reusable components for abstract interpretation

    Sound and reusable components for abstract interpretation by Keidel, Sven, Erdweg, Sebastian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters

    Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters by Keidel, Sven, Erdweg, Sebastian, Hombücher, Tobias

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    AXA: Cross-Language Analysis through Integration of Single-Language Analyses

    AXA: Cross-Language Analysis through Integration of Single-Language Analyses by Roth, Tobias, Naumann, Julius, Helm, Dominik, Keidel, Sven, Mezini, Mira

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Compositional soundness proofs of abstract interpreters

    Compositional soundness proofs of abstract interpreters by Keidel, Sven, Poulsen, Casper Bach, Erdweg, Sebastian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Abstracting Denotational Interpreters

    Abstracting Denotational Interpreters by Graf, Sebastian, Simon Peyton Jones, Keidel, Sven

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Explaining the doubling of N2O emissions under elevated CO2 in the Giessen FACE via in‐field 15N tracing

    Explaining the doubling of N2O emissions under elevated CO2 in the Giessen FACE via in‐field 15N tracing by Moser, Gerald, Gorenflo, André, Brenzinger, Kristof, Keidel, Lisa, Braker, Gesche, Marhan, Sven, Clough, Tim J., Müller, Christoph

    Published in Global change biology
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Locally Increased Incidence of Periorbital Necrotizing Fasciitis

    Locally Increased Incidence of Periorbital Necrotizing Fasciitis by Schuh, Anna, Keidel, Leonie, Siegmund, Birte, Otto, Sven, Priglinger, Siegfried, Hintschich, Christoph

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Locally Increased Incidence of Periorbital Necrotizing Fasciitis: A Case Series

    Locally Increased Incidence of Periorbital Necrotizing Fasciitis: A Case Series by Schuh, Anna, Keidel, Leonie, Siegmund, Birte, Otto, Sven, Priglinger, Siegfried, Hintschich, Christoph

    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Explaining the doubling of N 2 O emissions under elevated CO 2 in the Giessen FACE via in-field 15 N tracing

    Explaining the doubling of N 2 O emissions under elevated CO 2 in the Giessen FACE via in-field 15 N tracing by Moser, Gerald, Gorenflo, André, Brenzinger, Kristof, Keidel, Lisa, Braker, Gesche, Marhan, Sven, Clough, Tim J, Müller, Christoph

    Published in Global change biology
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Locally increased incidence of periorbital necrotizing fasciitis

    Locally increased incidence of periorbital necrotizing fasciitis by Schuh, Anna, Keidel, Leonie, Siegmund, Birte, Otto, Sven, Priglinger, Siegfried, Hintschich, Christoph

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  11. 11
    Explaining the doubling of N2 O emissions under elevated CO2 in the Giessen FACE via in-field 15 N tracing

    Explaining the doubling of N2 O emissions under elevated CO2 in the Giessen FACE via in-field 15 N tracing by Moser, Gerald, Gorenflo, André, Brenzinger, Kristof, Keidel, Lisa, Braker, Gesche, Marhan, Sven, Clough, Tim J, Müller, Christoph

    Published in Global change biology
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: