Pierre Nron
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2016
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CiE | Axiomatizing Analog Algorithms. | Olivier Bournez, Nachum Dershowitz, Pierre Nron |
| 2016 | ECOOP | Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. | Casper Bach Poulsen, Pierre Nron, Andrew P. Tolmach, Eelco Visser |
| 2016 | FM | SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. | Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Nron, Benjamin Morin |