Zachary Kincaid Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzadeh Farzan, Zachary Kincaid: Verification of parameterized concurrent programs by modular reasoning about data and control. POPL 2012: 297-308
2010
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzadeh Farzan, Zachary Kincaid: Compositional Bitvector Analysis for Concurrent Programs with Nested Locks. SAS 2010: 253-270
2008
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasami Ito, Lila Kari, Zachary Kincaid, Shinnosuke Seki: Duplication in DNA Sequences. Developments in Language Theory 2008: 419-430

Coauthor Index

1Azadeh Farzan [2] [3]
2Masami Ito [1]
3Lila Kari (Lila Santean) [1]
4Shinnosuke Seki [1]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page