M. Burgin

COMPUTER SCIENCE, INFORMATION SCIENCES, AND ARTIFICIAL INTELLIGENCE

Books and booklets are in bold letters

 

269.   The Block-Scheme Language as a Programming Language, Problems of Radio-Electronics, 1973, No. 7, pp. 39-58                  (in  Russian)

270.   A Study of an Abstract Model of Computers, Programming, 1975, No. 1, pp. 72-82    (Programming and Computer Software, 1975, v. 1, No.1)    (translated from Russian, in collaboration)

271.   Operators of a Multidimensional Structured Model of Parallel Computations,  Automatics and Telemechanics, 1976, No. 8, pp. 179-185       (Automation and Remote Control, 1976, v. 37, No. 8, pp. 1295-1300)        (translated from Russian, in collaboration)

272.   Some Tendencies in Programming Languages Development,  All-Union conference "Computers-76",  pt. 1,  1976, pp. 99-100          (in  Russian)

273.   The Recursion Operator and Representability of Functions in the Block-Scheme Language, Programming, 1976, No. 4, pp. 13-23  (Programming and Computer Software, 1976, v. 2, No.4)       (translated from Russian)

274.   On a Construction of Matrix Operators,  Problems  of Radio-Electronics, 1976, No. 8, pp. 9-25       (in Russian, in collaboration)

275.   The Language of Package Design of Logical Units,  Problems of Radio-Electronics, 1977, No. 6, pp. 58-71     (in Russian, in collaboration)

276.   Connections Between Relations, and their Application in Computer Science,  in “Problems of Information Theory and Practice,” Moscow, 1978, pp. 84-93      (in Russian, in collaboration)

277.   Variables in the Block-Scheme Language, Programming, 1978, v. 4, No. 2, pp. 3-11  (Programming and Computer Software, 1978, v. 4, No. 2, pp. 79-85)                   (translated from Russian)

278.   On Automation of the Pacific fishery information retrieval and processing, in Proceedings of the XIV Pacific Science Congress, Khabarovsk, 1979, pp. 26-29     (in collaboration)

279.   The language PDL for the large system design automation,  Programming,  1979, No. 1, pp. 80-90       (Programming and Computer Software, 1979, v. 5, No. 1, pp. 80-90)                                                     (translated from Russian, in collaboration)

280.   Structures of Operators in a Multidimensional Structured Model,   All-Union seminar on synthesis and planning of complex structures, Moscow, 1979, pp. 57-58      (in  Russian)

281.   Functional equivalence of operators and parallel computations,   Programming, 1980, No. 6, pp. 3-16         (Programming and Computer Software, 1980, v. 6, No. 6, pp. 283-294)                      (translated from Russian)

282.   Structured organization of frames for knowledge-base construction, in “Knowledge representation in Artificial Intelligence Systems,” Moscow, 1980, pp. 21-24          (in Russian, in collaboration)

283.   Some properties of E-machines, Abstracts presented to the American Mathematical Society, 1980,  v. 1, No. 3

284.   Multi-valued partitions in formal languages,  Abstracts presented to the American Mathematical Society, 1980, v. 1, No. 4             (in collaboration) 

285.   Domination in formal languages,  Abstracts presented to the American Mathematical Society, 1980, v. 1, No. 6                             (in collaboration) 

286.   Derivations and partitions in formal languages, Abstracts presented to the American Mathematical Society, 1980, v. 1, No. 7      (in collaboration) 

287.   Decision problems for multi-valued partitions, Abstracts presented to the American Mathematical Society, 1981, v. 2 , No. 2       (in collaboration) 

288.   Parallel partitions and their time complexity, Abstracts presented to the American Mathematical Society, 1981, v. 2, No. 3       (in collaboration) 

289.   Representation of linear languages by parallel partitions,  Abstracts presented to the American Mathematical Society, 1981, v. 2,  No. 5     (in collaboration) 

290.   Duality in the theory of computations, Abstracts presented to the American Mathematical Society, 1981, v. 2, No. 4

291.   Duality theorem for computable functions, Abstracts presented to the American Mathematical Society, 1981, v. 2, No. 5

292.   Principles of computer graphic construction in Computer Aided Design, Seminar on automated design, Ryazan, 1981, pp. 9-11    (in Russian, in collaboration)

293.   Dual measures for abstract complexities,  Abstracts presented to the American Mathematical Society, 1982, v. 3, No. 1

294.   A correspondence between abstract complexity of computations and size measures  of machines,  Abstracts presented to the American Mathematical Society, 1982, v. 3, No. 4

295.   Some properties of GK-complexities of computation, Abstracts presented to the American Mathematical Society, 1982, v. 3, No. 6

296.   Direct and inverse algorithmic problems,  Abstracts presented to the American Mathematical Society, 1982, v. 3, No. 7

297.   Generalized Kolmogorov complexity and duality in theory of computations, Notices of the Academy of Sciences of the USSR, 1982, v. 264, No. 2 (v.25, No. 3), pp. 19-23          (translated from Russian)

298.   Complexity of parallel algorithms and computations, Notices of the Academy of Sciences of the USSR, 1982, v. 265, No. 2  (v. 26, No. 1) , pp. 268-274         (translated from Russian)

299.   Quantitative estimations of the program quality,  in “Information retrieval systems and systems of data base management systems,” Kishinev, 1982, pp. 6-8      (in Russian, in collaboration) 

300.   Estimation of dynamic program characteristics,  in “Dialogical mode in planning,” Kiev, 1982,   pp. 91-96      (in Russian, in collaboration) 

301.   Problems of functioning of graphic design computer systems,  Mechanization and automation of control, 1982, No. 2, pp. 32-36      (in Russian, in collaboration) 

302.   Principles of automated systems design, Control Systems and Machines, 1982, No. 2, pp. 82-89    (in Russian, in collaboration) 

303.   Multidimensional structural analysis of FORTRAN programs, Control Systems and Machines, 1982, No. 1, pp. 38-39        (in Russian, in collaboration) 

304.   Products of Operators in a Multidimensional Structured Model of Systems, Mathematical Social Sciences, 1982, No.2, pp. 335-343

305.   Computational complexity of processes defined by parallel partitions,   VI All-Union conference on mathematical logic, Tbilisi, 1982, p. 26     (in Russian, in collaboration)    

306.   Partitions in Languages and Parallel Computations,  Programming, 1982, No. 3, pp. 10-20 (Programming and Computer Software, 1982, v. 8, No. 3, pp. 112-120)                                   (translated from Russian, in collaboration)

307.   Real-time string matching by parallel partitions,  Abstracts presented to the American Mathematical Society,  1983, v. 4, No. 1       (in collaboration) 

308.   Generalized Speed-Up Theorem for Abstract Complexity Measures, Abstracts presented to the American Mathematical Society, 1983, v.4, No. 1

309.   General Measures for Algorithms, Abstracts presented to the American Mathematical Society, 1983, v.4, No. 2.

310.   Limit Turing Machines, Abstracts presented to the American Mathematical Society, 1983, v.4, No. 4

