Публикации

Year:  
All :: 1999, ... , 2009, 2010, 2011, ... , 2020
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
References

2020

Contributions to proceedings:

Günlü, Onur, Trifonov, Peter, Schaefer, Rafael F.; Sidorenko, Vladimir
Randomized Nested Polar Subcode Constructions for Privacy, Secrecy, and Storage
Proceedings of International Symposium on Information Theory and Its Applications
2020
accepted

2018

Contributions to proceedings:

Timofeev, Dmitrii; Samochadin, Alexander
An Unified Representation of Source Code Authoring Workflows
Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - Volume 3: KMIS , page 228-232.
September 2018
ISBN: 978-989-758-330-8

2017

Contributions to collections:

Kolesov, Yuri; Senichenkov, Yuri
MODELING HYBRID SYSTEMS IN RAND MODEL DESIGNER
Hybrid Systems: Performance,Application,and Technology
2017

Contributions to proceedings:

Zupančič, B., Senichenkov, Y.; Mušič, G.
Analytical review and the analysis of educational programs with CMSE content
MMSM 2017 , page 12 рр.
October 2017

2016

Articles:

Shoshmina, I.V.
Developing formal temporal requirements to distributed program systems
Системная информатика (System informatics), (8):21-32
2016

Keywords: software requirement specification, requirement patterns, model checking, linear temporal logic

Contributions to proceedings:

Sokolov, Konstantin
A Vector Model for Type-Theoretical Semantics
Proceedings of the First Workshop on Representation Learning for NLP (ACL-2016 Workshop)
August 2016
Kolesov, Yuri, Inikhov, Dmitry, Senichenkov, Yuri; Isakov, Andrey
News from Rand Model Designer for Industry and Education
Proceedings of 8th IFAC Conference on Manufacturing Modelling
Publisher: IFAC-PapersOnLine Open Access,
2016
Senichenkov, Yuri; Isakov, Andrey
Rand Model Designer’s Numerical library
Proceedings of The 9th Eurosim Congress on Modelling and Simulation
Publisher: IFAC-PapersOnLine Open Access,
2016
Kolesov, Yuri; Senichenkov, Yuri
Object-Oriented Modeling with Rand Model Designer
Proceedings of the 9th Eurosim Congress on Modelling and Simulation
Publisher: IFAC-PapersOnLine Open Access,
2016

2015

Contributions to proceedings:

