: Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping.
: Real-Time Refinement in Manna and Pnueli's Temporal Logic.
: Invariants and Closures in the Theory of Rewrite Systems.
: Computable Processes and Bisimulation Equivalence.
, Elena Zucca
: An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract).
: Impact of Performance Considerations on Formal Specification Design.