الأبحاث المنشورة

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