311.   Universality for Inductive Turing Machines, Abstracts presented to the American Mathematical Society, 1983, v. 4, No. 5

312.   On a conjecture of S. Kleene,  Abstracts presented to the American Mathematical Society, 1983, v. 4, No. 6

313.   Information retrieval and multi-valued partitions in languages, Cybernetics, 1982, No. 1, pp. 30-42      (Cybernetics and System Analysis, 1983, v. 18)                                                                                              (translated from Russian, in collaboration)

314.   Composition of operators in a multidimensional structured model of parallel computations and systems,    Cybernetics, 1983, No. 3, pp. 38-46   (Cybernetics and System Analysis, 1984, v. 19, No. 3, pp. 340-350)         (translated from Russian)

315.   Formal models of systems with variable structures,  XXXVIII All-Union Session on radio celebration, pt.2, Moscow, 1983, pp. 85-86 (in Russian, in collaboration)

316.   Problems of multi-access memory organization, in “Automated control systems,”  Kharkov, 1983, No. 68, pp. 79-85 structures        (in Russian, in collaboration)

317.   Recursive relations for dual complexity measures,  in “Applications of methods of mathematical logic,” Tallinn, 1983, pp. 126-127      (in Russian) 

318.   Inductive Turing machines,   Notices of the Academy of Sciences of the USSR, 1983,  v.27, No. 3 (v. 270, No. 6) , pp. 1289-1293      (translated from Russian) 

319.   Multiple computations and Kolmogorov complexity for such processes, Notices of the Academy of Sciences of the USSR, 1983, v. 27, No. 2  (v. 269, No.4), pp. 793-797        (translated from Russian) 

320.   Equivalence among optimization problems on matrix sets, Discrete Applied Mathematics and Combinatorial Operations Research, 1983, No. 6, pp. 13-24                (in collaboration)

321.   Multilimit Turing machines, Abstracts presented to the American Mathematical Society, 1984, v. 5, No. 3 

322.   Computations of sets defined by formulas in arithmetic,  Abstracts presented to the American Mathematical Society, 1984, v. 5, No. 5

323.   Systems and Properties,  Abstracts presented to the American Mathematical Society, 1984, v.5, No. 6

324.   Inductive Turing machines with multiple head and Kolmogorov algorithms, Notices of the Academy of Sciences of the USSR, 1984, v. 29, No. 2  (v. 275, No. 2) pp. 280-284                (translated from Russian) 

325.   Complexity measures on systems of parallel algorithms,   Programming, 1984, No. 1, pp. 17-28 (Programming and Computer Software, 1984, v. 10, No. 1, pp. 12-21)                                      (translated from Russian) 

326.   Program Quality Estimation Based on Structural Characteristics, in Proceedings of the International Conference "Software", Kalinin, 1984, pp. 79-81     (in Russian, in collaboration)

327.   Quality of the Automated Control System Software, in “Perspectives of the Automated Control System Development,” Kiev, 1984, pp. 58-66                (in Russian, in collaboration)

328.   Problems of purpose determination in models of organizations and transport systems,    in “Mathematical methods of transport problem solving,” Moscow, 1984, pp. 3-15                        (in Russian, in collaboration)

329.   Structured-parametric description of graphic objects, Control Systems and Machines, 1984, No. 3, pp. 80-85          (in Russian, in collaboration)

330.   Optimization Methods for Software Design, in “Operation research and automated control systems”, Kiev, 1984, No. 24, pp. 102-108        (in Russian, in collaboration)

331.   Named Sets and Information Representation, VII All-Union conference on mathematical logic, Novosibirsk, 1984, p. 25      (in Russian)

332.   Numerical analysis and real number algorithms, Abstracts presented to the American Mathematical Society, 1985, v. 6, No. 1

333.    Algorithmic problems for limit Turing machines, Abstracts presented to the American Mathematical Society, 1985, v. 6, No. 6

334.   Algorithms and algorithmic  problems, Programming, 1985, No. 4, pp. 3-14   (Programming and Computer Software, 1985)                                     (translated from  Russian)

335.   Limit computations and computational potential of inductive Turing machines, All-Union conference in applied logic, Novosibirsk, 1985, pp. 30-32         (in Russian)  

336.   Computational Complexity Measures and Quality of Programs,  in “Reliability and quality of software,” Kiev, 1985, pp. 28-30       (in Russian)

337.   Formal models of systems with variable structures,  in “Problems of system techniques,” Leningrad, 1985, pp. 117-121      (in Russian, in collaboration)

338.   System Development and Principle of Asymptotic Uniformity,  in  “Methodological and Applied Issues of Automated Production and Control Systems in Economy,” Tashkent, 1985, pp. 35-36                                        (in Russian, in collaboration)

339.   Structures of Concepts in Scientific Theories,  VIII All-Union Conference on Mathematical Logic,   Moscow, 1986, p. 25   (in Russian, in collaboration)

340.   Relations between functionally equivalent operators of parallel information processing, in “Models and Systems of Information Processing,” Kiev, 1986, pp. 20-27           (in Russian)

341.   Heuristics and Heuristicallity in a Scientific Theory, in Proceedings of the V seminar on problems of creativity: methodology and theory, Simferopol, 1986, pp. 100-103    (in Russian, in collaboration)

342.   Expert system "Sale Market", in “Expert Systems”, Moscow, 1986, pp. 126-129            (in Russian, in collaboration) 

343.   Concept modeling in historical aspects,   in “Philosophical problems of logic and science,” pt. 2, Moscow, 1986, pp. 85-88             (in Russian, in collaboration) 

344.   Named Sets in the Analysis of Scientific Cognition,  in “Logic of scientific cognition,” Kiev, 1986, pp. 11-12       (in Russian, in collaboration)

345.   The principle of asymptotic uniformity in complex system  modeling,  in  “Operation Research and Automated Control Systems,” Kiev, 1986, pp. 115-122                                        (in Russian, in collaboration)

346.   Informatics as a Science and Problems of its Teaching,  Moscow, Academy of Pedagogical Sciences, 1987    (in Russian)

347.   f-alternation or a new class of super-recursive algorithms, Abstracts presented to the American Mathematical Society, 1987, v. 8, No. 2

348.   Methods of program quality evaluation, in Proceedings of the II International Conference "Software", Kalinin, 1987, pp. 40-42        (in Russian, in collaboration)

349.   Knowledge representation in expert systems, in Proceedings of the II International Conference "Software", Kalinin, 1987, pp. 151-154      (in Russian, in collaboration)

350.   Algebraic structures in models of organizational systems, XIX All-Union Algebraic Conference, Lvov, 1987, p. 45     (in Russian, in collaboration)

351.   Semiotic models and their structures,  in “Psychological theory and practice,” Novosibirsk, 1987, pp. 109-110              (in Russian, in collaboration)

352.   The notion of algorithm and the Turing-Church’s thesis, in Proceedings of the VIII International Congress on logic, methodology and  philosophy of science, Moscow, 1987, v. 5, part 1, pp. 138-140

