Max Kanovich
发表
Graham White,
Max Kanovich,
Paulo Olivo,
2013
.
Vivek Nigam,
Andre Scedrov,
Stepan Kuznetsov,
2017,
Mathematical Structures in Computer Science.
Tajana Ban Kirigin,
Vivek Nigam,
Andre Scedrov,
2014
.
Andre Scedrov,
Stepan Kuznetsov,
Max Kanovich,
2020,
ArXiv.
Vivek Nigam,
Andre Scedrov,
Stepan Kuznetsov,
2020,
IJCAR.
Andre Scedrov,
Stepan Kuznetsov,
Max Kanovich,
2020,
Inf. Comput..
Paulo Oliva,
Max Kanovich,
Hanne Gottliebsen,
2013
.
Tajana Ban Kirigin,
Andre Scedrov,
Carolyn Talcott,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Tajana Ban Kirigin,
Vivek Nigam,
Andre Scedrov,
2021,
Protocols, Strands, and Logic.
Andre Scedrov,
Stepan Kuznetsov,
Max Kanovich,
2020,
Journal of Logic, Language and Information.
James Brotherston,
Paul Brunet,
Nikos Gorogiannis,
2021,
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Andre Scedrov,
Stepan Kuznetsov,
Max Kanovich,
2021,
J. Log. Lang. Inf..
Tajana Ban Kirigin,
Vivek Nigam,
Andre Scedrov,
2016
.