Showing 21 - 40 results of 294 for search ' Schloss Dagstuhl', query time: 0.08s Refine Results
  1. 21
    Transience in countable MDPs

    Transience in countable MDPs by Kiefer, SM, Mayr, R, Shirmohammadi, M, Totzke, P

    Published 2021
    “…Schloss Dagstuhl…”
    Conference item
  2. 22
    The Semialgebraic Orbit Problem

    The Semialgebraic Orbit Problem by Almagor, S, Ouaknine, J, Worrell, J

    Published 2019
    “…Schloss Dagstuhl…”
    Conference item
  3. 23
    The Schützenberger product for syntactic spaces

    The Schützenberger product for syntactic spaces by Gehrke, M, Petrisan, D, Reggio, L

    Published 2016
    “…Schloss Dagstuhl…”
    Conference item
  4. 24
    On the structure of learnability beyond P/poly

    On the structure of learnability beyond P/poly by Rajgopal, N, Santhanam, R

    Published 2021
    “…Schloss Dagstuhl…”
    Conference item
  5. 25
    ZX-calculus: Cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics

    ZX-calculus: Cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics by Jeandel, E, Perdrix, S, Vilmart, R, Wang, Q

    Published 2017
    “…Schloss Dagstuhl…”
    Conference item
  6. 26
    The infinite server problem

    The infinite server problem by Coester, C, Koutsoupias, E, Lazos, F

    Published 2017
    “…Schloss Dagstuhl…”
    Conference item
  7. 27
    Enforcing ω-regular properties in Markov chains by restarting

    Enforcing ω-regular properties in Markov chains by restarting by Esparza, J, Kiefer, SM, Křetínský, J, Weininger, M

    Published 2021
    “…Schloss Dagstuhl…”
    Conference item
  8. 28
    On finite monoids over nonnegative integer matrices and short killing words

    On finite monoids over nonnegative integer matrices and short killing words by Kiefer, S, Mascle, C

    Published 2019
    “…Schloss Dagstuhl…”
    Conference item
  9. 29
    On efficiently solvable cases of Quantum k-SAT

    On efficiently solvable cases of Quantum k-SAT by Aldi, M, De Beaudrap, J, Gharibian, S, Saeedi, S

    Published 2018
    “…Schloss Dagstuhl…”
    Conference item
  10. 30
    A 2-categorical approach to composing quantum structures

    A 2-categorical approach to composing quantum structures by Reutter, D, Vicary, J

    Published 2017
    “…Schloss Dagstuhl…”
    Conference item
  11. 31
    Implicit automata in typed λ-calculi I: Aperiodicity in a non-commutative logic

    Implicit automata in typed λ-calculi I: Aperiodicity in a non-commutative logic by Nguyễn, LTD, Pradic, P

    Published 2020
    “…Schloss Dagstuhl…”
    Conference item
  12. 32
    The Beta-Bernoulli process and algebraic effects

    The Beta-Bernoulli process and algebraic effects by Staton, S, Stein, D, Yang, H, Ackerman, N, Freer, C, Roy, D

    Published 2018
    “…Schloss Dagstuhl…”
    Conference item
  13. 33
    How fast can you escape a compact polytope?

    How fast can you escape a compact polytope? by D'Costa, J, Lefaucheux, E, Ouaknine, J, Worrell, J

    Published 2020
    “…Schloss Dagstuhl…”
    Conference item
  14. 34
    Sampling in uniqueness from the potts and random-cluster models on random regular graphs

    Sampling in uniqueness from the potts and random-cluster models on random regular graphs by Blanca, A, Galanis, A, Goldberg, LA, Štefankovic, D, Vigoda, E, Yang, K

    Published 2018
    “…Schloss Dagstuhl…”
    Conference item
  15. 35
    The complexity of Boolean surjective general-valued CSPs

    The complexity of Boolean surjective general-valued CSPs by Fulla, P, Zivny, S

    Published 2017
    “…Schloss Dagstuhl…”
    Conference item
  16. 36
    The Big-O problem for labelled Markov chains and weighted automata

    The Big-O problem for labelled Markov chains and weighted automata by Chistikov, D, Kiefer, S, Murawski, A, Purser, D

    Published 2020
    “…Schloss Dagstuhl…”
    Conference item
  17. 37
    Minimal quantum resources for strong non-locality

    Minimal quantum resources for strong non-locality by Abramsky, S, Barbosa, R, Caru, G, de Silva, N, Kishida, K, Mansfield, S

    Published 2018
    “…Schloss Dagstuhl…”
    Conference item
  18. 38
    The constraint satisfaction problem: complexity and approximability

    The constraint satisfaction problem: complexity and approximability by Krokhin, A, Zivny, S

    Published 2017
    “…Schloss Dagstuhl…”
    Book
  19. 39
    Stay safe under panic: affine rust programming with multiparty session types

    Stay safe under panic: affine rust programming with multiparty session types by Lagaillardie, N, Neykova, R, Yoshida, N

    Published 2022
    “…Schloss Dagstuhl…”
    Conference item
  20. 40
    A classical groupoid model for quantum networks

    A classical groupoid model for quantum networks by Reutter, D, Vicary, J

    Published 2017
    “…Schloss Dagstuhl…”
    Conference item

Search Tools: