BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jörg Endrullis
SearchCollections
Map detail
Jörg Endrullis12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJörg EndrullisAJörg EndrullisResearcherNon-termination using Regular LanguagesWNon-termination using R...preprint / 2014Regularity Preserving but not Reflecting EncodingsWRegularity Preserving b...preprint / 2015The Degree of Squares is an Atom (Extended Version)WThe Degree of Squares i...preprint / 2015A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version)WA Coinductive Framework...preprint / 2015Proving Looping and Non-Looping Non-Termination by Finite AutomataWProving Looping and Non...preprint / 2015An Introduction to the Clocked Lambda CalculusWAn Introduction to the ...preprint / 2014Patch Graph Rewriting (Extended Version)WPatch Graph Rewriting (...preprint / 2020Asynchronous Bounded Expected Delay NetworksWAsynchronous Bounded Ex...preprint / 2011Majority DigraphsWMajority Digraphspreprint / 2015Algebraic Presentation of Semifree MonadsWAlgebraic Presentation ...preprint / 2022Eigenvalues and Transduction of Morphic Sequences: Extended VersionWEigenvalues and Transdu...preprint / 2014
Person11 links

Jörg Endrullis

Researcher

PaperNon-termination using Regular LanguagesAuthorship / preprint / 2014PaperRegularity Preserving but not Reflecting EncodingsAuthorship / preprint / 2015PaperThe Degree of Squares is an Atom (Extended Version)Authorship / preprint / 2015PaperA Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version)Authorship / preprint / 2015PaperProving Looping and Non-Looping Non-Termination by Finite AutomataAuthorship / preprint / 2015PaperAn Introduction to the Clocked Lambda CalculusAuthorship / preprint / 2014PaperPatch Graph Rewriting (Extended Version)Authorship / preprint / 2020PaperAsynchronous Bounded Expected Delay NetworksAuthorship / preprint / 2011

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)