92 lines
2.6 KiB
TeX
92 lines
2.6 KiB
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 24 publications, dont 9 dans des revues internationales
|
|
et 10 à 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
|
|
]
|
|
|
|
{
|
|
\setlist[itemize]{leftmargin=6.2ex}
|
|
|
|
\subsection*{Visites scientifiques}
|
|
\begin{itemize}
|
|
\item Visite scientifique au laboratoire Combio, Åbo Akademi, Turku,
|
|
Finlande ; invité par Ion \textsc{Petre} (octobre~2014).
|
|
\item Visite scientifique au laboratoire Combio, Åbo Akademi, Turku,
|
|
Finlande ; collaboration avec Ion \textsc{Petre} (avril--mai 2014).
|
|
\item Visite scientifique au Laboratoire d'Algorithmique, Complexité
|
|
et Logique, Université Paris Est Créteil ; invité par Serghei
|
|
\textsc{Verlan} (août 2011).
|
|
\end{itemize}
|
|
|
|
\subsection*{Séminaires et exposés}
|
|
\begin{itemize}
|
|
\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}
|
|
|
|
\subsection*{Posters}
|
|
\begin{itemize}
|
|
\item Un poster lors d'évaluation du Laboratoire d'Algorithmique,
|
|
Complexité et Logique par AERES (décembre 2013).
|
|
\end{itemize}
|
|
}
|
|
\end{refsection}
|