1![PARIS. DIDEROT UNIVERSITY (Paris 7) GRADUATE SCHOOL OF MATHEMATICAL SCIENCE OF PARIS Ph.D. Computer Science PARIS. DIDEROT UNIVERSITY (Paris 7) GRADUATE SCHOOL OF MATHEMATICAL SCIENCE OF PARIS Ph.D. Computer Science](https://www.pdfsearch.io/img/25f2c07b9932d496083dd3700aad41bb.jpg) | Add to Reading ListSource URL: jtristan.github.ioLanguage: English - Date: 2018-06-24 11:22:27
|
---|
2![The kernel of a monoid morphism ´ Pin1 Jean-Eric 1 LIAFA, CNRS and University Paris Diderot The kernel of a monoid morphism ´ Pin1 Jean-Eric 1 LIAFA, CNRS and University Paris Diderot](https://www.pdfsearch.io/img/887ccf324fff69b18702cff516ac2430.jpg) | Add to Reading ListSource URL: www.irif.frLanguage: English - Date: 2016-01-28 09:18:37
|
---|
3![CARET analysis of multithreaded programs Huu-Vu Nguyen1 , Tayssir Touili2 University Paris Diderot and LIPN LIPN, CNRS and University Paris 13 CARET analysis of multithreaded programs Huu-Vu Nguyen1 , Tayssir Touili2 University Paris Diderot and LIPN LIPN, CNRS and University Paris 13](https://www.pdfsearch.io/img/1dff8e099ed065194b71c4bb0d700d93.jpg) | Add to Reading ListSource URL: www.sci.unich.it- Date: 2017-10-23 05:16:35
|
---|
4![DO MATHEMATICIANS HAVE RESPONSIBILITIES? Michael Harris Columbia University and Université Paris-Diderot DO MATHEMATICIANS HAVE RESPONSIBILITIES? Michael Harris Columbia University and Université Paris-Diderot](https://www.pdfsearch.io/img/978d7f374c04c1a765ebbef5092e7641.jpg) | Add to Reading ListSource URL: www.math.columbia.edu- Date: 2017-07-03 05:35:18
|
---|
5![Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´e Paris Diderot, and INRIA Richard Garner Macquarie University, Sydney Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´e Paris Diderot, and INRIA Richard Garner Macquarie University, Sydney](https://www.pdfsearch.io/img/8ae2f6e21754b08e763d2ad6daeac956.jpg) | Add to Reading ListSource URL: perso.ens-lyon.fr- Date: 2013-03-14 09:51:59
|
---|
6![The Downward-Closure of Petri Net Languages? Peter Habermehl1 , Roland Meyer1 , and Harro Wimmel2 1 LIAFA, Paris Diderot University & CNRS e-mail: {peter.habermehl,roland.meyer}@liafa.jussieu.fr The Downward-Closure of Petri Net Languages? Peter Habermehl1 , Roland Meyer1 , and Harro Wimmel2 1 LIAFA, Paris Diderot University & CNRS e-mail: {peter.habermehl,roland.meyer}@liafa.jussieu.fr](https://www.pdfsearch.io/img/ff25cdac4e1bf4abe43edcfe3f6909ab.jpg) | Add to Reading ListSource URL: concurrency.cs.uni-kl.de- Date: 2016-02-22 03:32:16
|
---|
7![On pseudo-non-finite clauses in Welsh Olivier Bonami Robert D. Borsley Maggie Tallerman Université Paris Diderot University of Essex Newcastle University 1 On pseudo-non-finite clauses in Welsh Olivier Bonami Robert D. Borsley Maggie Tallerman Université Paris Diderot University of Essex Newcastle University 1](https://www.pdfsearch.io/img/2c59cc29adecac2f961e6d75ed84596e.jpg) | Add to Reading ListSource URL: nlp.ipipan.waw.pl- Date: 2016-05-25 06:44:52
|
---|
8![Parameterized Veri
ation of Broad
ast Networks of Register Automata (Te
hni
al Report) Giorgio Delzanno1 , Arnaud Sangnier2 , and Ri
ardo Traverso1 DIBRIS, University of Genova, Italy LIAFA, Univ Paris Diderot, Paris C Parameterized Veri
ation of Broad
ast Networks of Register Automata (Te
hni
al Report) Giorgio Delzanno1 , Arnaud Sangnier2 , and Ri
ardo Traverso1 DIBRIS, University of Genova, Italy LIAFA, Univ Paris Diderot, Paris C](https://www.pdfsearch.io/img/96d1a59d2d3de2f17f27412802118918.jpg) | Add to Reading ListSource URL: verify.disi.unige.it- Date: 2013-07-18 06:02:53
|
---|
9![MeLLANGE Launch Event Translators’ Question Time An event organised jointly by the MeLLANGE Consortium, the University Paris Diderot and the Société Française des Traducteurs. PROGRAMME 11h00 – 11h30: MeLLANGE Pro MeLLANGE Launch Event Translators’ Question Time An event organised jointly by the MeLLANGE Consortium, the University Paris Diderot and the Société Française des Traducteurs. PROGRAMME 11h00 – 11h30: MeLLANGE Pro](https://www.pdfsearch.io/img/bf435fd96b44ca9c83488307e813485f.jpg) | Add to Reading ListSource URL: mellange.eila.univ-paris-diderot.frLanguage: English - Date: 2007-08-27 06:01:28
|
---|
10![Verbal mismatch in Right-Node Raising Aoi Shiraishi, Anne Abeillé* , LLF, University Paris Diderot & IUF* 1. Verbal mismatch in Right-Node Raising Aoi Shiraishi, Anne Abeillé* , LLF, University Paris Diderot & IUF* 1.](https://www.pdfsearch.io/img/b55c4a9bd4d6e3bd100db50ebda86536.jpg) | Add to Reading ListSource URL: nlp.ipipan.waw.plLanguage: English - Date: 2016-05-31 06:33:10
|
---|