|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss |
Automatic Sequences and Zip-Specifications  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang |
Fast leader election in anonymous rings with bounded expected delay. |
Inf. Process. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom |
On equal μ-terms. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks |
Lazy productivity via termination. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema |
Levels of undecidability in rewriting. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Zantema, Jörg Endrullis |
Proving Equality of Streams Automatically. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
Productivity of stream definitions. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann |
Local Termination: theory and practice |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang |
Asynchronous Bounded Expected Delay Networks |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks |
Transforming Outermost into Context-Sensitive Rewriting |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop |
Modular Construction of Fixed Point Combinators and Clocked Boehm Trees |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis |
Levels of Undecidability in Infinitary Rewriting: Normalization and Reachability |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom |
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang |
Brief announcement: asynchronous bounded expected delay networks. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
abd networks, probabilistic algorithms, anonymous networks |
| 1 | Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort |
Automating the Mean-Field Method for Large Dynamic Gossip Networks. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop |
Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop |
Let's Make a Difference! |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop |
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Herman Geuvers, Hans Zantema |
Degrees of Undecidability in Rewriting |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Complexity of Fractran and Productivity |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Complexity of Fractran and Productivity. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann |
Local Termination. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks |
From Outermost to Context-Sensitive Rewriting. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Herman Geuvers, Hans Zantema |
Degrees of Undecidability in Term Rewriting. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Data-Oblivious Stream Productivity |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Johannes Waldmann, Hans Zantema |
Matrix Interpretations for Proving Termination of Term Rewriting. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Matrix interpretations, Satisfiability, Termination, Term rewriting |
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Data-Oblivious Stream Productivity. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer |
Proving Infinitary Normalization. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Roel C. de Vrijer |
Reduction Under Substitution. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
Productivity of Stream Definitions. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Johannes Waldmann, Hans Zantema |
Matrix Interpretations for Proving Termination of Term Rewriting. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")