Paul Brauner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2014
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | HPCC | Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). | Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia Kilchenman O'Malley, Robert Cartwright |
| 2011 | HASKELL | Hobbits for Haskell: a library for higher-order encodings in functional programming languages. | Edwin M. Westbrook, Nicolas Frisby, Paul Brauner |
| 2007 | LICS | Principles of Superdeduction. | Paul Brauner, Clment Houtmann, Claude Kirchner |