dossier-complet/publications.tex

54 lines
1.4 KiB
TeX
Raw Normal View History

\defbibcheck{notarXiv}{%
\iffieldequalstr{journaltitle}{CoRR}{\skipentry}{}
}
\defbibcheck{arXiv}{%
\iffieldequalstr{journaltitle}{CoRR}{}{\skipentry}
}
\begin{refsection}[bib/sivanov.bib]
\section{Publications et communications}
\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
]
2015-05-29 15:52:37 +02:00
\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}