Morteza Yousef Sanati

Morteza Yousef Sanati

Bu Ali Sina University Hamedan - Hamedan / Iran
Engineering & Technology / Computer Science
AD Scientific Index ID: 5308852
دانشگاه بوعلي سينا
person_outline Morteza Yousef Sanati's MOST POPULAR ARTICLES
1-) FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. ProceedingsC Jones, P Pihlajasaari, J SunSpringer, 201482014
2-) A metric interval-based temporal description logicM Yousef Sanati62015
3-) Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal LogicM Yousef Sanati, W MacCaull, TSE MaibaumInternational Symposium on Formal Methods, 611-626, 201462014
4-) Improvement of CluStream algorithm using sliding window for the clustering of data streamsS Ahsani, MY Sanati, M Mansoorizadeh2021 11th International Conference on Computer Engineering and Knowledge …, 202152021
5-) Consistency checking of clinical practice guidelines with MITDLM Yousef Sanati, W MacCaull, T Maibaum, MM Majzoobi2016 Eighth International Conference on Information and Knowledge Technology …, 201622016