by Bamieh, B., Jovanovic, M. R., Mitra, P., Patterson, S.
Published in IEEE transactions on automatic control (01.09.2012)

by Alglave, Jade, Maranget, Luc, Tautschnig, Michael
Published in ACM transactions on programming languages and systems (01.07.2014)

by Souri, Alireza, Jafari Navimipour, Nima
Published in Expert systems with applications (15.06.2014)

by Midtgaard, Jan
Published in ACM computing surveys (01.06.2012)

by Zang, Qingda, Rotroff, Daniel M, Judson, Richard S
Published in Journal of chemical information and modeling (23.12.2013)

by Paone, Jeffrey R., Flynn, Patrick J., Philips, P. Jonathon, Bowyer, Kevin W., Bruegge, Richard W. Vorder, Grother, Patrick J., Quinn, George W., Pruitt, Matthew T., Grant, Jason M.
Published in IEEE transactions on information forensics and security (01.02.2014)

by Sidek, Khairul Azami, Mai, Vu, Khalil, Ibrahim
Published in Journal of network and computer applications (01.09.2014)

by Thai, My T., Zhang, Ning, Tiwari, Ravi, Xu, Xiaochun
Published in Theoretical computer science (15.10.2007)

by Dimoulas, Christos, Felleisen, Matthias
Published in ACM transactions on programming languages and systems (01.11.2011)

by Zhang, Jianhua, Xu, Xiaoming, Hong, Liu, Wang, Shuliang, Fei, Qi
Published in Safety science (01.03.2012)

by Fencl, Tomas, Burget, Pavel, Bilek, Jan
Published in Control engineering practice (01.11.2011)

by Almási, B., Roszik, J., Sztrik, J.
Published in Mathematical and computer modelling (01.09.2005)

by Chávez-Fuentes, Jorge R., Costa, Eduardo F., Terra, Marco H.
Published in Automatica (Oxford) (01.03.2014)

by Huang, Eugenia Y., Huang, Travis K.
Published in Decision Support Systems (01.12.2013)

by Armando, Alessandro, Ponta, Serena Elisa
Published in Computers & security (01.02.2014)

by Attiya, Gamal, Hamam, Yskandar
Published in Journal of parallel and distributed computing (01.10.2006)

by Ji, Min, He, Yong, Cheng, T.C.E.
Published in Theoretical computer science (11.10.2006)

by Nielson, Hanne Riis, Nielson, Flemming, Pilegaard, Henrik
Published in ACM computing surveys (01.01.2012)

by Huo, Yumei, Zhao, Hairong
Published in Theoretical computer science (18.03.2011)

by He, Yong, Zhong, Weiya, Gu, Huikun
Published in Theoretical computer science (31.10.2006)