Jörg Endrullis

Cited by

	All	Since 2016
Citations	1080	386
h-index	21	12
i10-index	36	14

160

120

20062007200820092010201120122013201420152016201720182019202020217 23 36 56 106 83 68 69 89 144 70 80 78 99 50 7

Co-authors

Dimitri HendriksVU University Amsterdam, Department of Computer ScienceVerified email at vu.nl
Jan Willem KlopVU University 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 SilvaProfessor at University College LondonVerified email at ucl.ac.uk
Rena BakhshiVU University AmsterdamVerified email at bakhshi.org
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Aleksi SaarelaResearcher of Mathematics, University of TurkuVerified email at utu.fi
Tri LaiAssistant Professor of Mathematics, University of Nebraska - LincolnVerified email at unl.edu
Jun PangUniversity of LuxembourgVerified email at uni.lu
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
Martin BodinImperial College LondonVerified email at ens-lyon.org
Jakob Grue SimonsenDepartment of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
David A SprungerNational Institute of InformaticsVerified email at nii.ac.jp
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Frits DannenbergVerified email at caltech.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	188	2008
Data-oblivious Stream Productivity J Endrullis, C Grabmayer, D Hendriks Logic for Programming, Artificial Intelligence, and Reasoning, 79-96, 2008	55	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	48	2010
Matrix interpretations for proving termination of term rewriting J Endrullis, J Waldmann, H Zantema International Joint Conference on Automated Reasoning, 574-588, 2006	46	2006
Productivity of Stream Definitions J Endrullis, C Grabmayer, D Hendriks, A Isihara, J Klop Fundamentals of Computation Theory, 274-287, 2007	37	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	34	2015
Local Termination: Theory and Practice J Endrullis, R de Vrijer, J Waldmann Logical Methods in Computer Science 6 (2), 2010	31*	2010
Lazy Productivity via Termination J Endrullis, D Hendriks Theoretical Computer Science 412 (28), 3203-3225, 2011	30	2011
From Outermost to Context-sensitive Rewriting J Endrullis, D Hendriks Rewriting Techniques and Applications, 305-319, 2009	30*	2009
Degrees of Streams J Endrullis, D Hendriks, JW Klop Journal of Integers B 11, 1-40, 2011	29*	2011
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	28	2010
Infinitary Rewriting Coinductively J Endrullis, A Polonsky LIPIcs-Leibniz International Proceedings in Informatics 19, 2013	26	2013
Highlights in Infinitary Rewriting and Lambda Calculus J Endrullis, D Hendriks, JW Klop Theoretical Computer Science 464, 48-71, 2012	26	2012
Termination and Productivity J Endrullis Vrije Universiteit Amsterdam, 2010	25*	2010
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
Circular Coinduction in Coq using Bisimulation-up-to Techniques J Endrullis, D Hendriks, M Bodin Interactive Theorem Proving, 354-369, 2013	24	2013
Proving Infinitary Normalization J Endrullis, C Grabmayer, D Hendriks, J Klop, R de Vrijer Types for Proofs and Programs, 64-82, 2009	24	2009
Decomposing Terminating Rewrite Relations J Endrullis, D Hofbauer, J Waldmann Proc. 8th WST, 39-43, 2006	23*	2006
Complexity of Fractran and Productivity J Endrullis, C Grabmayer, D Hendriks Automated Deduction–CADE-22, 371-387, 2009	22	2009
Jambox: Automated Termination Analysis of Term Rewriting Systems J Endrullis	22	2007

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

Upload PDF

Follow this author

Cited by

Co-authors