Nicolas Oury

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Web Communities

Graph Isomorphism

Top Venues

Math. Struct. Comput. Sci.

Publications

Michael Pedersen, Nicolas Oury, Colin Gravill, Andrew Phillips
Bio Simulators: a web UI for biological simulation. Bioinform. 30 (10) (2014)
Ohad Kammar, Sam Lindley, Nicolas Oury
Handlers in action. ICFP (2013)
Vincent Danos, Nicolas Oury
Equilibrium and termination II: the case of Petri nets. Math. Struct. Comput. Sci. 23 (2) (2013)
Nicolas Oury, Gordon D. Plotkin
Multi-level modelling via stochastic multi-level multiset rewriting. Math. Struct. Comput. Sci. 23 (2) (2013)
Nicolas Oury, Michael Pedersen, Rasmus L. Petersen
Canonical Labelling of Site Graphs. CompMod (2013)
Nicolas Oury, Gordon D. Plotkin
Coloured stochastic multilevel multiset rewriting. CMSB (2011)
Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury
PiSigma: Dependent Types without the Sugar. FLOPS (2010)
Vincent Danos, Nicolas Oury
Equilibrium and Termination DCM (2010)
Matthieu Sozeau, Nicolas Oury
First-Class Type Classes. TPHOLs (2008)
Nicolas Oury, Wouter Swierstra
The power of Pi. ICFP (2008)
Nicolas Oury
Pattern matching coverage checking with dependent types using set approximations. PLPV (2007)
Nicolas Oury
Extensionality in the Calculus of Constructions. TPHOLs (2005)
Nicolas Oury
Observational Equivalence and Program Extraction in the Coq Proof Assistant. TLCA (2003)