Skip to main content
Main menu
About
Journal
Editorial
ISSN
Series
Computer Science
Mathematical Modeling in Geophysics
Numerical Analysis
Numerical Modeling in Atmosphere, Ocean, and Environment Studies
Search
Authors
Submission
How to submit
Contacts
Open menu
Search
E mail
Visually impaired site version
Yi K.
K.
Yi
E-mail
kwang@ropas.kaist.ac.kr
List of Articles:
Shilov N.
,
Yi K.
Model checking puzzles in μ-Calculus
//
Computer Science. — 2000. — # 13
—
P. 67-75
About
Journal
Editorial
ISSN
Series
Computer Science
Mathematical Modeling in Geophysics
Numerical Analysis
Numerical Modeling in Atmosphere, Ocean, and Environment Studies
Search
Authors
Submission
Contacts
Search
by title
by abstract
by keywords
by author
- Any -
Abdikerimova Gulzira
Abdurahimov Bakhtiyor
Abramskiy Mickhail
Achasova Svetlana
Afanasyev Ivan
Aksenov V.
Alekseev Anatoly
Alekseev Vladislav
Alekseev Yurii
Amelin Ivan
Andreeva Maria
Andreyev Pavel
Andreyeva Tatiana
Anisiutin Leonid
Antipova Ekaterina
Antonova Maria
Anureev Igor
Apanovich Zinaida
Apt Krzysztof
Arakcheev Alexei
Artemiev Sergey
Avdeev Alexander
Averina Tatyana
Avrorov Sergey
Axelsson O.
Baar Thomas
Baburin Danil
Badin Nikolay
Bakhramov Rusvtam
Bakiyeva Aigerim
Baklanova Olga
Balandin Michail
Bandman Olga
Banushkina Polina
Bashkin Vladimir
Baskakov Evgeny
Batura Tatiana
Beisel Nina
Beletkov Dmitry
Belinskaya Irina
Beloborodov Vladimir
Belonosov Andrei
Belonosov Vladimir
Belonosova Antonina
Belov Sergey
Berendeev Evgeny
Berezin Sergei
Bezhaev Anatoly
Bezhanova Maia
Bezrukov Yakov
Biluta Natalia
Birjukova J.
Bodin Evgeny
Bogdanov Vladimir
Borets Tatyana
Borisov Gleb
Borodikhin N.
Boronina Marina
Borovikova Olesya
Borovko Irina
Botoeva Elena
Boyarshinova Elena
Bozhenkova Elena
Brand Sebastian
Brauße Franz
Bredikhin Sergey
Brodskiy German
Bruches Elena
Buchholz Peter
Buffalov Sergey
Bukina Tatyana
Bulgakov Sergey
Bulyonkov Mikhail
Bulyonkova Anna
Burmistrov Alexander
Bushenkov Yurii
Bychkov Alexey
Bystrov Alexander
Castro Carlos
Cheremisina Evgenia
Cherepanov Dmitry
Cherkasov Alexander
Chernykh Evgeni
Chernykh Gennady
Chernykh Igor
Chernyshev Oleg
Chertova Katherina
Chervov Victor
Cheshkova Anna
Chetverova Olga
Chiglintsev E.
Chkliaev Dmitri
Chunikhin Oleg
Churina Tatjana
Chursina Aleksandra
Danilkin V.
Davlatov Jasurbek
Dedov Vladimir
Dedova Anna
Demin Alexandre
Denisyuk Victoria
Devjatova Elena
Doledenok Olga
Doledjenok Vadim
Dorofeeva Margarita
Dorojevets Mikhail
Dorokhin Vasily
Dorovsky Vitaly
Droshkina Maria
Dubranovsky Igor
Dubrovskaya Olga
Dubtsov Roman
Dudnikova Galina
Dugarov G.
Dvoretskaya Larisa
Dvoskina Mariya
Dyadkov P.
Efimov Sergey
Efimova Anna
Elagin Vadim
Emanov Alexsandr
Emelyanov Pavel
Eremeev Filipp
Erkinova Dinara
Erokhin Gennadi
Ershov Alexey
Evseev Alexey
Evstigneev Vladimir
Fatyanov Alexei
Fedorov Egor
Fet Yakov
Filatkina Natalya
Filimonov Boris
Fleischhack Hans
Fokin Mikhail
Fomenko Alexander
Fougere Dominique
Garanina Nataliya
Gatilov Stepan
Gelber Maria
Gennari Rosella
Genrikh Ekaterina
Geza Nikolay
Glasser Alan
Glinskiy Kirill
Glinsky Boris
Globa Larysa
Glodovski Alina
Gobysh Albina
Gochakov Alexander
Goedheer W.
Goldobin Denis
Golmshtok A.
Gololobov Sergey
Gololobova Svetlana
Golubeva Elena
Gorbenko Nikolay
Gordeev Dmitry
Gorodnichev Maxim
Gorodnyaya Lidia
Gorpinchenko Dmitry
Goryunov Eldar
Gousyakov Vyacheslav
Grachev Evgeny
Grebeneva Julia
Gribovskaya Natalia
Grigoryuk Andrey
Gurchenkov Denis
Gurieva Yana
Gusev Daniil
Gusev Sergey
Gusev V.
Gusiakov Viacheslav
Guzhavina Irina
Haritonov Еduard
Hayashi Kensaku
Hazivaliev Farid
Hoarau Alan
Hoffman Josef
Iakshina (Yusupova) Dina
Idiyatullin Rafael
Idrisov Renat
Ievlev Konstantin
Il'in Valery
Imomnazarov Bakhodirzhon
Imomnazarov Bunyod
Imomnazarov Kholmatzhon
Imomnazarov Sherzad
Inishev Dmitry
Iskanderov Ilkham
Itskovich Evgenia
Ivanov Maxim
Ivanova Anna
Ivashin N.
July Tatyana
Jurbin Dmitrii
Kabanikhin Sergey
Kablukova Evgenia
Kalgin Konstantin
Kalinkin Alexander
Kalinnikov Igor
Kalinnikov Pavel
Kaptsov Oleg
Karakhanian Ashen
Karavaev Dmitry
Karchevsky Andrey
Kashun Vladimir
Kasyanov Victor
Kateshov Vladimir
Katysheva Eugeniya
Kedrinskii Valery
Kempe Angela
Khairetdinov Marat
Khairulin Sergey
Khaydarov Ilkhom
Khayrulin Sergey
Khazanovitch-Wulff Konstantin
Khlestov Ivan
Kholmatjanov D.
Kholmuradov Abdulkhamid
Khudainazarov Bekhzod
Khudyakov Yuli
Khutoretsky Alexander
Kireev Sergey
Kireeva Anastasia
Kiselev Alexey
Kislicina Tamara
Kitaeva Irina
Kleymenov Alexander
Klimova Ekaterina
Klyaus Konstantin
Knyazeva M.
Kobilov Sami
Kokovkin Vassily
Kolodko Anastasya
Konovalov Anatoly
Konyukh Galina
Kopylova Natalia
Korneev Vladimir
Korobov Peter
Korotkov Mikhail
Korovin Konstantin
Korovina Margarita
Kostin Viktor
Kostov Yury
Kotelevsky Sergey
Kotel’nikov Evgeny
Koufareva Irina
Kouklina Galina
Kouzmin Egor
Kouzminov Timofei
Kouznetsov Alexander
Kovalenko Vladimir
Kovalevsky Valery
Kovyrkina Olyana
Kozhevnikov Vladimir
Kozhushko Oyuna
Kozlov Vladimir
Kozura Vitaly
Kozyrev Alexander
Kraineva Marina
Krasilnikov Michael
Kravtchenko Viktoria
Krayneva Irina
Kremer Igor
Kremlev Andrei
Krivoputskaya Lidya
Krivoputsky Vladimir
Krivorotko Olga
Krivtsov Yuri
Kroener Dietmar
Krupchatnikoff Vladimir
Krylova Alla
Kuchin Nikolay
Kudinov O.
Kudrin Igor
Kulikov Igor
Kupnevich O.
Kurbanmuradov Orazgeldy
Kurbanov U.
Kurbatskaya Ludmila
Kurbatskiy Albert
Kurbonov Elyorion
Kurochkina Ekaterina
Kutov Vladimir
Kuz'min Gennady
Kuzin Victor
Kuznetsov Victor
Kuznetsov Yuri
Kvashnin Gennady
Laevsky Yurii
Lapteva Natalia
Lapukhov Sergey
Larin Maxim
Latysheva Inna
Lavrentiev (jr.) Mikhail
Lazareva Galina
Leshenin Anatoly
Levin Vladimir
Levykin Alexander
Lezhenin Anatoly
Liapidevskaya Zoia
Likhanova Yulya
Lipatov Alexey
Lipski S.
Liseikin Vladimir
Liseykina Tatyana
Lisitsyn I.
Litvinenko Svetlana
Lobanov Alexander
Lobanov Vadim
Loenko Mikhail
Lomazova I.
Lonchakov Andrey
Lorho Mathieu
Loskutov Artem
Lotova Galina
Lukin Vyacheslav
Lyakhov Oleg
Lyapidevsksya Zoja
Lyapunov Victor
Makarov Roman
Makhotkin Oleg
Maksimova Anastasia
Malakhova Valentina
Malinina Yulia
Malkhanov Valeriy
Malov Vladimir
Malyshkin Nikita
Malyshkin Victor
Mal’bakhov Vitaly
Mamasoliyev Bakhtiyor
Mamatqulov Muzajon
Marchenko Michail
Marchuk Alexander
Marchuk Andrey
Marchuk Peter
Marinin Igor
Markin Vladimir
Markov N.
Markova Valentina
Martynov Valery
Maryasov Ilya
Maslov Sergey
Matevosyan Aramais
Matsekh Anna
Matsokin Alexander
Maubach Joseph
Medvedev Yuri
Megrabov Alexander
Merkulov Artem
Mesyats Ekaterina
Middleton John
Miginsky Denis
Migov Denis
Mikhailenko Boris
Mikhailov Alexander
Mikhailov Gennady
Mikhailov Ivan
Mikhaiyuta Sergey
Mikheeva (Osipova) Anna
Miroshnichenko E.
Missagia Roseane
Mitkovskaya Maria
Mkrtumyan Yuriy
Mogilev Andrey
Moiseev Valery
Molodykh Sergey
Monakhov Oleg
Monakhova Emilia
Monfroy Éric
Mordvinov Alexander
Mordvinov Vladimir
Moskalensky Efim
Moskvina Larisa
Mukhoed Evgeniy
Müller Norbert Th.
Murzin Feodor
Murzina Tatiana
Narin’yani Alexander
Nechaeva Olga
Nemytikova L.
Nepomniaschaya Anna
Nepomniaschy Valery
Nepomnyaschikh Sergey
Nesterenko Tatjana
Nesterov Sergei
Nevaev M.
Novikov Dmitry
Novikov Evgeni
Novogrudska Rina
O Seunghwan
Ogorodnikov Vasili
Okhonin Viktor
Okunishnikova Elena
Oliveira Sergio
Omelchenko Oleg
Omonov Alisher
Osipov Mikhail
Ostapenko Vladimir
Ostapkevich Boris
Ostapkevich Michael
Ostilovsky Anatoly
Ovchinnikova Tamara
Palyanov Andrey
Pavlov Maxim
Pavlov Pavel
Pchelkina Alice
Penenko Alexey
Penenko Vladimir
Perchine Denis
Perepechko Yuri
Perepelkin Vladislav
Peretokin Sergei
Perevozkin Daniil
Perfiliev Alexander
Pestov Leonid
Petit Clement
Petrenko Victor
Petrov Evgueni
Petunin Dmitry
Pirogov Vadim
Piskunov Sergey
Platov Gennady
Pletneva Tatiana
Pokozy Ekaterina
Pokrovsky S.
Poletaev Sergey
Polovinkin Vladimir
Poloz Tatyana
Polozov Stanislav
Poltaratskii Alexey
Ponomaryov Denis
Popov Ivan
Popov V.
Preis S.
Prigarin Sergei
Priimenko Viatcheslav
Promsky Alexey
Proskuryakov Alexey
Protasov Alexander
Pudov Sergey
Pushistov Peter
Pushnoy Boris
Pyzhov Konstantin
Rabinovich Leonid
Radionov S.
Rakhmonov T.
Raputa Vladimir
Ratner Svetlana
Reshetova Galina
Rodionov Yury
Rodygin Roman
Rogasinsky Sergey
Romanenko Alexei
Roux Bernard
Royak Mikhail
Rozhenko Alexander
Rubtsova Yuliya
Rudenko Olga
Rukoleev Eugene
Rusin Evgeny
Russkikh Nikolay
Ruyssen Pierre
Ryabchikova Elena
Ryaskina Natalya
Ryhlova L.
Ryzhov Vladimir
Sabelfeld Andrey
Sabelfeld Karl
Sabelfeld Victor
Salaev Dilshod
Salavatov Rashid
Sander Irina
Sapetina Anna
Sarajkin A.
Satekbayeva Aizhan
Savchenko Alexander
Saveliev Boris
Scherbakov Alexander
Scherbakova Natalia
Schreiner Pavel
Schurz Henry
Sedukhin Igor
Sedukhin Stanislav
Sedukhina Galina
Seleznev Victor
Selikhov Anton
Semenov Alexander
Semenova Natalya
Semich Dmitry
Serenko Alexander
Shadrin Aleksei
Sharapov Victor
Sharifulina Anastasiya
Shashkov Denis
Shchemel Anton
Shcherbatov Alexander
Shelekhov Vladimir
Shestakov Vladimir
Shevchuk Alexandr
Shilov Nikolay
Shilova Svetlana
Shishlenin Maxim
Shkarupa Elen
Shlychkov Vyacheslav
Shmakov Il’ya
Shmanina Tatiana
Shneider Peter
Shorokhov Michail
Shtokalo Dmitry
Shurina Ella
Shuvaeva Olga
Shvarts Nikita
Shvetsov Igor
Sidorov Vladimir
Sidorova Elena
Simonov Konstantin
Simonov Nikolay
Skazka Valery
Skiba Artem
Smaus Jan-Georg
Smelov Vladislav
Snytnikov Alexey
Snytnikov Nikolai
Snytnikova Tatyana
Soboleva Olga
Sokolov Valeriy
Soloveichik Yuri
Soloviev Victor
Sorokin Konstantin
Sorokin Sergey
Sorokovaya Ksenia
Sorokovoy Alexey
Soutchanski Mikhail
Spigler Renato
St. Laurent III Georges
Starovit S.
Stasenko Alexandr
Stepanov G.
Stepanova Tatyana
Stolyarov Oleg
Stoyanovskaya Olga
Sulimov Alexander
Sveshnikov Victor
Synakh Vladimir
Syromyatnikov Pavel
Taborskaya Olga
Tarasyuk Igor
Tarhanova Marina
Tarkov Mikhail
Tarnavskiy Gennadii
Taseiko Olga
Tcheverda Vladimir
Tekin Mevlut
Telerman V.
Ternovoy Maksym
Tikhonov Nikolay
Titov Vasily
Tiunova E.
Toktoshov Guldjigit
Tolstolytkin Dmitry
Tordeux Sebastien
Trelewicz Jennifer
Tribis Dmitry
Trigoubovich Georgy
Trubitsyna Yulia
Tsarenko Alexey
Tsetsokho Viktor
Tsibulchik Gennady
Tsikoza S.
Tskhai Alexander
Tsvetova Elena
Turbinsky Victor
Turnaev Alexander
Tychkov Sergey
Ukhinova Olga
Urev Mikhail
Ushakov D.
Ustimenko Alexander
Vaganova Natalia
Vanneste M.
Vasilenko Vladimir
Vasiliev George
Vasilieva Ludmila
Vazhenin Alexander
Vazhev Ilya
Vedernikov Yuri
Vepstas Linas
Veselov Alexandr
Vinogradov Sergei
Vinokurov Pavel
Virbitskaite Irina
Vishnevskii Mikhail
Vitvitsky Anton
Vityaev Evgenii
Vladyko Marina
Volkov Andrei
Volkov V.
Volkov Yuri
Voronin Vladislav
Voronin Yuri
Voronina Tatyana
Vorontsov Aleksandr
Voskoboinikova Gul'nara
Votintseva Anjelika
Voytishek Anton
Vshivkov Vitaly
Vshivkova Lyudmila
Vytnova Darya
Winkenstern Olga
Winkler Gerhard
Yakhno Tatyana
Yakimenko Alexander
Yakovlev A.
Yangiboev Zair
Yantzen Aleftina
Yaroslavtseva Tatyana
Yerimbetova Aigerim
Yermolayev Sergey
Yevtushenko Nina
Yi K.
Yu Wei Xin
Yudin Mikhail
Yurgenson Anastasia
Yurkovets Valery
Yushin Vjachaslav
Yusupov Ravshanbek
Zabinyako Gerard
Zadorozhnyi Anatoly
Zagorulko Galina
Zagorulko Yury
Zakirov Vladimir
Zamulin Alexandre
Zapreev Anatoly
Zasypkina Olga
Zavolzhskiy Victor
Zhabborov Nasridin
Zhileev Iliya
Zinovieva Irina
Znak Vladimir
Zolotuhin Timur
Zubarev Aleksey
Zverev Nikita
by series
- Any -
Computer Science
Mathematical Modeling in Geophysics
Numerical Analysis
Numerical Modeling in Atmosphere, Ocean, and Environment Studies
by year
- Any -
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
by issue
- Any -
Computer Science, № 1, 1993
Computer Science, № 10, 1999
Computer Science, № 11, 1999
Computer Science, № 12, 1999
Computer Science, № 13, 2000
Computer Science, № 14, 2001
Computer Science, № 15, 2001
Computer Science, № 16, 2001
Computer Science, № 17, 2002
Computer Science, № 18, 2002
Computer Science, № 19, 2003
Computer Science, № 2, 1994
Computer Science, № 20, 2004
Computer Science, № 21, 2004
Computer Science, № 22, 2005
Computer Science, № 23, 2005
Computer Science, № 24, 2006
Computer Science, № 25, 2006
Computer Science, № 26, 2007
Computer Science, № 27, 2008
Computer Science, № 28, 2008
Computer Science, № 29, 2009
Computer Science, № 3, 1995
Computer Science, № 30, 2010
Computer Science, № 31, 2010
Computer Science, № 32, 2011
Computer Science, № 33, 2012
Computer Science, № 34, 2012
Computer Science, № 35, 2013
Computer Science, № 36, 2014
Computer Science, № 37, 2014
Computer Science, № 38, 2015
Computer Science, № 39, 2016
Computer Science, № 4, 1996
Computer Science, № 40, 2016
Computer Science, № 41, 2017
Computer Science, № 42, 2018
Computer Science, № 43, 2019
Computer Science, № 44, 2020
Computer Science, № 45, 2021
Computer Science, № 46, 2022
Computer Science, № 47, 2023
Computer Science, № 5, 1996
Computer Science, № 6, 1997
Computer Science, № 7, 1997
Computer Science, № 8, 1998
Computer Science, № 9, 1998
Mathematical Modeling in Geophysics, № 1, 1994
Mathematical Modeling in Geophysics, № 10, 2005
Mathematical Modeling in Geophysics, № 11, 2006
Mathematical Modeling in Geophysics, № 12, 2008
Mathematical Modeling in Geophysics, № 13, 2010
Mathematical Modeling in Geophysics, № 14, 2011
Mathematical Modeling in Geophysics, № 15, 2012
Mathematical Modeling in Geophysics, № 16, 2013
Mathematical Modeling in Geophysics, № 17, 2014
Mathematical Modeling in Geophysics, № 18, 2015
Mathematical Modeling in Geophysics, № 19, 2016
Mathematical Modeling in Geophysics, № 2, 1996
Mathematical Modeling in Geophysics, № 20, 2017
Mathematical Modeling in Geophysics, № 21, 2019
Mathematical Modeling in Geophysics, № 22, 2020
Mathematical Modeling in Geophysics, № 23, 2021
Mathematical Modeling in Geophysics, № 24, 2022
Mathematical Modeling in Geophysics, № 25, 2023
Mathematical Modeling in Geophysics, № 3, 1998
Mathematical Modeling in Geophysics, № 4, 1998
Mathematical Modeling in Geophysics, № 5, 1999
Mathematical Modeling in Geophysics, № 6, 2000
Mathematical Modeling in Geophysics, № 7, 2002
Mathematical Modeling in Geophysics, № 8, 2003
Mathematical Modeling in Geophysics, № 9, 2004
Numerical Analysis, № 1, 1993
Numerical Analysis, № 10, 2001
Numerical Analysis, № 11, 2002
Numerical Analysis, № 12, 2003
Numerical Analysis, № 13, 2005
Numerical Analysis, № 14, 2009
Numerical Analysis, № 15, 2011
Numerical Analysis, № 16, 2013
Numerical Analysis, № 17, 2015
Numerical Analysis, № 18, 2016
Numerical Analysis, № 2, 1993
Numerical Analysis, № 3, 1993
Numerical Analysis, № 4, 1993
Numerical Analysis, № 5, 1994
Numerical Analysis, № 6, 1995
Numerical Analysis, № 7, 1996
Numerical Analysis, № 8, 1998
Numerical Analysis, № 9, 2000
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 1, 1993
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 10, 2005
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 11, 2007
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 12, 2010
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 13, 2012
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 14, 2014
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 15, 2015
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 16, 2017
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 17, 2019
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 2, 1995
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 3, 1998
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 4, 1996
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 5, 1999
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 6, 2000
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 7, 2001
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 8, 2002
Numerical Modeling in Atmosphere, Ocean, and Environment Studies, № 9, 2004
Search