Pierre Weis - RankMe

19 papers A* 2A 1B 2Journal 10Unranked 2

Year	Rank	Type	Title / Venue / Authors
2019	—	`conf`	Translating Simulink Models to Modelica using the {\NSP} Platform. Modelica Jean-Philippe Chancelier, Sébastien Furic, Pierre Weis
2014	J	`jnl`	Trusting computations: A mechanized proof from partial differential equations to actual program. Comput. Math. Appl. Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2013	J	`jnl`	Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program. J. Autom. Reason. Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2012	J	`jnl`	Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program. CoRR Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2011	J	`jnl`	Wave Equation Numerical Resolution: Mathematics and Program CoRR Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2010	B	`conf`	Formal Proof of a Wave Equation Resolution Scheme: The Method Error. ITP Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2010	J	`jnl`	Formal Proof of a Wave Equation Resolution Scheme: the Method Error CoRR Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
2010	J	`jnl`	Image Segmentation with Optimal Control Techniques CoRR François Clément, Hend Ben Ameur, Guy Chavent, Pierre Weis
2008	J	`jnl`	Skeletal Parallel Programming with OCamlP3l 2.0. Parallel Process. Lett. Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis
2007	A	`conf`	On the Implementation of Construction Functions for Non-free Concrete Data Types. ESOP Frédéric Blanqui, Thérèse Hardin, Pierre Weis
2007	J	`jnl`	On the implementation of construction functions for non-free concrete data types CoRR Frédéric Blanqui, Thérèse Hardin, Pierre Weis
2006	J	`jnl`	Domain decomposition and skeleton programming with OCamlP3l. Parallel Comput. François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
2005	—	`conf`	Domain Decomposition and Skeleton Programming with OCamlP3l. PARCO François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
1996	J	`jnl`	Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. Pieter H. Hartel, Marc Feeley, Martin Helmut Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth
1995	B	`conf`	Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages SAS Manuel Serrano, Pierre Weis
1995	A*	`conf`	Generic Polymorphism. POPL Catherine Dubois, François Rouaix, Pierre Weis
1993	—	`book`	Le langage Caml. Pierre Weis, Xavier Leroy
1993	—	`book`	Manuel de référence du langage CAML. Xavier Leroy, Pierre Weis
1991	A*	`conf`	Polymorphic Type Inference and Assignment. POPL Xavier Leroy, Pierre Weis