diff --git a/bib/sivanov.bib b/bib/sivanov.bib index a2b10e7..2eebd93 100644 --- a/bib/sivanov.bib +++ b/bib/sivanov.bib @@ -1,3 +1,20 @@ +@article{DBLP:journals/ijuc/FreundIS16, + author = {Rudolf Freund and + Sergiu Ivanov and + Ludwig Staiger}, + title = {Going Beyond Turing with {P} Automata: Regular Observer {\(\omega\)}-Languages + and Partial Adult Halting}, + journal = {{IJUC}}, + volume = {12}, + number = {1}, + pages = {51--69}, + year = {2016}, + url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-12-number-1-2016/ijuc-12-1-p-51-69/}, + timestamp = {Wed, 01 Jun 2016 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/ijuc/FreundIS16}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + @article{DBLP:journals/tcs/AzimiG0MPP16, author = {Sepinoud Azimi and Cristian Gratie and diff --git a/fiche-recap.tex b/fiche-recap.tex index 70f5972..7a17d6e 100644 --- a/fiche-recap.tex +++ b/fiche-recap.tex @@ -63,7 +63,7 @@ Date de soutenance : & 23 juin 2015 \subsection*{Recherche} \noindent -10 revues internationales, 11 manifestations internationales (avec +12 revues internationales, 11 manifestations internationales (avec comité de sélection et publication des actes), 2 publications informelles (arXiv), 2 rapport techniques. diff --git a/publications.tex b/publications.tex index c48ce3c..5fa2292 100644 --- a/publications.tex +++ b/publications.tex @@ -13,7 +13,7 @@ \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 26 publications, dont 10 dans des revues internationales +rédaction de 28 publications, dont 12 dans des revues internationales et 11 à 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.