Nicolas Oury

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