353.   Software quality evaluation  and management problems,  in “Software of Integrated Automated Control Systems,” Kiev, 1987, pp. 64-69               (in Russian, in collaboration)

354.   Programmable components of  creativity,  in  “Man-Creativity-Computer,” pt. 2, Moscow, 1987, pp. 70-71       (in Russian, in collaboration) 

355.   Heuristicallity in Scientific  Theories, in “Man-Creativity-Computer,” pt. 2, Moscow, 1987, pp. 88-91                       (in Russian, in collaboration)

356.   Automated system "Sale Market" in export production management,  in “Economic problems of research, design, and production,” Dnepropetrovsk, 1987, pp. 170-171                               (in Russian, in collaboration)

357.   Evaluation of Software Quality,  in “Methods of Software  Reliability Analysis Based on Fuzzy Logic,” Kiev, 1987, p. 69     (in Russian, in collaboration)

358.   Notion of data in computer science and programming,   in  “Formation of Computer Literacy,” Kiev, 1987, pp. 92-98                                              (in Ukrainian, in collaboration)

359.   Limit computations and Turing machines,    II All-Union Conference on Applied Logic, Novosibirsk, 1988, pp. 32-34               (in Russian) 

360.   Definitions in practice and  theory of programming,     II All-Union Conference on  Applied Logic, Novosibirsk, 1988, pp. 35-37               (in Russian, in collaboration)

361.   Programmable and Reflexive Components of Creativity,  in “Activity: philosophical and psychological aspects,” Simferopol, 1988, pp. 37-38                 (in Russian, in collaboration)

362.   Concepts in cognition systems and their structure-nominative models,  in "Theory of cognition and logic", Works of soviet scientists to the XVIII International Congress of Philosophy (Brighton,1988),  Moscow, 1988, pp. 52-58     (in Russian, in collaboration)

363.   Decision making systems in scientific research,  in  “Infware and software of Computer Aided Design,”  Moscow , 1988, pp. 31-32      (in Russian) 

364.   Scientific knowledge development as a synergetic process,   in “Selforganization in nature and society,” Leningrad, 1988, pp. 6-8

365.   Automated Data Processing System and Prognosis of Export Utilities Results,  in “Marketing: theory, methodology, practice,”   Moscow, v. 17, 1988, pp. 91-94                      (in Russian, in collaboration)

366.   Evaluations in Scientific Research,   in “Creativity as a philosophical problem,”  Kiev, 1989, pp. 41-43        (in Russian, in collaboration)

367.   Creative work of inventor and knowledge system,  in “Human factor in scientific progress acceleration,” Novosibirsk, 1989, pp.211-214     (in Russian, in collaboration)

368.   Heuristic Component of a Scientific Knowledge System,   VI Seminar on creativity problems, Simferopol, 1989, pp. 83-85     (in Russian, in collaboration)

369.   Mathematical Foundations of the Semantic Networks Theory,   Lecture Notes in Computer Science, 1989, v. 364, pp. 117-135          (in collaboration)

370.   Logical and Structural Principles of Knowledge,   Conference on Intelligent  Management Systems, Varna, 1989, pp. 266-272       (in collaboration)

371.   Knowledge in Intelligent Systems, in Proceedings of the Conference on Intelligent  Management Systems, Varna, 1989, pp. 281-286

372.   The Problem of the Version Selection on the Base of Efficiency Estimation,  Kiev, Institute of Foreign Economy, 1989     (in Russian, in collaboration)    

373.   Elements of the Mathematical Theory Semantic Networks, in “Knowledge-Dialog-Decision,”  Kiev, 1990, pp. 173-184        (in Russian, in collaboration)

374.   Mathematical Simulation of Scientific Concept Formation and Development, in “Knowledge-Dialog-Decision,”  Kiev, 1990, pp. 185-201             (in Russian, in collaboration)

375.   Mathematical models of semantic networks based on the named sets,  in “Decision Support Systems,” Budapest, 1990, pp. 81-96     (in Russian, in collaboration)

376.   Mathematical Modeling of Knowledge Representation Structures in Artificial Intelligence Systems,   in  “Methodology of Mathematical Modeling,”  Sofia, 1990, pp. 317-319        (in Russian, in collaboration)

377.   Logic of  Intelligent  Systems,   All-Union  Conference "Artificial Intelligence - 90", Minsk, 1990, pp. 121-123   (in Russian) 

378.   Generalized Kolmogorov Complexity and other Dual Complexity Measures,  Cybernetics, 1990, No. 4, pp. 21-29                 (translated from Russian: v. 26, No. 4, pp. 481-490)  

379.   Scientific Knowledge and the Expert System "NT-1",   III International Conference  "Software", pt.4, Tver, 1990, pp. 22-25                                       (in Russian, in collaboration)

380.   Abstract Theory of Properties and Sociological Scaling, in “Expert Evaluation in Sociological Studies,”  Kiev, 1990, pp. 243-264                               (in Russian) 

381.   Decision Making Systems and their Software,   Operations Research and Automated Control Systems, Kiev, No. 36, 1990, pp. 82-87                     (in Russian, in collaboration)

382.   System Organization of Data and Knowledge Bases,  in “Data and Knowledge Bases in Automated Systems,” Kiev, 1991, pp. 149-157         (in Russian, in collaboration)

383.   Feedback Structure in Intelligent Systems,   in “People in Intelligent Systems,” Novosibirsk, 1991, pp. 220-222                                                      (in Russian, in collaboration)

384.   Selection of Optimization Criteria in the Dynamic Approach of Mathematical Standardization Theory,   Electronic devices, No. 1, 1991, pp. 62-67       (in Russian)

385.   Logical Methods in Artificial Intelligent Systems, Vestnik of the Computer Science Society, No. 2, 1991, pp. 66-78                                                      (in Russian)

386.   Scientific knowledge in the expert system "NT-1",   in  "Software", Tver, 1991, pp. 77-82     (in Russian, in collaboration)

387.   Technological  approach  to human  activity, in “Problems of human activity optimization and organization,” pt.2, Novosibirsk, 1991, pp. 227-231      (in Russian, in collaboration)

388.   Multilevel reflexive Turing machines,   Abstracts presented to the American Mathematical Society, 1991, v. 12,  No. 2

389.   Dual complexity measures and expert system functioning, in  “Problem solving in intelligent computer media,” Kiev, 1991, pp. 118-126        (in Russian)

390.   Named Sets in the Semantic Network Theory,  in “Knowledge - Dialog - Decision,”  Leningrad, 1991, pp. 43-47       (in Russian)

391.   Infinite Processes and Super-recursive Algorithms,   Notices of the Academy of Sciences of the USSR, 1991, v.321, No. 5, pp. 876-879     (translated from Russian: 1992, v.44, No. 1; in collaboration)

392.   Object-oriented approach to logical representation of knowledge, in  “Object-oriented programming,” Minsk, 1992, pp. 29-30     (in Russian)

