Published Researchs
Research TitleMAG. TITLERESEARCH AREAPUBLISH YEARDOIJournal URL
Automatic Verification of Reduction Techniques in Higher Order LogicFormal Aspects of Computing, Springer LondonVerification2013  Visit URL
Hierarchical Steganography Using Novel Optimum Quantization TechniqueSignal, Image and Video Processing, Springer-Verlag LondonVLSI and Image Processing2013  Visit URL
A Novel Approach to Enhance Distributed Virtual MemoryComputers and Electrical Engineering, ElsevierComputer Architecture: Distributed Virtual Memory2012  Visit URL
Carry-Based Reduction Parallel Counter DesignInternational Journal of Electronics, Taylor & Francis, London, UK VLSI2012  Visit URL
MDG-SAT: an automated methodology for efficient safety checkingInternational Journal of Critical Computer-Based Systems (IJCCBS), Inderscience PublishersFormal Methods, Verification2012  Visit URL
NuMDG: A New Tool for Multiway Decision Graphs ConstructionJournal of Computer Science and Technology (JCST), Springer, Institute of Computing Technology, Science PressFormal Verification2011  Visit URL
LCF-style Platform based on Multiway Decision GraphsElectronic Notes in Theoretical Computer Science (ENTCS), ElsevierFormal Methods, Verification2009  Visit URL
Towards a Reachability Approach by Combining HOL Induction and Multiway Decision GraphsJournal of Computer Science and Technology (JCST), Springer BostonFormal Methods2009  Visit URL
On the Integration of Decision Diagrams in High Order Logic based Theorem Provers: a SurveyJournal of Computer Science, Science PublicationFormal Methods2007  Visit URL
Closed-Loop Control System Robustness Improvement by Parameterized State FeedbackIEE Proc.- Control Theory Appl.Control System1998  Visit URL