Search results

Jump to: navigation, search
  • The project is led by [[User:David Monniaux|Dr David Monniaux]], senior researcher at [[wikipedia:CNRS|CNRS]]. See other [[members]].
    1 KB (164 words) - 14:18, 10 February 2017
  • ...r/~jhenry Julien Henry], with contributions by [[User:David Monniaux|David Monniaux]], [http://www-verimag.imag.fr/~moy/ Matthieu Moy] and Rahul Nanda.
    584 bytes (80 words) - 22:02, 25 October 2012
  • [[User:David Monniaux|David Monniaux]], principal investigator for STATOR, was previously one of the developers
    567 bytes (88 words) - 21:53, 25 October 2012
  • Joint work with Laure Gonnord, David Monniaux and Matthieu Moy. ===David Monniaux: Path-focusing and policy iteration===
    6 KB (895 words) - 09:50, 30 January 2013
  • Applications should be directed to [[User:David Monniaux|Dr David Monniaux]], principal investigator of the project.
    7 KB (1,149 words) - 11:20, 30 January 2013
  • * [[User:David Monniaux|Dr David Monniaux]]
    460 bytes (59 words) - 10:05, 17 February 2014
  • ===David Monniaux===
    885 bytes (110 words) - 10:43, 17 February 2014
  • ...avid Monniaux]], [http://www.cnrs.fr/ CNRS] / [http://www-verimag.imag.fr/~monniaux VERIMAG]
    3 KB (451 words) - 10:05, 25 February 2014
  • The thesis will be co-advised by Michaël Périn and David Monniaux. The PhD student will be hosted by the Verimag laboratory, near Grenoble in ...r/~perin/ Michaël Périn] and [http://www-verimag.imag.fr/~monniaux David Monniaux].
    3 KB (445 words) - 16:22, 13 June 2016
  • ...ril 4 2017 : [[Media:monniaux_smt_compressed.pdf]] A survey on SMT, David Monniaux Lyon : petite salle visio, Grenoble 348 and ligne visio INRIA 10</li> <li> Tuesday, Jan 16 2018, Monniaux MELTDOWNSPECTRE ouvert à l'extérieur avec le pont visio renater </li>
    3 KB (350 words) - 09:55, 9 February 2018