Search results for: Prasanna Thati
Lecture Notes in Computer Science > Computer Aided Verification > Applications of Learning > 534-547
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 521-536
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Theory and Security > 101-116
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 359-376
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 379-394
Electronic Notes in Theoretical Computer Science > 2007 > 177 > Complete > 5-33
Higher-Order and Symbolic Computation > 2007 > 20 > 1-2 > 123-160
Theoretical Computer Science > 2006 > 366 > 1-2 > 163-179
Electronic Notes in Theoretical Computer Science > 2005 > 117 > Complete > 153-182
Electronic Notes in Theoretical Computer Science > 2005 > 113 > Complete > 145-162
Electronic Notes in Theoretical Computer Science > 2004 > 71 > Complete > 242-262