BibSonomy :: author  ::

bookmarks

publications

(103)

• Programming Reconfigurable Decoupled Application Control Accelerator For Mobile Systems.
  Samar Yazdani and Joel Cambonie and Bernard Pottier ARC 15-26 (2008)
  to dblp by dblp on 2008-10-21 00:00:00
  | URL | BibTeX  
• A Hoare Logic for Call-by-Value Functional Programs.
  Yann Régis-Gianas and François Pottier MPC 305-335 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule.
  François Pottier LICS 331-340 (2008)
  to dblp by dblp on 2008-06-25 00:00:00
  | URL | BibTeX  
• Visualizing Geometrical Statements with GeoView
  Yves Bertot and Frédérique Guilhot and Loïc Pottier Electronic Notes in Theoretical Computer Science 103 49--65 (2004)
  to dynamic geometry proving pt theorem by toni and 1 other person on 2008-05-22 13:45:10
  | URL | BibTeX  
• Testing the democratic hypothesis in the provision of local public goods
  Y. Aragon and J. J. Laffont and J. Le Pottier Journal of Public Economics 36 139--151 (1988)
  to imported by smicha on 2008-04-28 13:05:01
  | URL | BibTeX  
• Quantum dissipation: Dynamics of a particle in a symmetric double well in the presence of non-ohmic friction
  Claude Aslangul and No{\"e}lle Pottier and Daniel Saint-James Physica A: Statistical and Theoretical Physics 149 535--550 (1988)
  to imported by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• Intermediate-time dynamics of a particle on a disordered tight-binding lattice: quantum dissipation versus disorder
  C. Aslangul and N. Pottier and D. Saint-James Physica A: Statistical and Theoretical Physics 159 63--90 (1989)
  to imported by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• Random walk in a one-dimensional random medium
  C. Aslangul and N. Pottier and D. Saint-James Physica A: Statistical and Theoretical Physics 164 52--80 (1990)
  to imported by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• One-dimensional motion in a biased random medium: Random potential versus random force
  C. Aslangul and N. Pottier and D. Saint-James Physica A: Statistical and Theoretical Physics 174 272--282 (1991)
  to imported by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• Analytic study of a model of diffusion on a random comblike structure
  C. Aslangul and N. Pottier and P. Chvosta Physica A: Statistical and Theoretical Physics 203 533--565 (1994)
  to imported by smicha on 2008-04-22 10:36:30
  | URL | BibTeX