Max I. Kanovich
发表
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2014,
Inf. Comput..
Max I. Kanovich,
M. Kanovich,
2007,
LFCS.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2019,
Foundations of Security, Protocols, and Equational Reasoning.
Max I. Kanovich,
Andre Scedrov,
Paul D. Rowe,
2011,
Journal of Automated Reasoning.
James Brotherston,
Max I. Kanovich,
2010,
LICS.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2016,
FCT.
Kazushige Terui,
Max I. Kanovich,
Mitsuhiro Okada,
2006,
Mathematical Structures in Computer Science.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2015,
FG.
Max I. Kanovich,
M. Kanovich,
1995,
Ann. Pure Appl. Log..
Max I. Kanovich,
Vivek Nigam,
Andre Scedrov,
2018,
IJCAR.
Max I. Kanovich,
M. Kanovich,
1994,
Ann. Pure Appl. Log..
Max I. Kanovich,
1994,
IFIP Congress.
Max I. Kanovich,
1989,
Logic at Botik.
Max I. Kanovich,
M. Kanovich,
2001,
CSL.
Max I. Kanovich,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Max I. Kanovich,
2015,
ArXiv.
Max I. Kanovich,
M. Kanovich,
2007,
Discrete Mathematics.
Glyn Morrill,
Max I. Kanovich,
Andre Scedrov,
2017,
FSCD.
Joël Ouaknine,
Max I. Kanovich,
Christoph Haase,
2014,
FoSSaCS.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2019,
FG.
Max I. Kanovich,
1990,
J. Log. Program..
Max I. Kanovich,
M. Kanovich,
2014,
J. Comput. Syst. Sci..
Max I. Kanovich,
2009,
LFCS.
Max I. Kanovich,
M. Kanovich,
1994,
TACS.
Max I. Kanovich,
M. Kanovich,
2017,
ArXiv.
Jacqueline Vauzeilles,
Max I. Kanovich,
2011,
Theor. Comput. Sci..
Max I. Kanovich,
Tajana Ban Kirigin,
Andre Scedrov,
2020
.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2019,
WoLLIC.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2019,
WoLLIC.
Max I. Kanovich,
M. Kanovich,
1991,
Theoretical Aspects of Computer Software.
Max I. Kanovich,
1995
.
Max I. Kanovich,
2016,
Math. Struct. Comput. Sci..
Max I. Kanovich,
Andre Scedrov,
Mitsuhiro Okada,
2003,
MFPS.
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2010,
Inf. Comput..
Max I. Kanovich,
M. Kanovich,
2002,
CSL.
Max I. Kanovich,
Andre Scedrov,
Paul D. Rowe,
2007,
20th IEEE Computer Security Foundations Symposium (CSF'07).
James Brotherston,
Max I. Kanovich,
2018,
APLAS.
Max I. Kanovich,
M. Kanovich,
1994,
Ann. Pure Appl. Log..
James Brotherston,
Max I. Kanovich,
Nikos Gorogiannis,
2016,
CADE.
Max I. Kanovich,
Andre Scedrov,
Mitsuhiro Okada,
2003,
Theor. Comput. Sci..
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2017,
J. Comput. Secur..
Max I. Kanovich,
Andre Scedrov,
Mitsuhiro Okada,
1998,
COTIC.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2018,
ArXiv.
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
pdf
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2016,
J. Log. Comput..
Max I. Kanovich,
M. Kanovich,
1994,
Theory and Practice of Parallel Programming.
Max I. Kanovich,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Jacqueline Vauzeilles,
Max I. Kanovich,
2007,
Theor. Comput. Sci..
Max I. Kanovich,
Zoya M. Shalyapina,
1994,
COLING.
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2013,
ESORICS.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2015,
POST.
Glyn Morrill,
Max I. Kanovich,
Andre Scedrov,
2018,
FG.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2012,
IHI '12.
Max I. Kanovich,
2012,
Ann. Pure Appl. Log..
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2018
.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2016,
LFCS.
Max I. Kanovich,
1996,
Electron. Notes Theor. Comput. Sci..
Max I. Kanovich,
M. Kanovich,
1994,
LFCS.
Max I. Kanovich,
M. Kanovich,
1996,
Ann. Pure Appl. Log..
Reuben N. S. Rowe,
James Brotherston,
Max I. Kanovich,
2016,
POPL.
Rohit Chadha,
Max I. Kanovich,
Andre Scedrov,
2001,
CCS '01.
Peter W. O'Hearn,
Max I. Kanovich,
Nikos Gorogiannis,
2011,
SAS.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2012,
RTA.
Max I. Kanovich,
M. Kanovich,
2004,
Discret. Math..
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2014,
Comput. Lang. Syst. Struct..
James Brotherston,
Max I. Kanovich,
J. Brotherston,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2016,
FORMATS.
Jacqueline Vauzeilles,
Max I. Kanovich,
M. Kanovich,
2003,
CSL.
Takayasu Ito,
Max I. Kanovich,
1997,
LICS 1997.
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2010
.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2018,
CPS-SPC@CCS.
Jacqueline Vauzeilles,
Max I. Kanovich,
M. Kanovich,
2001,
Mathematical Structures in Computer Science.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2017,
Math. Struct. Comput. Sci..
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2021,
J. Comput. Secur..
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2021,
ICISSP.
Max I. Kanovich,
Andre Scedrov,
Paul D. Rowe,
2009,
2009 22nd IEEE Computer Security Foundations Symposium.
Max I. Kanovich,
1993
.