Search dblp for Publications

export results for "toc:db/journals/pcs/pcs29.bht:"

 download as .bib file

@article{DBLP:journals/pcs/AbramovKR03,
  author       = {Sergei A. Abramov and
                  Alexander P. Kryukov and
                  V. A. Rostovtsev},
  title        = {The Scientific Research Seminar on Computer Algebra in 2001-2002},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {2},
  pages        = {55--58},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022988414073},
  doi          = {10.1023/A:1022988414073},
  timestamp    = {Thu, 25 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pcs/AbramovKR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/BelliniBN03,
  author       = {Pierfrancesco Bellini and
                  M. Buonopane and
                  Paolo Nesi},
  title        = {Assessment of a Flexible Architecture for Distributed Control*},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {3},
  pages        = {147--160},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023853106207},
  doi          = {10.1023/A:1023853106207},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/BelliniBN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Bocharov03,
  author       = {N. V. Bocharov},
  title        = {Concurrent Programming Technologies and Techniques},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {1},
  pages        = {2--12},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1021911812601},
  doi          = {10.1023/A:1021911812601},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Bocharov03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/BourdonovKK03,
  author       = {Igor B. Bourdonov and
                  Alexander S. Kossatchev and
                  Victor V. Kuliamin},
  title        = {Irredundant Algorithms for Traversing Directed Graphs: The Deterministic
                  Case},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {5},
  pages        = {245--258},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025733107700},
  doi          = {10.1023/A:1025733107700},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/BourdonovKK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/BuryakV03,
  author       = {D. Yu. Buryak and
                  Yu. V. Vizil'ter},
  title        = {Automated Construction of Identification Procedures for Objects Belonging
                  to Several Classes},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {5},
  pages        = {239--244},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025736923630},
  doi          = {10.1023/A:1025736923630},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/BuryakV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/ChunlinLL03,
  author       = {Chunlin Li and
                  Zhengding Lu and
                  Layuan Li},
  title        = {Design and Implementation of a Hybrid Agent Platform},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {1},
  pages        = {28--42},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1021915913509},
  doi          = {10.1023/A:1021915913509},
  timestamp    = {Fri, 17 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pcs/ChunlinLL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Coox03,
  author       = {S. V. Coox},
  title        = {Axiomatization of the Evolution of {XML} Database Schema},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {3},
  pages        = {140--146},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023801022137},
  doi          = {10.1023/A:1023801022137},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Coox03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Dorogov03,
  author       = {A. Yu. Dorogov},
  title        = {Implementation of Spectral Transformations in the Class of Fast Neural
                  Networks},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {4},
  pages        = {187--198},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1024966508452},
  doi          = {10.1023/A:1024966508452},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Dorogov03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/FerroG03,
  author       = {Giuseppa Carr{\`{a}} Ferro and
                  Vladimir P. Gerdt},
  title        = {Improved Kolchin-Ritt Algorithm},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {2},
  pages        = {83--87},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022996615890},
  doi          = {10.1023/A:1022996615890},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/FerroG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/GerdtY03,
  author       = {Vladimir P. Gerdt and
                  D. A. Yanovich},
  title        = {Implementation of the {FGLM} Algorithm and Finding Roots of Polynomial
                  Involutive Systems},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {2},
  pages        = {72--74},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022992514981},
  doi          = {10.1023/A:1022992514981},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/GerdtY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Khachatryan03,
  author       = {V. E. Khachatryan},
  title        = {Complete System of Equivalent Transformations for Multitape Automata},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {1},
  pages        = {43--54},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1021967930348},
  doi          = {10.1023/A:1021967930348},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Khachatryan03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Kislenkov03,
  author       = {V. V. Kislenkov},
  title        = {Grid-Oriented Computation: Modified Bessel Functions nu(z) and nu(z)},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {2},
  pages        = {88--93},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022948732728},
  doi          = {10.1023/A:1022948732728},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Kislenkov03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Kornyak03,
  author       = {Vladimir V. Kornyak},
  title        = {A Method of Splitting Cochain Complexes for Computing Cohomology:
                  Lie Algebra of Hamiltonian Vector Fields H(2{\(\vert\)}0)},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {2},
  pages        = {94--99},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022900816799},
  doi          = {10.1023/A:1022900816799},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Kornyak03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Korolev03,
  author       = {L. N. Korolev},
  title        = {From the Editor of the Special Issue},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {4},
  pages        = {183--186},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1024914524382},
  doi          = {10.1023/A:1024914524382},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Korolev03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/KostenkoV03,
  author       = {Valery A. Kostenko and
                  A. V. Vinokurov},
  title        = {Locally Optimal Algorithms for Designing Schedules Based on Hopfield
                  Networks},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {4},
  pages        = {199--209},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1024918625291},
  doi          = {10.1023/A:1024918625291},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/KostenkoV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/KuliaminPKB03,
  author       = {Victor V. Kuliamin and
                  Alexander K. Petrenko and
                  Alexander S. Kossatchev and
                  Igor B. Burdonov},
  title        = {The UniTesK Approach to Designing Test Suites},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {6},
  pages        = {310--322},
  year         = {2003},
  url          = {https://doi.org/10.1023/B:PACS.0000004131.54590.fb},
  doi          = {10.1023/B:PACS.0000004131.54590.FB},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/KuliaminPKB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Likhoded03,
  author       = {Nickolai A. Likhoded},
  title        = {Distribution of Operations and Data Arrays over Processors},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {3},
  pages        = {173--179},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023857207116},
  doi          = {10.1023/A:1023857207116},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Likhoded03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Lipaev03,
  author       = {Vladimir Vasil'evich Lipaev},
  title        = {A Methodology of Verification and Testing of Large Software Systems},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {6},
  pages        = {298--309},
  year         = {2003},
  url          = {https://doi.org/10.1023/B:PACS.0000004130.36733.12},
  doi          = {10.1023/B:PACS.0000004130.36733.12},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Lipaev03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Malaschonok03,
  author       = {Gennadi I. Malaschonok},
  title        = {Solution of Systems of Linear Equations by the p-Adic Method},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {2},
  pages        = {59--71},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022940530911},
  doi          = {10.1023/A:1022940530911},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Malaschonok03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Markin03,
  author       = {M. I. Markin},
  title        = {Synthesis of Neural Network-Based Approximators with Heterogeneous
                  Architecture},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {4},
  pages        = {219--227},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1024922726199},
  doi          = {10.1023/A:1024922726199},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Markin03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Mitichkina03,
  author       = {A. M. Mitichkina},
  title        = {Implementation of an Algorithm for Finding Analyticity Conditions
                  for a Solution of a Difference Equation},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {2},
  pages        = {100--103},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022952800869},
  doi          = {10.1023/A:1022952800869},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Mitichkina03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/NepomniaschyAP03,
  author       = {Valery A. Nepomniaschy and
                  Igor S. Anureev and
                  Alexey V. Promsky},
  title        = {Towards Verification of {C} Programs: Axiomatic Semantics of the C-kernel
                  Language},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {6},
  pages        = {338--350},
  year         = {2003},
  url          = {https://doi.org/10.1023/B:PACS.0000004134.24714.e5},
  doi          = {10.1023/B:PACS.0000004134.24714.E5},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/NepomniaschyAP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/NovakK03,
  author       = {L. G. Novak and
                  Sergei D. Kuznetsov},
  title        = {Canonical Forms of {XML} Schemas},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {5},
  pages        = {283--293},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025741309518},
  doi          = {10.1023/A:1025741309518},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/NovakK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/OlkhovichK03,
  author       = {L. Ol'khovich and
                  Dmitrij V. Koznov},
  title        = {OCL-Based Automated Validation Method for {UML} Specifications},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {6},
  pages        = {323--327},
  year         = {2003},
  url          = {https://doi.org/10.1023/B:PACS.0000004132.42846.11},
  doi          = {10.1023/B:PACS.0000004132.42846.11},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/OlkhovichK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Panyukov03,
  author       = {V. V. Panyukov},
  title        = {Construction of the Convex Hull of a Set for a Minimum Number of Iterations},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {2},
  pages        = {112--119},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022956901778},
  doi          = {10.1023/A:1022956901778},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Panyukov03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Petrenko03,
  author       = {Alexander K. Petrenko},
  title        = {Verification, Validation, and Testing of Software: Special Issue of
                  the Programmirovanie Journal},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {6},
  pages        = {296--297},
  year         = {2003},
  url          = {https://doi.org/10.1023/B:PACS.0000004129.28766.3d},
  doi          = {10.1023/B:PACS.0000004129.28766.3D},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Petrenko03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Petrovskiy03,
  author       = {Mikhail Petrovskiy},
  title        = {Outlier Detection Algorithms in Data Mining Systems},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {4},
  pages        = {228--237},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1024974810270},
  doi          = {10.1023/A:1024974810270},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Petrovskiy03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Podlovchenko03,
  author       = {Rimma I. Podlovchenko},
  title        = {On Program Schemes with Commuting and Monotone Operators},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {5},
  pages        = {270--276},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025737208609},
  doi          = {10.1023/A:1025737208609},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Podlovchenko03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Skorokhodov03,
  author       = {S. L. Skorokhodov},
  title        = {Computer Algebra and Computing Special Functions},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {2},
  pages        = {75--82},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022944631820},
  doi          = {10.1023/A:1022944631820},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Skorokhodov03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/TarnavskyVT03,
  author       = {G. A. Tarnavsky and
                  Vitalii A. Vshivkov and
                  A. G. Tarnavsky},
  title        = {Parallelization of Algorithms and Codes of the Computational System
                  "Potok-3"},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {1},
  pages        = {13--27},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1021963829439},
  doi          = {10.1023/A:1021963829439},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/TarnavskyVT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Toporkov03,
  author       = {Victor V. Toporkov},
  title        = {Decidability of the Analysis Problem for Dataflow Models of Programs},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {3},
  pages        = {121--129},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023896821228},
  doi          = {10.1023/A:1023896821228},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Toporkov03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/VaseninD03,
  author       = {V. A. Vasenin and
                  E. E. Dolgalev},
  title        = {ProXForms Language at the Stage of Web Technologies Evolution from
                  {HTML} Forms to XForms},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {5},
  pages        = {277--282},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025789225447},
  doi          = {10.1023/A:1025789225447},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/VaseninD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/VaseninKLR03,
  author       = {V. A. Vasenin and
                  V. V. Korneev and
                  M. Yu. Landina and
                  V. A. Roganov},
  title        = {Functional Active Monitoring System {FLAME}},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {3},
  pages        = {161--172},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023805223046},
  doi          = {10.1023/A:1023805223046},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/VaseninKLR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/X03,
  title        = {On the 100th Anniversary of the Birth of Academician Sergei Alekseevich
                  Lebedev},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {1},
  pages        = {1},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1021959728530},
  doi          = {10.1023/A:1021959728530},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/X03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/X03a,
  title        = {The Jubilee of Svyatoslav Sergeevich Lavrov},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {4},
  pages        = {181--182},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1024933607544},
  doi          = {10.1023/A:1024933607544},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/X03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/X03b,
  title        = {On the 75th Birthday of Vladimir Vasil'evich Lipaev},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {6},
  pages        = {295--295},
  year         = {2003},
  url          = {https://doi.org/10.1023/B:PACS.0000004128.80345.91},
  doi          = {10.1023/B:PACS.0000004128.80345.91},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/X03b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Zamulin03,
  author       = {Alexandre V. Zamulin},
  title        = {An ASM-based Formal Model of a Java Program},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {3},
  pages        = {130--139},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023848905299},
  doi          = {10.1023/A:1023848905299},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Zamulin03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Zamulin03a,
  author       = {Alexandre V. Zamulin},
  title        = {Formal Semantics of Java Expressions and Statements},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {5},
  pages        = {259--270},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025785124539},
  doi          = {10.1023/A:1025785124539},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Zamulin03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Zamulin03b,
  author       = {Alexandre V. Zamulin},
  title        = {Algebraic Semantics of an Imperative Programming Language},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {6},
  pages        = {328--337},
  year         = {2003},
  url          = {https://doi.org/10.1023/B:PACS.0000004133.80483.66},
  doi          = {10.1023/B:PACS.0000004133.80483.66},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Zamulin03b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/ZelenovZKP03,
  author       = {Sergey V. Zelenov and
                  Sophia A. Zelenova and
                  Alexander S. Kossatchev and
                  Alexander K. Petrenko},
  title        = {Test Generation for Compilers and Other Formal Text Processors},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {2},
  pages        = {104--111},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022904917707},
  doi          = {10.1023/A:1022904917707},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/ZelenovZKP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/ZhirkovKLKB03,
  author       = {Alexander Zhirkov and
                  D. N. Kortchagine and
                  Alexey S. Lukin and
                  Andrey S. Krylov and
                  Yuri Bayakovskii},
  title        = {Graphic Representation Method and Neural Network Recognition of Time-Frequency
                  Vectors of Speech Information},
  journal      = {Program. Comput. Softw.},
  volume       = {29},
  number       = {4},
  pages        = {210--218},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1024970609361},
  doi          = {10.1023/A:1024970609361},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/ZhirkovKLKB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics