bibliographer - Paweł Sobociński

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

String Diagrammatic Trace Theory Matthew Earnshaw Paweł Sobociński [github]

String Diagrammatic Electrical Circuit Theory Guillaume Boisseau Paweł Sobociński [github]

Diagrammatic Algebra of First Order Logic Filippo Bonchi Alessandro Di Giorgio Nathan Haydon Pawel Sobocinski [github]

String Diagrammatic Electrical Circuit Theory Guillaume Boisseau Paweł Sobociński [github]

Regular Monoidal Languages Matthew Earnshaw Paweł Sobociński [github]

Penrose: Putting Compositionality to Work for Petri Net Reachability Paweł Sobociński Owen Stephens [github]

Report on LiCS 2016 Paweł Sobociński [github]

Compositional model checking of concurrent systems, with Petri nets Paweł Sobociński [github]

Compositional Reachability in Petri Nets Julian Rathke Paweł Sobociński Owen Stephens [github]

Interacting Hopf algebras Filippo Bonchi Paweł Sobociński Fabio Zanasi [github]

Adhesive and quasiadhesive categories Stephen Lack Paweł Sobociński [github]

Full Abstraction for Signal Flow Graphs Filippo Bonchi Pawel Sobocinski Fabio Zanasi [github]

A categorical approach to open and interconnected dynamical systems Brendan Fong Paweł Sobociński Paolo Rapisarda [github]

Library Size: 13G (13 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]