Concepedia

Nicolas Oury

NO

7

Publications

308

Citations

7

H-Index

2008

Active since

Affiliations

University of Edinburgh(Current)

University of Cambridge

University of Strathclyde

University of Nottingham

Nicolas Oury is an author at University of Edinburgh specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationTechnologyCryptographyData SecuritySoftware Design

Publications per year

2008–2013

7

Publications

7

Handlers in action

Ohad Kammar, Sam Lindley, Nicolas Oury · 2013 · 128 citations

Programming Language Theory, Handler Abstraction, Engineering +15

The power of Pi

Nicolas Oury, Wouter Swierstra · ACM SIGPLAN Notices · 2008 · 67 citations

Engineering, Power Relation, Formal Verification +19

The power of Pi

Nicolas Oury, Wouter Swierstra · 2008 · 49 citations

Engineering, Power Relation, Formal Verification +19

Handlers in action

Ohad Kammar, Sam Lindley, Nicolas Oury · ACM SIGPLAN Notices · 2013 · 22 citations

Programming Language Theory, Handler Abstraction, Engineering +15

Multi-level modelling via stochastic multi-level multiset rewriting

Nicolas Oury, Gordon Plotkin · Mathematical Structures in Computer Science · 2013 · 18 citations · Full text

Rows per page

1–5 of 7