1![Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France, Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,](https://www.pdfsearch.io/img/58e70e97c4f973d48910540abdcbcacd.jpg) | Add to Reading ListSource URL: www.avacs.orgLanguage: English - Date: 2015-10-05 02:55:26
|
---|
2![Sur la topologie des vari´et´es alg´ebriques complexes Olivier DEBARRE ————— Grenoble, le 26 octobre 2006 Sur la topologie des vari´et´es alg´ebriques complexes Olivier DEBARRE ————— Grenoble, le 26 octobre 2006](https://www.pdfsearch.io/img/df7d9adac11b076acfb7ea28b6641a9a.jpg) | Add to Reading ListSource URL: www.math.ens.frLanguage: French - Date: 2014-12-12 07:16:12
|
---|
3![Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix Jean-Guillaume Dumas, Cl´ement Pernet Universit´ e Grenoble Alpes, Laboratoire Jean Kuntzmann, UMR CNRS Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix Jean-Guillaume Dumas, Cl´ement Pernet Universit´ e Grenoble Alpes, Laboratoire Jean Kuntzmann, UMR CNRS](https://www.pdfsearch.io/img/199a3b4adf2cadf1f7fb64b16af0c5b4.jpg) | Add to Reading ListSource URL: ljk.imag.frLanguage: English - Date: 2018-07-17 18:16:17
|
---|
4![Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2 Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2](https://www.pdfsearch.io/img/bb03045b8efadc9970bfe5b43863319b.jpg) | Add to Reading ListSource URL: repository.ist.ac.atLanguage: English - Date: 2018-04-16 08:14:19
|
---|
5![A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst](https://www.pdfsearch.io/img/7d72bd9f0e4dd019db1067932bb8c53d.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2012-12-17 05:23:36
|
---|
6![THE FANO THREEFOLD X10 OLIVIER DEBARRE This is joint work in progress with A. Iliev (Sofia) and L. Manivel (Grenoble). 1. Introduction THE FANO THREEFOLD X10 OLIVIER DEBARRE This is joint work in progress with A. Iliev (Sofia) and L. Manivel (Grenoble). 1. Introduction](https://www.pdfsearch.io/img/f215310b6e40555f6389c65f1ba70386.jpg) | Add to Reading ListSource URL: www.math.ens.frLanguage: English - Date: 2008-05-16 16:37:50
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: www.grenoble.archi.fr- Date: 2018-05-25 10:21:00
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: www.gipsa-lab.grenoble-inp.fr- Date: 2009-12-10 07:42:42
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: irem.univ-grenoble-alpes.fr- Date: 2018-02-06 18:10:10
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.grenoble.archi.fr- Date: 2018-01-24 09:27:09
|
---|