- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 3 |      | Azadeh Farzan, Zachary Kincaid: Verification of parameterized concurrent programs by modular reasoning about data and control. POPL 2012: 297-308 |
| 2010 | ||
| 2 | | Azadeh Farzan, Zachary Kincaid: Compositional Bitvector Analysis for Concurrent Programs with Nested Locks. SAS 2010: 253-270 |
| 2008 | ||
| 1 | | Masami Ito, Lila Kari, Zachary Kincaid, Shinnosuke Seki: Duplication in DNA Sequences. Developments in Language Theory 2008: 419-430 |
| 1 | Azadeh Farzan | [2] [3] |
| 2 | Masami Ito | [1] |
| 3 | Lila Kari (Lila Santean) | [1] |
| 4 | Shinnosuke Seki | [1] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page