dossier-complet/publications.tex

\defbibcheck{notarXiv}{%
  \iffieldequalstr{journaltitle}{CoRR}{\skipentry}{}
}

\defbibcheck{arXiv}{%
  \iffieldequalstr{journaltitle}{CoRR}{}{\skipentry}
}

\defbibfilter{reports}{%
  type=thesis or type=report
}

\begin{refsection}[bib/sivanov.bib,bib/sivanov-extra.bib]
\section{Publications et communications}
Lors de mon parcours scientifique, j'ai rédigé ou participé à la
rédaction de 21 publications, dont 8 dans des revues internationales
et 8 à des manifestations internationales avec comité de sélection et
publication des actes. Cette section contient une liste complète de
mes publications, par catégorie.

\nocite{*}
\printbibliography[
  sorting=ydnt,
  heading=subbibliography,
  title={Revues internationales},
  type=article,
  prefixnumbers={j},
  check=notarXiv
]

\printbibliography[
  sorting=ydnt,
  heading=subbibliography,
  title={Conférences et ateliers d'audience internationale},
  type=inproceedings,
  prefixnumbers={c}
]

\printbibliography[
  sorting=ydnt,
  heading=subbibliography,
  title={Publications informelles},
  type=article,
  prefixnumbers={i},
  check=arXiv
]

\printbibliography[
  sorting=ydnt,
  heading=subbibliography,
  title={Mémoires et rapports de recherche},
  prefixnumbers={r},
  filter=reports
]

\subsection*{Séminaires et exposés}
\begin{itemize}[leftmargin=6.2ex]
\item Séminaire «~Complexity of Model Checking for Reaction Systems~»,
  au laboratoire Combio, Åbo Akademi, Turku, Finlande (2 octobre
  2014).
\item Séminaire «~Model Checking of Reaction Systems: Work in
  Progress~» au laboratoire Combio, Åbo Akademi, Turku, Finlande (25
  mai 2014).
\item Séminaire «~Bridging Programming, Natural Computing, Formal
  Languages, and Petri Nets~» au laboratoire Combio, Åbo Akademi,
  Turku, Finlande (14 avril 2014).
\item Séminaire «~Small Universal Petri Nets~» au Laboratoire
  d'Algorithmique, Complexité et Logique à l'Université Paris Est
  Créteil (27 janvier 2014).
\end{itemize}
\end{refsection}