Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Paolo Baldan

A Lattice-Theoretical Perspective on Adhesive Categories

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2011English

A Fixed-Point Theorem in a Category of Compact Metric Spaces

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1995English

A Characterization of Distance Between 1-Bounded Compact Ultrametric Spaces Through a Universal Space

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1998English

Concatenable Graph Processes: Relating Processes and Derivation Traces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Distributed Unfolding of Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

History Preserving Bisimulation for Contextual Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy