S C I E N T I F I C    P U B L I C A T I O N S           

COMPUTER SCIENCE, INFORMATION SCIENCES, AND ARTIFICIAL INTELLIGENCE

Mark Burgin

Books and booklets are in bold letters

 

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

365.     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)

366.     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)

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

368.     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)

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

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

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

372.        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)

373.        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)

374.        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)

375.        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)

376.        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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

392.        Generalized Kolmogorov complexity and duality in the 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)

393.        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)

394.        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) 

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

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

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

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

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

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

401.        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)

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

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

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

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

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

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

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

409.        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)

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

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

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

413.        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) 

414.        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) 

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

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

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

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

419.   Inductive Turing machines with multiple heads 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) 

420.   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) 

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

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

423.   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)

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

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

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

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

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

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

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

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

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

433.   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)

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

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

436.   Heuristics and Heuristic Aspects 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)

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

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

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

440.   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)

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

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

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

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

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

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

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

448.   Software Quality Evaluation and Control Problems,  in “Software of Integrated Automated Control Systems,” Kiev, 1987, pp. 64-69               (in Russian, in collaboration)

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

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

451.   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)

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

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

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

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

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

457.   Concepts in cognitive 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)

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

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

460.   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)

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

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

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

464.   Mathematical Foundations of Semantic Network Theory, Mathematical Fundamentals of Database Systems, Lecture Notes in Computer Science, 1989, v. 364, pp. 117-135                   (in collaboration)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

488.   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)  

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

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

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

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

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

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

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

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

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

498.   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, in collaboration)

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

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

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

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

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

504.   A Creationist Theory of Concept, XIX World Congress of Philosophy, Abstracts, v.1, Moscow, 1993, p. 151     (in Russian)

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

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

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

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

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

510.   Data and knowledge in software systems,  in " Intelligent instrumental programming tools", Kiev, 1993, pp. 72-80   (in Russian,  in collaboration)

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

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

513.   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)

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

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

516.   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) 

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

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

519.   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)    

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

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

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

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

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

525.   Problems of Organization in Science, Reports of the International Symposium "Development of Science and Transformations in Society", Kiev, 1994, pp. 28-33                                           (in Russian, in collaboration)

526.   Operations and Compositions 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) 

527.   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)   

528.   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)

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

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

531.   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) 

532.   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

533.   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)  

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

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

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

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

538.   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)

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

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

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

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

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

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

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

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

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

548.   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) 

549.   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)  

550.   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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

566.   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) 

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

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

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

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

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

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

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

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

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

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

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

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

579.   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)

580.   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)

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

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

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

584.   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) 

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

586.   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)

587.   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)

588.   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)

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

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

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

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

593.   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)

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

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

596.   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

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

598.   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)

599.   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)

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

601.     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

602.     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)

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

604.     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)

605.     Topological Algorithms, in Proceedings of the ISCA 16th International Conference on Computers and their Applications (CATA 2001), ISCA, Seattle, Washington, 2001, pp. 61-64

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

607.     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)

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

609.     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)

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

611.     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)

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

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

614.     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)

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

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

617.     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)

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

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

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

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

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

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

624.     Knowledge and Data in Computer Systems, in Proceedings of the ISCA 17th International Conference on Computers and their Applications (CATA 2002), International Society for Computers and their Applications, San Francisco, California, 2002, pp. 307-310 

625.     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             

626.     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)

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

628.     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

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

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

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

632.     Cluster Computers and Grid Automata, in Proceedings of the ISCA 17th International Conference on Computers and their Applications (CATA 2003), International Society for Computers and their Applications, Honolulu, Hawaii, 2003, pp. 106-109     

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

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

635.     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     

636.     Descriptive Complexity in Classes of Inductive Turing Machines, Abstracts of papers 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)          

637.     Learning in the Limit and Experience of Generations, Abstracts of papers 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)           

638.     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)

639.     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)

640.     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)

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

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

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

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

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

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

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

648.     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)

649.     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)

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

651.     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)

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

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

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

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

656.     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 

657.     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)

658.     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)

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

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

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

662.     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     

663.     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)

664.     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)

665.     Complexity of grammars with prohibition, Abstracts of papers 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)

666.     Algorithmic complexity and inductive decidability, Abstracts of papers 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)

667.     Complexity of problems and duality of measures, Abstracts of papers 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)

668.     Complexity of algorithms and program quality, Abstracts of papers 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)

669.     Comparing Algorithmic Complexity of Recursive and Inductive Algorithms, 2005, 39 p.   (electronic edition: http://escholarship.org/uc/item/0960w3c; before:   http://repositories.cdlib.org/postprints/)      (an updated version of TCS, v. 317, No. 1/3, 2004, pp. 31-60)

670.     Knowledge, Experience, Generations, and Limits in Machine Learning, 2005, 30 p.   (electronic edition: http://escholarship.org/uc/; before: http://repositories.cdlib.org/postprints/)      (an updated version of TCS, v. 317, No. 1/3, 2004, pp. 71-91)     (in collaboration)

671.     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)

672.     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

673.     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)

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

