المؤلفون: Bukhari, Syed Ali Asadullah, Flinkow, Thomas, Inkarbekov, Medet, Pearlmutter, Barak A., Monahan, Rosemary

المصدر: EPTCS 411, 2024, pp. 178-190

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2411.14163

المؤلفون: Bukhari, Syed Ali Asadullah, Lodhi, Faiq Khalid, Hasan, Osman, Shafique, Muhammad, Henkel, Jörg

المساهمون: German Research Foundation, DAAD

المصدر: Science of Computer Programming ; volume 133, page 154-174 ; ISSN 0167-6423

الاتاحة: http://dx.doi.org/10.1016/j.scico.2016.06.004
https://api.elsevier.com/content/article/PII:S0167642316300715?httpAccept=text/plain
https://api.elsevier.com/content/article/PII:S0167642316300715?httpAccept=text/xml

المؤلفون: Bukhari, Syed Ali Asadullah, Lodhi, Faiq Khalid, Hasan, Osman, Shafique, Muhammad, Henkel, Jörg

المصدر: Science of computer programming, 133, 154–174 ; ISSN: 0167-6423, 1872-7964

مصطلحات موضوعية: ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

Relation: info:eu-repo/semantics/altIdentifier/wos/000390072300004; info:eu-repo/semantics/altIdentifier/issn/0167-6423; info:eu-repo/semantics/altIdentifier/issn/1872-7964; https://publikationen.bibliothek.kit.edu/1000063116

الاتاحة: https://publikationen.bibliothek.kit.edu/1000063116

المؤلفون: Bukhari, Syed Ali Asadullah¹ ali.asadullah@seecs.nust.edu.pk, Khalid, Faiq² faiq.khalid@tuwien.ac.at, Hasan, Osman¹ osman.hasan@seecs.nust.edu.pk, Shafique, Muhammad² muhammad.shafique@tuwien.ac.at, Henkel, Jorg³ henkel@kit.edu

المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Aug2020, Vol. 39 Issue 8, p1725-1738. 14p.

مصطلحات موضوعية: *TASK analysis, THERMAL stability, INTEGRATING circuits

المؤلفون: Bukhari, Syed Ali Asadullah, Lodhi, Faiq Khalid, Hasan, Osman, Shafique, Muhammad, Henkel, Jorg

المصدر: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 ; volume 17, page 1289-1292

الاتاحة: http://dx.doi.org/10.23919/date.2017.7927191
http://xplorestaging.ieee.org/ielx7/7919927/7926947/07927191.pdf?arnumber=7927191

المؤلفون: Bukhari, Syed Ali Asadullah, Lodhi, Faiq Khalid, Hasan, Osman, Shafique, Muhammad, Henkel, Jörg

المصدر: Communications in Computer and Information Science ; Formal Techniques for Safety-Critical Systems ; page 32-46 ; ISSN 1865-0929 1865-0937 ; ISBN 9783319175805 9783319175812

الاتاحة: http://dx.doi.org/10.1007/978-3-319-17581-2_3
https://link.springer.com/content/pdf/10.1007/978-3-319-17581-2_3

المؤلفون: Bukhari, Syed Ali Asadullah, Iqbal, Sohail

المصدر: 2014 12th International Conference on Frontiers of Information Technology ; page 342-345

الاتاحة: http://dx.doi.org/10.1109/fit.2014.70
http://xplorestaging.ieee.org/ielx7/7117864/7118353/07118424.pdf?arnumber=7118424