Joseph Kiniry
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1998–2013
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICECCS | How Do Developers Use APIs? A Case Study in Concurrency. | Stefan Blom, Joseph Kiniry, Marieke Huisman |
| 2009 | ECOOP | Strongest postcondition of unstructured programs. | Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry |
| 2007 | ICECCS | Formally Counting Electronic Votes (But Still Only Trusting Paper). | Joseph Kiniry |
| 2007 | SPLC | Reasoning about Feature Models in Higher-Order Logic. | Mikols Janota, Joseph Kiniry |
| 2006 | ISoLA | Program Safety via Programmer Safety. | Joseph Kiniry |
| 1998 | OOPSLA | Modeling dynamic/emergent distributed object systems. | Joseph Kiniry |