by Kaiser, Alexander, Kroening, Daniel, Wahl, Thomas
Published in ACM transactions on programming languages and systems (28.10.2014)

by Gregorics, Tibor, Borsi, Zsolt
Published in Acta Universitatis Sapientiae. Informatica (26.07.2017)

by Gregorics, Tibor, Borsi, Zsolt
Published in Acta Universitatis Sapientiae. Informatica (26.07.2017)

by Qu, Xiao-Jian, Moore, Michael J., Li, De-Zhu, Yi, Ting-Shuang
Published in Plant methods (21.05.2019)

by Li, Yahui, Yin, Xia, Wang, Zhiliang, Yao, Jiangyuan, Shi, Xingang, Wu, Jianping, Zhang, Han, Wang, Qing
Published in IEEE Communications surveys and tutorials (2019)

by Bohme, Marcel, Van-Thuan Pham, Roychoudhury, Abhik
Published in IEEE transactions on software engineering (01.05.2019)

by Zhang, He, Riggan, Benjamin S., Hu, Shuowen, Short, Nathaniel J., Patel, Vishal M.
Published in International journal of computer vision (01.06.2019)

by Issachar, Gil, Bar-Shalita, Tami, Baruch, Yair, Horing, Bar, Portnoy, Sigal
Published in Annals of biomedical engineering (01.05.2019)

by Parziale, Antonio, Diaz, Moises, Ferrer, Miguel A., Marcelli, Angelo
Published in Pattern recognition letters (15.04.2019)

by Treiber, Amos, Nautsch, Andreas, Kolberg, Jascha, Schneider, Thomas, Busch, Christoph
Published in Speech communication (01.11.2019)

by Gibelli, Daniele, De Angelis, Danilo, Pucciarelli, Valentina, Riboli, Francesco, Ferrario, Virgilio F., Dolci, Claudia, Sforza, Chiarella, Cattaneo, Cristina
Published in International journal of legal medicine (01.07.2018)

by Garimella, Harsha T., Kraft, Reuben H., Przekwas, Andrzej J.
Published in PloS one (16.03.2018)

by Pincas, Uri
Published in Minds and machines (Dordrecht) (01.05.2011)

by Nguyen, Tai D., Pham, Long H., Sun, Jun
Published in Proceedings - IEEE Symposium on Security and Privacy (01.05.2021)

by Hartmann, Christoph, Opritescu, Daniel, Volk, Wolfram
Published in Journal of intelligent manufacturing (01.02.2019)

by Cai, Zhuo, Farokhnia, Soroush, Goharshady, Amir Kafshdar, Hitarth, S.
Published in Proceedings of ACM on programming languages (16.10.2023)

by Eldib, Hassan, Wang, Chao, Schaumont, Patrick
Published in ACM transactions on software engineering and methodology (01.12.2014)

by Kucuk, Yigit, Henderson, Tim A. D., Podgurski, Andy
Published in Proceedings / International Conference on Software Engineering (01.05.2021)

by Jati, H, Irmawati, D, Utami, P, Destiana, B, Sukirman, Hariyanto, D
Published in Journal of physics. Conference series (01.01.2020)

by Miao, Weikai, Yan, Qianqian, Huang, Yihao, Feng, Jincao, Zheng, Hanyue
Published in Proceedings / Asia Pacific Software Engineering Conference (01.12.2019)