Артемов Сергей Николаевич
пользователь
доктор физико-математических наук с 1989 года
кандидат физико-математических наук с 1980 года
профессор по кафедре математической логики и теории алгоритмов с 25 октября 1995 г.
Количество цитирований статей в журналах по данным
Web of Science: 614,
Scopus: 660
РИНЦ:
IstinaResearcherID (IRID): 2563460
Деятельность
-
Статьи в журналах
-
-
-
-
-
-
-
-
-
2010
Sabir Medgidovich Gusein-Zade
-
Artemov S.B.,
Belavin A.A.,
Buchstaber V.M.,
Esterov A.I.,
Feigin B.L.,
Ginzburg V.A.,
Gorsky E.A.,
Ilyashenko Yu S.,
Kirillov A.A.,
Khovanskii A.G.,
Lando S.K.,
Margulis G.A.,
Neretin Yu A.,
Novikov S.P.,
Shlosman S.B.,
Sossinsky A.B.,
Tsfasman M.A.,
Varchenko A.N.,
Vassiliev V.A.,
Vlăduţ S.G.
-
в журнале Moscow Mathematical Journal, том 10, № 4, с. 831-832
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
2004
Special Issue - Provinces of logic determined - Essays in the memory of Alfred Tarski - Part I, II and III - Editorial
-
Adamowicz Z.,
Artemov S.,
Niwinski D.,
Orlowska E.,
Romanowska A.,
Wolenski J.
-
в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 126, № 1-3, с. 3-4
DOI
-
-
-
-
-
-
-
-
-
-
-
1995
Invited papers presented at the Conference on Proof Theory, Provability Logic, and Computation – Preface
-
Artemov Sergei,
Boolos George,
Engeler Erwin,
Feferman Solomon,
Jäger Gerhard,
Visser Albert
-
в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 75, № 1-2, с. 1-1
DOI
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Статьи в сборниках
-
-
2016
On aggregating probabilistic evidence
-
Artemov Sergei
-
в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 9537, с. 27-42
DOI
-
редактор
Артемов Сергей Николаевич
-
-
-
-
-
-
-
2009
Preface
-
Nerode A.,
Artemov S.
-
в сборнике Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, серия Lecture Notes in Computer Science, издательство SPRINGER-VERLAG BERLIN (HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197), том 5407, с. VI
-
редактор
Артемов Сергей Николаевич
-
-
-
-
2008
Topological semantics of justification logic
-
Artemov Sergei,
Nogina Elena
-
в сборнике Computer Science – Theory and Applications, 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 5010, с. 30-39
DOI
-
-
-
-
2006
Logical omniscience via proof complexity
-
Artemov Sergei,
Kuznets Roman
-
в сборнике Computer Science Logic, 20th International Workshop, CSL 2006, Szeged, Hungary, September 25-29, 2006, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 4207, с. 135-149
DOI
-
-
-
-
-
-
-
-
2001
Reflective λ-calculus
-
Artemov Sergei,
Alt Jesse
-
в сборнике Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 2183, с. 22-37
DOI
-
-
-
1999
On explicit reflection in theorem proving and formal verification
-
Artemov Sergei
-
в сборнике Automated Deduction – CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 1632, с. 267-281
DOI
-
-
1997
Topological semantics for hybrid systems
-
Artemov Sergei,
Davoren Jennifer,
Nerode Anil
-
в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 1-8
DOI
-
редактор
Адян Сергей Иванович
-
-
-
1994
Referential data structures and labeled modal logic
-
Artëmov Sergei,
Krupski Vladimir
-
в сборнике Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 813, с. 23-33
DOI
-
редактор
Матиясевич Юрий Владимирович
-
-
1993
The basic logic of proofs
-
Artëmov Sergei,
Straßen Tyko
-
в сборнике Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, серия Lecture Notes in Computer Science, место издания Springer, том 702, с. 14-28
DOI
-
-
1993
The logic of the Gödel proof predicate
-
Artëmov Sergei,
Straßen Tyko
-
в сборнике Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 713, с. 71-82
DOI
-
-
-
-
Доклады на конференциях
-
Тезисы докладов
-
-
2008
Justification logic
-
Artemov Sergei
-
в сборнике Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, серия Lecture Notes in Artificial Intelligence, место издания Springer, том 5293, тезисы, с. 1-4
DOI
-
-
2007
Preface
-
Nerode A.,
Artemov S.
-
в сборнике Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 4514, тезисы, с. v
-
редактор
Артемов Сергей Николаевич
-
-
2007
The intensional lambda calculus
-
Artemov Sergei,
Bonelli Eduardo
-
в сборнике Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 4514, тезисы, с. 12-25
DOI
-
редактор
Артемов Сергей Николаевич
-
-
2003
Back to the future: Explicit logic for computer science
-
Artemov Sergei
-
в сборнике Computer Science Logic, 17th International Workshop, CSL 2003, Vienna, Austria, August 25-30, 2003, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 2803, тезисы, с. 43
DOI
-
-
1997
Logic, topological semantics and hybrid systems
-
Artemov Sergei,
Davoren Jennifer,
Nerode Anil
-
в сборнике Proceedings of the 36th IEEE Conference on Decition and Control, место издания IEEE Controls Syst Soc, Soc Ind & Appl Math, Inst Operat Res & Management Sci San Diego, CA, том 1, тезисы, с. 698-701
DOI
-
-
-
-
Участие в редколлегии сборников
-
-
- 2013
Logical Foundations of Computer Science - International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
-
член редколлегии:
Артемов С.Н.
-
серия Lecture Notes in Computer Science, том 7734
-
издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
- 2009
Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
-
член редколлегии:
Артемов С.Н.
-
серия Lecture Notes in Computer Science, том 5407
-
издательство
SPRINGER-VERLAG BERLIN
(HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
-
-
Участие в программных комитетах конференций
-
Руководство диссертациями
-
-
2002
Модальные логики с оператором разрешимости
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор:
Золин Евгений Евгеньевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
-
Научные руководители:
Артемов Сергей Николаевич, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова,
Успенский Владимир Андреевич, д.ф.-м.н., проф.
-
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
-
Ведущая организация:
Новосибирский государственный университет
-
Оппоненты:
Чагров Александр Васильевич,
Хаханян Валерий Христофорович
-
-
1992
Классификация пропозициональных логик доказуемости
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор:
Беклемишев Лев Дмитриевич, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
-
Научные руководители:
Артемов Сергей Николаевич, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова,
Адян Сергей Иванович, д.ф.-м.н., проф., акад. РАН
-
Защищена в совете
Д 002.022.03
при Математический институт им. В.А. Стеклова РАН
-
Организация, в которой выполнялась работа:
Математический институт им. В.А. Стеклова РАН
-
Ведущая организация:
Институт математики им. С.Л.Соболева Сибирского отделения РАН
-
Оппоненты:
Оревков Владимир Павлович,
Плиско Валерий Егорович
-
Диссертации
-
Руководство дипломными работами