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.

Lutz Schröder
SearchCollections
Map detail
Lutz Schröder13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLutz SchröderALutz SchröderResearcherNominal Automata with Name BindingWNominal Automata with N...preprint / 2021PSPACE Bounds for Rank-1 Modal LogicsWPSPACE Bounds for Rank-...preprint / 2007Linearizability of Non-expansive Semigroup Actions on Metric SpacesWLinearizability of Non-...preprint / 2006Bootstrapping Inductive and Coinductive Types in HasCASLWBootstrapping Inductive...preprint / 2008Completeness of Flat Coalgebraic Fixpoint LogicsWCompleteness of Flat Co...preprint / 2016Automata Learning: An Algebraic ApproachWAutomata Learning: An A...preprint / 2020Non-iterative Modal Logics are CoalgebraicWNon-iterative Modal Log...preprint / 2020NP Reasoning in the Monotone $μ$-CalculusWNP Reasoning in the Mon...preprint / 2020A Coinductive Calculus for Asynchronous Side-effecting ProcessesWA Coinductive Calculus ...preprint / 2011Simulations and Bisimulations For Coalgebraic Modal LogicsWSimulations and Bisimul...preprint / 2013Subsumption Checking in Conjunctive Coalgebraic Fixpoint LogicsWSubsumption Checking in...preprint / 2014Powermonads and Tensors of Unranked EffectsWPowermonads and Tensors...preprint / 2011
Person12 links

Lutz Schröder

Researcher

PaperNominal Automata with Name BindingAuthorship / preprint / 2021PaperPSPACE Bounds for Rank-1 Modal LogicsAuthorship / preprint / 2007PaperLinearizability of Non-expansive Semigroup Actions on Metric SpacesAuthorship / preprint / 2006PaperBootstrapping Inductive and Coinductive Types in HasCASLAuthorship / preprint / 2008PaperCompleteness of Flat Coalgebraic Fixpoint LogicsAuthorship / preprint / 2016PaperAutomata Learning: An Algebraic ApproachAuthorship / preprint / 2020PaperNon-iterative Modal Logics are CoalgebraicAuthorship / preprint / 2020PaperNP Reasoning in the Monotone μμ-CalculusAuthorship / preprint / 2020

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)