If you made any changes in Pure these will be visible here soon.

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 2 Similar Profiles
Finite automata Engineering & Materials Science
Rewriting Mathematics
Undecidability Mathematics
Transducer Mathematics
Term Mathematics
Transducers Engineering & Materials Science
Finite Automata Mathematics
Normal Form Mathematics

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

Research Output 2006 2017

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

Clocked lambda calculus

Endrullis, J., Hendriks, D., Klop, J. W. & Polonsky, A. 1 Jun 2017 In : Mathematical Structures in Computer Science (MSCS). 27, 5, p. 782-806 25 p.

Research output: Contribution to journalArticle

Lambda Calculus
Term
Normal Form
Fixed point
Unary

Undecidability and finite automata

Endrullis, J., Shallit, J. & Smith, T. 2017 Developments in Language Theory - 21st International Conference, DLT 2017, Proceedings. Springer/Verlag, Vol. 10396 LNCS, p. 160-172 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10396 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Undecidability
Finite Automata
Finite automata
Rewriting
Decision problem

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: Chapter in Book/Report/Conference proceedingConference contribution

Infinite Words
Transducer
Transducers
Polynomials
Pure mathematics

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: Contribution to journalArticle

Digraph
If and only if
Propositional Logic
Reversal
Assertion

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: Contribution to journalArticle