bibliographer - Ugo Montanari

bibliographer a curated TCS bibliography

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

History-Dependent Automata: An Introduction Ugo Montanari Marco Pistore [github]

An Efficient Unification Algorithm Alberto Martelli Ugo Montanari [github]

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

A Name Abstraction Functor for Named Sets Vincenzo Ciancia Ugo Montanari [github]

Families of Symmetries as Efficient Models of Resource Binding Vincenzo Ciancia Alexander Kurz Ugo Montanari [github]

Coalgebraic minimization of HD-automata for the -calculus using polymorphic types Gianluigi Ferrari Ugo Montanari Emilio Tuosto [github]

An Introduction to History Dependent Automata Ugo Montanari Marco Pistore [github]

Library Size: 13G (7 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]