Search Results - Czerner, Philipp

  • Showing 1 - 20 results of 20
Refine Results
  1. 1
    Fast and succinct population protocols for Presburger arithmetic

    Fast and succinct population protocols for Presburger arithmetic by Czerner, Philipp, Guttenberg, Roland, Helfrich, Martin, Esparza, Javier

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Multi-agent programming contest 2017: lampe team description

    Multi-agent programming contest 2017: lampe team description by Czerner, Philipp, Pieper, Jonathan

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Lower bounds on the state complexity of population protocols

    Lower bounds on the state complexity of population protocols by Czerner, Philipp, Esparza, Javier, Leroux, Jérôme

    Published in Distributed computing
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Breaking through the \(\Omega(n)\)-space barrier: Population Protocols Decide Double-exponential Thresholds

    Breaking through the \(\Omega(n)\)-space barrier: Population Protocols Decide Double-exponential Thresholds by Czerner, Philipp

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Compact Oblivious Routing in Weighted Graphs

    Compact Oblivious Routing in Weighted Graphs by Czerner, Philipp, Räcke, Harald

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    The Expressive Power of Uniform Population Protocols with Logarithmic Space

    The Expressive Power of Uniform Population Protocols with Logarithmic Space by Czerner, Philipp, Fischer, Vincent, Guttenberg, Roland

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Running Time Analysis of Broadcast Consensus Protocols

    Running Time Analysis of Broadcast Consensus Protocols by Czerner, Philipp, Jaax, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Decision Power of Weak Asynchronous Models of Distributed Computing

    Decision Power of Weak Asynchronous Models of Distributed Computing by Czerner, Philipp, Guttenberg, Roland, Helfrich, Martin, Esparza, Javier

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    The Black Ninjas and the Sniper: On Robustness of Population Protocols

    The Black Ninjas and the Sniper: On Robustness of Population Protocols by Lossin, Benno, Czerner, Philipp, Esparza, Javier, Guttenberg, Roland, Prehn, Tobias

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    A Resolution-Based Interactive Proof System for UNSAT

    A Resolution-Based Interactive Proof System for UNSAT by Czerner, Philipp, Esparza, Javier, Krasotin, Valentin, Krauss, Adrian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Computing Inductive Invariants of Regular Abstraction Frameworks

    Computing Inductive Invariants of Regular Abstraction Frameworks by Czerner, Philipp, Esparza, Javier, Krasotin, Valentin, Welzel-Mohr, Christoph

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Lower Bounds on the State Complexity of Population Protocols

    Lower Bounds on the State Complexity of Population Protocols by Czerner, Philipp, Esparza, Javier, Leroux, Jérôme

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Fast and Succinct Population Protocols for Presburger Arithmetic

    Fast and Succinct Population Protocols for Presburger Arithmetic by Czerner, Philipp, Guttenberg, Roland, Helfrich, Martin, Esparza, Javier

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Making \(\textsf{IP}=\textsf{PSPACE}\) Practical: Efficient Interactive Protocols for BDD Algorithms

    Making \(\textsf{IP}=\textsf{PSPACE}\) Practical: Efficient Interactive Protocols for BDD Algorithms by Couillard, Eszter, Czerner, Philipp, Esparza, Javier, Majumdar, Rupak

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Weakly acyclic diagrams: A data structure for infinite-state symbolic verification

    Weakly acyclic diagrams: A data structure for infinite-state symbolic verification by Blondin, Michael, Cadilhac, Michaël, Xin-Yi, Cui, Czerner, Philipp, Esparza, Javier, Schulz, Jakob

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Ab initio description of disorder effects in layered cathode active materials by the coherent potential approximation

    Ab initio description of disorder effects in layered cathode active materials by the coherent potential approximation by Eckhardt, Janis K, Risius, Philipp E, Czerner, Michael, Heiliger, Christian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Ab initiodescription of disorder effects in layered cathode active materials by the coherent potential approximation

    Ab initiodescription of disorder effects in layered cathode active materials by the coherent potential approximation by Eckhardt, Janis K, Risius, Philipp E, Czerner, Michael, Heiliger, Christian

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    4D-flow cardiac magnetic resonance imaging after aortic root replacement with long-valved decellularized aortic homografts: comparison to valve-sparing aortic root replacement and healthy controls

    4D-flow cardiac magnetic resonance imaging after aortic root replacement with long-valved decellularized aortic homografts: comparison to valve-sparing aortic root replacement and... by Cvitkovic, Tomislav, Bobylev, Dmitry, Horke, Alexander, Avsar, Murat, Beerbaum, Philipp, Martens, Andreas, Böthig, Dietmar, Petenà, Elena, Gutberlet, Marcel, Beyer, Frerk Hinnerk, Wacker, Frank, Cebotari, Serghei, Haverich, Axel, Vogel-Claussen, Jens, Sarikouch, Samir, Czerner, Christoph

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Magnetic tunnel junctions: An efficient way for electrical skyrmion detection investigated by ab initio theory

    Magnetic tunnel junctions: An efficient way for electrical skyrmion detection investigated by ab initio theory by Schäfer-Richarz, Jonas Friedrich, Risius, Philipp, Czerner, Michael, Heiliger, Christian

    Published in Physical review. B
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Skyrmion meets magnetic tunnel junction: an efficient way for electrical skyrmion detection investigated by ab initio theory

    Skyrmion meets magnetic tunnel junction: an efficient way for electrical skyrmion detection investigated by ab initio theory by Jonas Friedrich Schäfer-Richarz, Risius, Philipp, Czerner, Michael, Heiliger, Christian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: