Rimma I. Podlovchenko Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2007
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko, Dmitry M. Rusakov: Inclusion problem in algebraic models of programs with constants. Programming and Computer Software 33(3): 121-131 (2007)
2006
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko: Automaton semigroup models of programs. Programming and Computer Software 32(6): 301-307 (2006)
2005
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov: On the Equivalence Problem for Programs with Mode Switching. CIAA 2005: 351-352
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko, Dmitry M. Rusakov: Program Schemes with Constants. Programming and Computer Software 31(3): 113-122 (2005)
2004
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko, V. E. Khachatryan: A New Approach to Solving Equivalence Problem. Programming and Computer Software 30(3): 121-133 (2004)
2003
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko: On Program Schemes with Commuting and Monotone Operators. Programming and Computer Software 29(5): 270-276 (2003)
2002
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko: Equivalent Transformations of Program Schemes for "Entangling" Programs. Programming and Computer Software 28(2): 106-116 (2002)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko: Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators. Programming and Computer Software 28(6): 301-313 (2002)
2001
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko: A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts. Ershov Memorial Conference 2001: 8-23
1979
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko: Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory). FCT 1979: 349-354
1975
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko: On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations. MFCS 1975: 351-357
1972
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimma I. Podlovchenko: Non- determined algorithm schemata or R- schemata. International Sympoisum on Theoretical Programming 1972: 86-110

Coauthor Index

1V. E. Khachatryan [8]
2Dmitry M. Rusakov [9] [10] [12]
3Vladimir A. Zakharov [10]

Colors in the list of coauthors

Copyright © Fri Dec 4 16:04:45 2009 by Michael Ley (ley@uni-trier.de)