Publications

2008

1. Sergei Mechveliani. An Experience with Term Rewriting for Program Verification. // Proceedings of the First International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008 / Edited by A.P. Nemytykh - Pereslavl Zalessky : Ailamazyan University of Pereslavl, 2008 pp. 119-130 ISBN 978-5-901795-12-5
2. Yuri A. Klimov and Anton Yu. Orlov XSG: Fair Language with Built-in Equality. // Proceedings of the First International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008 / Edited by A.P. Nemytykh - Pereslavl Zalessky : Ailamazyan University of Pereslavl, 2008 pp. 85-93 ISBN 978-5-901795-12-5
3. Andrei P. Nemytykh. On the Place of Supercompilation inside Program Specialization. // Proceedings of the First International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008 / Edited by A.P. Nemytykh - Pereslavl Zalessky : Ailamazyan University of Pereslavl, 2008 pp. 131-144 ISBN 978-5-901795-12-5
4. Alexei P. Lisitsa and Andrei P. Nemytykh. Verification as Specialization of Interpreters with Respect to Data. // Proceedings of the First International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008 / Edited by A.P. Nemytykh - Pereslavl Zalessky : Ailamazyan University of Pereslavl, 2008 pp. 94-112 ISBN 978-5-901795-12-5
5. Ablameyko S., Abramov S., Anishchanka V., Paramonov N., Tchij O. 2008. SKIF Supercomputers and Their Applications // Problems of Cybernetics and Informatics: proceedings of the Second International Conference. September 10 -12, 2008, Baku, Azerbaijan. – Baku, Azerbaijan National Academy of Sciences, 2008, pp.3-7.

2007

1. Sergei Abramov, Robert Gluck, Yuri Klimov. 2007. An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006 Novosibirsk, Russia, June 2006. Proceedings. I. Virbitskaite and A. Voronkov (Eds.): PSI 2006, LNCS 4378, pp. 27-40, 2007. Springer-Verlag Berlin Heidelberg 2007
2. Alexander Moskovsky, Vladimir Roganov, and Sergei Abramov. 2007. Parallelism Granules Aggregation with the T-System. Parallel Computing Technologies: 9th International Conference, PaCT 2007 Pereslavl-Zalessky, Russia, September 2007. Proceedings. Victor Malyshkin (Ed.)- Berlin etc. Springer, 2007. - Lecture Notes in Computer Science: Volume 4671, pp. 293-302
3. Alexander Moskovsky, Vladimir Roganov, Sergei Abramov, and Anton Kuznetsov. Variable Reassignment in the T++ Parallel Programming Language. Parallel Computing Technologies: 9th International Conference, PaCT 2007 Pereslavl-Zalessky, Russia, September 2007. Proceedings. Victor Malyshkin (Ed.)- Berlin etc. Springer, 2007. - Lecture Notes in Computer Science: Volume 4671, pp. 579-588
4. Lisitsa A.P., Nemytykh A.P.  Verification as a Parameterized Testing (Experiments with the SCP4 Supercompiler). , In: J. Programming and Computer Software , Vol. 33, No. 1, pp: 14-23, 2007.
   • The paper is translation of the Russian version: Verificatiya kak parametrizovannoe testirovanie (experimenty s superkompilyatorom SCP4). In: J. Programmirovanie, No. 1, pp: 22-34, 2007. abstract
5. Lisitsa A.P., Nemytykh A.P.   Reachability Analysis in Verification via Supercompilation , In Proc. of the Satellite Workshops of DTL 2007, TUCS General Publication, No. 45, Part 2, pp: 53-67, June 2007.
6. Lisitsa A.P., Nemytykh A.P.  A Note on Specialization of Interpreters , In Proc. of The 2-nd International Symposium on Computer Science in Russia, Lecture Notes in Computer Science, Vol. 4649, pp: 237-248, 2007.

2006

1. Sergei M. Abramov, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk. 2006. The Open TS dynamic parallelization system approach. PARA'06 WORKSHOP ON STATE-OF-THE-ART  IN SCIENTIFIC AND PARALLEL COMPUTING Umea, Sweden, June 18-21 2006
2. Vladimir Roganov, Alexander Moskovsky, Sergei Abramov. 2006. The Open TS parallel programming system.

2005

1. Sergey Abramov, Alexei Adamovich, Alexander Inyukhin, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk, Yuri Shevchuk, and Alexander Vodomerov. 2005. OpenTS: An Outline of Dynamic Parallelization Approach. Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings. Editors: Victor Malyshkin - Berlin etc. Springer, 2005. - Lecture Notes in Computer Science: Volume 3606, pp. 303-312
2. L.Travina, Galina Mironova, A.Abramov "Self-image of efficient top-managers in Russian internet business"// British and east european psychology group. Conference "Psychology in the new Europe: methodology and funding, Jagellonian University Centre Polonia, Krakow, Poland, semptember 11-14 2005
3. S. Mechveliani. 2005. Term rewriting, Equational reasoning, Automatic proofs. Pereslavl-Zalessky, 2005.  См. book.ps в архиве dumatel-1.02.zip
4. Patarakin E., 2005, Virtual flock adviser, BtSM, Hage
5. Patarakin E.D., Yarmakhov B.B., 2005, Building Network Learning Communities: The Russian Context, Audem.
6. Alexei Lisitsa, Andrei P. Nemytykh. 2005. Verification of parameterized systems using supercompilation. A case study. Proceedings of the Third Workshop on Applied Semantics (APPSEM05), Fraunchiemsee, Germany, 12-15 September 2005. Editors: Martin Hofmann, Hans-Wolfgang Loidl - Ludwig Maximillians Universitat Munchen, 2005.

2003

1. Chudinov, A., Guzev, V., Serdyuk Z. 2005. MC#: An Asynchronous Parallel Programming Language for Cluster and GRID-Architectures, in proc. of C# and .NET Technologies' 2003, Plzen, Czech Republic pp. 21-24

2. [09-05] Chudinov, A., Roganov, V. 2005. Parallel Computing Runtime for .NET Framework, in proc. of C# and .NET Technologies' 2003, Plzen, Czech Republic pp. 3-8