СТ |
An Open Adaptive Virtual Museum of Informatics History in Siberia |
2011 |
Kasyanov V. N. |
IFIP AICT |
|
|
Perspectives on Soviet and Russian Computing |
25.03.2013 |
СТ |
A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition |
2007 |
Kasyanov V. N., Stasenko A. P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
20.11.2007 |
СТ |
A Support Tool for Annotated Program Manipulation |
2001 |
Kasyanov V. N. |
|
|
|
Proc. of the Fifth European Conf. on Software Maintenance and Reengineering, Lisbon, Portugal, 14-16 March, 2001 |
20.07.2001 |
СТ |
Hierarchical Graph Models and Visual Processing |
2000 |
Kasyanov V. N., Lisitsyn I. A. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
М |
Graph Theory for Programmers: Algorithms for Processing Trees |
2000 |
Kasyanov V. N., Evstigneev V. A. |
Mathematics and Its Applications |
|
|
|
20.10.2000 |
СТ |
On Completeness of Mechanism of Annotation-Directives |
1995 |
Kasyanov V. N. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
08.04.1997 |
СТ |
A Program Manipulation System for Fine-grained Architectures |
1995 |
Evstigneev V. A., Kasyanov V. N. |
Lecture Notes in Computer Science |
|
|
Parallel Computing Technologies |
17.10.1995 |
СТ |
Formal Methods in Program Analysis and Transformations |
1995 |
Kasyanov V. N., Sabelfeld V. K. |
|
|
|
Intern. Conf. AMCA-95: Advanced Mathematics, Computations and Applications. Abstracts A-Kor |
04.07.1995 |
СТ |
SOKRAT: An Environment for Safe and Efficient Programming |
1993 |
Kasyanov V. N., Kuzminov T. V., Pokrovsky S. B., Pottosin I. V., Sabelfeld V. K., Shelekhov V. I., Stepanov G. G., Zakharov L. I. |
|
|
|
CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics |
03.09.1993 |
СТ |
Educational Informatics System and Education in Computer Sciences |
1993 |
Gorodniaya L. V., Kasyanov V. N. |
|
|
|
CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics |
02.09.1993 |
СТ |
Basis for program optimization |
1983 |
Kasyanov V. N. |
|
|
|
Information Processing 83: Proc./IFIP Congress 83 |
16.04.1993 |
СТ |
Loop cleaning |
1984 |
Kasyanov V. N. |
|
|
|
Information Processing Letters |
16.04.1993 |
СТ |
A method for constructing quality program versions |
1987 |
Kasyanov V. N. |
|
|
|
Informatique-85 (Les materiaux du symp. sovieto-francais) |
16.04.1993 |
СТ |
Tools for program transformation |
1988 |
Kasyanov V. N. |
|
|
|
Informatika 88. Actes de seminaire Franco-Sovetique, INRIA |
16.04.1993 |
СТ |
A method for annotated programming |
1989 |
Kasyanov V. N. |
|
|
|
Informatics 89: Proc./Soviet-French Symp., Tallinn |
16.04.1993 |
СТ |
Annotated program transformation |
1989 |
Kasyanov V. N. |
|
|
|
Methods of Theoretical and Experimental Computer Science |
16.04.1993 |
СТ |
Some properties of fully feducible graphs |
1973 |
Kasyanov V. N. |
|
|
|
Information Processing Letters |
06.04.1993 |
СТ |
Program Structure Analysis in a Global Optimization |
1977 |
Kasyanov V. N., Trachtenbrot M. B. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |
СТ |
Schematology in a Multi-Language Optimizer |
1977 |
Kasyanov V. N., Pokrovsky S. B. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |
СТ |
Application of Optimization Techniques to Correctness Problems |
1978 |
Pottosin I. V., Kasyanov V. N. |
|
|
|
Constructing Quality Software |
30.03.1993 |
СТ |
Annotated Program Transformations |
1989 |
Kasyanov V. N. |
|
|
|
Methods of Theoretical and Experimental Computer Science |
02.12.1992 |
СТ |
Educational Software Development |
1991 |
Gorodniaia L. V., Kasyanov V. N. |
|
|
|
Current Topics in Informatics Systems Research |
23.12.1991 |