# Publications in 2010

## 2010

- Productivity of Stream DefinitionsJörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, and Jan Willem KlopTheoretical Computer Science , 411 (4-5) , pp. 765–782 (2010)
- Brief Announcement: Asynchronous Bounded Expected Delay NetworksRena Bakhshi, Jörg Endrullis, Wan Fokkink, and Jun PangIn: Proc. Symp. on Principles of Distributed Computing (PODC 2010), pp. 392–393, ACM (2010)
- Automating the Mean-Field Method for Large Dynamic Gossip NetworksRena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, and Boudewijn R. HaverkortIn: Proc. Conf. on Quantitative Evaluation of Systems (QEST 2010), pp. 241–250, IEEE Computer Society (2010)
- Local Termination: Theory and PracticeJörg Endrullis, Roel C. de Vrijer, and Johannes WaldmannLogical Methods in Computer Science , 6 (3) (2010)
- Transforming Outermost into Context-Sensitive RewritingJörg Endrullis, and Dimitri HendriksLogical Methods in Computer Science , 6 (2) (2010)
- Modular Construction of Fixed Point Combinators and Clocked Böhm TreesJörg Endrullis, Dimitri Hendriks, and Jan Willem KlopIn: Proc. Symp. on Logic in Computer Science (LICS 2010), pp. 111–119, IEEE Computer Society (2010)
- Unique Normal Forms in Infinitary Weakly Orthogonal RewritingJörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, and Vincent van OostromIn: Proc. Conf. on Rewriting Techniques and Applications (RTA 2010), pp. 85–102, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)