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.

Sergey Goncharov
SearchCollections
Map detail
Sergey Goncharov13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSergey GoncharovASergey GoncharovResearcherStateful Structural Operational SemanticsWStateful Structural Ope...preprint / 2022Towards a Uniform Theory of Effectful State MachinesWTowards a Uniform Theor...preprint / 2020The Expressiveness of Looping Terms in the Semantic ProgrammingWThe Expressiveness of L...preprint / 2020A Coinductive Calculus for Asynchronous Side-effecting ProcessesWA Coinductive Calculus ...preprint / 2011Coalgebraic Weak Bisimulation from Recursive Equations over MonadsWCoalgebraic Weak Bisimu...preprint / 2014Powermonads and Tensors of Unranked EffectsWPowermonads and Tensors...preprint / 2011Complete Elgot Monads and Coalgebraic ResumptionsWComplete Elgot Monads a...preprint / 2016Hanf Number for Scott Sentences of Computable StructuresWHanf Number for Scott S...preprint / 2016Quantitative Hennessy-Milner Theorems via Notions of DensityWQuantitative Hennessy-M...preprint / 2022Local Local Reasoning: A BI-Hyperdoctrine for Full Ground StoreWLocal Local Reasoning: ...preprint / 2020Exploring the Boundaries of Monad Tensorability on SetWExploring the Boundarie...preprint / 2013Some Remarks on Conway and Iteration TheoriesWSome Remarks on Conway ...preprint / 2016
Person12 links

Sergey Goncharov

Researcher

PaperStateful Structural Operational SemanticsAuthorship / preprint / 2022PaperTowards a Uniform Theory of Effectful State MachinesAuthorship / preprint / 2020PaperThe Expressiveness of Looping Terms in the Semantic ProgrammingAuthorship / preprint / 2020PaperA Coinductive Calculus for Asynchronous Side-effecting ProcessesAuthorship / preprint / 2011PaperCoalgebraic Weak Bisimulation from Recursive Equations over MonadsAuthorship / preprint / 2014PaperPowermonads and Tensors of Unranked EffectsAuthorship / preprint / 2011PaperComplete Elgot Monads and Coalgebraic ResumptionsAuthorship / preprint / 2016PaperHanf Number for Scott Sentences of Computable StructuresAuthorship / preprint / 2016

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)