\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} (janvier~2016). \item Visite scientifique à l'Université technique de Vienne ; invité par Rudolf \textsc{Freund} (novembre~2015). \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 « Some Results on Leftist Insertion-deletion Systems » au laboratoire Laboratoire Spécification et Vérification à l'ENS de Cachan (25 novembre 2015). Sujet présenté aussi en téléconférence au séminaire en hommage à Yurii \textsc{Rogozhin} à l'Institut de Mathématiques et d'Informatique de Moldavie (13 novembre 2015). \item Séminaire « Variants of P systems with Toxic Objects » à l'Université technique de Vienne (23 novembre 2015). \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} %%% Local Variables: %%% mode: LaTeX %%% mode: auto-fill %%% ispell-local-dictionary: "fr" %%% End: