Back
  1. Home
  2. Profile of Semen YURKOV (Unilu)
Profil

YURKOV Semen

Main Referenced Co-authors
MAUW, Sjouke  (3)
HORNE, Ross James  (2)
Cerone, Antonio (1)
GIL PONS, Reynaldo  (1)
Horne, Ross (1)
Main Referenced Keywords
Authentication (1); authentication (1); Bisimilarity (1); bisimilarity (1); Computational Theory and Mathematics (1);
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most cited

6 citations (Scopus®)

HORNE, R. J., MAUW, S., YURKOV, S., Cerone, A., & Ölveczky, P. C. (2021). Compositional Analysis of Protocol Equivalence in the Applied pi-Calculus Using Quasi-open Bisimilarity. In Theoretical Aspects of Computing -- ICTAC 2021 (pp. 235--255). Cham, Unknown/unspecified: Springer International Publishing. doi:10.1007/978-3-030-85315-0_14 https://hdl.handle.net/10993/50045

Contact ORBilu