Current Past Me Papers Talks Artifacts Extra HotPage

Papers
  • ORCIDGoogle ScholarDBPL bibliography server
  Computational BiologySpatial LogicsSemistructured DataProcess CalculiObjectsTypes and SemanticsLanguage Design and ImplementationUser InterfacesUnpublished Notes

Computational Biology Spatial Logics Semistructured Data Process Calculi Objects Types and Semantics Language Design and Implementation User Interfaces
Unpublished Notes