Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Troshkov, Nikolay
Statistics
Total publications:
1
Scientific articles:
1
Number of views:
This page:
230
Abstract pages:
219
Full texts:
445
References:
58
E-mail:
email
https://www.mathnet.ru/eng/person134065
List of publications on Google Scholar
https://orcid.org/0000-0002-5151-9940
Publications in
Math-Net.Ru
Citations
2017
1.
D. de Carvalho, M. Mazzara, B. Mingela, L. Safina, A. Tchitchigin, N. Troshkov, “Jolie Static Type Checker: a prototype”,
Model. Anal. Inform. Sist.
,
24
:6 (2017),
704–717
1
Organisations
Innopolis University
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2026
Contact us: