2008 |
8 | EE | Maulik A. Dave:
Review of "Semantic Integration of Heterogeneous Software Specifications by Martin Grobe-Rhode", Springer-Verlag, 2004.
SIGACT News 39(1): 28-29 (2008) |
7 | EE | Maulik A. Dave:
Review of "Theoretical and Experimental DNA Computation by M. Amos, " Springer-Verlag Berlin Heidelberg, 2005.
SIGACT News 39(2): 45-46 (2008) |
2006 |
6 | EE | Maulik 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) |
5 | EE | Maulik 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) |
4 | EE | Maulik 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) |
2005 |
3 | EE | Maulik 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) |
2004 |
2 | EE | Maulik A. Dave:
Numerical Programming on Networks of Computers.
IEEE Distributed Systems Online 5(11): (2004) |
2003 |
1 | EE | Maulik A. Dave:
Compiler verification: a bibliography.
ACM SIGSOFT Software Engineering Notes 28(6): 2 (2003) |