dossier-complet/publications.tex
2015-12-10 20:49:14 +01:00

109 lines
3.5 KiB
TeX
Raw Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

\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: