@article{Klimov98,
  title = {Program Specialization vs. Program Composition},
  author = {Andrei V. Klimov},
  year = {1998},
  doi = {10.1145/289121.289124},
  url = {http://doi.acm.org/10.1145/289121.289124},
  tags = {composition},
  researchr = {https://researchr.org/publication/Klimov98},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {30},
  number = {3es},
  pages = {3},
}

@article{GluckK98,
  title = {On the Degeneration of Program Generators by Program Composition},
  author = {Robert Glück and Andrei V. Klimov},
  year = {1998},
  tags = {composition},
  researchr = {https://researchr.org/publication/GluckK98},
  cites = {0},
  citedby = {0},
  journal = {New Generation Comput.},
  volume = {16},
  number = {1},
  pages = {75-96},
}

@inproceedings{Klimov91,
  title = {Dynamic Specialization in Extended Functional Language with Monotone Objects},
  author = {Andrei V. Klimov},
  year = {1991},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Klimov91},
  cites = {0},
  citedby = {0},
  pages = {199-210},
  booktitle = {PEPM},
}

@article{GluckK97,
  title = {A Regeneration Scheme for Generating Extensions},
  author = {Robert Glück and Andrei V. Klimov},
  year = {1997},
  doi = {10.1016/S0020-0190(97)00055-0},
  url = {http://dx.doi.org/10.1016/S0020-0190(97)00055-0},
  tags = {composition, extreme programming, programming, transformation, program transformation},
  researchr = {https://researchr.org/publication/GluckK97},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {62},
  number = {3},
  pages = {127-134},
}

@inproceedings{Klimov09,
  title = {A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols},
  author = {Andrei V. Klimov},
  year = {2009},
  doi = {10.1007/978-3-642-11486-1_16},
  url = {http://dx.doi.org/10.1007/978-3-642-11486-1_16},
  tags = {programming languages, object-oriented programming, rule-based, Java, meta programming, caching, program verification, meta-model, modeling language, modeling, protocol, language modeling, functional programming, object-role modeling, reviewing, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/Klimov09},
  cites = {0},
  citedby = {0},
  pages = {185-192},
  booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers},
  editor = {Amir Pnueli and Irina Virbitskaite and Andrei Voronkov},
  volume = {5947},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11485-4},
}

@inproceedings{Klimov06,
  title = {Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs},
  author = {Andrei V. Klimov},
  year = {2006},
  doi = {10.1007/978-3-540-70881-0_22},
  url = {http://dx.doi.org/10.1007/978-3-540-70881-0_22},
  tags = {programming languages, semantics, rule-based, data-flow language, functional programming, data-flow programming, data-flow, source-to-source, rules, partial evaluation, programming, open-source},
  researchr = {https://researchr.org/publication/Klimov06},
  cites = {0},
  citedby = {0},
  pages = {248-259},
  booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers},
  editor = {Irina Virbitskaite and Andrei Voronkov},
  volume = {4378},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70880-3},
}

@inproceedings{GluckK93,
  title = {Occam s Razor in Metacompuation: the Notion of a Perfect Process Tree},
  author = {Robert Glück and Andrei V. Klimov},
  year = {1993},
  tags = {Occam},
  researchr = {https://researchr.org/publication/GluckK93},
  cites = {0},
  citedby = {0},
  pages = {112-123},
  booktitle = {Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings},
  editor = {Patrick Cousot and Moreno Falaschi and Gilberto Filé and Antoine Rauzy},
  volume = {724},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57264-3},
}

@inproceedings{Klimov11,
  title = {Solving Coverability Problem for Monotonic Counter Systems by Supercompilation},
  author = {Andrei V. Klimov},
  year = {2011},
  doi = {10.1007/978-3-642-29709-0_18},
  url = {http://dx.doi.org/10.1007/978-3-642-29709-0_18},
  researchr = {https://researchr.org/publication/Klimov11},
  cites = {0},
  citedby = {0},
  pages = {193-209},
  booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers},
  editor = {Edmund M. Clarke and Irina Virbitskaite and Andrei Voronkov},
  volume = {7162},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-29708-3},
}

@inproceedings{AdamovichK19,
  title = {On Deterministic Parallel Implementation of the Branch-and-Bound Method with Monotonic Objects},
  author = {Alexei Adamovich and Andrei V. Klimov},
  year = {2019},
  url = {http://ceur-ws.org/Vol-2543/rpaper01.pdf},
  researchr = {https://researchr.org/publication/AdamovichK19},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), Novorossiysk-Abrau, Russia, September 23-28, 2019},
  editor = {Mikhail M. Gorbunov-Posadov and Alexander M. Elizarov and Mikhail Yakobovskiy},
  volume = {2543},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@article{Klimov12,
  title = {A simple algorithm for solving the coverability problem for monotonic counter systems},
  author = {Andrei V. Klimov},
  year = {2012},
  doi = {10.3103/S0146411612070103},
  url = {http://dx.doi.org/10.3103/S0146411612070103},
  researchr = {https://researchr.org/publication/Klimov12},
  cites = {0},
  citedby = {0},
  journal = {Automatic Control and Computer Sciences},
  volume = {46},
  number = {7},
  pages = {364-370},
}