Sokolov, Konstantin, Timofeev, Dimitri; Samochadin, Alexander
Process Extraction from Texts using Semantic Unification
Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015) - Volume 3: KMIS , page 254-259.
November 2015
Samochadin, Alexander, Timofeev, Dimitri; Maslov, Maxim
Architecture of a Platform for Building Context-Aware Educational Mobile Services
Proceedings of the 11th International Conference on Engineering Education (EDUCATION'15), Salerno, Italy , page 36--40.
June 2015
Samochadin, Alexander, Raychuk, Dmitry, Nosnitsyn, Semen; Khmelkov, Igor
A comprehensive set of mobile services supporting education process
4th World Cоnference on Educational Technology Researches Procedia - Social and Behavioral Sciences , page 613 – 618.
2015
Isakov, Andrey, Kolesov, Yuri; Senichenkov, Yuri
A new tool for visual modeling: Rand Model Designer 7
Proceedings of 8th Vienna International Conference on Mathematical Modelling, MATHMOD
Publisher: IFAC-papers on-line,
2015

2014

Articles:

Semenov, P.; Trifonov, P.
Correction to "Spectral Method for Quasi-Cyclic Code Analysis"
IEEE Communications Letters, 18(5):897
May 2014
Martin-Villalba, C., Urquia, A., Kolesov, Yu.; Senichenkov, Yu.
Two approaches to facilitate virtual lab implementation
Computing in Science and Engineering, 16(1):78-86
2014
Samochadin, Alexander, Raychuk, Dmitry, Voinov, Nikita, Ivanchenko, Dmitry; Khmelkov, Igor
MDM based Mobile Services in Universities
International Journal of Information Technology & Computer Science, 13(2):35-41
2014

Contributions to proceedings:

Samochadin, Alexander, Timofeev, Dimitri, Raychuk, Dmitry; Khmelkov, Igor
Attendance Monitoring as a Context-Aware Service
Proceedings of the 10th International Conference on Educational Technologies (EDUTE '14) , page 44--48.
December 2014

2013

Conferences:

Senichenkov, Yuri, Kolesov, Yuri, Urquia, Alfonso; Martin-Villalba, Carla
Simulation of variable structure models using rand model designer
2013

Contributions to proceedings:

Kolesov, Y., Senichenkov, Y.; Urquia, A.
Simulation of Variable Structure Models using Rand Model Designer
Eurosim 2013 proceedings , page 6 pp..
2013
Senichenkov, Y., Kolesov, Y.; Inichov, D.
Rand Model Designer in Manufacturing Applications
Proceedings of 7th IFAC Conference on Manufacturing Modelling, Management, and Control Volume 7 , page 1572-1577.
2013
Kolesov, Yu., Senichenkov, Yu.; Urquia., А.
Simulation of Variable Structure Models using Rand Model Designer.
Proceedings of 8th EUROSIM Congress on Modelling and Simulation, EUROSIM
2013

2012

Articles:

Semenov, P.; Trifonov, P.
Spectral Method for Quasi-Cyclic Code Analysis
IEEE Communications Letters, 16(11):1840--1843
November 2012

Contributions to proceedings:

Glebovsky, A., Karpov, Y., Senichenkov, Y., Trifonov, P.; Ivanov, V.
On approaches to renovation of instructional methods and tools for STEM education in international setting
Труды Международной конференции: "Международное сотрудничество в инженерном образовании"
2012
Senichenkov, Yu.
Physical modeling of Hybrid systems in Rand Model Designer (Plenary Lecture)
In I.Troch, F. Breitenecker, editor, Preprints MathMOD 2012 , page 12.
2012
Senichenkov, Yu.
Modeling of complex dynamical systems in Rand Model Designer (Plenary Lecture)
14-th International conference on Automatic control, Modeling and Simulation
2012
Inichov, D. B., Kolesov, Yu. B.; Senichenkov, YU. B.
Physical modeling in Rand Model Designer
Proceedings MATHMOD 12 , page 7.
2012
accepted

2011

Articles:

Shoshmina, Irina V.
Distributed Embedded Control System Design with Verification Support
Automatic Control and Computer Sciences, 45(7)
2011
ISSN: 0146-4116
Isakov, А.А.; Senichenkov, YU. B.
Program Complex OpenMVL for Modeling Complex Dynamic Systems,
«Дифференциальные уравнения и процессы управления»,, 1:4
2011
Kolesov, Yu.; Senichenkov, Yu.
«Physical modelind» in Model Vision Studium
«Дифференциальные уравнения и процессы управления», 2
2011

Proceedings:

Shoshmina, Irina V.; Belyaev, Alexey B.
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas
In Victor Malyshkin, editor, Volume 6873 of LNCS
Parallel Computing Technologies - 11th International Conference PACT'2011
Kazan
Publisher: Springer,
2011

Contributions to proceedings:

Trifonov, Peter; Semenov, Piotr
Generalized Concatenated Codes Based on Polar Codes
Proceedings of IEEE International Symposium on Wireless Communication Systems
2011
Koznov, D., Chevzova, J., Samochadin, A.; Azarskov, A.
Towards e-government services in Russia
KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing
2011

2010

Articles:

Kolesov, Yu.B.; Senichenkov, YU. B.
Modeling hybrid systems in MvStudium.
SNE, 20,(№ 1):р 31-34
2010
Balint-Kurti, G.G., Bogdanov, A.V., Gevorkyan, A., Gorbachev, Y.E., Hakobyan, T., Nyman, G.; Shoshmina, I.
Grid-Technology for Chemical Reactions Calculation
Transactions on Computational Science, 7:154-162
2010

Contributions to proceedings:

Biryukov, S.V., Kolesov, Yu.B.; Senichenkov, Yu.B.
Physics virtual experiments in Model Vision Studium.
GIREP-MPTL 2010: Teaching and learning physics today. Reims international conference. , page 301.
Reims, France
2010

2009

Conferences:

Inichov, D. B., Kolesov, Yu. B.; Senichenkov, YU. B.
Modeling hybrid systems in MvStudium.
, page 7 рр..
2009

Contributions to proceedings:

Altunin, K.Yu., Kolesov, Yu. B.; Senichenkov, YU. B.
A TOOL FOR MODELING AND SIMULATION OF COMPLEX DYNAMICAL SYSTEMS.
THE DISTRIBUTED INTELLIGENT SYSTEMS AND TECHNOLOGIES.
2009
Zhang, ZI.C.; Senichenkov, YU. B.
MVSTUDIUM APPLIED LIBRARIES.
THE DISTRIBUTED INTELLIGENT SYSTEMS AND TECHNOLOGIES. , page 6 РР..
2009
Altunin, K.Yu., Kolesov, Yu.B., Senichenkov, Yu.B.; Inichov, D. B.
MODELING COMPLEX DYNAMICAL SYSTEMS IN MVSTUDIUM.
The proceedins of EUNUMATH 09 , page 1p.
2009

2008

Contributions to proceedings:

Inichov, D. B., Senichenkov, YU. B., Breitenecker, F., Kolesov, Yu. B.; Zauner, G.
Physical modeling with MvStudium, a DAE simulator with features for hybrid systems.
The EOOLT 07 proceedings , page 20 pp.
2008

2007

Articles:

Karpov, Y.G., Ivanovsky, R.I.; Sotnikov, K.A.
Application of Simulation Approaches to Creation of Decision Support Systems for IT Service Management
LNCS, v.4671:553-558
2007

Contributions to proceedings:

Senichenkov, Yu., Breitenecker, F.; Zauner, G.
Physical Modeling with Model Vision, a DAE Simulator with Features for Hybrid Automata.
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools.
Publisher: Linkoping University Electronic Press, Linkopings universitet
2007

2006

Proceedings:

Krzhizhanovskaya, V.V., Korkhov, V.V., Tirado-Ramos, A., Groen, D.J., Shoshmina, I.V., Valuev, I.A., Morozov, I.A., Malyshkin, N.V., Gorbachev, Y.E.; Sloot, P.M.A.
Computational Engineering on the Grid: Crafting a Distributed Virtual Reactor
Second IEEE International Conference on e-Science and Grid Computing (e-Science'06)
Amsterdam
December 2006

Contributions to proceedings:

Trifonov, P.V., Costa, E.; Schulz, E.
Joint adaptation of code length and modulation formats in OFDM systems
Proceedings of IEEE International Conference on Personal, Indoor, Mobile and Radio Communications
September 2006
Schmid, M., Schaefer, J., Kroeger, R., Sotnikov, K.; Karpov, Y.
Combining Application Instrumentation and Simulation to Forecast Costs and Revenue in Application Service Provisioning Scenarios
Proceedings of the 13th Annual Workshop of HP OpenView University Association, University of Nice at Cote d'Azur,May 21-24
2006

2005

Contributions to proceedings:

Trifonov, P.V., Costa, E.; Schulz, E
Adaptive Multilevel Coding in OFDM Systems
Proceedings of IEEE Vehicular Technology Conference 2005-Spring
2005

2004

Articles:

Trifonov, P.V., Costa, E., Filippi, A.; Schulz, E.
Adaptive coding in MC-CDMA/FDMA systems with adaptive sub-band allocation
European Transactions on Telecommunications, 15(3):207-214
May 2004

Contributions to proceedings:

Trifonov, P.V., Costa, E.; Schulz, E.
Adaptive user allocation, bit and power loading in multi-carrier systems
Proceedings of the 9th International OFDM-Workshop
2004

2003

Contributions to proceedings:

Costa, E., Schulz, E., Haas, H., Krouk, E., Taubin, F.; Trifonov, P.
MC-CDMA uplink channel coding scheme with built-in channel estimation
Proceedings of IEEE International Conference on Communications Volume 3 , page 2086 - 2090.
2003

1999

Articles:

Karpov, Yu., Bolshakov, K.; Sintotskij, A.
DEALed - A Tool Suite for Distributed Real-Time Systems Development
LNCS, v. 2126:497-502
1999
Export as:
BibTeX, XML