Publication
Observations on the Decidability of Transitions
Publication
Deductive Verification of UML Models in TLPVS
Publication
Large Margin Hierarchical Classification
Publication