393.   Universal limit Turing machines,  Notices of the Russian Academy of Sciences, 1992, v.325, No. 4, pp. 654-658      (translated from Russian: 1993, v. 46, No. 1, pp. 79-83)  

394.   Reflexive Calculi and Logic of Expert Systems, in  “Creative processes modeling by means of knowledge bases,” Sofia, 1992, pp. 139-160          (in Russian)

395.   Procedural models of human-database interaction,  II International conference "Knowledge-Dialogue-Decision", Kaliningrad, 1992, pp. 4-18       (in collaboration)

396.   Structured psychological models of man-computer communication,  International Conference on Bionic  Modeling, S.-Petersburg, 1992, pp. 157-158       (in collaboration)

397.   New Logical Tools for Thinking Simulation and Artificial Intelligence,  International Conference on Bionic Modeling, S.-Petersburg,  1992, pp. 371-372

398.   Complexity measures in the axiomatic theory of algorithms,  in “Methods of design of applied intelligent program systems,” Kiev, 1992, pp. 60-67       (in Russian)

399.   On the concept of a multiset  in cybernetics, Cybernetics and System Analysis, 1992, No. 3, pp. 165-167                                                                     (translated from Russian)

400.   Nomological Structures Modeling in Intelligent Systems,  in “Intelligent Systems and Methodology”, Novosibirsk, 1992, pp. 116-133                (in Russian, in collaboration) 

401.   The structure of innovation processes and innovation characteristics, in “Intellectual development of organizations”, Novosibirsk, 1992, pp. 137-150                (in Russian)

402.   Named sets as a mathematical apparatus for a data structures representation, in “Problem solving on mathematical models of object domains,” Kiev, 1992, pp. 13-21      (in Russian)

403.   On problems of control and self-organization in science,  Visnik of the Academy of Sciences of Ukraine, No. 12, 1992, pp. 80-85                                   (in Ukrainian)

404.   Operations in spaces of  alphabet operators, XI International conference on mathematical logic, Kazan, 1992, p. 29          (in Russian, in collaboration) 

405.   System functioning and technological processes,   Abstracts presented to the American Mathematical Society, 1992, v. 13, No. 2

406.   Fuzzy continuous functions in object classification,  1st European Congress on fuzzy and intelligent    technologies, Proceedings, Aachen, 1993, pp. 1189-1195

407.   Types of fuzzy nomological structures,   1st European Congress on fuzzy and intelligent technologies, Proceedings, Aachen, 1993, pp. 1625-1631        (in collaboration)

408.   Alphabet operators and algorithms,  Cybernetics and System Analysis, 1993, No. 3, pp. 42-57        (translated from Russian: v. 29, No. 3, pp. 338-349; in collaboration) 

409.   Creationist theory of concept, XIX World Congress of Philosophy, Abstracts, v.1, Moscow, 1993, p. 151     (in Russian)

410.   Software engineering and complexity of algorithms,   in “Engineering of programming tools,” Kiev, 1993, pp. 16-17       (in Russian)

411.   Analogy and Argumentation in Artificial Intelligence Systems, Vychislitelnyye Systemy (Logical Methods in Computer Science), No. 148, 1993, pp. 82-93       (in Russian)

412.   Reflexive Turing Machines and Calculi, Vychislitelnyye Systemy (Logical Methods in Computer Science), No. 148, 1993, pp. 94-116, 175-176            (in Russian)

413.   Problems of Modeling of  Trans-recursive Procedures, in “Engineering of programming tools,” Kiev, 1993, pp. 13-15                                                            (in Russian, in collaboration)

414.   Time complexity of the reflexive Turing machines,  Abstracts presented to the American Mathematical Society, 1993, v. 14, No. 1

415.   Data and knowledge in program systems,  in “Intelligent Instrumental Program Tools,” Kiev, 1993, pp. 72-80                                                               (in Russian, in collaboration)

416.   Information triads,  Philosophical and Sociological Thought,  1993, No. 7-8, pp. 243-246         (in Russian and Ukrainian)

417.   The conceptual base for science&technology evaluation,  in “Development of science and  Transformations in society,” Kiev, 1993, p. 37              (in Russian, in collaboration)

418.   Regulation and self-organization versus control and determination in science, in “Development of science and transformations in society,” Kiev, 1993, p. 7               (in Russian, in collaboration)

419.   Social processes and limit computations,  in “Catastrophe, Chaos, and Self-Organization in Social Systems,” Koblenz, 1993, pp. 117-123                      (in collaboration) 

420.   Procedures of sociological measurement , in “Catastrophe, Chaos, and Self-Organization in Social Systems” Koblenz, 1993, pp. 125-129

421.   Conceptual foundations of S&T potential evaluation processes, in “Proceedings of the International Congress on System Science and System Engineering,” Beijing, 1993, pp. 133-135         (in collaboration) 

422.   System analysis of organizational level of science, in “Proceedings of the International Congress on System Science and System Engineering,”  Beijing,  1993,   pp. 529-530                (in collaboration)

423.   Evaluation of Scientific Activity in the Dynamic Information Theory,  Science and Science of Science, 1994, No. 1-2, pp. 124-131

424.   Operations and Compositions of Transrecursive Operators, Notices of the Russian Academy of Science, 1994, v. 336, No. 6     ( v. 49, No. 3),  pp. 727-730                                        (translated from Russian, in collaboration)    

425.   The  Energy-Information Duality,   Abstracts presented to the American Mathematical Society, 1994, v.15, No. 2

426.   Measurement and Evaluation in Science,  Kiev, STEPS, 1994            (in Russian, in collaboration)

427.   Operations in Transrecursive Operators, Cybernetics, 1994, No. 4, pp. 3-11  (Cybernetics and System Analysis, v. 30, No.4, pp. 473-478)            (translated from Russian, in collaboration) 

428.   Efficiency of Super-recursive Algorithms, Abstracts presented to the American Mathematical Society, 1994, v.15, No. 6

429.   Fuzzy terminological systems, 2nd European Congress on Intelligent Technologies and Soft Computing, Proceedings, Aachen, 1994, pp.  984-988

430.   Knowledge Representation in Intelligent Systems, in “Intellect, man, and computer,” Novosibirsk, 1994, pp. 35-56                           (in Russian, in collaboration) 

431.   Problems of Organization in Science, Reports of the International Symposium "Development of Science and Transformations in Society", Kiev, 1994, pp. 28-33

432.   Conceptual Problems of Evaluation in Science, Reports of the International Symposium "Development of Science and Transformations in Society", Kiev, 1994, pp. 34-38                   (in Russian, in collaboration)   

433.   Problems of Artificial Intelligence and Transrecursive Operators, Visnik of the National Academy of Sciences of Ukraine, 1994, No. 11/12, pp. 29-34                                   (in Ukrainian, in collaboration)

434.   Scientometrics as a Scientific Field, in “Transactions of the International Symposium "Development of Science and Technology: Socio-Economic Reasonability and Ecological Safety", Kiev, 1994, pp.  24-25     (in collaboration)

