%%% -*-LaTeX-*-
%%% ====================================================================
%%%  @LaTeX-file{
%%%     author          = "Anatol Slissenko",
%%%     version         = "1.12",
%%%     date            = "11 October 2020",
%%%     time            = "10:24:04 MDT",
%%%     filename        = "slissenko-anatol.ltx",
%%%     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        = "60635 85 302 3077",
%%%     email           = "slissenko@univ-paris12.fr (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography, BibTeX, real-time systems
%%%                        verification",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a LaTeX wrapper file for typesetting
%%%                        slissenko-anatol.bib,
%%%                        a bibliography of publications of
%%%                        Anatol Slissenko.
%%%
%%%                        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.",
%%%  }
%%% ====================================================================

\documentstyle[bibmods,bibnames,path,showtags,twocolumn]{article}

\pagestyle{headings}

\title{A Bibliography of Publications of Anatol Slissenko}

\author{%
        Anatol Slissenko\\
        University Paris 12\\
        Informatics\\
        61, Av. du Gen. de Gaulle\\
        CRETEIL, 94010\\
        FRANCE\\[\medskipamount]
        Tel: 33 (0)1 45 17 16 63\\
        FAX: 33 (0)1 45 17 16 49\\[\medskipamount]
        E-mail: slissenko@univ-paris12.fr (Internet)
}

\date{11 October 2020 \\
Version 1.12}

\begin{document}
\nocite{*}
\bibliographystyle{is-alpha}
\maketitle

  \begin{abstract}
This bibliography records publications of Anatol Slissenko.
  \end{abstract}

\section*{Title word cross-reference}

\begin{raggedright}
\parskip = \baselineskip
\input{\jobname.twx}
\end{raggedright}

\bibliography{\jobname}

\end{document}
