Graph explorer

Research map

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

Paweł Sobociński
Map detail
Paweł Sobociński8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPaweł SobocińskiAPaweł SobocińskiResearcherCompositional model checking of concurrent systems, with Petri netsWCompositional model che...preprint / 2016Monoidal Width: Unifying Tree Width, Path Width and Branch WidthWMonoidal Width: Unifyin...preprint / 2022Regular Monoidal LanguagesWRegular Monoidal Languagespreprint / 2022Proceedings Sixth Workshop on Structural Operational SemanticsWProceedings Sixth Works...preprint / 2010Proceedings Seventh Workshop on Structural Operational SemanticsWProceedings Seventh Wor...preprint / 2010Compositional modelling of network gamesWCompositional modelling...preprint / 2022String Diagram Rewrite Theory III: Confluence with and without FrobeniusWString Diagram Rewrite ...preprint / 2022
Person7 links

Paweł Sobociński

Researcher