435.   Is Informatics Needed as a Science?   Control Systems and Machines, 1994, No. 4-5, pp. 22-25        (in Russian) 

436.   Methodological Foundations of Evaluation in Science,  in “Transactions of the International Symposium "Development of Science and Technology:         social-economic reasonability and ecological safety", Kiev, 1994, pp. 110-111          (in Russian) 

437.   Properties of Scientific Knowledge and their Evaluation, in “Transactions of the International Symposium "Development of Science and Technology: Social-economic Reasonability and Ecological Safety", Kiev, 1994, pp. 172-173

438.   Indices in science of science as a tool for harmonization of interaction of science and environment,  in “Transactions of the International Symposium "Development of Science and Technology: Social-economic Reasonability and Ecological Safety", Kiev, 1994, pp. 177-178         (in Russian, in collaboration)  

439.   Little Scientometrics, Big Scientometrics ... System Analysis,    Science and Science of Science, 1995, No. 1-2, pp. 5-12              (in collaboration)

440.   The Phenomenon of Knowledge,  Philosophical and Sociological Thought,  1995, No. 3-4, pp. 41-63       (in Russian and Ukrainian)

441.   Logical Tools for Inconsistent Knowledge Bases,   Abstracts of the III International Congress on Industrial and Applied Mathematics, Hamburg, 1995, p. 245

442.   Modeling of an Intellectual Database Performance,   Abstracts of the III International Congress on Industrial and Applied Mathematics, Hamburg, 1995, p. 246       (in collaboration) 

443.   Algorithmic Approach in the Dynamic Information Theory,     Notices of the Russian Academy of Sciences, 1995, v.342, No. 1, pp. 7-10     (translated from Russian)

444.   Social Science and the Structure of Informetrics and Scientometrics, Science and Science of Science, 1995, No. 4, pp.  5-12      (in collaboration) 

445.   Measurement of Information in Information Retrieval Systems,   in “Library and Bibliographic Classifications and Information Retrieval Systems,” Kiev, 1995, pp. 24-25            (in Ukrainian)

446.   System Organization of Reflection,  in “Reflection, Education and Intellectual Innovations,” Novosibirsk, 1995, pp. 220-224     (in Russian)

447.   Logical Tools for Inconsistent Knowledge Systems, Information: Theories & Applications, 1995, v.3, No. 10, pp. 13-19

448.   Functionally Equivalent Technologies, Abstracts presented to the American Mathematical Society, 1996, v.17, No. 2

449.   Information Needs and Resources, in “Information Resources: Creation, integration and usage,” Kiev, 1996, pp. 24-28    (in Russian)

450.   Extended Information Algebra: Actions, Abstracts presented to the American Mathematical Society, 1996, v.17, No. 2

451.   Inner Information Algebras of the type A, Abstracts presented to the American Mathematical Society, 1996, v.17, No. 3

452.   Information as a Natural and Technological Phenomenon, Informatization and New Technologies, 1996, No. 1, pp. 2-5     (in Russian) 

453.   Methodological problems of statistical data collection in ecology,  in “Problems of theory and practice of statistics,”  Minsk, 1996, pp. 238-239      (in Russian, in collaboration) 

454.   Is it Possible to Compute Non-computable or why Programmers Need the Theory of        Algorithms,   Computers & Software, 1996, No. 5, pp. 4-8          (in Russian, in collaboration)  

455.   Information Criteria of Acquisition of Materials for the Scientific Library, in “Strategy of Material Acquisition in a Scientific Library”,   Kiev, 1996, pp. 38-40     (in Ukrainian)

456.   Information and Information Operations,  Librarian Reports, 1996, No. 5, pp. 7-8     (in Ukrainian)

457.   Cognitive Computer Graphics  as a Tool for Creative Thinking,  in “Visual Thinking and Creativity,” Odessa, 1996, pp. 42-43

458.   Flow-charts in programming: arguments pro et contra, Control Systems and Machines, No.  4-5, 1996, pp. 19-29     (in Russian)

459.   What is the Cost of Information, Information and Market, 1996,  No. 5-6, pp. 35-36     (in Ukrainian) 

460.   Dependencies in Sets of Fuzzy Properties and System Modeling,  4th European Congress on Intelligent  Technologies and Soft Computing, Proceedings, v. 1, Aachen, Germany, 1996, pp. 55-59

461.   Statistical and economical terminology as an important factor of integration of Ukraine into the European economy,  in “Problems of Ukrainian scientific and technical terminology”, Lviv, 1996, pp. 125           (in Ukrainian, in collaboration) 

462.   Scientific terminology and statistical indices,   in “Problems of Ukrainian scientific and technical terminology,” Lviv, 1996, pp. 117-118       (in Ukrainian, in collaboration)

463.   Decision Making in Science and Fuzzy Sets, in “Market about Market in Science,” Novosibirsk, pt.1, 1996, pp. 65-67     (in Russian, in collaboration)  

464.   Methodological Analysis of Evaluation and Assessment in Science, in “Market about Market in Science, Novosibirsk”, pt.2, 1996, pp.             (in  Russian)

465.   Methodological Analysis of Informatization,     Informatization and new technologies, 1996, No. 1, pp. 4-6                (in Russian) 

466.   Infological System as a Generalization of Thesaurus, Librarian Reports, 1997, No.1, pp. 11-13              (in Ukrainian)

467.   Information Measures of Algorithms,    Abstracts presented to the American Mathematical Society, 1997, v.18, No. 1

468.   Fundamental Structures of Knowledge and Information: Achieving an Absolute, Kiev, Ukrainian Academy of Information Sciences,  1997                                     (in Russian)

469.   Conflicts in a Political Environment: Evaluation and Diagnostics, in “Actual Problems of the State Power Reform,”  Kyiv, 1997, pp. 261-263         (in Ukrainian)

470.   Conception of Elaboration of the Automated Ecological Monitoring System for Water Resources of Ukraine, Sevastopol, 1997         (in Russian, in collaboration)      

471.   Logical Varieties in Dynamic Objects Design and Control,    The 1st International Conference on Problems of Dynamic Objects Logic-Linguistic Control, S.-Petersburg, 1997   (in collaboration) 

472.    Decision Making Based on Function Fluctuation Measurement,  5th European Congress on Intelligent Technologies and Soft Computing, Proceedings, Aachen, 1997, pp. 1666-1670        (in collaboration)    

473.   Optimization of the Scientific Library Catalogues Content, in “Problems of Scientific Library Catalogues Improvement,” Kyiv, 1997, pp. 73-75     (in Ukrainian)

474.   Principles of Scientific Library Catalogues Intellectualization,  in “Problems of Scientific Library Catalogues Improvement”, Kyiv, 1997, pp. 97-99          (in Ukrainian, in collaboration)  

475.   Mathematical Theory of Technology,  in “Methodological and Theoretical Problems of Mathematics and Informatics (Computer Science),” Ukrainian Academy of Information Sciences, Kiev, 1997, pp. 91-100    (in Russian)

