Personal profile

Ancillary activities

No ancillary activities

Last update Ancillary Activities: Amsterdam (2018-01-22)

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2006 2016

  • 23 Article
  • 16 Conference contribution
  • 1 Report
  • 1 PhD Thesis - Research VU, graduation VU

Degrees of infinite words, polynomials and atoms

Endrullis, J., Karhumäki, J., Klop, J. W. & Saarela, A. 2016 Developments in Language Theory - 20th International Conference, DLT 2016, Proceedings. Springer/Verlag, Vol. 9840, p. 164-176 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9840)

Research output: Scientific - peer-reviewConference contribution

Majority digraphs

Lai, T., Endrullis, J. & Moss, L. S. 2016 In : Proceedings of the American Mathematical Society. 144, 9, p. 3701-3715 15 p.

Research output: Scientific - peer-reviewArticle

Non-Termination of cycle rewriting by finite automata

Endrullis, J. 10 Sep 2016 In : Electronic Proceedings in Theoretical Computer Science. 225, p. 3-4 2 p.

Research output: Scientific - peer-reviewArticle

A coinductive framework for infinitary rewriting and equational reasoning

Endrullis, J., Hansen, H. H., Hendriks, D., Polonsky, A. & Silva, A. 1 Jun 2015 26th International Conference on Rewriting Techniques and Applications, RTA 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 36, p. 143-159 17 p.

Research output: Scientific - peer-reviewConference contribution

Clocked lambda calculus

Endrullis, J., Hendriks, D., Klop, J. W. & Polonsky, A. 15 Oct 2015 In : Mathematical Structures in Computer Science (MSCS).

Research output: Scientific - peer-reviewArticle