1![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
|
---|
2![Traitement quantique des noyaux Quantum treatment of the nuclei Nadine H ALBERSTADT LCAR-IRSAMC, Toulouse 3 - Paul Sabatier University Traitement quantique des noyaux Quantum treatment of the nuclei Nadine H ALBERSTADT LCAR-IRSAMC, Toulouse 3 - Paul Sabatier University](https://www.pdfsearch.io/img/3281b1bce98f844a48fc97dd46b7e07a.jpg) | Add to Reading ListSource URL: www-liphy.ujf-grenoble.frLanguage: English - Date: 2017-10-19 03:15:35
|
---|
3![† PRIMA Team, Inria Grenoble, France ‡ Computer Graphics and Multimedia Systems Group, University of Siegen, Germany Mail: Inria Grenoble - Rhˆone Alpes 655 Av de l’EuropeMontbonn † PRIMA Team, Inria Grenoble, France ‡ Computer Graphics and Multimedia Systems Group, University of Siegen, Germany Mail: Inria Grenoble - Rhˆone Alpes 655 Av de l’EuropeMontbonn](https://www.pdfsearch.io/img/00a8fd57b20dcc5d62c78f4921efe74a.jpg) | Add to Reading ListSource URL: devernay.free.fr- Date: 2012-01-19 12:53:39
|
---|
4![Non-Linear Aperture for Stylized Depth of Field Adrien Bousseau - INRIA / Grenoble University (a) Pinhole (b) Average Non-Linear Aperture for Stylized Depth of Field Adrien Bousseau - INRIA / Grenoble University (a) Pinhole (b) Average](https://www.pdfsearch.io/img/8919f6ceed88d9b55c01d278902476eb.jpg) | Add to Reading ListSource URL: artis.imag.fr- Date: 2009-05-28 10:22:16
|
---|
5![NonLinear Aperture for Stylized Depth of Field Adrien Bousseau INRIA / Grenoble University Lightfield data from http://lightfield.stanford.edu/ Pinhole aperture NonLinear Aperture for Stylized Depth of Field Adrien Bousseau INRIA / Grenoble University Lightfield data from http://lightfield.stanford.edu/ Pinhole aperture](https://www.pdfsearch.io/img/8d172d653bfd467b57707ad0e2f8c387.jpg) | Add to Reading ListSource URL: artis.imag.fr- Date: 2009-07-27 11:01:52
|
---|
6![Foundations of XML Types: Tree Automata Pierre Genevès CNRS (slides mostly based on slides by W. Martens and T. Schwentick) University of Grenoble Alpes, 2016–2017 Foundations of XML Types: Tree Automata Pierre Genevès CNRS (slides mostly based on slides by W. Martens and T. Schwentick) University of Grenoble Alpes, 2016–2017](https://www.pdfsearch.io/img/f4a0812908830e58b07bb05252e96637.jpg) | Add to Reading ListSource URL: tyrex.inria.fr- Date: 2016-12-07 09:55:02
|
---|
7![Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2016–2017 Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2016–2017](https://www.pdfsearch.io/img/b9e7cc3eda32dda73b5e68431b008aaa.jpg) | Add to Reading ListSource URL: tyrex.inria.fr- Date: 2016-12-13 16:35:04
|
---|
8![Some Thoughts on Runtime Verification Oded Maler VERIMAG CNRS and the University of Grenoble Alpes (UGA) Bat. IMAG, 700 av. CentraleSt Martin d’Heres, France Some Thoughts on Runtime Verification Oded Maler VERIMAG CNRS and the University of Grenoble Alpes (UGA) Bat. IMAG, 700 av. CentraleSt Martin d’Heres, France](https://www.pdfsearch.io/img/0dc98920a71f155d03fb37bd626df291.jpg) | Add to Reading ListSource URL: www-verimag.imag.fr- Date: 2016-08-17 13:18:01
|
---|
9![Some Thoughts on Runtime Verification Oded Maler VERIMAG CNRS and the University of Grenoble (UGA) France Some Thoughts on Runtime Verification Oded Maler VERIMAG CNRS and the University of Grenoble (UGA) France](https://www.pdfsearch.io/img/319fcd723eb052d6be732f0b077de8ea.jpg) | Add to Reading ListSource URL: www-verimag.imag.fr- Date: 2016-09-26 13:46:20
|
---|
10![Course: The XPath Language Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017 Course: The XPath Language Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017](https://www.pdfsearch.io/img/17eb9c981542f9994457c588871e5838.jpg) | Add to Reading ListSource URL: tyrex.inria.fr- Date: 2016-12-02 11:20:26
|
---|