476.   Named Sets in the Analysis of Uncertainty,  in “Methodological and Theoretical Problems of Mathematics and Informatics (Computer Science),” Ukrainian Academy of Information Sciences, Kiev, 1997, pp. 72-85               (in Russian, in collaboration)

477.   Logical Systems for Information Management,   7th International Conference on Human-Computer Interaction, San Francisco, 1997, p. 62

478.   Knowledge Visualization as a Tool for Creative Thinking,  7th International Conference on Human-Computer Interaction, San Francisco, 1997, p. 63

479.   Impact of Information Representation on Efficiency of Human-Computer Interaction        7th International Conference on Human-Computer Interaction, San Francisco, 1997, p. 106    (in collaboration) 

480.    Mathematical Models of Classifications in Statistics, Institute of Statistics, Kyiv, 1997, 50 p.                (in Ukrainian, in collaboration)   

481.   Theory of Games, Politological Encyclopedic Dictionary, Kyiv, 1997, p.129      (in Ukrainian)   

482.   Conflict,  Politological  Encyclopedic Dictionary, Kyiv, 1997, pp. 173-174          (in Ukrainian)   

483.   Information,  Politological Encyclopedic Dictionary, Kyiv, 1997, pp. 147-148         (in Ukrainian)   

484.   Problems of Collecting and Utilization of Information in Statistics, in “Creation, integration, utilization of information resources for innovative development,”  Kiev, 1997, pp. 8-10                (in Russian,  in collaboration)

485.   New Information Technologies of Modeling, Elaboration, and Maintenance of Classifications in Statistics,  in “Creation, integration, utilization of information resources for innovative development,”  Kiev, 1997, pp. 41-43    (in Russian,  in collaboration)

486.   Duality between Information and Energy, in “Creation, integration, utilization of information resources for innovative development,”  Kiev, 1997, pp. 101-103   (in Russian) 

487.   Techno-Ecology and Problems of Education,  in “Intellectual Innovations in Society and Development of Education,” Novosibirsk, 1997, pp. 175-178    (in Russian) 

488.   Information Algebras,   Control Systems and Machines, No. 6, 1997, pp. 5-16     (in Russian) 

489.   Problems of Expert Selection for Evaluation of Innovation Projects, in Transactions of the International Symposium “Science and Technology in Conditions of Economy Reforms”,  Kiev, 1997, pp. 59-60        (in Ukrainian, in collaboration) 

490.   A Technological Approach to the System Science-Industry-Consumption, Science and Science of Science, 1997, No. 3/4, pp. 73-88        (in Russian)

491.   Sociogenic Safety and Reliability: A Methodological Analysis, in Transactions of the International Symposium “Science and Technology in Conditions of Economy Reforms”,  Kiev, 1997, pp. 136-137           (in Russian, in collaboration)

492.   On the Problems of Self-Control in Science,  in Transactions of the International Symposium “Science and Technology in Conditions of Economy Reforms”,  Kiev, 1997, pp. 39-40             (in Ukrainian, in collaboration)

493.   Tasks of Social Environment Formation for Innovative Development, in Transactions of the International Symposium        “Science and Technology in Conditions of Economy Reforms”,  Kiev, 1997, p. 112              (in Russian)

494.   Stability of Technological Operators, Abstracts presented to the American Mathematical Society, 1998, v.19, No. 4, p. 553

495.   Fuzzy Logical Structures as a Tool for Multivariate Decision Making, 6th European Congress on Intelligent Technologies and Soft Computing, Proceedings, v. 2, Aachen, 1998, pp. 1116-1120 

496.   Composition Decision Making In Fuzzy Conditions,  6th European Congress on Intelligent Technologies and Soft Computing, Proceedings, v. 1, Aachen, 1998,  pp. 169-173                      (in collaboration) 

497.   Information Efficiency of Energy Utilization,  Abstracts presented to the American Mathematical Society, 1999, v. 20, No. 1, p. 232

498.   Algorithmic Problems for Super-Recursive Algorithms, Bulletin of Symbolic Logic, 1999, v. 5, No. 3, p. 409 (Association for Symbolic Logic, 1998 - 99 Annual Meeting,   San Diego, 1999, pp. 21-22)

499.   Information Efficiency of Energy Generation, Abstracts presented to the American Mathematical Society, 1999, v. 20, No. 2, p. 419

500.   Mathematical Models of Technological Processes, GAMM 99, Abstracts, Universite de Metz, Metz, France, 1999

501.   A New Paradigm for Computation and its Application to Global Networks, Huge Databases, and Embedded Systems, Data-Link, ACM, 1999, v. 44, No. 4, pp. 1-2

502.   Super-recursive Algorithms as a Tool for High Performance Computing,  in “Proceedings of the High Performance Computing Symposium,”   San Diego, 1999, pp. 224-228

503.   Topological Computations, Bulletin of Symbolic Logic, 2000, v. 6, No. 3, pp. 392-393  (Association for Symbolic Logic, 2000 Annual Meeting,   University of Illinois at Urbana-Champaign, 2000, p. 23)

504.   Fuzzy Calculus Approach to Computer Simulation: An Application to Control Problems,   in “Proceedings of the Business and Industry Simulation Symposium,” Washington, 2000, pp. 41-46                              (in collaboration)

505.   Branching Simulation and Prediction, in “Proceedings of the Business and Industry Simulation Symposium,”  SCS, Washington, 2000, pp. 47-52                                            (in collaboration)

506.   Theory of Super-recursive Algorithms as a Source of a New Paradigm  for Computer Simulation, in “Proceedings of the Business and Industry Simulation Symposium,”   Washington, 2000, pp. 70-75

507.   Computer Support System for Aneurysm Treatment,  13th IEEE Symposium on Computer -Based Medical Systems (CBMS 2000), IEEE Computer Society, Houston, Texas, 2000, pp. 13-18           (in collaboration)

508.   Medical Systems and Visualization of the Process Dynamics, 1st SIAM Conference on Computational Science and Engineering, Washington, 2000, p. 62

509.   Fixed Points for Algorithmic Classes, Bulletin of Symbolic Logic, 2001, v. 7, No. 1, p. 162 (2000 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2000, La Sorbonne, Paris, France, July 23--31, 2000)

510.   Topological Algorithms, in Proceedings of the ISCA 16th International Conference “Computers and their Applications”, ISCA, Seattle, Washington, 2001, pp. 61-64

511.   Branching Computation for Visualization in Medical Systems, in Proceedings of the ISCA 16th International Conference “Computers and their Applications”, ISCA, Seattle, Washington, 2001, pp. 481-484  (in collaboration)

512.   Large Scale Flow Field Visualization in Medical Systems, in Proceedings of the 16th ACM Symposium on Applied Computing, Las Vegas, 2001, pp. 68-72          (in collaboration)

513.   Mathematical Models for Computer Simulation,  in “Proceedings of the Business and Industry Simulation Symposium,” SCS, Seattle, Washington, 2001, pp. 111-118             

