2011

  1. On Equal μ-Terms
    Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, and Vincent van Oostrom
    Theoretical Computer Science , 412 (28) , pp. 3175–3202 (2011)
  2. Lazy Productivity via Termination
    Jörg Endrullis, and Dimitri Hendriks
    Theoretical Computer Science , 412 (28) , pp. 3203–3225 (2011)
  3. Fast Leader Election in Anonymous Rings with Bounded Expected Delay
    Rena Bakhshi, Jörg Endrullis, Wan Fokkink, and Jun Pang
    Information Processing Letters , 111 (17) , pp. 864–870 (2011)
  4. Degrees of Streams
    Jörg Endrullis, Dimitri Hendriks, and Jan Willem Klop
    Journal of Integers , 11B (A6) , pp. 1–40 (2011)
    bib
  5. Proving Equality of Streams Automatically
    Hans Zantema, and Jörg Endrullis
    In: Proc. Conf. on Rewriting Techniques and Applications (RTA 2011), pp. 393–408, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)
  6. Infinitary Rewriting Coinductively
    Jörg Endrullis, and Andrew Polonsky
    In: Proc. Conf. on Types for Proofs and Programs (TYPES 2012), pp. 16–27, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)
  7. Levels of Undecidability in Rewriting
    Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, and Hans Zantema
    Information and Computation , 209 (2) , pp. 227–245 (2011)