Publications


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
Handbook of Parallel Constraint Reasoning, 13, L. Sais and Y. Hamadi, SV, 2018

Articles dans des revues internationales avec comité de lecture

[1] Detection and Life-cycles Tracking of Neologisms : experiments in the Neoveille Project
Cartier, Emmanuel
Pragmatics & Cognition (Special Issue: The Dynamics of Lexical Innovation), XX-XX, 2018

[2] On the $(k,i)$-coloring of cacti and complete graphs
Flavia Bonomo and Guillermo Duran and Ivo Koch and Mario Valencia-Pabon
Ars Combinatoria, 317-333, 137, 01, 2018

[3] On the Bend number of circular-arc graphs as edge intersection graphs of paths on a grid
Liliana Alcon and Flavia Bonomo and Guillermo Duran and Marisa Gutierrez and Mazzoleni, Maria Pia and Bernard Ries and Mario Valencia-Pabon
Discrete Applied Mathematics, 12-21, 234, 01, 2018

[4] Specialisation and Generalisation of Processes
C. Choppy and J. Desel and L. Petrucci
Enterprise Modelling and Information Systems Architectures, 35–46, GI – German Informatics Society, 1, 13, 02, 2018

[5] The Block Retrieval Problem
Marcos de Melo da Silva, Gunes Erdogan, Maria Battarra, Vitaly Strusevich
European Journal of Operational Research, 931-950, Elsevier, 3, 265, 03, 2018

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

[1] A complex network analysis approach for risk increase factor prediction in nuclear power plants
Mouna Rifi and Mohamed Hbiti and Rushed Kanawati
Proceedings of the 3ed international conference on Complexity, future information systems and Risks, 03, 2018

[2] Parameter Synthesis Algorithms for Parametric Interval Markov Chains
Petrucci, L. and van de Pol, J.
38th IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE’18), Madrid, Spain, Christel Baier and Luis Caires, SV, lncs, 06, 2018

[3] Quasi-Optimal Partial Order Reduction
Nguyen, H. T. T. and Rodríguez, C. and Sousa, M. and Coti, C. and Petrucci, L.
30th International Conference on Computer Aided Verification (CAV’18), Oxford, UK, Hana Chockler and Georg Weissenbacher, SV, lncs, 07, 2018

[4] Semantic Change Tracking Through the Prism of Distributionnalism and Construction Grammars : an experiment in Contemporary French
Cartier, Emmanuel
07, 2018

[5] Semeval-2018 Task 7: Semantic Relation Extraction and Classification in Scientific Papers
Kata Gabor, Davide Buscaldi, Anne-Kathrin Schumann, Behrang QasemiZadeh, Haïfa Zargayouna, Thierry Charnois
Proceedings of the 12th International Workshop on Semantic Evaluation (SemEval-2018), 06, 2018

Autres conférences

[1] Apport des dépendances syntaxiques et des patrons séquentiels à l’extraction de relations
Kata Gabor, Nadège Lechevrel, Isabelle Tellier, Thierry Charnois, Haïfa Zargayouna, Davide Buscaldi
Actes de la conférence TALN 2018, 05, 2018