Публикации
References
2020 |
Contributions to proceedings: |
|---|
|
Randomized Nested Polar Subcode Constructions
for Privacy, Secrecy, and Storage
Proceedings of International Symposium on Information Theory and Its Applications
2020
|
2018 |
Contributions to proceedings: |
|
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: |
|
MODELING HYBRID SYSTEMS IN RAND MODEL DESIGNER
Hybrid Systems: Performance,Application,and Technology
2017
|
Contributions to proceedings: |
|
Analytical review and the analysis of educational programs with CMSE content
MMSM 2017
, page 12 рр.
October
2017
|
2016 |
Articles: |
|
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: |
|
A Vector Model for Type-Theoretical Semantics
Proceedings of the First Workshop on Representation Learning for NLP (ACL-2016 Workshop)
August
2016
|
|
News from Rand Model Designer for Industry and Education
Proceedings of 8th IFAC Conference on Manufacturing Modelling
Publisher: IFAC-PapersOnLine Open Access,
2016
|
|
Rand Model Designer’s Numerical library
Proceedings of The 9th Eurosim Congress on Modelling and Simulation
Publisher: IFAC-PapersOnLine Open Access,
2016
|
|
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: |
|
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
|
|
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
|
|
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
|
|
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: |
|
Correction to "Spectral Method for Quasi-Cyclic Code Analysis"
IEEE Communications Letters,
18(5):897
May
2014
|
|
Two approaches to facilitate virtual lab implementation
Computing in Science and Engineering,
16(1):78-86
2014
|
|
MDM based Mobile Services in Universities
International Journal of Information Technology & Computer Science,
13(2):35-41
2014
|
Contributions to proceedings: |
|
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: |
|
Simulation of variable structure models using rand model designer
2013
|
Contributions to proceedings: |
|
Simulation of Variable Structure Models using Rand Model Designer
Eurosim 2013 proceedings
, page 6 pp..
2013
|
|
Rand Model Designer
in Manufacturing Applications
Proceedings of 7th IFAC Conference on Manufacturing Modelling, Management, and Control
Volume 7
, page 1572-1577.
2013
|
|
Simulation of Variable Structure Models using Rand Model Designer.
Proceedings of 8th EUROSIM Congress on Modelling and Simulation, EUROSIM
2013
|
2012 |
Articles: |
|
Spectral Method for Quasi-Cyclic Code Analysis
IEEE Communications Letters,
16(11):1840--1843
November
2012
|
Contributions to proceedings: |
|
On approaches to renovation of instructional methods and tools for STEM education in international setting
Труды Международной конференции: "Международное сотрудничество в инженерном образовании"
2012
|
|
Physical modeling of Hybrid systems in Rand Model Designer (Plenary Lecture)
In I.Troch, F. Breitenecker, editor,
Preprints MathMOD 2012
, page 12.
2012
|
|
Modeling of complex dynamical systems in Rand Model Designer (Plenary Lecture)
14-th International conference on Automatic control, Modeling and Simulation
2012
|
|
Physical modeling in Rand Model Designer
Proceedings MATHMOD 12
, page 7.
2012
accepted
|
2011 |
Articles: |
|
Distributed Embedded Control System Design with Verification Support
Automatic Control and Computer Sciences,
45(7)
2011
ISSN: 0146-4116
|
|
Program Complex OpenMVL for Modeling Complex Dynamic Systems,
«Дифференциальные уравнения и процессы управления»,,
1:4
2011
|
|
«Physical modelind» in Model Vision Studium
«Дифференциальные уравнения и процессы управления»,
2
2011
|
Proceedings: |
|
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: |
|
Generalized Concatenated Codes Based on Polar Codes
Proceedings of IEEE International Symposium on Wireless Communication Systems
2011
|
|
Towards e-government services in Russia
KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing
2011
|
2010 |
Articles: |
|
Modeling hybrid systems in MvStudium.
SNE,
20,(№ 1):р 31-34
2010
|
|
Grid-Technology for Chemical Reactions Calculation
Transactions on Computational Science,
7:154-162
2010
|
Contributions to proceedings: |
|
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: |
|
Modeling hybrid systems in MvStudium.
, page 7 рр..
2009
|
Contributions to proceedings: |
|
A TOOL FOR MODELING AND SIMULATION OF COMPLEX DYNAMICAL SYSTEMS.
THE DISTRIBUTED INTELLIGENT SYSTEMS AND TECHNOLOGIES.
2009
|
|
MVSTUDIUM APPLIED LIBRARIES.
THE DISTRIBUTED INTELLIGENT SYSTEMS AND TECHNOLOGIES.
, page 6 РР..
2009
|
|
MODELING COMPLEX DYNAMICAL SYSTEMS IN MVSTUDIUM.
The proceedins of EUNUMATH 09
, page 1p.
2009
|
2008 |
Contributions to proceedings: |
|
Physical modeling with MvStudium, a DAE simulator with features for hybrid systems.
The EOOLT 07 proceedings
, page 20 pp.
2008
|
2007 |
Articles: |
|
Application of Simulation Approaches to Creation of Decision Support Systems for IT Service Management
LNCS,
v.4671:553-558
2007
|
Contributions to proceedings: |
|
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: |
|
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: |
|
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
|
|
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: |
|
Adaptive Multilevel Coding in OFDM Systems
Proceedings of IEEE Vehicular Technology Conference 2005-Spring
2005
|
2004 |
Articles: |
|
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: |
|
Adaptive user allocation, bit and power loading in multi-carrier systems
Proceedings of the 9th International OFDM-Workshop
2004
|
2003 |
Contributions to proceedings: |
|
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: |
|
DEALed - A Tool Suite for Distributed Real-Time Systems Development
LNCS,
v. 2126:497-502
1999
|
mailto: webmaster@dcn.ftk.spbstu.ru