Jörg Endrullis

Cited by

	All	Since 2018
Citations	1220	384
h-index	21	11
i10-index	37	13

160

120

2006200720082009201020112012201320142015201620172018201920202021202220237 21 37 58 111 87 66 68 89 149 59 69 89 77 67 50 37 63

Public access

View all

8 articles

1 article

available

not available

Based on funding mandates

Co-authors

Dimitri HendriksVU University Amsterdam, Department of Computer ScienceVerified email at vu.nl
Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
hans zantemaEindhoven university of technologyVerified email at tue.nl
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Rena BakhshiVU University AmsterdamVerified email at bakhshi.org
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Aleksi SaarelaAcademy Research Fellow, University of TurkuVerified email at utu.fi
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Tri LaiUniversity of Nebraska - LincolnVerified email at unl.edu
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
Stefan EndrullisDatabase Group, University of LeipzigVerified email at endrullis.de
Jun PangUniversity of LuxembourgVerified email at uni.lu
Martin BodinInriaVerified email at ens-lyon.org
Jakob Grue SimonsenDepartment of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
David A SprungerIndiana State UniversityVerified email at indstate.edu
Frits DannenbergVerified email at caltech.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Daniel GeblerVU University AmsterdamVerified email at vu.nl
Femke van RaamsdonkVU University AmsterdamVerified email at vu.nl

Jörg Endrullis

VU University Amsterdam

Verified email at endrullis.de

Computer Science Logic Term Rewriting


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Matrix Interpretations for Proving Termination of Term Rewriting (extended journal version) J Endrullis, J Waldmann, H Zantema Journal of Automated Reasoning 40 (2-3), 195-220, 2008	202	2008
Data-oblivious Stream Productivity J Endrullis, C Grabmayer, D Hendriks Logic for Programming, Artificial Intelligence, and Reasoning, 79-96, 2008	59	2008
Productivity of Stream Definitions (extended journal version) J Endrullis, C Grabmayer, D Hendriks, A Isihara, JW Klop Theoretical Computer Science 411 (4), 765-782, 2010	49	2010
Matrix interpretations for proving termination of term rewriting J Endrullis, J Waldmann, H Zantema Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006	47	2006
Productivity of Stream Definitions J Endrullis, C Grabmayer, D Hendriks, A Isihara, J Klop Fundamentals of Computation Theory, 274-287, 2007	41	2007
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning J Endrullis, HH Hansen, D Hendriks, A Polonsky, AM Silva Rewriting Techniques and Applications 36, 143-159, 2015	36	2015
Degrees of Streams J Endrullis, D Hendriks, JW Klop Journal of Integers B 11, 1-40, 2011	34*	2011
Local Termination: Theory and Practice J Endrullis, R de Vrijer, J Waldmann Logical Methods in Computer Science 6 (2), 2010	32*	2010
Lazy Productivity via Termination J Endrullis, D Hendriks Theoretical Computer Science 412 (28), 3203-3225, 2011	31	2011
From Outermost to Context-sensitive Rewriting J Endrullis, D Hendriks Rewriting Techniques and Applications, 305-319, 2009	31*	2009
Infinitary Rewriting Coinductively J Endrullis, A Polonsky LIPIcs-Leibniz International Proceedings in Informatics 19, 2013	29	2013
Automating the Mean-field Method for Large Dynamic Gossip Networks R Bakhshi, J Endrullis, S Endrullis, W Fokkink, B Haverkort Quantitative Evaluation of Systems (QEST), 2010 Seventh International …, 2010	29	2010
Highlights in Infinitary Rewriting and Lambda Calculus J Endrullis, D Hendriks, JW Klop Theoretical Computer Science 464, 48-71, 2012	27	2012
Coinductive foundations of infinitary rewriting and infinitary equational logic J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva Logical Methods in Computer Science 14, 2018	25*	2018
Circular Coinduction in Coq using Bisimulation-up-to Techniques J Endrullis, D Hendriks, M Bodin Interactive Theorem Proving, 354-369, 2013	25	2013
Termination and Productivity J Endrullis Vrije Universiteit Amsterdam, 2010	25*	2010
Proving Infinitary Normalization J Endrullis, C Grabmayer, D Hendriks, J Klop, R de Vrijer Types for Proofs and Programs, 64-82, 2009	25	2009
Complexity of Fractran and Productivity J Endrullis, C Grabmayer, D Hendriks Automated Deduction–CADE-22, 371-387, 2009	25	2009
Degrees of Transducibility J Endrullis, JW Klop, A Saarela, M Whiteland 10th International Conference on Combinatorics on Words, WORDS 2015, 1-13, 2015	24*	2015
Levels of Undecidability in Rewriting J Endrullis, H Geuvers, JG Simonsen, H Zantema Information and Computation 209 (2), 227-245, 2011	23	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors