Aybek Mukhamedov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2005–2011
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ICDCIT | Scribbling Interactions with a Formal Foundation. | Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida |
| 2007 | FC | Improved Multi-party Contract Signing. | Aybek Mukhamedov, Mark Ryan |
| 2005 | FC | Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. | Aybek Mukhamedov, Steve Kremer, Eike Ritter |