by Hartmanns, Arnd
Published in Electronic proceedings in theoretical computer science (21.03.2022)

by Iliasov, Alexei, Bryans, Jeremy
Published in Perspectives of System Informatics (2015)

by Bugané, F., Benedetti, M.G., Casadio, G., Attala, S., Biagi, F., Manca, M., Leardini, A.
Published in Computer methods and programs in biomedicine (01.10.2012)

Published in Lecture notes in computer science

by Hartmanns, Arnd
Published in arXiv.org (18.03.2022)

by Maia, C.A., Andrade, C.R., Hardouin, L.
Published in Automatica (Oxford) (01.05.2011)

by Nguyen, Truong Khanh, Sun, Jun, Liu, Yang, Dong, Jin Song, Liu, Yan
Published in FM 2012: Formal Methods (2012)

by Sutherland, I.
Published in 2011 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2011)

by Zecchin, C., Facchinetti, A., Sparacino, G., Cobelli, C.
Published in Computer methods and programs in biomedicine (01.01.2014)

by Yılmaz, Bülent, Korkmaz, Sümeyye, Arslan, Dilek Betül, Güngör, Evrim, Asyalı, Musa H.
Published in Computer methods and programs in biomedicine (01.02.2014)

by McDonald, Brayden, Mueller, Frank
Published in 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS) (01.05.2022)

by Wang, Shangfei, Liu, Zhilei, Lv, Siliang, Lv, Yanpeng, Wu, Guobing, Peng, Peng, Chen, Fei, Wang, Xufa
Published in IEEE transactions on multimedia (01.11.2010)

by HAN, Thanh-Trung, SHUZHI SAM GE, TONG HENG LEE
Published in IEEE transactions on automatic control (01.02.2010)

by Mitsunaga, N., Smith, C., Kanda, T., Ishiguro, H., Hagita, N.
Published in IEEE transactions on robotics (01.08.2008)

by Torres Zúñiga, Ixbalank, Vande Wouwer, Alain
Published in Computers & chemical engineering (04.12.2014)

by Galpin, Ixent, Fernandes, Alvaro A. A., Paton, Norman W.
Published in The VLDB journal (01.08.2013)

by Yeh, Mei-Yu, Wu, Changwei W., Kuan, Wan-Chun, Wei, Pei-Shan, Wan, Yung-Liang, Wai, Yau-Yau, Weng, Hsu-Huei, Liu, Ho-Ling
Published in International journal of imaging systems and technology (01.09.2013)

by Waters, Dean A., Abulula, Husam H.
Published in International journal of human-computer studies (01.10.2007)

by Terra, Sílvio César Lizana, Metoyer, Ronald Anthony
Published in Graphical models (01.03.2007)

by YONEKI, Eiko, BACON, Jean
Published in Lecture notes in computer science (2005)