Maulik A. Dave

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

8EEMaulik A. Dave: Review of "Semantic Integration of Heterogeneous Software Specifications by Martin Grobe-Rhode", Springer-Verlag, 2004. SIGACT News 39(1): 28-29 (2008)
7EEMaulik A. Dave: Review of "Theoretical and Experimental DNA Computation by M. Amos, " Springer-Verlag Berlin Heidelberg, 2005. SIGACT News 39(2): 45-46 (2008)
6EEMaulik A. Dave: Review of "Secure Communicating Systems: Design, analysis, and implementation by Michael R A Huth", Cambridge University Press, 2001. SIGACT News 37(1): 26-27 (2006)
5EEMaulik A. Dave: Review of "Information Theory, Inference, and Learning Algorithms by David J. C. MacKay", Cambridge University Press, 2003. SIGACT News 37(4): 34-36 (2006)
4EEMaulik A. Dave: Review of "Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneider", Springer-Verlag Berlin Heidelberg, 2004. SIGACT News 37(4): 36-37 (2006)
3EEMaulik A. Dave: Review of "Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenge by Michael H. Goldwasser, David S. Johnson, Catherine C. McGeoch", American Mathematical Society 2002. SIGACT News 36(4): 5-8 (2005)
2EEMaulik A. Dave: Numerical Programming on Networks of Computers. IEEE Distributed Systems Online 5(11): (2004)
1EEMaulik A. Dave: Compiler verification: a bibliography. ACM SIGSOFT Software Engineering Notes 28(6): 2 (2003)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)