bibliographer - Paolo Baldan

bibliographer a curated TCS bibliography

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

A Program Logic for Abstract (Hyper)Properties Paolo Baldan Roberto Bruni Francesco Ranzato Diletta Rigo [github]

Coalgebraic Behavioral Metrics Paolo Baldan Filippo Bonchi Henning Kerstan Barbara Kønig [github]

Left-Linear Rewriting in Adhesive Categories Paolo Baldan Davide Castelnovo Andrea Corradini Fabio Gadducci [github]

Intensional Kleene and Rice Theorems for Abstract Program Semantics Paolo Baldan Francesco Ranzato Linpeng Zhang [github]

A Monoidal View on Fixpoint Checks Paolo Baldan Richard Eggert Barbara Kønig Timo Matt Tommaso Padoan [github]

Contextual Petri Nets, Asymmetric Event Structures, and Processes Paolo Baldan Andrea Corradini Ugo Montanari [github]

Petri nets for modelling metabolic pathways: a survey Paolo Baldan Nicoletta Cocco Andrea Marin Marta Simeoni [github]

Fixpoint games on continuous lattices Paolo Baldan Barbara König Christina Mika-Michalski Tommaso Padoan [github]

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

[show logs] [hide logs]