Maulik A. Dave

12 papers Journal 12
YearRankTypeTitle / Venue / Authors
2011 J jnl
Review of rippling: meta-level guidance for mathematical reasoning cambridge tracks in theoretical computer science 56 by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland.
SIGACT News
Maulik A. Dave
2009 J jnl
Review 17 of theoretical and experimental DNA computation by M. Amos Published in 2005 by Springer-Verlag Berlin Heidelberg.
SIGACT News
Maulik A. Dave
2009 J jnl
Review 17 of theoretical and experimental DNA computation by M. Amos Published in 2005 by Springer-Verlag Berlin Heidelberg.
SIGACT News
Maulik A. Dave
2008 J jnl
Review of "Semantic Integration of Heterogeneous Software Specifications by Martin Grobe-Rhode", Springer-Verlag, 2004.
SIGACT News
Maulik A. Dave
2008 J jnl
Review of "Theoretical and Experimental DNA Computation by M. Amos, " Springer-Verlag Berlin Heidelberg, 2005.
SIGACT News
Maulik A. Dave
2006 J jnl
Review of "Information Theory, Inference, and Learning Algorithms by David J. C. MacKay", Cambridge University Press, 2003.
SIGACT News
Maulik A. Dave
2006 J jnl
Review of "Secure Communicating Systems: Design, analysis, and implementation by Michael R A Huth", Cambridge University Press, 2001.
SIGACT News
Maulik A. Dave
2006 J jnl
Review of "Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneider", Springer-Verlag Berlin Heidelberg, 2004.
SIGACT News
Maulik A. Dave
2005 J jnl
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
Maulik A. Dave
2004 J jnl
Numerical Programming on Networks of Computers.
IEEE Distributed Syst. Online
Maulik A. Dave
2003 J jnl
Compiler verification: a bibliography.
ACM SIGSOFT Softw. Eng. Notes
Maulik A. Dave
2002 J jnl
Review of the clausal theory of types.
SIGACT News
Maulik A. Dave