675.     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)

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

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

678.     Fuzzy Set Based Software Measurement and Estimation, ISCA 18th International Conference on Computer Application in Industry and Engineering (CAINE-05), Honolulu, Hawaii, November 9-11, 2005, pp. 304-309          (in collaboration)

679.     Mathematical Models in Schema Theory, Preprint in Computer Science, cs.AI/0512099, 2005, 57 p.     (electronic edition:   http://arXiv.org)

680.     Measuring Power of Algorithms, Programs, and Automata, in “Artificial Intelligence and Computer Science”, Nova Science Publishers, New York, 2005, pp. 1-61

681.     Software Correctness, in Proceedings of the ISCA 21st International Conference on Computers and their Applications (CATA 2006), ISCA, Seattle, Washington, 2006, pp. 259-264       (in collaboration)

682.     Multilevel Hierarchical Genetic Algorithms, Proceedings of the 2006 Spring Simulation MultiConference (SpringSim ’06), April 2-6, 2006, Huntsville, Alabama, pp. 223-228          (in collaboration)

683.     Mathematical Schema Theory for Modeling in Business and Industry, Proceedings of the 2006 Spring Simulation MultiConference (SpringSim ’06), April 2-6, 2006, Huntsville, Alabama, pp. 229-234

684.     From Sequential Processes to Grid Computation, in Proceedings of the 2006 International Conference on Foundations of Computer Science, CSREA Press, Las Vegas, June, 2006, pp. 10-16 (in collaboration)

685.     Algorithmic Control in Concurrent Computations, in Proceedings of the 2006 International Conference on Foundations of Computer Science, CSREA Press, Las Vegas, June, 2006, pp. 17-23

686.     Naming and its Regularities in Distributed Environments, in Proceedings of the 2006 International Conference on Foundations of Computer Science, CSREA Press, Las Vegas, June, 2006, pp. 31-37 (in collaboration)

687.     Operational and Program Schemas, in Proceedings of the 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), ISCA, Los Angeles, California, July 6-8, 2006, pp. 74-78

688.     A Detailed UML Design of a Software Testing Tool, in Proceedings of the 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), ISCA, Los Angeles, California, July 6-8, 2006, pp. 86-91 (in collaboration)

689.     Correctness as a Relative Gradual Property, in Proceedings of the 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), ISCA, Los Angeles, California, July 6-8, 2006, pp. 112-115     (in collaboration)

690.     Fuzziness and Imprecision in Software Engineering, in Proceedings of the World Automation Congress 2006 (WAC 2006), v. 5, 6 p., Budapest, Hungary, July 2006, TSI Press, San Antonio, Texas, USA         (in collaboration)

691.     Compositions of Concurrent Processes, in "Communicating Process Architectures", IOS Press,  Scotland, September, 2006, pp. 281-296 (in collaboration)

692.     An autotester for the modified commission function, in Proceedings of the ISCA 19th International Conference on Computer Applications in Industry and Engineering (CAINE), Las Vegas, Nevada, 2006, pp. 289-294         (in collaboration)

