On Orthomodular Posets Generated by Transition Systems. - Luca Bernardinello; Lucia Pomello; Stefania Rombolà (QPL/DCM@ICALP, 2008)

Orthomodular Lattices in Occurrence Nets. - Luca Bernardinello; Lucia Pomello; Stefania Rombolà (Petri Nets, 2009)

Closure Operators Associated to Partially Ordered Sets. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello; Stefania Rombolà (NCMA, 2009)

Orthomodular Lattices Induced by the Concurrency Relation - Luca Bernardinello; Lucia Pomello; Stefania Rombolà (DCM, 2009)

Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets. - Luca Bernardinello; Lucia Pomello; Stefania Rombolà (Fundam. Informaticae, 2010)

Orthomodular algebraic lattices related to combinatorial posets. - Luca Bernardinello; Lucia Pomello; Stefania Rombolà (ICTCS, 2014)