Jörg Endrullis

Citado por

	Total	Desde 2019
Citas	1271	336
Índice h	22	9
Índice i10	40	8

160

120

20062007200820092010201120122013201420152016201720182019202020212022202320246 21 40 60 102 87 66 70 88 158 54 69 90 77 67 55 32 74 31

Acceso público

Ver todo

10 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Dimitri HendriksVU University Amsterdam, Department of Computer ScienceDirección de correo verificada de vu.nl
Jan Willem KlopVrije Universiteit AmsterdamDirección de correo verificada de vu.nl
hans zantemaEindhoven university of technologyDirección de correo verificada de tue.nl
Helle Hvid HansenAssociate Professor at University of GroningenDirección de correo verificada de rug.nl
Alexandra SilvaCornell UniversityDirección de correo verificada de cornell.edu
Rena BakhshiVU University AmsterdamDirección de correo verificada de bakhshi.org
Herman GeuversRadboud University Nijmegen, the NetherlandsDirección de correo verificada de cs.ru.nl
Aleksi SaarelaAcademy Research Fellow, University of TurkuDirección de correo verificada de utu.fi
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamDirección de correo verificada de vu.nl
Tri LaiUniversity of Nebraska - LincolnDirección de correo verificada de unl.edu
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityDirección de correo verificada de uvt.nl
Stefan EndrullisDatabase Group, University of LeipzigDirección de correo verificada de endrullis.de
Jun PangUniversity of LuxembourgDirección de correo verificada de uni.lu
Martin BodinInriaDirección de correo verificada de ens-lyon.org
Jakob Grue SimonsenDepartment of Computer Science, University of Copenhagen (DIKU)Dirección de correo verificada de diku.dk
David A SprungerIndiana State UniversityDirección de correo verificada de indstate.edu
Frits DannenbergDirección de correo verificada de caltech.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignDirección de correo verificada de illinois.edu
Daniel GeblerVU University AmsterdamDirección de correo verificada de vu.nl
Femke van RaamsdonkVU University AmsterdamDirección de correo verificada de vu.nl

Seguir

Jörg Endrullis

VU University Amsterdam

Dirección de correo verificada de endrullis.de

Computer Science Logic Term Rewriting


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	204	2008
Data-oblivious Stream Productivity J Endrullis, C Grabmayer, D Hendriks Logic for Programming, Artificial Intelligence, and Reasoning, 79-96, 2008	59	2008
Matrix interpretations for proving termination of term rewriting J Endrullis, J Waldmann, H Zantema Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006	50	2006
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
Productivity of Stream Definitions J Endrullis, C Grabmayer, D Hendriks, A Isihara, J Klop Fundamentals of Computation Theory, 274-287, 2007	40	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	35	2015
Local Termination: Theory and Practice J Endrullis, R de Vrijer, J Waldmann Logical Methods in Computer Science 6 (2), 2010	34*	2010
Degrees of Streams J Endrullis, D Hendriks, JW Klop Journal of Integers B 11, 1-40, 2011	33*	2011
Lazy Productivity via Termination J Endrullis, D Hendriks Theoretical Computer Science 412 (28), 3203-3225, 2011	32	2011
Infinitary Rewriting Coinductively J Endrullis, A Polonsky LIPIcs-Leibniz International Proceedings in Informatics 19, 2013	31	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
From Outermost to Context-sensitive Rewriting J Endrullis, D Hendriks Rewriting Techniques and Applications, 305-319, 2009	29*	2009
Highlights in Infinitary Rewriting and Lambda Calculus J Endrullis, D Hendriks, JW Klop Theoretical Computer Science 464, 48-71, 2012	28	2012
Circular Coinduction in Coq using Bisimulation-up-to Techniques J Endrullis, D Hendriks, M Bodin Interactive Theorem Proving, 354-369, 2013	26	2013
Proving Infinitary Normalization J Endrullis, C Grabmayer, D Hendriks, J Klop, R de Vrijer Types for Proofs and Programs, 64-82, 2009	26	2009
Complexity of Fractran and Productivity J Endrullis, C Grabmayer, D Hendriks Automated Deduction–CADE-22, 371-387, 2009	26	2009
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
Termination and Productivity J Endrullis Vrije Universiteit Amsterdam, 2010	25*	2010
Syllogistic Logic with “Most” J Endrullis, LS Moss Logic, Language, Information, and Computation, 124-139, 2015	24	2015
Levels of Undecidability in Rewriting J Endrullis, H Geuvers, JG Simonsen, H Zantema Information and Computation 209 (2), 227-245, 2011	24	2011

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores