%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Anatol Slissenko", %%% version = "1.02", %%% date = "04 January 2006", %%% time = "09:44:08 MST", %%% filename = "slissenko-anatol.bib", %%% address = "University Paris 12 %%% Informatics %%% 61, Av. du Gen. de Gaulle %%% CRETEIL, 94010 %%% FRANCE", %%% telephone = "33 (0)1 45 17 16 63", %%% FAX = "33 (0)1 45 17 16 49", %%% checksum = "40572 1146 4402 45284", %%% email = "slissenko at univ-paris12.fr (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "bibliography, BibTeX, real-time systems %%% verification", %%% supported = "yes", %%% docstring = "This is a bibliography of publications of %%% Anatol Slissenko. The companion LaTeX file %%% slissenko-anatol.ltx can be used to typeset %%% this bibliography. %%% %%% At version 1.02, the year coverage looked %%% like this: %%% %%% 1963 ( 1) 1976 ( 1) 1989 ( 4) %%% 1964 ( 3) 1977 ( 0) 1990 ( 1) %%% 1965 ( 1) 1978 ( 4) 1991 ( 3) %%% 1966 ( 1) 1979 ( 2) 1992 ( 1) %%% 1967 ( 3) 1980 ( 2) 1993 ( 3) %%% 1968 ( 0) 1981 ( 4) 1994 ( 1) %%% 1969 ( 1) 1982 ( 1) 1995 ( 2) %%% 1970 ( 1) 1983 ( 5) 1996 ( 3) %%% 1971 ( 0) 1984 ( 2) 1997 ( 5) %%% 1972 ( 0) 1985 ( 1) 1998 ( 5) %%% 1973 ( 1) 1986 ( 0) 1999 ( 2) %%% %%% Article: 28 %%% Book: 2 %%% InCollection: 14 %%% InProceedings: 8 %%% Proceedings: 8 %%% TechReport: 4 %%% %%% Total entries: 64 %%% %%% This file is available as part of the BibNet %%% Project. The master copy is available for %%% public access on ftp.math.utah.edu in the %%% directory tree /pub/bibnet/authors. It is %%% mirrored to netlib.bell-labs.com in the directory %%% tree /netlib/bibnet/authors, from which it is %%% available via anonymous ftp and the Netlib %%% service. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== % ====================================================================== % Institute abbreviations: @String{inst-UNIV-PARIS-12-INFO = "University Paris 12, Department of Informatics"} % ====================================================================== % Journal abbreviations: @String{j-ACTA-INFO = "Acta Informatica"} @String{j-INFO-PROC-LETT = "Information Processing Letters"} @String{j-INFO-SCI = "Information Sciences"} @String{j-J-MATH-SCI-NY-NY = "Journal of mathematical sciences (New York, N.Y.)"} @String{j-J-SOV-MATH = "Journal of Soviet Mathematics"} @String{j-PROC-STEKLOV-INST-MATH = "Trudy Matematicheskogo instituta imeni V. A. Steklova = Proceedings of the Steklov Institute of Mathematics"} @String{j-RUSS-MATH-SURV = "Russian mathematical surveys"} @String{j-SOVIET-MATH = "J. of Soviet Mathematics"} @String{j-SOVIET-MATH-DOKL = "Soviet Mathematics. Doklady"} @String{j-ST-PETERSBG-MATH-J = "St. Petersburg mathematical journal"} @String{j-TECHNIQUE-SCI-INFORMATIQUES = "Technique et science informatiques: TSI"} @String{j-THEOR-COMP-SCI = "Theoretical Computer Science"} @String{j-USPEHI-MAT-NAUK = "Uspekhi matematicheskikh nauk"} @String{j-ZAP-NAUC-SEMIN-LENINGR-OTD-ORDENA = "Zapiski naucnyh seminarov Leningradskogo otdelenija ordena Lenina Matematiceskogo instituta im. V.A. Steklova Akademii nauk SSSR"} % ====================================================================== % Publisher abbreviations: @String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY, USA"} @String{pub-NH = "North-Holland"} @String{pub-NH:adr = "Amsterdam, The Netherlands"} @String{pub-SV = "Springer Verlag"} @String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."} % ====================================================================== % Series abbreviations: @String{ser-LNCS = "Lecture Notes in Computer Science"} % ====================================================================== % Bibliography entries: @Article{Slissenko:1963:SAP, author = "A. Slissenko", title = "On Some Algorithmic Problems, Concerning Arithmetical Operations on Duplexes", journal = "Doklady Akademii Nauk SSSR (Soviet Mathematical Doklady)", volume = "152", number = "2", pages = "292--295", year = "1963", ISSN = "0869-5652", CODEN = "DAKNEQ", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian.", bibdate = "Thu Aug 5 17:46:35 1999", } @Article{Slissenko:1964:CNS, author = "A. Slissenko", title = "On Constructive Non-Separable Spaces", journal = j-PROC-STEKLOV-INST-MATH, volume = "72", pages = "533--536", year = "1964", CODEN = "TMISAF", ISSN = "0081-5438", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian.", } @Article{Slissenko:1964:END, author = "A. Slissenko", title = "An Example of Non-Discontinuous but not Continuous Constructive Operator in a Metric Space", journal = j-PROC-STEKLOV-INST-MATH, volume = "72", pages = "524--532", year = "1964", CODEN = "TMISAF", ISSN = "0081-5438", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian.", } @Article{Slissenko:1964:SAP, author = "A. Slissenko", title = "On Some Algorithmic Problems, Concerning Arithmetical Operations on Duplexes", journal = j-PROC-STEKLOV-INST-MATH, volume = "72", pages = "488--523", year = "1964", CODEN = "TMISAF", ISSN = "0081-5438", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian.", } @Book{Shanin:1965:AMS, author = "N. Shanin and G. Davydov and S. Maslov and G. Mints and V. Orevkov and A. Slissenko", title = "An Algorithm for Machine Search of a Natural Logical Deduction in a Propositional Calculus", publisher = "Nauka", address = "Leningrad, USSR", pages = "39", year = "1965", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @InCollection{Slissenko:1966:SAP, author = "A. Slissenko", booktitle = "Inter. Congress of Mathematicians, Moscow, 1966. Section 1, Mathematical Logic and Foundations of Mathematics. Abstracts", title = "Some Algorithmic Problems Related to Computational Mathematics", publisher = "ICM", address = "Moscow, USSR", pages = "24--25", year = "1966", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @Article{Slissenko:1967:AOC, author = "A. Slissenko", title = "Arithmetical Operations on Certain Sets of Duplexes", journal = j-PROC-STEKLOV-INST-MATH, volume = "93", pages = "241--267", year = "1967", CODEN = "TMISAF", ISSN = "0081-5438", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Trudy Matematicheskogo Instituta Akademii Nauk SSSR}, 93:187--207, 1967.", } @Article{Slissenko:1967:CMC, author = "A. Slissenko", title = "The Construction of Maximal Continuity Regulators for Constructive Functions", journal = j-PROC-STEKLOV-INST-MATH, volume = "93", pages = "269--317", year = "1967", CODEN = "TMISAF", ISSN = "0081-5438", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Trudy Matematicheskogo Instituta Akademii Nauk SSSR}, 93:208-249, 1967.", } @Article{Slissenko:1967:MCR, author = "A. Slissenko", title = "On Maximal Continuity Regulators of Constructive Functions", journal = j-ZAP-NAUC-SEMIN-LENINGR-OTD-ORDENA, volume = "4", pages = "201--208", year = "1967", CODEN = "ZNSLAF", ISSN = "0373-2703", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian. Translated into English in: {\em Seminars in Mathematics, V.A.Steklov Mathematical Institute, Leningrad}, 4:82--84, 1969.", } @Article{Shanin:1969:CAD, author = "N. Shanin and G. Davydov and S. Maslov and G. Mints and V. Orevkov and A. Slissenko", title = "A Computer Algorithm for the Determination of Deducibility on the Basis of the Inverse Method", journal = j-ZAP-NAUC-SEMIN-LENINGR-OTD-ORDENA, volume = "16", pages = "8--19", year = "1969", CODEN = "ZNSLAF", ISSN = "0373-2703", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian. Translated into English in: {\em The Automation of Reasoning II. Classical Papers on Computational Logic 1967--1970}, Springer-Verlag, 1983.", } @Article{Slissenko:1970:SQA, author = "A. Slissenko", title = "Some Questions of Approximation of Maximal Continuity Regulators", journal = j-PROC-STEKLOV-INST-MATH, volume = "113", pages = "73--78", year = "1970", CODEN = "TMISAF", ISSN = "0081-5438", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian.", } @Article{Slissenko:1973:PES, author = "A. Slissenko", title = "A Property of Enumerable Sets Containing `Complexly Deducible' Formulas", journal = j-SOVIET-MATH, volume = "1", number = "1", pages = "126--131", year = "1973", CODEN = "????", ISSN = "????", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Zapiski Nauchnykh Seminarov LOMI}, 20:200-207, 1971.", } @Article{Slissenko:1976:RSP, author = "A. Slissenko", title = "Recognizing a Symmetry Predicate by Multihead {Turing} Machines with Input", journal = j-PROC-STEKLOV-INST-MATH, volume = "129", pages = "25--208", year = "1976", CODEN = "TMISAF", ISSN = "0081-5438", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Trudy Matematicheskogo Instituta Akademii Nauk SSSR}, 129:30--202, 1973.", } @Article{Slissenko:1978:FAP, author = "A. Slissenko", title = "Finite Approach to the Problem of Optimizing Theorem-Proving Algorithms", journal = j-SOVIET-MATH, volume = "10", number = "4", pages = "597--603", year = "1978", CODEN = "????", ISSN = "????", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Zapiski Nauchnykh Seminarov LOMI}, 49:123-130, 1975.", } @InCollection{Slissenko:1978:MCB, author = "A. Slissenko", booktitle = "Proc. Soviet Symp. on AI and Automation of Research in Mathematics, Kiev", title = "Models of Computations Based on Address Organization of Storage", publisher = "Institute of Cybernetics", address = "Kiev, USSR", pages = "94--96", year = "1978", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @InProceedings{Slissenko:1978:SMR, author = "A. Slissenko", title = "String-Matching in Real-Time: Some Properties of the Data Structure", crossref = "Winkowski:1978:MFC", pages = "493--496", year = "1978", bibdate = "Sat Jul 3 07:43:10 MDT 1999", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @InProceedings{Slissenko:1979:CCS, author = "A. Slissenko", title = "Computational Complexity of String and Graph Identification", crossref = "Becvar:1979:MFC", pages = "182--190", year = "1979", bibdate = "Sat Jul 3 07:43:10 MDT 1999", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @Article{Maslov:1980:NAS, author = "S. Maslov and Yu. Matiyasevich and G. Mints and V. Orevkov and A. Slissenko", title = "{Nikolai Aleksandrovich Shanin} (on his Sixtieth Anniversary)", journal = j-USPEHI-MAT-NAUK, volume = "35", number = "2(212)", pages = "241--245", year = "1980", CODEN = "UMANA5", ISSN = "0042-1316", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian.", } @Article{Slissenko:1980:FRT, author = "A. Slissenko", title = "Finding in Real Time of All the Periodicities in a Word", journal = j-SOVIET-MATH-DOKL, volume = "21", number = "2", pages = "392--295", year = "1980", CODEN = "????", ISSN = "0197-6788", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Doklady Akademii Nauk SSSR}, 251(1):48--51, 1980.", } @InCollection{Adelson-Velski:1981:WCW, author = "G. Adel'son-Vel'ski and A. Slissenko", title = "What Can We Do with Problems of Exhaustive Search?", crossref = "Ershov:1981:AMM", pages = "315--342", year = "1981", bibdate = "Sat Jul 3 07:43:10 MDT 1999", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @Article{Slissenko:1981:CPT, author = "A. Slissenko", title = "Complexity Problems of Theory of Computation", journal = j-RUSS-MATH-SURV, volume = "36", number = "6", pages = "23--125", year = "1981", CODEN = "????", ISSN = "0036-0279", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Uspekhi Matem. Nauk}, 36(2):21--103, 1981.", } @Article{Slissenko:1981:SPR, author = "A. Slissenko", title = "A Simplified Proof of Real-Time Recognizability of Palindromes on {Turing} Machines", journal = j-SOVIET-MATH, volume = "15", number = "1", pages = "68--77", year = "1981", CODEN = "????", ISSN = "????", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Zapiski Nauchnykh Seminarov LOMI}, 68:123--139, 1977.", } @Article{Slissenko:1982:CFG, author = "A. Slissenko", title = "Context-Free Grammars as a Tool for Describing Polynomial-Time Subclasses of Hard Problems", journal = j-INFO-PROC-LETT, volume = "14", number = "2", pages = "52--56", year = "1982", CODEN = "IFPLAT", ISSN = "0020-0190", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @InCollection{Orlovsky:1983:AII, author = "G. Orlovsky and A. Slissenko", booktitle = "Computers in Design and Manufacturing", title = "Artificial Intelligence: an Industrial Point of View", publisher = "Mashinostroyeniye Publ. House", address = "Leningrad, USSR", year = "1983", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @InCollection{Shanin:1983:AMS, author = "N. Shanin and G. Davydov and S. Maslov and G. Mints and V. Orevkov and A. Slissenko", title = "An Algorithm for Machine Search of a Natural Logical Deduction in a Propositional Calculus", crossref = "Siekmann:1983:AR", volume = "1", pages = "424--483", year = "1983", bibdate = "Sat Jul 3 07:43:10 MDT 1999", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Classical papers on computational logic 1957--1966.", } @InCollection{Shanin:1983:CAD, author = "N. Shanin and G. Davydov and S. Maslov and G. Mints and V. Orevkov and A. Slissenko", title = "A Computer Algorithm for the Determination of Deducibility on the Basis of the Inverse Method", crossref = "Siekmann:1983:AR", volume = "2", pages = "???", year = "1983", bibdate = "Sat Jul 3 07:43:10 MDT 1999", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Classical papers on computational logic 1967--1970. Russian original in: {\em Zapiski Nauchnykh Seminarov LOMI}, {\bf 16}:8--19, 1969.", } @Article{Slissenko:1983:DPS, author = "A. Slissenko", title = "Detection of Periodicities and String-Matching in Real Time", journal = j-J-SOV-MATH, volume = "22", number = "3", pages = "1316--1386", year = "1983", CODEN = "JSOMAR", ISSN = "0090-4104", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Zapiski Nauchnykh Seminarov LOMI}, 105:62--173, 1981.", } @Article{Davydov:1984:SYM, author = "G. Davydov and Yu. Matiyasevich and G. Mints and V. Orevkov and N. Shanin and A. Slissenko", title = "{Sergei Yuryevich Maslov}. Obituary", journal = j-USPEHI-MAT-NAUK, volume = "39", pages = "239--240", year = "1984", CODEN = "UMANA5", ISSN = "0042-1316", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian.", } @InCollection{Slissenko:1984:LCD, author = "A. Slissenko", booktitle = "Proc. Intern. Congress of Mathematicians, August 16--24, 1983, Waszawa", title = "Linguistic Considerations in Devising Effective Algorithms", publisher = "ICM", address = "Waszawa, Poland", pages = "347--357", year = "1984", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @Article{Lavrov:1985:CIS, author = "S. Lavrov and A. Slissenko and G. Tseitin", title = "Curriculum for Informatics and System Programming. Project.", journal = "Mikroprotsessornyye Sredstva i Systemy == Microprocessor Devices and Systems", volume = "4", pages = "20--28", year = "1985", CODEN = "????", ISSN = "0223-4844", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian.", bibdate = "Thu Aug 5 17:44:12 1999", } @InCollection{Gorodetsky:1989:ESM, author = "V. Gorodetsky and A. Lebedev and A. Slissenko", booktitle = "Special Purpose Expert Systems", title = "Expert Systems in Modeling", publisher = "USSR Ministry of Defense", address = "Moscow, USSR", year = "1989", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Series: {\em Fundamental and Perspective Research in the Interests of the Defense.} In Russian.", } @InCollection{Gorodetsky:1989:MMI, author = "V. Gorodetsky and A. Lebedev and A. Slissenko", booktitle = "Special Purpose Expert Systems", title = "Man-Machine Interface as a Tool of Increasing the Productivity of Design and Application of Computer Systems of Knowledge Processing", publisher = "USSR Ministry of Defense", address = "Moscow, USSR", year = "1989", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Series: {\em Fundamental and Perspective Research in the Interests of the Defense.} In Russian.", } @InCollection{Gorodetsky:1989:PCD, author = "V. Gorodetsky and A. Lebedev and A. Slissenko", booktitle = "Special Purpose Expert Systems", title = "Problems of Complexity and Design of Special Purpose Expert Systems", publisher = "USSR Ministry of Defense", address = "Moscow, USSR", year = "1989", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Series: {\em Fundamental and Perspective Research in the Interests of the Defense.} In Russian.", } @InCollection{Slissenko:1989:TPA, author = "A. Slissenko", booktitle = "Theoretical Aspects and Tools of Applied Intellectual Systems", title = "Towards the Problem of Analysis of Logical and Algorithmical Structure of the Systems of Knowledge Representation and Processing", publisher = "Scientific Council for Cybernetics of the Acad. Sci. of the USSR", address = "Moscow, USSR", year = "1989", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Series: {\em Questions of Cybernetics}. In Russian.", } @Article{Matiyasevich:1990:NAS, author = "Yu. Matiyasevich and G. Mints and V. Orevkov and A. Slissenko", title = "{Nikolai Aleksandrovich Shanin} (on his Seventieth Birthday)", journal = j-RUSS-MATH-SURV, volume = "45", number = "1", pages = "239--240", year = "1990", CODEN = "????", ISSN = "0036-0279", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Uspekhi Matem. Nauk}, 45(1):205--206, 1990.", } @Article{Slissenko:1991:MIQ, author = "A. Slissenko", title = "On Measures of Information Quality of Knowledge Processing Systems", journal = j-INFO-SCI, volume = "57--58", pages = "389--402", year = "1991", CODEN = "ISIJBC", ISSN = "0020-0255", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @InProceedings{Slissenko:1991:TEE, author = "A. Slissenko", title = "Technological Environment for Expert Systems Development", crossref = "Alty:1991:IAA", pages = "172--175", year = "1991", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @InCollection{Slissenko:1992:DSM, author = "A. Slissenko", editor = "R. Yusupov", booktitle = "Methods and Tools of Information Technology in Science and Industry", title = "Diminishing Search by the Method of Context-Free Decomposition", publisher = "Nauka Publ. House", address = "St.-Petersburg, Russia", pages = "7--20", year = "1992", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "In Russian.", } @InCollection{Heintz:1993:BIP, author = "J. Heintz and T. Krick and A. Slissenko and P. Solern\'o", booktitle = "Publications du d\'epartement de math\'ematiques de l'Universit\'e de Limoges", title = "Une borne inf\'erieure pour la construction de chemins polygonaux dans \mbox{\boldmath $R$}$^n$", publisher = "Universit\'e de Limoges", address = "Limoges, France", pages = "94--100", year = "1993", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @Article{Slissenko:1993:FTS, author = "A. O. Slissenko", title = "On fault tolerance of syntax", journal = j-THEOR-COMP-SCI, volume = "119", number = "1", pages = "215--222", day = "11", month = oct, year = "1993", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Mon Jul 19 22:17:36 MDT 1999", bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1993&volume=119&issue=1; ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1993&volume=119&issue=1&aid=1450", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic); C4220 (Automata theory); C4240 (Programming and algorithm theory); C6110B (Software engineering techniques)", conflocation = "Grenoble, France; Oct. 1991", conftitle = "5th Soviet-French Symposium on Theoretical Computer Science, Methods and Tools for Compilation, and Program Development (Informatika'91)", corpsource = "St. Petersburg Inst. for Inf. and Autom., Acad. of Sci., Russia", keywords = "complexity; computational complexity; context-free languages; fault tolerance of syntax; fault tolerant computing; finite automata; formal language; formal languages; grammar; methods of estimation; nondeterministic finite-automaton languages; quality; software quality; software systems; time polynomial", pubcountry = "Netherlands", treatment = "P Practical", } @Article{Slissenko:1993:VRY, author = "A. Slissenko", title = "A View on Recent Years of Research in Theoretical Computer Science in the Former {Soviet Union}", journal = j-TECHNIQUE-SCI-INFORMATIQUES, volume = "12", number = "1", pages = "9--28", year = "1993", CODEN = "TTSIDJ", ISSN = "0752-4072", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @Article{Heintz:1994:FSP, author = "J. Heintz and T. Krick and A. Slissenko and P. Solern\'o", title = "Finding Shortest Paths around Semi-Algebraic Obstacles in the Plane", journal = j-J-MATH-SCI-NY-NY, volume = "70", number = "4", pages = "1944--1949", year = "1994", CODEN = "JMTSEW", ISSN = "1072-3374", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "Russian original in: {\em Zapiski Nauchnykh Seminarov LOMI}, 192:164-174, 1991.", bibdate = "Thu Aug 5 17:44:19 1999", } @InProceedings{Beauquier:1995:CFM, author = "D. Beauquier and D. Burago and A. Slissenko", title = "On the Complexity of Finite Memory Policies for {Markov} Decision Processes", crossref = "Wiedermann:1995:MFC", pages = "191--200", year = "1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @TechReport{Beauquier:1996:PMC, author = "D. Beauquier and A. Slissenko", title = "Polytime Model Checking for Timed Probabilistic Systems", number = "96--08", institution = inst-UNIV-PARIS-12-INFO, pages = "13", year = "1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", URL = "http://www.univ-paris12.fr/lacl/", } @TechReport{Beauquier:1996:RCP, author = "D. Beauquier and A. Slissenko", title = "The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and their Model-Checking in High-Level Languages", number = "96--10", institution = inst-UNIV-PARIS-12-INFO, pages = "24", year = "1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", URL = "http://www.univ-paris12.fr/lacl/", } @Article{Burago:1996:CPO, author = "Dima Burago and Michel de Rougemont and Anatol Slissenko", title = "On the complexity of partially observed {Markov} decision processes", journal = j-THEOR-COMP-SCI, volume = "157", number = "2", pages = "161--183", day = "05", month = may, year = "1996", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Mon Jul 19 22:19:53 MDT 1999", bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1996&volume=157&issue=2; ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1996&volume=157&issue=2&aid=2099", acknowledgement = ack-nhfb, classification = "B0240E (Game theory); C1140E (Game theory); C1140Z (Other topics in statistics); C4240C (Computational complexity)", corpsource = "Inst. for Inf. and Autom., Acad. of Sci., St. Petersburg, Russia", keywords = "bijective coloring; colored vertices; computational complexity; decision theory; finite stationary processes; Markov processes; Max-Word problem are also indicated; NP- hard; optimal strategies; partially observed Markov decision processes complexity; polytime approximations; probabilistic deviations; upper bound", pubcountry = "Netherlands", treatment = "P Practical; T Theoretical or Mathematical", } @InProceedings{Beauquier:1997:RCP, author = "D. Beauquier and A. Slissenko", title = "The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and their Model-Checking in High-Level Languages", crossref = "Bidoit:1997:TTP", pages = "201--212", month = jun, year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @TechReport{Beauquier:1997:SAC, author = "D. Beauquier and A. Slissenko", title = "On Semantics of Algorithms with Continuous Time", number = "96--15 (Revised Version)", institution = inst-UNIV-PARIS-12-INFO, pages = "25", year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", URL = "http://www.univ-paris12.fr/lacl/", } @InProceedings{Grigoriev:1997:CML, author = "D. Grigoriev and A. Slissenko", title = "Computing Minimum-Link Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane", crossref = "Mora:1997:AAA", pages = "114--129", year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @TechReport{Beauquier:1998:DVR, author = "D. Beauquier and A. Slissenko", title = "Decidable Verification for Reducible Timed Automata Specified in a First Order Logic with Time", number = "98--16", institution = inst-UNIV-PARIS-12-INFO, pages = "28", year = "1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", URL = "http://www.univ-paris12.fr/lacl/", } @Article{Beauquier:1998:PMC, author = "D. Beauquier and A. Slissenko", title = "Polytime Model Checking for Timed Probabilistic Computation Tree Logic", journal = j-ACTA-INFO, volume = "35", pages = "645--664", year = "1998", CODEN = "AINFA2", ISSN = "0001-5903", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @InProceedings{Grigoriev:1998:PAS, author = "D. Grigoriev and A. Slissenko", title = "Polytime Algorithm for the Shortest Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane", crossref = "Gloor:1998:IPI", pages = "17--24", year = "1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @InCollection{Slissenko:1998:SPL, author = "A. Slissenko", editor = "C. Calude", booktitle = "People and Ideas Crafting Theoretical Computer Science", title = "St. Petersburg\slash Leningrad (1961--1998): From Logic to Complexity and Further", publisher = pub-SV, address = pub-SV:adr, pages = "274--313", year = "1998", bibdate = "Sat Jul 3 07:43:10 MDT 1999", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } @InProceedings{Beauquier:1999:DCV, author = "D. Beauquier and A. Slissenko", booktitle = "Proc. of the 12th Intern. Symp. on Fundamentals of Computation Theory (FCT'99). Iasi, Rumania", title = "Decidable Classes of the Verification Problem in a Timed Predicate Logic", publisher = pub-SV, address = pub-SV:adr, pages = "????", month = aug # " 30 -- " # sep # " 3", year = "1999", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", note = "To appear.", } @Article{Grigoriev:1999:CML, author = "D. Grigoriev and A. Slissenko", title = "Computing Minimum-Link Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane", journal = j-ST-PETERSBG-MATH-J, volume = "10", number = "2", pages = "315--332", year = "1999", CODEN = "????", ISSN = "1061-0022", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/slisenko-anatol.bib", } % ====================================================================== % Cross-referenced entries must come last: @Proceedings{Winkowski:1978:MFC, editor = "Jozef Winkowski", booktitle = "Mathematical foundations of computer science, 1978: proceedings, 7th Symposium, Zakopane, Poland, September 4--8, 1978", title = "Mathematical foundations of computer science, 1978: proceedings, 7th Symposium, Zakopane, Poland, September 4--8, 1978", volume = "64", publisher = pub-SV, address = pub-SV:adr, pages = "ix + 551", year = "1978", CODEN = "LNCSD9", ISBN = "0-387-08917-9", ISSN = "0302-9743", LCCN = "QA76.6 .S9194 1978", bibdate = "Fri Apr 12 07:20:51 1996", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "database management --- congresses; electronic digital computers --- programming --- congresses; parallel processing (electronic computers) --- congresses; programming languages (electronic computers) --- congresses", } @Proceedings{Becvar:1979:MFC, editor = "J. Becvar", booktitle = "Mathematical foundations of computer science, 1979: proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3--7, 1979", title = "Mathematical foundations of computer science, 1979: proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3--7, 1979", volume = "74", publisher = pub-SV, address = pub-SV:adr, pages = "ix + 580", year = "1979", CODEN = "LNCSD9", ISBN = "0-387-09526-8", ISSN = "0302-9743", LCCN = "QA76.6 .S9194 1979", bibdate = "Fri Apr 12 07:21:32 1996", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "algorithms --- congresses; computable functions --- congresses; electronic digital computers --- programming --- congresses; machine theory --- congresses", } @Proceedings{Ershov:1981:AMM, editor = "A. P. Ershov and Donald E. Knuth", booktitle = "Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek {SSR}, September 16--22, 1979", title = "Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek {SSR}, September 16--22, 1979", volume = "122", publisher = pub-SV, address = pub-SV:adr, pages = "xi + 487", year = "1981", CODEN = "LNCSD9", ISBN = "0-387-11157-3 (USA: paperback)", ISSN = "0302-9743", LCCN = "QA9.58 .A43 1981", bibdate = "Fri Apr 12 07:14:47 1996", note = "The symposium was organized by the Academy of Sciences of the Uzbek S.S.R.", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "algorithms --- congresses; programming (electronic computers) --- congresses", } @Book{Siekmann:1983:AR, editor = "J{\"o}rg H. Siekmann and Graham Wrightson", booktitle = "Automation of reasoning", title = "Automation of reasoning", publisher = pub-SV, address = pub-SV:adr, year = "1983", ISBN = "0-387-12043-2 (U.S.: v. 1), 0-387-12044-0 (U.S.: v. 2)", LCCN = "QA76.9.A96 A94 1983", bibdate = "Sat Jul 03 08:47:10 1999", note = "Two volumes.", acknowledgement = ack-nhfb, } @Proceedings{Alty:1991:IAA, editor = "James L. Alty and Leonid I. Mikulich", booktitle = "Industrial applications of artificial intelligence: proceedings of the IFIP TC5/WG5.3 International Conference on Artificial Intelligence in CIM, Leningrad, USSR, 16--18 April 1990", title = "Industrial applications of artificial intelligence: proceedings of the {IFIP} {TC5}/{WG5}.3 International Conference on Artificial Intelligence in {CIM}, Leningrad, {USSR}, 16--18 April 1990", publisher = pub-NH, address = pub-NH:adr, pages = "xi + 451", year = "1991", ISBN = "0-444-88981-7", LCCN = "Q334 .I43 1990", bibdate = "Sat Jul 03 08:51:14 1999", acknowledgement = ack-nhfb, } @Proceedings{Wiedermann:1995:MFC, editor = "J. Wiedermann and Petr Hajek", booktitle = "Mathematical foundations of computer science 1995: 20th International Symposium, {MFCS} '95, Prague, Czech Republic, August 28--September 1, 1995: proceedings", title = "Mathematical foundations of computer science 1995: 20th International Symposium, {MFCS} '95, Prague, Czech Republic, August 28--September 1, 1995: proceedings", volume = "969", publisher = pub-SV, address = pub-SV:adr, pages = "xiii + 588", year = "1995", CODEN = "LNCSD9", ISBN = "3-540-60246-1 (Berlin)", ISSN = "0302-9743", LCCN = "QA76.9.M35 I54 1995", bibdate = "Fri Apr 12 07:15:03 1996", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "computer science --- mathematics --- congresses", xxvolume = "4005207357", } @Proceedings{Bidoit:1997:TTP, editor = "M. Bidoit and M. Dauchet", booktitle = "{TAPSOFT} '97: theory and practice of software development: 7th International Joint Conference {CAAP\slash FASE}, Lille, France, April 14--18, 1997: proceedings", title = "{TAPSOFT} '97: theory and practice of software development: 7th International Joint Conference {CAAP\slash FASE}, Lille, France, April 14--18, 1997: proceedings", volume = "1214", publisher = pub-SV, address = pub-SV:adr, pages = "xvi + 884", year = "1997", CODEN = "LNCSD9", ISBN = "3-540-62781-2", ISSN = "0302-9743", LCCN = "QA267.A1 L43 no.1214", bibdate = "Mon Nov 24 09:10:16 1997", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "computer software --- development --- congresses", } @Proceedings{Mora:1997:AAA, editor = "Teo Mora and H. F. Mattson", booktitle = "Applied algebra, algebraic algorithms, and error-correcting codes: 12th international symposium, {AAECC-12}, Toulouse, France, June 23--27, 1997: proceedings", title = "Applied algebra, algebraic algorithms, and error-correcting codes: 12th international symposium, {AAECC-12}, Toulouse, France, June 23--27, 1997: proceedings", volume = "1255", publisher = pub-SV, address = pub-SV:adr, pages = "x + 352", year = "1997", CODEN = "LNCSD9", ISBN = "3-540-63163-1 (paperback)", ISSN = "0302-9743", LCCN = "QA268 .A35 1997", bibdate = "Mon Aug 25 09:50:07 MDT 1997", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "algebra --- data processing --- congresses; algorithms --- congresses; error-correcting codes (information theory) --- congresses", } @Proceedings{Gloor:1998:IPI, editor = "Oliver Gloor", booktitle = "{ISSAC 98}: Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, August 13--15, 1998, University of Rostock, Germany", title = "{ISSAC 98}: Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, August 13--15, 1998, University of Rostock, Germany", publisher = pub-ACM, address = pub-ACM:adr, pages = "xxii + 327", year = "1998", ISBN = "1-58113-002-3", LCCN = "", bibdate = "Wed Sep 16 17:13:58 1998", acknowledgement = ack-nhfb, }