Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling., , , and . J. Comput., 8 (2): 372-379 (2013)A FPGA Based SAT Solver with High Random and Concurrent Strategies., , , , and . QRS Companion, page 221-228. IEEE, (2018)Approximate Completed Trace Equivalence of Linear Algebra Transition Systems., , , , and . BIC-TA, volume 212 of Advances in Intelligent Systems and Computing, page 233-237. Springer, (2013)Modeling and Verification of Circuit with Stable-Event., , and . CyberC, page 471-475. IEEE, (2017)A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks., , , , , , and . J. Appl. Math., (2014)A Hybrid Model Equipped with the Minimum Cycle Decomposition Concept for Short-Term Forecasting of Electrical Load Time Series., , , and . Neural Processing Letters, 46 (3): 1059-1081 (2017)Mathematical analysis of stage-based programmable logic controller., , , , and . Comput. Math. Appl., 61 (7): 1769-1785 (2011)Process Algebra with Chaos Executing Policy for Unhealthy Systems., , , , and . J. Comput., 4 (1): 86-93 (2009)Modular Timing Constraints for Delay-Insensitive Systems., , , , and . J. Comput. Sci. Technol., 31 (1): 77-106 (2016)Approximate Equivalence of the Hybrid Automata with Taylor Theory., , , and . J. Appl. Math., (2014)