Публикации

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

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

2010

Articles:

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

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

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

1999

Articles:

Karpov, Yu., Bolshakov, K.; Sintotskij, A.
DEALed - A Tool Suite for Distributed Real-Time Systems Development
LNCS, v. 2126:497-502
1999
Borshchev, A.V., Bolshakov, K.R., Karpov, Yu.G., Rudakov, V.V.; Filippov, A.E.
Creating and Running Mobile Agents with XJ DOME
LNCS, v. 2126:410-416
1999

Contributions to proceedings:

Borshchev, A.V., Bolshakov, K.R., Karpov, Yu.G.; Filippov, A.E.
Dome - an Environment for the Development and Usage of Mobile Agents
Proceedings of the 1st International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS'99, June 1-4, St. Petersburg, Russia
1999

1997

Articles:

Borshchev, A., Karpov, Yu.; Rudakov, V.
Analysis of a Distributed Election Algorithm Using COVERS 3.0 - a Case Study
LNCS, v. 1277:175-188
1997

Contributions to proceedings:

Borshchev, A., Karpov, Yu.; Rudakov, V.
System Modeling, Simulation and Analysis using COVERS Active Objects
Engineering of Computer-Based Systems, Monterey, CA , page 220-227.
1997
Borshchev, A., Karpov, Yu.; Rudakov, V.
COVERS 3.0 - An Object Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems
Proceedings of the 1st International Workshop on Distributed Interactive Simulation, Eilat, Israel, IEEE Computer Society Press , page 39-44.
1997

1995

Articles:

Borshchev, A., Karpov, Yu.; Rudakov, V.
COVERS - A Tool for the Design of Real-Time Concurrent Systems
LNCS, v. 964:219-232
1995
Export as:
BibTeX, XML