Вы здесь

Korovina M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Computable Topology for Reliable Computations 2019 Korovina M., Kudinov O. LNCS 28.01.2020
СТ Computable Topology for Reliable Computations 2019 Korovina M., Kudinov O. PSI'19 Preliminary Proc. 14.08.2019
СТ Highlights of the Rice-Shapiro Therem in Computable Topology 2018 Korovina M., Kudinov O. Lecture Notes in Computer Science 13.03.2018
СТ Towards Using Extract Real Arithmetic for Initial Valne Problems 2016 Brause F., Korovina M., Muller N. T. Lecture Notes in Computer Science PSI 10 05.09.2016
СТ Index Sets as a Measure of Continuous Constraint Complexity 2015 Korovina M., Kudinov O. Lecture Notes in Computer Science 02.09.2015
СТ Reachability in One-Dimensional Controlled Polynomial Dynamical Systems 2012 Korovina M., Vorobjov N. Lecture Notes in Computer Science 19.02.2013
СТ Sigma (k) - constraints for Hybrid Systems 2010 Korovina M., Kudinov O. Lecture Notes in Computer Science Perspectives of Systems Informatics 13.04.2010
СТ The Uniformity Principle for E-definability with Applications to Computable Analysis 2007 Korovina M., Kudinov O. Lecture Notes in Computer Science Lecture Notes in Computer Science 17.09.2007
СТ Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems 2006 Korovina M., Vorobyov N. Lecture Notes in Computer Science Lecture Notes in Computer Science 04.09.2006
СТ Satisfiability of Viability Constraints for Pfaffian Dynamics 2006 Korovina M., Vorobjov N. IIS SB RAS Perspectives of System Informatics: Preliminary Proceedings`06 05.08.2006
СТ Towards Computability of Higher Type Continuous Data 2005 Korovina M., Kudinov O. Lecture Notes in Computer Science Lecture Notes in Computer Science 06.09.2005
СТ Pfaffian Hybrid Systems 2004 Korovina M., Vorobjov N. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.12.2004
СТ Recent Advances in E-Definability over Continuous Data Types 2003 Korovina M. Lecture Notes in Computer Science 18.02.2004
СТ Computational Aspects of Delta-Definability over the Real Numbers without the Equality Test 2003 Korovina M. Lecture Notes in Computer Science 23.09.2003