Jörg Endrullis

	2012
31		Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss: Automatic Sequences and Zip-Specifications CoRR abs/1201.3251: (2012)
	2011
30		Hans Zantema, Jörg Endrullis: Proving Equality of Streams Automatically. RTA 2011: 393-408
29		Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema: Levels of undecidability in rewriting. Inf. Comput. 209(2): 227-245 (2011)
28		Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang: Fast leader election in anonymous rings with bounded expected delay. Inf. Process. Lett. 111(17): 864-870 (2011)
27		Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom: On equal μ-terms. Theor. Comput. Sci. 412(28): 3175-3202 (2011)
26		Jörg Endrullis, Dimitri Hendriks: Lazy productivity via termination. Theor. Comput. Sci. 412(28): 3203-3225 (2011)
	2010
25		Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop: Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. LICS 2010: 111-119
24		Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang: Brief announcement: asynchronous bounded expected delay networks. PODC 2010: 392-393
23		Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort: Automating the Mean-Field Method for Large Dynamic Gossip Networks. QEST 2010: 241-250
22		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom: Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. RTA 2010: 85-102
21		Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop: Modular Construction of Fixed Point Combinators and Clocked Boehm Trees CoRR abs/1002.2578: (2010)
20		Jörg Endrullis: Levels of Undecidability in Infinitary Rewriting: Normalization and Reachability CoRR abs/1003.1057: (2010)
19		Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang: Asynchronous Bounded Expected Delay Networks CoRR abs/1003.2084: (2010)
18		Jörg Endrullis, Dimitri Hendriks: Transforming Outermost into Context-Sensitive Rewriting Logical Methods in Computer Science 6(2): (2010)
17		Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann: Local Termination: theory and practice Logical Methods in Computer Science 6(3): (2010)
16		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop: Productivity of stream definitions. Theor. Comput. Sci. 411(4-5): 765-782 (2010)
	2009
15		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks: Complexity of Fractran and Productivity. CADE 2009: 371-387
14		Jörg Endrullis, Herman Geuvers, Hans Zantema: Degrees of Undecidability in Term Rewriting. CSL 2009: 255-270
13		Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann: Local Termination. RTA 2009: 270-284
12		Jörg Endrullis, Dimitri Hendriks: From Outermost to Context-Sensitive Rewriting. RTA 2009: 305-319
11		Jörg Endrullis, Herman Geuvers, Hans Zantema: Degrees of Undecidability in Rewriting CoRR abs/0902.4723: (2009)
10		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks: Complexity of Fractran and Productivity CoRR abs/0903.4366: (2009)
9		Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop: Let's Make a Difference! CoRR abs/0911.1004: (2009)
8		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop: Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting CoRR abs/0911.1009: (2009)
	2008
7		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks: Data-Oblivious Stream Productivity. LPAR 2008: 79-96
6		Jörg Endrullis, Roel C. de Vrijer: Reduction Under Substitution. RTA 2008: 425-440
5		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer: Proving Infinitary Normalization. TYPES 2008: 64-82
4		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks: Data-Oblivious Stream Productivity CoRR abs/0806.2680: (2008)
3		Jörg Endrullis, Johannes Waldmann, Hans Zantema: Matrix Interpretations for Proving Termination of Term Rewriting. J. Autom. Reasoning 40(2-3): 195-220 (2008)
	2007
2		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop: Productivity of Stream Definitions. FCT 2007: 274-287
	2006
1		Jörg Endrullis, Johannes Waldmann, Hans Zantema: Matrix Interpretations for Proving Termination of Term Rewriting. IJCAR 2006: 574-588

Coauthor Index

1	Rena Bakhshi	[19] [23] [24] [28]
2	Stefan Endrullis	[23]
3	Wan Fokkink	[19] [23] [24] [28]
4	Herman Geuvers	[11] [14] [29]
5	Clemens Grabmayer	[2] [4] [5] [7] [8] [10] [15] [16] [22] [27] [31]
6	Boudewijn R. Haverkort	[23]
7	Dimitri Hendriks	[2] [4] [5] [7] [8] [9] [10] [12] [15] [16] [18] [21] [22] [25] [26] [31]
8	Ariya Isihara	[2] [16]
9	Jan Willem Klop	[2] [5] [8] [9] [16] [21] [22] [25] [27] [31]
10	Lawrence S. Moss	[31]
11	Vincent van Oostrom	[22] [27]
12	Jun Pang	[19] [24] [28]
13	Jakob Grue Simonsen	[29]
14	Roel C. de Vrijer	[5] [6] [13] [17]
15	Johannes Waldmann	[1] [3] [13] [17]
16	Hans Zantema	[1] [3] [11] [14] [29] [30]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page