Nicolas Oury

According to our database, Nicolas Oury authored at least 13 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Bio Simulators: a web UI for biological simulation.

Michael Pedersen, Nicolas Oury, Colin Gravill, Andrew Phillips

Bioinform., 2014

2013

Multi-level modelling via stochastic multi-level multiset rewriting.

Nicolas Oury, Gordon D. Plotkin

Math. Struct. Comput. Sci., 2013

Equilibrium and termination II: the case of Petri nets.

Vincent Danos, Nicolas Oury

Math. Struct. Comput. Sci., 2013

Canonical Labelling of Site Graphs.

Nicolas Oury, Michael Pedersen, Rasmus L. Petersen

Proceedings of the Proceedings Fourth International Workshop on Computational Models for Cell Processes, 2013

Handlers in action.

Ohad Kammar, Sam Lindley, Nicolas Oury

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2011

Coloured stochastic multilevel multiset rewriting.

Nicolas Oury, Gordon D. Plotkin

Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010

Equilibrium and Termination

Vincent Danos, Nicolas Oury

Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010

PiSigma: Dependent Types without the Sugar.

Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2008

First-Class Type Classes.

Matthieu Sozeau, Nicolas Oury

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

The power of Pi.

Nicolas Oury, Wouter Swierstra

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Pattern matching coverage checking with dependent types using set approximations.

Nicolas Oury

Proceedings of the ACM Workshop Programming Languages meets Program Verification, 2007

2005

Extensionality in the Calculus of Constructions.

Nicolas Oury

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2003

Observational Equivalence and Program Extraction in the Coq Proof Assistant.

Nicolas Oury

Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003