lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs

LIPN : Publications

 

Voici la liste des articles du LIPN. [Vous pouvez aussi les parcourir à travers une série d'options.]

Vous pouvez également consulter le rapport d'activités du laboratoire 2000-2003, le rapport 2004-2007[.pdf.gz ], ou le rapport 2008-2012[.pdf.gz ]. 

 

In the course of update...


Chapitres de livres

[1] Parallel LTL Model Checking Algorithms
J. Barnat and V. Bloemen and A. Duret-Lutz and A. Laarman and L. Petrucci and J. van de Pol and E. Renault
52 pages, Springer, Handbook of Parallel Constraint Reasoning, 13, L. Sais and Y. Hamadi, 2017

[2] Etude de la pénétration des anglicismes de type N ou ADJ(-)Ving \`a partir d'un corpus contemporain journalistique : les exemples de bashing et shaming en fran\c cais contemporain
Cartier, Emmanuel and Julie, Viaux
EMPRUNTS NEOLOGIQUES ET EQUIVALENTS AUTOCHTONES. MESURE DE LEURS CIRCULATIONS RESPECTIVES, Folia Litteraria Romanica, 2017

Articles dans des revues internationales avec comité de lecture

[3] Distributed Fair Allocation of Indivisible Goods
Yann Chevaleyre and Ulle Endriss and Nicolas Maudet
1--22, 242, 10.1016/j.artint.2016.09.005, Artificial Intelligence, 2017

[4] Sch\"utzenberger's factorization on the (completed) Hopf algebra of $q$-stuffle product
Van Chiên BUI and Gérard H. E. DUCHAMP and HOANG NGOC MINH
2, In order to extend the Sch\"utzenberger’s factorization, the combinatorial Hopf algebra of the q-stuffles product is developed systematically in a parallel way with that of the shuffle product and and in emphasizing the Lie elements as studied by Ree. In particular, we will give here an effective construction of pair of bases in duality., 191-215, 30, 0972-5555, JP Journal of Algebra, Number Theory and Applications, Décembre 2017

Tutoriaux dans des conférences internationales

[5] Parametric Verification
André, É. and Lime, D. and Penczek, W. and Petrucci, L.
1-day tutorial at ICATPN'17, Zaragossa, Spain, Juin 2017

Communications dans des conférences internationales avec comité de lecture

[6] Timed ATL: Forget Memory, Just Count
André, É. and Jamroga, W. and Knapik, M. and Penczek, W. and Petrucci, L.
Proc. of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2017), Sao Paulo, Brazil, Mai 2017

[7] Parametric model checking timed automata under non-Zenoness assumption
Nguyen, H.G. and André, É. and Petrucci, L. and Sun, J.
Proc. of the 9th NASA Formal Methods Symposium (NFM2017), Moffett Field, CA, USA, Mai 2017

 

pres

w3c-xhtml