514.   Biology, Psychology, and Methodology  for Computer Simulation, in “Proceedings of the Business and Industry Simulation Symposium,”  SCS, Seattle, Washington, 2001, pp. 119-123                                 (in collaboration)

515.   Entertainment and Information, Los Angeles, UCMA, 2001, 76 p.

516.   The Problem of Time Scales in Computer Visualization, in “Computational Science”, Lecture Notes in Computer Science, v. 2074, part II, 2001, pp.728-737                 (in collaboration)

517.   Parallel Processing for Branching Simulation, Proceedings of the 10th SIAM Conference on Parallel Processing for Scientific Computing, Portsmouth, Virginia, 2001                    (electronic edition, in collaboration)

518.   Mathematical Theory of Technology: Rigid and Soft Technologies, 2001 SIAM Annual Meeting,  Abstracts, San Diego, California, 2001, p. 128

519.   Large-scale Flow Field Visualization for Aneurysm Treatment, ACM SIGAPP Applied Computing Review (Special issue on SAC 2001 best papers), v. 9, No. 1, 2001, pp. 3-7          (in collaboration)

520.   Visualization in Human-Computer Interaction, UCLA, Computer Science Department, Report CSD – 010010, Los Angeles, July, 2001, 108 p.                  (in collaboration)

521.   Computer Simulation: Theories and Models, UCLA, Computer Science Department, Report CSD – 010011, Los Angeles, July, 2001, 95 p.                               (in collaboration)

