- Secure Multiparty Computation: Past and Present
- Jean-Francois Monin：Programming with dependent types using ...
- Perturbation Analysis in Verification of Discrete-Time Marko...
- Towards a Bisimulation Theory for Open Synchronized Networks...
- Security and privacy in vehicular networks
- An Integrated Solution for Software Testing and Quality Assu...
- My view on Research Methodology
- Coverage at the Formal Specification Level
- Robotic Manipulation Leveraging Plane Contacts
- firstpage <<previouspage nextpage>> endpage
- PageNumber 4/4
