166 lines
6.4 KiB
TeX
166 lines
6.4 KiB
TeX
\defbibcheck{formal}{
|
||
\ifboolexpr{
|
||
test {\iffieldequalstr{journaltitle}{CoRR}}
|
||
or
|
||
test {\iffieldequalstr{journaltitle}{bioRxiv}}
|
||
}
|
||
{\skipentry}
|
||
{}
|
||
}
|
||
|
||
\defbibcheck{informal}{%
|
||
\ifboolexpr{
|
||
test {\iffieldequalstr{journaltitle}{CoRR}}
|
||
or
|
||
test {\iffieldequalstr{journaltitle}{bioRxiv}}
|
||
}
|
||
{}
|
||
{\skipentry}
|
||
}
|
||
|
||
\defbibfilter{reports}{%
|
||
type=thesis or type=report
|
||
}
|
||
|
||
\begin{refsection}[bib/sivanov.bib,bib/sivanov-extra.bib]
|
||
\section{Publications et communications}
|
||
J'ai rédigé ou participé à la
|
||
rédaction de 63 publications, dont 30 dans des revues internationales
|
||
et 25 à 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{*}
|
||
|
||
\newrefcontext[sorting=ydnt,labelprefix=j]
|
||
\printbibliography[
|
||
heading=subbibliography,
|
||
title={Revues internationales},
|
||
type=article,
|
||
check=formal
|
||
]
|
||
|
||
\newrefcontext[sorting=ydnt,labelprefix=c]
|
||
\printbibliography[
|
||
heading=subbibliography,
|
||
title={Conférences et ateliers d'audience internationale},
|
||
type=inproceedings,
|
||
]
|
||
|
||
\newrefcontext[sorting=ydnt,labelprefix=i]
|
||
\printbibliography[
|
||
heading=subbibliography,
|
||
title={Publications informelles},
|
||
type=article,
|
||
check=informal
|
||
]
|
||
|
||
\newrefcontext[sorting=ydnt,labelprefix=r]
|
||
\printbibliography[
|
||
heading=subbibliography,
|
||
title={Mémoires et rapports de recherche},
|
||
filter=reports
|
||
]
|
||
|
||
{
|
||
\setlist[itemize]{leftmargin=6.2ex}
|
||
|
||
\subsection*{Visites scientifiques}
|
||
\begin{itemize}
|
||
\item Visite scientifique à l'Université technique de Vienne ; invité
|
||
par Rudolf \textsc{Freund} (août~2021).
|
||
\item Visite scientifique à l'Université de Grenoble-Alpes ; invité
|
||
par Nicolas \textsc{Glade} (juin~2021).
|
||
\item Visite scientifique à l'Université de Grenoble-Alpes ; invité
|
||
par Nicolas \textsc{Glade} (février~2020).
|
||
\item Visite scientifique à l'Université de Grenoble-Alpes ; invité
|
||
par Nicolas \textsc{Glade} (mai~2019).
|
||
\item Visite scientifique à l'Université de Turku, Finlande ; invité
|
||
par Ion \textsc{Petre} (mai~2019).
|
||
\item Visite scientifique à l'Université technique de Vienne ; invité
|
||
par Rudolf \textsc{Freund} (août~2017).
|
||
\item Visite scientifique à l'Université technique de Vienne ; invité
|
||
par Rudolf \textsc{Freund} (août~2016).
|
||
\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 Exposé « Sequential Reprogramming of Biological Network Fate »
|
||
à l'atelier AUTOMATA-WAN (15 juillet 2021).
|
||
\item Exposé « Understanding evolution: A Methodology for Evaluating
|
||
the Extensibility of Boolean Networks’ Structure and Function » à la
|
||
journée en ligne du GT BIOSS-IA (24 novembre 2020).
|
||
\item Séminaire « Sequential Reprogramming of Biological Network
|
||
Fate » à l'Université de Turku, Finlande (28 mai 2019).
|
||
\item Séminaire « Universality and Computational Completeness of
|
||
Controlled Leftist Insertion-Deletion Systems » au Laboratoire
|
||
d'Informatique Fondamentale d'Orléans à l'Université d'Orléans (6
|
||
février 2017).
|
||
\item Séminaire « Semilinear Sets, Register Machines, and Integer
|
||
Vector Addition (P) Systems » au Laboratoire d'Algorithmique,
|
||
Complexité et Logique de l'Université Paris Est Créteil (16 janvier
|
||
2017). Sujet présenté également en téléconférence au séminaire en
|
||
hommage à Yurii \textsc{Rogozhin} à l'Institut des Mathématiques et
|
||
d'Informatique de Moldavie (11 novembre 2016).
|
||
\item Séminaire « Theory of Computer Science: Why All That Formal
|
||
Stuff? » pour le Centre d'excellence en informatique « Tekwill » à
|
||
Chișinău, Moldavie (15 décembre 2016).
|
||
\item Séminaire « Formal Instruments for Adverse Computations » au
|
||
Laboratoire lorrain de recherche en informatique et ses applications
|
||
(Le Loria) à l'Université de Lorraine (25 mars 2016).
|
||
\item Séminaire « Complexity of Model Checking for Reaction Systems »
|
||
au Laboratoire d'Informatique, Signaux et Systèmes de Sophia
|
||
Antipolis (24 mars 2016).
|
||
\item Séminaire « On the Power and Universality of
|
||
Biologically-inspired Models of Computation » au Laboratoire
|
||
d'Informatique Fondamentale à l'Aix-Marseille Université (7 mars
|
||
2016).
|
||
\item Séminaire « Small Universal Petri Nets : Biochemical
|
||
Universality » au Laboratoire d'Informatique Fondamentale d'Orléans
|
||
à l'Université d'Orléans (22 février 2016).
|
||
\item Séminaire « Some Results on Leftist Insertion-deletion Systems »
|
||
au Laboratoire Spécification et Vérification à l'ENS de
|
||
Cachan (25 novembre 2015). Sujet présenté également en téléconférence au
|
||
séminaire en hommage à Yurii \textsc{Rogozhin} à l'Institut des
|
||
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 Poster « Small Universal Petri Nets with Inhibitor Arcs » 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:
|