|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
D. A. Kondrat'ev, S. M. Staroletov, I. V. Shoshmina, A. V. Krasnenkova, K. V. Ziborov, N. V. Shilov, N. O. Garanina, T. Yu. Cherganov, “VeHa-2024 formal verification contest: two years of experience and prospects”, Proceedings of ISP RAS, 37:1 (2025), 159–184  |
|
2020 |
| 2. |
N. V. Shilov, N. O. Garanina, “Knowledge-based algorithms for BDI-agents”, Model. Anal. Inform. Sist., 27:4 (2020), 442–453 |
|
2018 |
| 3. |
N. V. Shilov, D. A. Kondratyev, I. S. Anureev, E. V. Bodin, A. V. Promsky, “Platform-independent specification and verification of the standard mathematical square root function”, Model. Anal. Inform. Sist., 25:6 (2018), 637–666 |
2
|
| 4. |
N. V. Shilov, “Etude on recursion elimination”, Model. Anal. Inform. Sist., 25:5 (2018), 549–560 |
|
2015 |
| 5. |
N. V. Shilov, “Teaching formal models of concurrency specification and analysis”, Model. Anal. Inform. Sist., 22:6 (2015), 783–794   |
|
2013 |
| 6. |
A. Yu. Bernstein, N. V. Shilov, ““Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects”, Model. Anal. Inform. Sist., 20:2 (2013), 34–53 |
|
2012 |
| 7. |
A. Yu. Bernstein, N. V. Shilov, ““Robots in Space” multiagent problem: information and cryptographic aspects”, Prikl. Diskr. Mat. Suppl., 2012, no. 5, 61–63 |
|
2011 |
| 8. |
N. V. Shilov, “Verification of backtracking and branch and bound design templates”, Model. Anal. Inform. Sist., 18:4 (2011), 168–180 |
| 9. |
E. V. Bodin, N. O. Garanina, N. V. Shilov, “Mars robot puzzle (a multiagent approach to the Dijkstra problem)”, Model. Anal. Inform. Sist., 18:2 (2011), 113–128 |
2
|
|
2010 |
| 10. |
N. V. Shilov, “F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers”, Model. Anal. Inform. Sist., 17:4 (2010), 111–124 |
|
|
|
2022 |
| 11. |
S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Uspekhi Mat. Nauk, 77:1(463) (2022), 191–195  ; Russian Math. Surveys, 77:1 (2022), 183–188  |
|
2021 |
| 12. |
V. A. Zakharov, N. V. Shilov, “From the editors of the issue”, Model. Anal. Inform. Sist., 28:4 (2021), 322–324 |
|
2020 |
| 13. |
V. A. Zakharov, N. V. Shilov, “From the editors of the issue”, Model. Anal. Inform. Sist., 27:4 (2020), 372–374 |
|
2019 |
| 14. |
V. A. Zakharov, N. V. Shilov, “From the editors of the issue”, Model. Anal. Inform. Sist., 26:4 (2019), 473–474 |
|
2018 |
| 15. |
V. A. Zakharov, N. V. Shilov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 25:5 (2018), 463–464 |
|
| Presentations in Math-Net.Ru |
| 1. |
Young mathematician Mikhail Alekseevich Lavrentyev
N. V. Shilov
Seminar on the History of Mathematics
May 7, 2026 18:00
|
| 2. |
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) – вторая часть (завершение доклада)
N. V. Shilov
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
June 19, 2024 15:00
|
| 3. |
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…)
N. V. Shilov
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
May 22, 2024 16:00
|
| 4. |
Some remarks on well-structured transition systems
Nikolay Shilov
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 13, 2023 15:00
|
| 5. |
Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions
N. V. Shilov, D. A. Kondrat'ev
Logical Perspectives 2021: Summer School and Workshop
June 17, 2021 12:30
|
|
|
| Organisations |
|
| |
|
|
Contact us: