Concepedia

Jörg Endrullis

JE

17

Publications

418

Citations

13

H-Index

2006

Active since

Affiliations

Vrije Universiteit Amsterdam(Current)

Eindhoven University of Technology

Radboud University Nijmegen

Indiana University Bloomington

Leipzig University of Applied Sciences

Jörg Endrullis is an author at Vrije Universiteit Amsterdam specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationBusinessVerificationComputational ComplexityMathematical FoundationsSyntax

Publications per year

2006–2023

17

Publications

17

Matrix Interpretations for Proving Termination of Term Rewriting

Jörg Endrullis, Johannes Waldmann, Hans Zantema · Journal of Automated Reasoning · 2007 · 157 citations · Full text

Term Rewriting, Regulated Rewriting, Formal Methods +2

Lazy productivity via termination

Jörg Endrullis, Dimitri Hendriks · Theoretical Computer Science · 2011 · 26 citations · Full text

Productivity, Economics, Workforce Productivity +6

Automating the Mean-Field Method for Large Dynamic Gossip Networks

Rena Bakhshi, Jörg Endrullis, Stefan Endrullis et al. · 2010 · 23 citations

Dynamic Network, Abstraction Method, Network Science +14

Infinitary Rewriting Coinductively

Jörg Endrullis, Andrew Polonsky · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 20 citations · Full text

Complexity of Fractran and Productivity

Jörg Endrullis, Clemens Grabmayer · ArXiv.org · 2009 · 19 citations · Full text

Rows per page

1–5 of 17