Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Theses
Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
Publications APR201420152016201720182019Total
Books0000000
Edited books0010001
Journal articles311953334
Book chapters1000001
Conference papers1112121212362
Habilitations0001001
Theses1011249
LIP6
  • O. Bodini, A. Genitrini, M. Naima : “Ranked Schröder Trees”, ANALCO 2019 - 16th Workshop on Analytic Algorithmics and Combinatorics, San Diego, CA, USA, pp. 13-26, (Society for Industrial and Applied Mathematics) [Bodini 2019a]
  • O. Bodini, M. Dien, A. Genitrini, F. Peschanski : “The Combinatorics of Barrier Synchronization”, PETRI NETS 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency, vol. 11522, Lecture Notes in Computer Science, Aachen, Germany, pp. 386-405 [Bodini 2019b]
  • D. Delmas, A. Miné : “Analysis of Program Differences with Numerical Abstract Interpretation”, PERR 2019 - 3rd Workshop on Program Equivalence and Relational Reasoning, Prague, Czech Republic [Delmas 2019]
 Mentions légales
Site map |