Ian Wehrman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2005–2009
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | CONCUR | Concurrent Kleene Algebra. | C. A. R. Hoare, Bernhard Mller, Georg Struth, Ian Wehrman |
| 2005 | ICFP | A language-based approach to functionally correct imperative programming. | Edwin M. Westbrook, Aaron Stump, Ian Wehrman |