522.   Mathematical Models for Artificial Intelligence, Elsevier, Preprint 0107066, 2001, 15 p. (electronic edition: http://www.mathpreprints.com/math/Preprint/             changed to http://www.sciencedirect.com/preprintarchive)

523.   Multivariant Branching Prediction, Reflection, and Retrospection, LANL, Preprint in Computer Science CE/0110048, 2001, 16 p.          (electronic edition:   http://arXiv.org; in collaboration)

524.   Distributed Computing for Localized and Multilayer Visualization, LANL, Preprint in Computer Science DC/0111022, 2001, 21 p.          (electronic edition:   http://arXiv.org; in collaboration)

525.   Representation of Uncertainty for Limit Processes, LANL, Preprint in Computer Science/Artificial Intelligence, AI/0112008, 2001, 8 p.          (electronic edition:   http://arXiv.org)

526.   How We Know What Technology Can Do, Communications of the ACM, v. 44, No. 11, 2001, pp. 82-88

527.   Information in the Context of Education, The Journal of Interdisciplinary Studies, v. 14, Fall 2001, pp. 155-166

528.   Information, Energy, and Evolution, Preprint in Biology 2359, Cogprints, 2001, 12 p.          (in collaboration, electronic edition:   http://cogprints.ecs.soton.ac.uk)

529.   Knowledge Discovery, Information Retrieval, and Data Mining, in Proceedings of the ISCA 17th International Conference “Computers and their Applications”, International Society for Computers and their Applications, San Francisco, California, 2002, pp. 55-58                         (in collaboration)

530.   Knowledge and Data in Computer Systems, in Proceedings of the ISCA 17th International Conference “Computers and their Applications”, International Society for Computers and their Applications, San Francisco, California, 2002, pp. 307-310 

531.   Mathematical Models for Simulating Technological Processes,  in “Proceedings of the Business and Industry Simulation Symposium,” Society for Modeling and Simulation International, San Diego, California, 2002, pp. 165-168             

532.   Abstract Automata as a Tool for Developing Simulation Software, in “Proceedings of the Business and Industry Simulation Symposium,” Society for Modeling and Simulation International, San Diego, California, 2002, pp. 176-180     (in collaboration)

533.   The Rise and Fall of the Church-Turing Thesis, LANL, Preprint in Computer Science CC/0207055, 2002, 29 p.          (electronic edition:   http://arXiv.org)

534.   Information, Organization, and System Functioning, in Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, v. 2, Orlando, Florida, 2002, pp. 155-160

535.   The Essence of Information: Paradoxes, Contradictions, and Solutions, Electronic Conference on Foundations of Information Science (FIS 2002), 43 p. (http://www.mdpi.net)

536.   The Essence of Information: A Multifaceted Image of Information, Electronic Conference on Foundations of Information Science (FIS 2002), 21 p.          (http://www.mdpi.net)

537.   From Neural networks to Grid Automata, in Proceedings of the IASTED International Conference ”Modeling and Simulation”, Palm Springs, California, 2003, pp. 307-312   

538.   Cluster Computers and Grid Automata, in Proceedings of the ISCA 17th International Conference “Computers and their Applications”, International Society for Computers and their Applications, Honolulu, Hawaii, 2003, pp. 106-109     

539.   Complexity of Algorithms and Software Metrics, in Proceedings of the ISCA 18th International Conference “Computers and their Applications”, International Society for Computers and their Applications, Honolulu, Hawaii, 2003, pp. 259-262                         (in collaboration)

540.   Software Metrics from the Algorithmic Perspective, in Proceedings of the ISCA 18th International Conference “Computers and their Applications”, International Society for Computers and their Applications, Honolulu, Hawaii, 2003, pp. 279-282       (in collaboration)

541.   Levels of System Functioning Description: From Algorithm to Program to Technology,  in “Proceedings of the Business and Industry Simulation Symposium,” Society for Modeling and Simulation International, Orlando, Florida, 2003, pp. 3-7     

542.   Descriptive Complexity in Classes of Inductive Turing Machines, Abstracts presented to the American Mathematical Society, 2003, v.24, No. 3, p. 482  (987th AMS Meeting, San Francisco State University, San Francisco, California, May 3-4, 2003, p. 55)           

543.   Learning in the Limit and Experience of Generations, Abstracts presented to the American Mathematical Society, 2003, v.24, No. 3, p. 484  (987th AMS Meeting, San Francisco State University, San Francisco, California, May 3-4, 2003, p. 57)          

544.   Complexity of Program Design and Utilization,  in “Proceedings of the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (CSITeA’03),” Rio de Janeiro, Brazil, 2003, pp. 543-547     (in collaboration)

545.   Fuzzy Logical Varieties as Models of Thinking, Emotions, and Will,  in “Proceedings of the 10th IFSA World Congress,” Istanbul, Turkey, 2003, pp. 31-34     (in collaboration)

546.   Software Verification in Algebraic Setting, in Proceedings of the 7th IASTED International Conference on Software Engineering and Applications, Marina Del Rey, California, 2003, pp. 499-504    (in collaboration)

547.   Hardship of Program Utilization and User-Friendly Software, in Proceedings of the ISCA 16th International Conference “Computer Applications in Industry and Engineering”, International Society for Computers and their Applications, Las Vegas, Nevada, 2003, pp. 314-317              (in collaboration)

548.   Information Theory: A Multifaceted Model of Information, Entropy, v. 5, No.2, 2003, pp. 146-160

549.   Information: Problems, Paradoxes, and Solutions, TripleC, v. 1, No.1, 2003, pp. 53-70

550.   Nonlinear Phenomena in Spaces of Algorithms, International Journal of Computer Mathematics, v. 80, No. 12, 2003, pp. 1449-1476     

551.   Data, Information, and Knowledge, Information, v. 7, No.1, 2004, pp. 47-57

552.   A Test Case Generator for Three-variable Functions: Object-Oriented Design and Implementation, in Proceedings of the ISCA 19th International Conference “Computers and their Applications”, ISCA, Seattle, Washington, 2004, pp. 113-117  (in collaboration)

553.   Measuring Software Maintenance, in Proceedings of the ISCA 19th International Conference “Computers and their Applications”, ISCA, Seattle, Washington, 2004, pp. 118-121  (in collaboration)

554.   Types of Software Systems and Structural Features of Programming and Simulation Languages,  in “Proceedings of the Business and Industry Simulation Symposium,” Society for Modeling and Simulation International, Arlington, Virginia, 2004, pp. 177-181      (in collaboration)

555.   Individual, Group, and Interactive Optimization in a Form of Genetic Algorithms,  in “Proceedings of the Business and Industry Simulation Symposium,” Society for Modeling and Simulation International, Arlington, Virginia, 2004, pp. 182-186      (in collaboration)

556.   Optimization Calculus,  in “Proceedings of the Business and Industry Simulation Symposium,” Society for Modeling and Simulation International, Arlington, Virginia, 2004, pp. 193-198      

557.   Axiomatic Theory of Algorithms: Computability and Decidability in Algorithmic Classes, Preprint in Mathematics LO/0409142, 2004, 27 p.     (electronic edition:   http://arXiv.org)

558.   Hardware-Oriented Group Solutions for Hard Problems, Preprint in Computer Science, CC/0410037, 2004, 10 p.     (electronic edition:   http://arXiv.org)

559.   Logical Tools for Program Integration and Interoperability, in Proceedings of the 8th IASTED International Conference on Software Engineering and Applications, MIT, Cambridge, 2004, pp. 743-748 

560.   Software Technological Roles, Usability, and Reusability, in Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IEEE Systems, Man, and Cybernetics Society, Las Vegas, 2004, pp. 210-214         (in collaboration)

561.   An Autotester for the Modified Nextdate Function Reusing a Test Case Generator, in Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IEEE Systems, Man, and Cybernetics Society, Las Vegas, 2004, pp. 121-126    (in collaboration)

562.   Put More Science in Computer Science, Communications of the ACM, v. 47, No. 12, 2004, p. 13

563.   Three Aspects of Super-recursive Algorithms and Hypercomputation or Finding Black Swans, Theoretical Computer Science, v. 317, No. 1/3, 2004, pp. 1-11              (in collaboration)

564.   Algorithmic Complexity of Recursive and Inductive Algorithms, Theoretical Computer Science, v. 317, No. 1/3, 2004, pp. 31-60             

565.   Experience, Generations, and Limits in Machine Learning, Theoretical Computer Science, v. 317, No. 1/3, 2004, pp. 71-91              (in collaboration)

566.   Quality of Software that does not Exist, in Proceedings of the ISCA 20th International Conference “Computers and their Applications”, ISCA, New Orleans, Louisiana, 2005, pp. 441-446          (in collaboration)

567.   Grammars with Prohibition and Human-Computer Interaction,  in “Proceedings of the Business and Industry Simulation Symposium,” Society for Modeling and Simulation International, San Diego, California, 2005, pp. 143-147     

568.   Homologies and Power of Genetic Algorithms and Genetic Programming,  in “Proceedings of the Business and Industry Simulation Symposium,” Society for Modeling and Simulation International, San Diego, California, 2005, pp. 148-152      (in collaboration)

569.   Simulation Software Creation by End User,  in “Proceedings of the Business and Industry Simulation Symposium,” Society for Modeling and Simulation International, San Diego, California, 2005, pp. 148-152      (in collaboration)

570.   Complexity of grammars with prohibition, Abstracts presented to the American Mathematical Society, 2005, v.26, No. 3, pp. 459-460  (1007th AMS Meeting, University of California, Santa Barbara, April 16-17, 2005, p. 31)

571.   Algorithmic complexity and inductive decidability, Abstracts presented to the American Mathematical Society, 2005, v.26, No. 3, p. 460  (1007th AMS Meeting, University of California, Santa Barbara, April 16-17, 2005, p. 31-32)                        (in collaboration)

572.   Complexity of problems and duality of measures, Abstracts presented to the American Mathematical Society, 2005, v.26, No. 3, p. 496  (1007th AMS Meeting, University of California, Santa Barbara, April 16-17, 2005, p. 67)

573.   Complexity of algorithms and program quality, Abstracts presented to the American Mathematical Society, 2005, v.26, No. 3, p. 496  (1007th AMS Meeting, University of California, Santa Barbara, April 16-17, 2005, p. 67)                   (in collaboration)

574.   Comparing Algorithmic Complexity of Recursive and Inductive Algorithms, 2005, 39 p.   (electronic edition:   http://repositories.cdlib.org/)      (an updated version of 564)

575.   Knowledge, Experience, Generations, and Limits in Machine Learning, 2005, 30 p.   (electronic edition:   http://repositories.cdlib.org/)      (an updated version of 565)      (in collaboration)

576.   Java Autotester for the Triangle Function, Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, Toronto, Canada, 2005, pp. 190-195    (in collaboration)

577.   A Testing and Analysis Tool for Certain 3-variable Functions, Proceedings of the IEEE International Conference on Information Reuse and Integration, Las Vegas, Nevada, USA, 2005, pp. 560-565     (in collaboration)

578.   Intelligent Agent Technique in Age Related Measurements, ISCA 18th International Conference on Computer Application in Industry and Engineering, Honolulu, Hawaii, 2005, pp. 129-134         (in collaboration)

579.   Fuzzy Set Based Software Measurement and Estimation, ISCA 18th International Conference on Computer Application in Industry and Engineering, Honolulu, Hawaii, 2005, pp.           (in collaboration)

580.   A Unified Approach to Data Representation, in Proceedings of the 2005 International Conference on Foundations of Computer Science, CSREA Press, Las Vegas, June, 2005, pp. 3-9                    (in collaboration)

581.   Superrecursive Hierarchies of Algorithmic Problems, in Proceedings of the 2005 International Conference on Foundations of Computer Science, CSREA Press, Las Vegas, June, 2005, pp. 31-37

582.   Is Information Some Kind of Data? Proceedings of the Third Conference on the Foundations of Information Science (FIS 2005), Paris, France, July, 2005 (MDPI, Basel, Switzerland), pp. 1-31 (http://www.mdpi.net/fis2005/proceedings.html)

583.   Complexity Measures for Software Engineering, Journal for Computational Methods in Science and Engineering, 2005, v. 5, Supplement 1, pp. 127-143         (in collaboration)

584.   Super-recursive Algorithms, Springer, New York/ Heidelberg/ Berlin, 2005, 304 p.

 

 

To the next section   ®