Jörg Endrullis

104 papers A* 4A 3B 12C 5Journal 59Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
Termination of Graph Transformation Systems via Generalized Weighted Type Graphs.
Log. Methods Comput. Sci.
Jörg Endrullis, Roy Overbeek
2025 B ed.
33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, Amsterdam, The Netherlands, February 10-14, 2025
CSL
Jörg Endrullis, Sylvain Schmitz
2025 B ed.
Graph Transformation - 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
ICGT
Jörg Endrullis, Matthias Tichy
2025 — ed.
Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models, GCM 2024, Leicester, UK and Enschede, the Netherlands, 18 July 2023 and 9 July 2024.
GCM
Jörg Endrullis, Dominik Grzelak, Tobias Heindel, Jens Kosiol
2024 J jnl
Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets.
CoRR
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2024 — conf
Correspondence Between Composite Theories and Distributive Laws.
CMCS
Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
2024 J jnl
Correspondence between Composite Theories and Distributive Laws.
CoRR
Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
2024 B conf
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.
ICGT
Jörg Endrullis, Roy Overbeek
2024 J jnl
Termination of Graph Transformation Systems Using Weighted Subgraph Counting.
Log. Methods Comput. Sci.
Roy Overbeek, Jörg Endrullis
2023 — conf
Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets.
Tbilisi
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2023 J jnl
Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting.
CoRR
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
2023 B conf
Fuzzy Presheaves are Quasitoposes.
ICGT
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
2023 J jnl
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.
CoRR
Jörg Endrullis, Roy Overbeek
2023 J jnl
Graph rewriting and relabeling with PBPO
J. Log. Algebraic Methods Program.
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
2023 B conf
Termination of Graph Transformation Systems Using Weighted Subgraph Counting.
ICGT
Roy Overbeek, Jörg Endrullis
2023 J jnl
Termination of Graph Transformation Systems using Weighted Subgraph Counting.
CoRR
Roy Overbeek, Jörg Endrullis
2022 — conf
A PBPO+ Graph Rewriting Tutorial.
TERMGRAPH@FSCD
Roy Overbeek, Jörg Endrullis
2022 — conf
Algebraic Presentation of Semifree Monads.
CMCS
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2022 J jnl
Algebraic Presentation of Semifree Monads.
CoRR
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2022 J jnl
Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes.
CoRR
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
2021 — conf
From Linear Term Rewriting to Graph Rewriting with Preservation of Termination.
GCM@STAF
Roy Overbeek, Jörg Endrullis
2021 B conf
Graph Rewriting and Relabeling with PBPO
ICGT
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
2021 J jnl
Star Games and Hydras.
Log. Methods Comput. Sci.
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
2020 J jnl
Decreasing Diagrams for Confluence and Commutation.
Log. Methods Comput. Sci.
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
2020 J jnl
Graph Rewriting and Relabeling with PBPO+ (Extended Version).
CoRR
Roy Overbeek, Jörg Endrullis
2020 B conf
Patch Graph Rewriting.
ICGT
Roy Overbeek, Jörg Endrullis
2020 J jnl
Patch Graph Rewriting.
CoRR
Roy Overbeek, Jörg Endrullis
2020 J jnl
Star Games and Hydras.
CoRR
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
2020 J jnl
Transducer degrees: atoms, infima and suprema.
Acta Informatica
Jörg Endrullis, Jan Willem Klop, Rena Bakhshi
2019 J jnl
Braids via term rewriting.
Theor. Comput. Sci.
Jörg Endrullis, Jan Willem Klop
2019 — conf
Confluence of the Chinese Monoid.
The Art of Modelling Computational Systems
Jörg Endrullis, Jan Willem Klop
2019 J jnl
Decreasing Diagrams for Confluence and Commutation.
CoRR
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
2019 J jnl
Syllogistic logic with "Most".
Math. Struct. Comput. Sci.
Jörg Endrullis, Lawrence S. Moss
2018 J jnl
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic.
Log. Methods Comput. Sci.
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2018 B conf
Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems.
FSCD
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
2018 J jnl
Degrees of Infinite Words, Polynomials and Atoms.
Int. J. Found. Comput. Sci.
Jörg Endrullis, Juhani Karhumäki, Jan Willem Klop, Aleksi Saarela
2018 J jnl
Degrees of Infinite Words, Polynomials, and Atoms (Extended Version).
CoRR
Jörg Endrullis, Juhani Karhumäki, Jan Willem Klop, Aleksi Saarela
2017 J jnl
Clocked lambda calculus.
Math. Struct. Comput. Sci.
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
2017 J jnl
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic.
CoRR
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2017 C conf
Undecidability and Finite Automata.
DLT
Jörg Endrullis, Jeffrey O. Shallit, Tim Smith
2017 J jnl
Undecidability and Finite Automata.
CoRR
Jörg Endrullis, Jeffrey O. Shallit, Tim Smith
2016 C conf
Degrees of Infinite Words, Polynomials and Atoms.
DLT
Jörg Endrullis, Juhani Karhumäki, Jan Willem Klop, Aleksi Saarela
2015 J jnl
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version).
CoRR
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2015 — conf
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning.
RTA
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2015 — conf
Degrees of Transducibility.
WORDS
Jörg Endrullis, Jan Willem Klop, Aleksi Saarela, Markus A. Whiteland
2015 J jnl
Proving Looping and Non-Looping Non-Termination by Finite Automata.
CoRR
Jörg Endrullis, Hans Zantema
2015 — conf
Proving non-termination by finite automata.
RTA
Jörg Endrullis, Hans Zantema
2015 A* conf
Regularity Preserving but Not Reflecting Encodings.
LICS
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
2015 J jnl
Regularity Preserving but not Reflecting Encodings.
CoRR
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
2015 C conf
Syllogistic Logic with "Most".
WoLLIC
Jörg Endrullis, Lawrence S. Moss
2015 J jnl
The Degree of Squares is an Atom (Extended Version).
CoRR
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Hans Zantema
2015 — conf
The Degree of Squares is an Atom.
WORDS
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Hans Zantema
2014 J jnl
An Introduction to the Clocked Lambda Calculus.
CoRR
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
2014 J jnl
Discriminating Lambda-Terms Using Clocked Boehm Trees
Log. Methods Comput. Sci.
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
2014 C conf
Eigenvalues and Transduction of Morphic Sequences.
Developments in Language Theory
David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss
2014 J jnl
Eigenvalues and Transduction of Morphic Sequences: Extended Version.
CoRR
David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss
2014 J jnl
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples.
Log. Methods Comput. Sci.
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom
2014 J jnl
Non-termination using Regular Languages.
CoRR
Jörg Endrullis, Hans Zantema
2014 — conf
On periodically iterated morphisms.
CSL-LICS
Jörg Endrullis, Dimitri Hendriks
2014 J jnl
On the complexity of stream equality.
J. Funct. Program.
Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi, Grigore Rosu
2013 J jnl
A Coinductive Treatment of Infinitary Rewriting.
CoRR
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2013 B conf
Circular Coinduction in Coq Using Bisimulation-Up-To Techniques.
ITP
Jörg Endrullis, Dimitri Hendriks, Martin Bodin
2013 — conf
Clocks for Functional Programs.
The Beauty of Functional Code
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
2013 C conf
Mix-Automatic Sequences.
LATA
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
2013 J jnl
Streams are Forever.
Bull. EATCS
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
2012 J jnl
Arithmetic Self-Similarity of Infinite Sequences.
CoRR
Dimitri Hendriks, Frits Dannenberg, Jörg Endrullis, Mark Dow, Jan Willem Klop
2012 J jnl
Automatic Sequences and Zip-Specifications
CoRR
Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
2012 A* conf
Automatic Sequences and Zip-Specifications.
LICS
Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
2012 J jnl
Highlights in infinitary rewriting and lambda calculus.
Theor. Comput. Sci.
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
2012 J jnl
On Periodically Iterated Morphisms
CoRR
Jörg Endrullis, Dimitri Hendriks
2012 J jnl
On the Complexity of Equivalence of Specifications of Infinite Objects
CoRR
Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi
2012 A conf
On the complexity of equivalence of specifications of infinite objects.
ICFP
Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi
2011 J jnl
Degrees of Streams.
Integers
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
2011 J jnl
Fast leader election in anonymous rings with bounded expected delay.
Inf. Process. Lett.
Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
2011 — conf
Infinitary Rewriting Coinductively.
TYPES
Jörg Endrullis, Andrew Polonsky
2011 J jnl
Lazy productivity via termination.
Theor. Comput. Sci.
Jörg Endrullis, Dimitri Hendriks
2011 J jnl
Levels of undecidability in rewriting.
Inf. Comput.
Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema
2011 J jnl
On equal μ-terms.
Theor. Comput. Sci.
Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom
2011 — conf
Proving Equality of Streams Automatically.
RTA
Hans Zantema, Jörg Endrullis
2010 J jnl
Asynchronous Bounded Expected Delay Networks
CoRR
Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
2010 — conf
Automating the Mean-Field Method for Large Dynamic Gossip Networks.
QEST
Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan J. Fokkink, Boudewijn R. Haverkort
2010 A* conf
Brief announcement: asynchronous bounded expected delay networks.
PODC
Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
2010 J jnl
Levels of Undecidability in Infinitary Rewriting: Normalization and Reachability
CoRR
Jörg Endrullis
2010 J jnl
Local Termination: theory and practice
Log. Methods Comput. Sci.
Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann
2010 J jnl
Modular Construction of Fixed Point Combinators and Clocked Boehm Trees
CoRR
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
2010 A* conf
Modular Construction of Fixed Point Combinators and Clocked Bohm Trees.
LICS
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
2010 J jnl
Productivity of stream definitions.
Theor. Comput. Sci.
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop
2010 J jnl
Transforming Outermost into Context-Sensitive Rewriting
Log. Methods Comput. Sci.
Jörg Endrullis, Dimitri Hendriks
2010 — conf
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting.
RTA
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom
2009 J jnl
Complexity of Fractran and Productivity
CoRR
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
2009 A conf
Complexity of Fractran and Productivity.
CADE
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
2009 J jnl
Degrees of Undecidability in Rewriting
CoRR
Jörg Endrullis, Herman Geuvers, Hans Zantema
2009 B conf
Degrees of Undecidability in Term Rewriting.
CSL
Jörg Endrullis, Herman Geuvers, Hans Zantema
2009 — conf
From Outermost to Context-Sensitive Rewriting.
RTA
Jörg Endrullis, Dimitri Hendriks
2009 J jnl
Let's Make a Difference!
CoRR
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
2009 — conf
Local Termination.
RTA
Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann
2009 J jnl
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting
CoRR
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop
2008 J jnl
Data-Oblivious Stream Productivity
CoRR
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
2008 B conf
Data-Oblivious Stream Productivity.
LPAR
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
2008 J jnl
Matrix Interpretations for Proving Termination of Term Rewriting.
J. Autom. Reason.
Jörg Endrullis, Johannes Waldmann, Hans Zantema
2008 — conf
Proving Infinitary Normalization.
TYPES
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer
2008 — conf
Reduction Under Substitution.
RTA
Jörg Endrullis, Roel C. de Vrijer
2007 B conf
Productivity of Stream Definitions.
FCT
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop
2006 A conf
Matrix Interpretations for Proving Termination of Term Rewriting.
IJCAR
Jörg Endrullis, Johannes Waldmann, Hans Zantema