- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c22 |      | Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin: Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages. LCPC 2012: 174-189 |
| 2011 | ||
| j6 | | Pierre Jouvelot, Yann Orlarey: Dependent vector types for data structuring in multirate Faust. Computer Languages, Systems & Structures 37(3): 113-131 (2011) |
| 2010 | ||
| c21 | | Samuel Benveniste, Pierre Jouvelot, Renaud Péquignot: The MINWii Project: Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy. ICEC 2010: 79-90 |
| 2009 | ||
| c20 | | Samuel Benveniste, Pierre Jouvelot, Edith Lecourt, Renaud Michel: Designing wiimprovisation for mediation in group music therapy with children suffering from behavioral disorders. IDC 2009: 18-26 |
| 2005 | ||
| c19 | | Guillaume Denis, Pierre Jouvelot: Motivation-driven educational game design: applying best practices to music education. Advances in Computer Entertainment Technology 2005: 462-465 |
| 1996 | ||
| c18 | | Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen: Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996: 1-21 |
| 1995 | ||
| c17 | | |
| 1994 | ||
| j5 | | Jean-Pierre Talpin, Pierre Jouvelot: The Type and Effect Discipline. Inf. Comput. 111(2): 245-296 (1994) |
| c16 | | Yan Mei Tang, Pierre Jouvelot: Separate Abstract Interpretation for Control-Flow Analysis. TACS 1994: 224-243 |
| 1993 | ||
| c15 | | |
| 1992 | ||
| j4 | | Jean-Pierre Talpin, Pierre Jouvelot: Polymorphic Type, Region and Effect Inference. J. Funct. Program. 2(3): 245-271 (1992) |
| j3 |  | Vincent Dornic, Pierre Jouvelot, David K. Gifford: Polymorphic Time Systems for Estimating Program Complexity. LOPLAS 1(1): 33-45 (1992) |
| c14 | | |
| c13 | | Babak Dehbonei, Pierre Jouvelot: Semantical Interprocedural Analysis by Partial Symbolic Evaluation. PEPM 1992: 14-20 |
| c12 | | |
| 1991 | ||
| c11 | | François Irigoin, Pierre Jouvelot, Rémi Triolet: Semantical interprocedural parallelization: an overview of the PIPS project. ICS 1991: 244-251 |
| c10 | | Pierre Jouvelot, David K. Gifford: Algebraic Reconstruction of Types and Effects. POPL 1991: 303-310 |
| c9 | | Vincent Dornic, Pierre Jouvelot, David K. Gifford: Polymorphic Time Systems for Estimating Program Complexity. JTASPEFT/WSA 1991: 9-17 |
| c8 | | Jean-Pierre Talpin, Pierre Jouvelot: Polymorphic Type, Region and Effect Inference. JTASPEFT/WSA 1991: 26-32 |
| c7 | | David K. Gifford, Pierre Jouvelot, Mark A. Sheldon, James O'Toole: Semantic File Systems. SOSP 1991: 16-25 |
| 1990 | ||
| j2 | | |
| 1989 | ||
| j1 | | Pierre Jouvelot, Babak Dehbonei: Recursive Pattern Matching on concrete data types. SIGPLAN Notices 24(11): 84-93 (1989) |
| c6 | | Pierre Jouvelot, Babak Dehbonei: A unified semantic approach for the vectorization and parallelization of generalized reductions. ICS 1989: 186-194 |
| c5 | | Pierre Jouvelot, David K. Gifford: Reasoning about Continuations with Control Effects. PLDI 1989: 218-226 |
| 1988 | ||
| c4 | | |
| 1987 | ||
| c3 | | Pierre Jouvelot: Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization. ACM Conference on Computer Science 1987: 425 |
| c2 | | Pierre Jouvelot: Semantic Parallelization: A Practical Exercise in Abstract Interpretation. POPL 1987: 39-48 |
| 1986 | ||
| c1 | | |
Colors in the list of coauthors
Last update Sun May 26 11:21:37 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page