693.     Evolutionary Optimization in an Algorithmic Setting, Preprint in Computer Science, NE/0611077, 2006, 33 p.     (electronic edition:   http://arXiv.org)                                           (in collaboration)

694.     Evolutionary Processes in Modeling and Simulation, in Proceedings of the 2007 Spring Simulation MultiConference (SpringSim '07), March 25-29, 2007, Norfolk, VA, pp.133-138 (in collaboration)

695.     A Prototype Validation Experiment on Software Metrics Using an Automated Tool, in Proceedings of the ISCA 22nd International Conference on Computers and their Applications (CATA-2007), ISCA, Honolulu, Hawaii, 2007, pp. 408-413       (in collaboration)

696.     Correctness in a Computational Process, in Proceedings of the ISCA 22nd International Conference on Computers and their Applications (CATA-2007), ISCA, Honolulu, Hawaii, 2007, pp. 414-419       (in collaboration)

697.     From Cellular Automata to Grid Automata, NKS 2007 Conference, University of Vermont, Burlington, Vermont, USA, July 13-15, 2007  (electronic edition: https://www.wolframscience.com/conference/2007/presentations/MarkBurgin.html, also https:// wolframscience.typepad.com/ wolfram_science/natural_sciences/)

698.     Algebras of Actions in Concurrent Processes, in Concurrent Systems Engineering Series, IOS Press, Amsterdam, 2007, p. 505                 (in collaboration)

699.     Theoretical Framework for Cooperation and Competition in Evolutionary Computation, Proc. 2nd Intern. Conf. on Software and Data Technologies (ICSOFT'2007), vol.PL/DPS/KE/MUSE, Barcelona, Spain, 2007, pp. 229-234              (in collaboration)

700.     Correctness in the Software Life Cycle, in Proceedings of the 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), ISCA, Las Vegas, Nevada, July 9-11, 2007, pp. 26-31            (in collaboration)

701.     Algorithmic Complexity as a criterion of unsolvability, Theoretical Computer Science, v. 383, No. 2/3, 2007, pp. 244-259

702.     Universality, Reducibility, and Completeness, Lecture Notes in Computer Science, 2007, v. 4664, pp. 24-38

703.     Evolution of Evolution: Self-constructing Evolutionary Turing Machine Case Study, in Proceedings of the 2007 Congress on Evolutionary Computation CEC'2007, Singapore, 2007, pp. 4599-4604   (in collaboration)

704.     Superrecursive Features of Interactive Computation, Preprint in Computer Science cs.DC.0710.1455, 2007, 16 p.     (electronic edition:   http://arXiv.org)

705.     Numerical analysis, limit computations, and neoclassical analysis, Abstracts of Lectures: 4th International Conference of Applied Mathematics and Computing, Plovdiv, Bulgaria, August 12-18, 2008, p. 66 (http://math.uctm.edu/conference2008/content/abstracts.pdf)

706.     A Unifying Model of Concurrent Processes, in Proceedings of the 2007 International Conference on Foundations of Computer Science (FCS'07), Press, Las Vegas, Nevada, USA, 2007, pp.321-327         (in collaboration)

707.     Interactive Hypercomputation, in Proceedings of the 2007 International Conference on Foundations of Computer Science (FCS'07), CSREA Press, Las Vegas, Nevada, USA, 2007, pp.328-333

708.     Testing in the Software Life Cycle, Proceedings of the International Conference on Computer Applications in Industry and Engineering (CAINE-07), San Francisco, California, USA, November 2007, pp. 156-161       (in collaboration)

709.     An Automated Test Case Generation and Execution System, Proceedings of the International Conference on Computer Applications in Industry and Engineering (CAINE-07), San Francisco, California, USA, November 2007, pp. 162-167      (in collaboration)

710.     Cooperative Combinatorial Optimization: Evolutionary Computation Case Study, BioSystems, v. 91, No. 1, 2008, pp. 34-50           (in collaboration)

711.     Concurrent Composition and Algebras of Events, Actions, and Processes, Preprint in Computer Science, cs.LO.0803.3099, 2008, 69 p.     (electronic edition:   http://arXiv.org)    (in collaboration)

712.     Testing: Organization and Evaluation, in Proceedings of the ISCA 23rd International Conference on Computers and their Applications (CATA-2008), ISCA, Cancun, Mexico, 2008, pp. 203-208             (in collaboration)

713.     Algorithmic Problem Complexity, Preprint in Computer Science, cs.CC.0807.0672, 2008, 53 p.     (electronic edition:   http://arXiv.org)

714.     How to Measure Testing Results, in Proceedings of the 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), ISCA, Los Angeles, California, 2008, pp. 36-41                    (in collaboration)

715.     Structural Organization of Temporal Databases, in Proceedings of the 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), ISCA, Los Angeles, California, 2008, pp. 68-73              

716.     Foundations of Information Theory, Preprint in Computer Science, cs.IS.0808.0768, 2008, 53 p.     (electronic edition:   http://arXiv.org)

717.     Cellular Engineering, Complex Systems, v. 18, No. 1, 2008, pp. 103-129

718.     On Foundations of Evolutionary Computation: An Evolutionary Automata Approach, in Handbook of Research on Artificial Immune Systems and Natural Computing: Applying Complex Adaptive Technologies (Hongwei Mo, Ed.), Section II: Natural Computing, Section II.1: Evolutionary Computing, Chapter XVI, Medical Information Science Reference/IGI Global, Hershey, Pennsylvania, 2009, pp. 342-260      (in collaboration)

719.     A Systematic Approach to Artificial Agents, Preprint in Computer Science, cs.AI. 0902.3513, 2009, 8 p.     (electronic edition:   http://arXiv.org)                          (in collaboration)

720.     From Craft to Engineering: Software Development and Schema Theory, in Proceedings of the 2009 WRI World Congress on Computer Science and Information Engineering (CSIE 2009), WRI, Los Angeles, California, v. 7, 2009, pp. 787 - 791 (CD-ROM edition, 5 p.)

721.     Universality for Turing Machines, Inductive Turing Machines and Evolutionary Algorithms, Fundamenta Informaticae, v. 91, No. 1, 2009, pp. 53-77      (in collaboration)

722.     Super-Recursive Algorithms in Testing Distributed Systems, in Proceedings of the ISCA 24th International Conference on Computers and their Applications (CATA-2009), ISCA, New Orleans, Louisiana, USA, April, 2009, pp. 209-214              (in collaboration)

723.     Monte Carlo Methods and Super-recursive Algorithms,  in Proceedings of the Spring Simulation Multiconference (ADS, BIS, MSE, and MSEng), Society for Modeling and Simulation International, San Diego, California, 2009, pp. 289-294      (in collaboration)

724.     Evolutionary Automata as Foundations of Evolutionary Computation: Larry Fogel was Right, in Proc. 2009 Congress on Evolutionary Computation (CEC'2009), Trondheim, Norway, 2009, pp. 2149-2156  (in collaboration)

725.     Measuring Testing as a Distributed Component of the Software Life Cycle, Journal for Computational Methods in Science and Engineering, 2009, v. 9, No. 1/2, Supplement 2, pp. 211-223          (in collaboration)

726.     AI, Granular Computing, and Automata with Structured Memory, in “Proceedings of the 8th WSEAS International Conference on Data Networks, Communications, Computers” (DNCOCO’09), Baltimore, Maryland, USA, November, 2009, pp. 48-53   (also electronic edition:   https://www.researchgate.net/publication/228671173_AI_granular_computing_and_automata_with_structured_memory)      (in collaboration)

727.     Grid Automata as a Tool for Network Design, in “Proceedings of the 8th WSEAS International Conference on Data Networks, Communications, Computers” (DNCOCO’09), Baltimore, Maryland, USA, November, 2009, pp. 147 - 151

728.     Mathematical Theory of Information Technology, in “Proceedings of the 8th WSEAS International Conference on Data Networks, Communications, Computers” (DNCOCO’09), Baltimore, Maryland, USA, November, 2009, pp. 42 - 47  (also: in “Program Schedule and Information, WSEAS Conferences 2009” , pp. 15 – 16)

729.     Robustness of Information Systems and Technologies, in “Proceedings of the 8th WSEAS International Conference on Data Networks, Communications, Computers” (DNCOCO’09), Baltimore, Maryland, USA, November, 2009, pp. 67 - 72

730.     Theory of Information: Fundamentality, Diversity and Unification, World Scientific, New York/London/Singapore, 2010, 688 p.

731.     Reusability as Design of Second-Level Algorithms, in Proceedings of the ISCA 25th International Conference on Computers and their Applications (CATA-2010), ISCA, Honolulu, Hawaii, 2010, pp. 147-152       (in collaboration)

732.     Mathematical Schema Theory for Network Design, in Proceedings of the ISCA 25th International Conference on Computers and their Applications (CATA-2010), ISCA, Honolulu, Hawaii, 2010, pp. 157-162     

733.     A Theoretical Model for Grid, Cluster and Internet Computing, in Selected Topics in Communication Networks and Distributed Systems, World Scientific, New York/London/Singapore, 2010, pp. 485-535       (in collaboration)

734.     Measuring Power of Algorithms, Computer Programs, and Information Automata, Nova Science Publishers, New York, 2010, 347 p.

735.     Bounded and Periodic Evolutionary Machines, in Proc. of the 2010 Congress on Evolutionary Computation (CEC'2010), Barcelona, Spain, 2010, pp. 1379-1386    (in collaboration)

736.     Algorithmic Complexity of Computational Problems, International Journal of Computing & Information Technology, 2010, v. 2, No. 1, pp. 149-187 

737.     Information Operators in Categorical Information Spaces, Information, v. 1, No.1, 2010, pp. 119-152

738.     Intelligent Testing Systems, in Proceedings of the World Automation Congress 2010 (WAC 2010), Cobe, Japan, September 2010, TSI Press, San Antonio, Texas, USA, pp. 1-6                   (in collaboration)

739.     General Theory of Information, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es)     (Glossarium – BITri, 2nd edition, BITrum, Leon, Espaρa, 2015)            (in collaboration)                            

740.     Principles of the General Theory of Information, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es)                 

741.     Mathematical Stratum of the GTI, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es)                  

742.     Logical Varieties in Normative Reasoning, Preprint in Mathematics and Computer Science cs/math.LO/1104.1466, 2011, 15 p.  (electronic edition:   http://arXiv.org)    (in collaboration)

743.     Information in the Structure of the World, Information: Theories & Applications, 2011, v.18, No. 1, pp. 16 - 32

744.     Information as a Natural and Social Operator, Information: Theories & Applications, 2011, v.18, No. 1, pp. 33 – 49                (in collaboration)

745.     Information and Computation, World Scientific, New York/London/Singapore, 2011, 528 p.  (one of two Editors)

746.     Information and Computation – Omnipresent and Pervasive, in Information and Computation, World Scientific, New York/London/Singapore, 2011, pp. vii – xxxii           (in collaboration)

747.     Information Dynamics in a Categorical Setting, in “Information and Computation”, World Scientific, New York/London/Singapore, 2011, pp. 35 - 78

748.     The Representation of Inconsistent Knowledge in Advanced Knowledge Based Systems, Lecture Notes in Computer Science, Knowledge-Based and Intelligent Information and Engineering Systems, v. 6882, 2011, pp. 524-537     (in collaboration)

749.     A mathematical model for managing XML data, International Journal of Metadata, Semantics and Ontologies (IJMSO), v. 6, No. 1, 2011, pp.  56 – 73     (in collaboration)

750.     Information: Concept Clarification and Theoretical Representation, TripleC, v. 9, No.2, 2011, pp. 347-357 (http://triplec.uti.at)

751.     General Theory of Information, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es)   (Glossarium – BITri, 2nd edition, UPSE-BITrum, Santa Elena, Ecuador, 2016, pp. 99 - 100)     (in collaboration)  

752.     Principles of the General Theory of Information, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es)  (Glossarium – BITri, 2nd edition, UPSE-BITrum, Santa Elena, Ecuador, 2016, pp. 179 - 180)     

753.     Mathematical Stratum of the GTI, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es)  (Glossarium – BITri, 2nd edition, UPSE-BITrum, Santa Elena, Ecuador, 2016, pp. 165)        

754.     Algorithmic Information, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es) (Glossarium – BITri, 2nd edition, UPSE-BITrum, Santa Elena, Ecuador, 2016, pp. 17)

755.     Algorithmic Information Theory, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es) (Glossarium – BITri, 2nd edition, UPSE-BITrum, Santa Elena, Ecuador, 2016, pp. 17 - 20)      (in collaboration)  

756.     Axiomatics for Algorithmic Information, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es)  (Glossarium – BITri, 2nd edition, UPSE-BITrum, Santa Elena, Ecuador, 2016, pp. 25 - 27)

757.     Kolmogorov Komplexity, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es) (Glossarium – BITri, 2nd edition, UPSE-BITrum, Santa Elena, Ecuador, 2016, pp. 158 - 160)              

758.     Super-recursive Kolmogorov Komplexity, Glossarium - BITri: Interdisciplinary Glossary of Concepts, Metaphors, Theories and Problems Concerning Information, 2011 (electronic edition:   http://glossarium.bitrum.unileon.es) (Glossarium – BITri, 2nd edition, UPSE-BITrum, Santa Elena, Ecuador, 2016, pp. 205 - 207)

759.     Inductive Complexity Measures for Mathematical Problems, Center for Discrete Mathematics and Theoretical Computer Science (CDMTCS) Research Report 416, 2011, 11 p.      (in collaboration)

760.     Epistemic Information in Stratified M-Spaces, Information, v. 2, No.2, 2011, pp. 697 - 726

761.     Information: Mystery Solving, FIS mail-archive, 2011, 3 p. (electronic edition:   https://www.mail-archive.com/fis@listas.unizar.es/msg01264.html)         

762.     Evolutionary Automata: Expressiveness and Convergence of Evolutionary Computation, Computer Journal, v. 55, No. 9, 2012, pp. 1023-1029     (Advance Access publication, September 29, 2011)    (in collaboration)

763.     Second-level Algorithms, Superrecursivity, and Recovery Problem in Distributed Systems, Theory of Computing Systems, v. 50, No. 4, 2012, pp. 694-705     (in collaboration)

764.     A System Approach to Software Measurement, in Proceedings of the ISCA 27th International Conference “Computers and their Applications” (CATA-2012), ISCA, Las Vegas, Nevada, USA, March 2012, pp. 230 – 233           (in collaboration)

765.     Interplay of Logical Verification and Performance Testing in Software Assurance, in Proceedings of the 21st International Conference on Software Engineering and Data Engineering (SEDE-2012), ISCA, Los Angeles, California, June 27–29, 2012, pp. 155-160   (in collaboration)

766.     Computational Completeness of Interaction Machines and Turing Machines, in Turing-100 (The Alan Turing Centenary), EasyChair Proceedings in Computing, v. 10, 2012, pp. 405-414    (in collaboration)

767.     Axiomatic Tools versus Constructive approach to Unconventional Algorithms, in Proceedings of Symposium on Natural Computing/Unconventional Computing and its Philosophical Significance, AISB/IACAP World Congress 2012, Birmingham, UK, July 2-6, 2012, pp. 100-105   (also: Preprint in Computer Science, cs.GL/LO. 1207.1034, 2012,     electronic edition:   http://arXiv.org)             (in collaboration)

768.     From the Closed Universe to an Open World, in Proceedings of Symposium on Natural Computing/Unconventional Computing and its Philosophical Significance, AISB/IACAP World Congress 2012, Birmingham, UK, July 2-6, 2012, pp. 106-110       (in collaboration)

769.     Evolutionary Computation and Processes of Life (Ubiquity Symposium Opening Statement), Ubiquity, August 2012, 12 p. (http://ubiquity.acm.org) (in collaboration)

770.     A System Approach to Information Structuring in the Context of Social Interaction, Information: Theories & Applications, 2012, v.19, No. 1, pp. 3 - 13

771.     Unconventional Algorithms: Complementarity of Axiomatics and Construction, Entropy, v. 14, No. 5, 2012, pp. 2066-2080  (http://www.mdpi.com/journal/entropy/)            (in collaboration)

772.     Decidability and Universality in the Axiomatic Theory of Computability and Algorithms, International Journal of Foundations of Computer Science, v. 23, No. 7, 2012, pp. 1465 - 1480     

773.     From the Closed Classical Algorithmic Universe to an Open World of Algorithmic Constellations, in Computing Nature, Studies in Applied Philosophy, Epistemology and Rational Ethics, v. 7, Springer-Verlag, Berlin/Heidelberg, 2013, pp. 241-254       (also in Preprint in Computer Science, cs.GL/LO. 1211.4547, 2012      (electronic edition:   http://arXiv.org))                  (in collaboration)

774.     Basic Classes of Grammars with Prohibition, Preprint in Computer Science, cs.FL/CL. 1302.5181, 2013, 15 p.     (electronic edition:   http://arXiv.org)

775.     Computational Technosphere and Cellular Engineering, in Irreducibility and Computational Equivalence, Springer, Heidelberg/New York/ Dordrecht/London, 2013, pp. 113 - 124

776.     Recursively Generated Evolutionary Turing Machines and Evolutionary Automata,  in Artificial Intelligence, Evolutionary Computing and Metaheuristics, Studies in Computational Intelligence, v. 427, Springer-Verlag, Berlin/Heidelberg, 2013, pp. 201-230       (in collaboration)

777.     Evolutionary Information Theory, Information, v. 4, No.2, 2013, pp. 224 - 268

778.     Layers of Software Architecture, in Proceedings of the ISCA 28th International Conference on Computers and their Applications (CATA-2013), ISCA, Honolulu, Hawaii, 2013, pp. 179-184       (in collaboration)

779.     Evolutionary Turing in the Context of Evolutionary Machines, Preprint in Computer Science, cs.AI, 1304.3762, 2013, 15 p.     (electronic edition:   http://arXiv.org)

780.     The Nature of Computation, in Proceedings of the International Conference “Computability in Europe 2013 (CiE 2013), The Nature of Computation,” Venice, Italy, 1 – 5 July 2013, pp. 21-29     (in collaboration)

781.     Inductive Complexity Measures for Mathematical Problems, International Journal of Foundations of Computer Science, v. 24, No. 4, 2013, pp. 487-500      (in collaboration)

782.     Typologies of Computation viewed through the Prism of Computational Models, Preprint in Computer Science, cs.GL/LO. 1312.2447, 2013, 24 p.      (electronic edition:   http://arXiv.org) [also https://pdfs.semanticscholar.org/ef55/29dedd9368acb9bae627894de8b0c4a59af8.pdf; https://www.scribd.com/document/190697204/Typologies-of-Computation-viewed-through-the-Prism-of-Computational-Models] (in collaboration)

783.     Perspectives and reality of evolutionary computation, Ubiquity, v. 2013, December (2013), pp. 1-12     (in collaboration)

784.     Functioning of Inductive Turing Machines, International Journal of Unconventional Computing (IJUC), v. 10, No. 1-2, 2014, pp. 19-35

785.     Weighted E-Spaces and Epistemic Information Operators, Information, v. 5, No. 3, 2014, pp. 357 - 388

786.     Semantic Network Organization Based on Distributed Intelligent Managed Elements: Improving Efficiency and Resiliency of Computational Processes, in Proceedings of the Sixth International Conference on Advances in Future Internet (AFIN 2014), Lisbon, Portugal, 2014, pp. 1-7     (in collaboration) (http://www.thinkmind.org/index.php?view=instance&instance=AFIN+2014)

787.     Periodic Turing Machines, Journal of Computer Technology & Applications, v. 5, No 3, 2014, pp. 6 – 18

788.     Inductive Cellular Automata, International Journal of Data Structures and Algorithms, v. 1, No 1, 2015, pp. 1-9

789.     Properties of Stabilizing Computations, Theory and Applications of Mathematics and Computer Science, v. 5, No. 1, 2015, pp. 71 - 93

790.     From Personal Computers to Personal Computing Networks: A New Paradigm for Computation, International Conference on Future Computational Technologies and Applications, Nice, France, ThinkMind, March 22-27, 2015, pp 24-30    (in collaboration)

791.     Computation as Information Transformation, IS4IS Summit Vienna 2015 - The Information Society at the Crossroads, Track: Triangular relationship, 3–7 June 2015, Vienna, Austria, 1 p. (http://www.sciforum.net/conference/isis-summit-vienna-2015/track-triangular)                            (in collaboration)

792.     Information as an Omnipresent Relative Phenomenon, IS4IS Summit Vienna 2015 - The Information Society at the Crossroads, Track: Weaving the understanding of information, 3–7 June 2015, Vienna, Austria, 3 p. (http://www.sciforum.net/conference/isis-summit-vienna-2015/track-weavunderstand)                           

793.     Reasoning and Decision Making in an Inconsistent World: Labeled Logical Varieties as a Tool for Inconsistency Robustness, in (R. Neves-Silva, L.C. Jain and R. J. Howlette, Eds). Intelligent Decision Technologies, series Smart Innovation, Systems and Technologies, Springer, 2015, v. 39, pp. 411-438     (in collaboration)

794.     Computation as Information Transformation, IS4IS Summit Vienna 2015 - The Information Society at the Crossroads, 3–7 June 2015, Vienna, Austria, 4 p. (http://www.sciforum.net/conference/isis-summit-vienna-2015/paper/2975)                            (in collaboration)

795.     Grammars with Exclusion, Journal of Computer Technology & Applications (JoCTA), v. 6, No. 2, 2015, pp. 56 – 66

796.     Consistent structuring of inconsistent knowledge, Journal of Intelligent Information Systems, v. 45, No. 1, 2015, pp. 5-28   (in collaboration)

797.     信息论-本质·多样性·统一 (Theory of Information: Essence & Unified Diversity; Chinese translation of Theory of Information: Fundamentality, Diversity and Unification) Intellectual Property Publishing House, Beijing, China, 2015

798.     A Taxonomy of Computation and Information Architecture, Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015, ACM, 2015, pp. 7:1-7:8      (in collaboration)

799.     Super-recursive Algorithms and Modes of Computation, Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015, ACM, 2015, pp. 10:1-10:5

800.     Oracles in Software Networks: A New Scientific and Technological Approach to Designing Self-Managing Distributed Computing Processes, Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015, ACM, 2015, pp. 11:1-11:8      (in collaboration)

801.     Inductively computable sets and functions, Journal of Computer Technology & Applications (JoCTA), v. 7, No. 1, 2016, pp. 12 – 22

802.     Inductively Computable Hierarchies and Inductive Algorithmic Complexity, Global Journal of Computer Science and Technology, Ser. E: Network, Web & Security, v. 16, No. 1, 2016, pp. 35 – 45

803.     Agent technology, superrecursive algorithms and DNA as a tool for distributed clouds and grids, in Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2016), Paris, France, June 12-15, 2016, pp. 89-94    (in collaboration)

804.     Intelligent organisation of semantic networks, DIME network architecture and grid automata, International Journal of Embedded Systems, v. 8, No. 4, 2016, pp. 352-366   (in collaboration)

805.     On the power of oracles in the context of hierarchical intelligence, Journal of Artificial Intelligence Research & Advances, v. 3, No. 2, 2016, pp. 6 - 17

806.     Modeling evolution by evolutionary machines: A new perspective on computational theory and practice, Theory and Applications of Mathematics & Computer Science, v. 6, No. 2, 2016, pp. 170 – 186   (in collaboration)

807.     Theory of Knowledge: Structures and Processes, World Scientific, New York/London/Singapore, 2016, 964 p.

808.     Inductive Complexity and Shannon Entropy, in Information and Complexity, World Scientific, New York/London/Singapore, 2016, pp. 16 - 32

809.     Information and Complexity, World Scientific, New York/London/Singapore, 2016, 408 p. (Editor, in collaboration)

810.     Glossarium – BITri: Interdisciplinary Elucidation of Concepts, Metaphors, Theories and Problems Concerning INFORMATION, 2nd edition, UPSE-BITrum, Universidad Estatal Peninsula de Santa Elena, Santa Elena, Ecuador, 2016, 222 p. (Editor, in collaboration)

811.     Decreasing Complexity in Inductive Computations, in Advances in Unconventional Computing,  series Emergence, Complexity and Computation, v. 22,  Springer, New York, 2017, pp. 183-203

812.     Sociology of Information Processes and the Development of Society, in The Future Information Society: Social and Technological Problems, World Scientific, New York/London/Singapore, 2017, pp. 1 – 7  (in collaboration)

813.     The Future Information Society: Social and Technological Problems, World Scientific, New York/London/Singapore, 2017   (Editor, in collaboration)

814.     Inaccessible Information and the Mathematical Theory of Oracles, in Information Studies and the Quest for Transdisciplinarity: Unity through Diversity, World Scientific, New York/London/Singapore, 2017, pp. 59 - 114 

815.     Omnipresence of Information as the Incentive for Transdisciplinarity, in Information Studies and the Quest for Transdisciplinarity: Unity through Diversity, World Scientific, New York/London/Singapore, 2017, pp. 1 – 7  (in collaboration)

816.     Information Studies and the Quest for Transdisciplinarity: Unity through Diversity, World Scientific, New York/London/Singapore, 2017 (Editor, in collaboration)   

817.     Structural machines and slime mold computation, International Journal of General Systems, v. 45, No. 3, 2017, pp. 201-224  (Advance Access publication, April 25, 2017  http://dx.doi.org/10.1080/03081079.20171300585)      (in collaboration)

818.     The General Theory of Information as a Unifying Factor for Information Studies: The noble eight-fold path, in Proceedings, 2017, v. 1, No. 3, 164, 6 p.; doi:10.3390/IS4SI-2017-04044 [also Proceedings of the “Digitalisation for a Sustainable Society: Embodied, Embedded, Networked, Empowered through Information, Computation & Cognition!”, 12–16 June 2017, Gothenburg, Sweden (http://sciforum.net/conference/IS4SI-2017/paper/4044)]

819.     Bidirectional named sets as structural models of interpersonal communication, in Proceedings, 2017, v. 1, No. 3, 58, 6 p.; doi:10.3390/IS4SI-2017-03916 [also Proceedings of the “Digitalisation for a Sustainable Society: Embodied, Embedded, Networked, Empowered through Information, Computation & Cognition!”, 12–16 June 2017, Gothenburg, Sweden (http://sciforum.net/conference/IS4SI-2017/paper/3916)]

820.     Structures and Structural Information, in Proceedings, 2017, v. 1, No. 3, 217, 5 p.; doi:10.3390/IS4SI-2017-04036 [also Proceedings of the “Digitalisation for a Sustainable Society: Embodied, Embedded, Networked, Empowered through Information, Computation & Cognition!”, 12–16 June 2017, Gothenburg, Sweden (http://sciforum.net/conference/IS4SI-2017/paper/4036)    (in collaboration)]

821.     Principles of General Ecology, in Proceedings, 2017, v. 1, No. 3, 148, 4 p.; doi:10.3390/IS4SI-2017-03996 [also Proceedings of the “Digitalisation for a Sustainable Society: Embodied, Embedded, Networked, Empowered through Information, Computation & Cognition!”, 12–16 June 2017, Gothenburg, Sweden (http://sciforum.net/conference/IS4SI-2017/paper/3996)]

822.     Knowledge processing as structure transformation, in Proceedings, 2017, v. 1, No. 3, 58, 5 p.; doi:10.3390/IS4SI-2017-03988 [also Proceedings of the “Digitalisation for a Sustainable Society: Embodied, Embedded, Networked, Empowered through Information, Computation & Cognition!”, 12–16 June 2017, Gothenburg, Sweden (http://sciforum.net/conference/IS4SI-2017/paper/3988)]   (in collaboration)

823.     Information Taxonomy, in Proceedings of the “Digitalisation for a Sustainable Society: Embodied, Embedded, Networked, Empowered through Information, Computation & Cognition!”, 12–16 June 2017, Gothenburg, Sweden (http://sciforum.net/conference/IS4SI-2017/paper/4035)   (in collaboration)

824.     Structural Machines as a Mathematical Model of Biological and Chemical Computers, Theory and Applications of Mathematics & Computer Science, v. 7, No. 2, 2017, pp. 1 – 30   (in collaboration)

825.     Prolegomena to Information Taxonomy, in Proceedings, 2017, v. 1, No. 3, 210, 4 p.; doi:10.3390/IS4SI-2017-04035      (in collaboration)

826.     Structural and Symbolic Information in the Context of the General Theory of Information, Information, v. 8, No. 4, 2017, 139; doi:10.3390/info8040139    (in collaboration)

827.     Systems, Actors and Agents: Operation in a multicomponent environment, Preprint in Computer Science, cs.MA/cs.AI. 1711.08319, 2017, 28 p.      (electronic edition:   http://arXiv.org)

828.     Actors, Agents and Oracles in the Context of Artificial Intelligence, Journal of Artificial Intelligence Research & Advances, v. 4, No. 3, 2017, pp. 17-25

829.     Distributed computing and agent technology, International Journal of Distributed Computing and Technology, v. 3, No. 2, 2017, pp. 30 - 40 

830.     East-West paths to unconventional computing, Progress in Biophysics and Molecular Biology, v. 131, 2017, pp. 469-493    (in collaboration)

831.     Swarm Superintelligence and Actor Systems, International Journal of Swarm Intelligence and Evolutionary Computation, v. 6, No. 3, 2017, open access (https://www.omicsonline.org/open-access/swarm-superintelligence-and-actor-systems-2090-4908-1000167-97430.html?view=mobile) 

832.     Information Ecology in the Context of General Ecology, Information, v. 9, No. 3, 2018, 57; doi:10.3390/info9030057       (in collaboration)

833.     Concurrent systems and time synchronization, International Journal of General Systems, v. 47, No. 4, 2018, pp. 313-328 (Advance Access publication, February 28, 2018  https://doi.org/10.1080/03081079.2018.1425298)           (in collaboration)

834.     Representation, Reconstruction and Recognition of 3D Objects, EasyChair Preprint No. 10, March 8, 2018, 11 p.   (electronic edition:   https://easychair.org/publications/preprint/rKjS) (in collaboration)

835.     Analytical Linguistics and Formal Grammars: Contributions of Solomon Marcus and Their Further Developments, in Mathematics Almost Everywhere (Bellow, A., Calude, C. S. and Zamfirescu, T.; Eds), 2018, pp. 183-192

836.     Cloud computing based on agent technology, super-recursive algorithms and DNA, Int. J. Grid and Utility Computing, v. 9, No. 2, 2018, pp.193–204   (in collaboration)

837.     Inductive Turing Machines, Unconventional Computing (Adamatzky, A.; Ed), A volume in the Encyclopedia of Complexity and Systems Science, Springer, Berlin/Heidelberg, 2018, pp. 675-688   

838.     Inductive computations, anytime algorithms and emotions, International Journal of Algorithms Design and Analysis, v. 4, No. 1, 2018, pp. 47-57 

839.     Triadic Structures in Interpersonal Communication, Information, v. 9, No. 11, 2018, 283

 

To the next section| | οΏ½