Search results

Jump to navigation Jump to search

Page title matches

  • Dr '''David Monniaux''' is senior researcher (''directeur de recherche'') at [[wikipedia:CNRS|CN ....imag.fr/~monniaux professional Web page] and [http://www-verimag.imag.fr/~monniaux/biblio/David_Monniaux.html list of publications]
    865 bytes (112 words) - 21:21, 29 January 2013

Page text matches

  • * [[User:David Monniaux|Dr David Monniaux]]
    460 bytes (59 words) - 10:05, 17 February 2014
  • ...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
  • 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
  • Dr '''David Monniaux''' is senior researcher (''directeur de recherche'') at [[wikipedia:CNRS|CN ....imag.fr/~monniaux professional Web page] and [http://www-verimag.imag.fr/~monniaux/biblio/David_Monniaux.html list of publications]
    865 bytes (112 words) - 21:21, 29 January 2013
  • ===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 ....fr/~perin/ Michaël Périn] and [http://www-verimag.imag.fr/~monniaux David Monniaux].
    3 KB (445 words) - 16:22, 13 June 2016
  • 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
  • ...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
  • 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