Travelled to:
1 × France
1 × Portugal
Collaborated with:
A.Lovato F.Spoto G.Conforti V.Sassone
Talks about:
spatial (1) librari (1) diagram (1) bigraph (1) thread (1) binari (1) logic (1) decis (1) safe (1)
Person: Damiano Macedonio
DBLP: Macedonio:Damiano
Contributed to:
Wrote 2 papers:
- SEFM-2014-LovatoMS #diagrams #library #thread
- A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.
- ICALP-2005-ConfortiMS #graph #logic
- Spatial Logics for Bigraphs (GC, DM, VS), pp. 766–778.