R. Kemp, N. Palmer, T. Kielmann, and H. Bal. MobiCASE, volume 95 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 60-79. Springer, (2011)
J. Bergstra, R. Bardenet, Y. Bengio, and B. Kégl. Proceedings of the 24th International Conference on Neural Information Processing Systems, page 2546--2554. USA, Curran Associates Inc., (2011)
J. Urbani, S. Kotoulas, J. Maassen, F. van Harmelen, and H. Bal. Proceedings of the 7th Extended Semantic Web Conference
(ESWC), volume 6088 of Lecture Notes in Computer Science, page 213--227. Berlin, Heidelberg, Springer, (May 2010)
J. Urbani, S. Kotoulas, J. Maassen, F. van Harmelen, and H. Bal. Proceedings of the 7th Extended Semantic Web Conference (ESWC), volume 6088 of Lecture Notes in Computer Science, page 213--227. Berlin, Heidelberg, Springer, (May 2010)
R. Kemp, N. Palmer, T. Kielmann, and H. Bal. MobiCASE, volume 76 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 342-348. Springer, (2010)
R. Kemp, N. Palmer, T. Kielmann, and H. Bal. MobiCASE, volume 76 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 59-79. Springer, (2010)
R. Kemp, N. Palmer, T. Kielmann, and H. Bal. MobiCASE, volume 76 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 59-79. Springer, (2010)
Y. Cheung, H. Scheepers, M. Swift, V. Lee, and J. Bal. PRO-VE, volume 336 of IFIP Advances in Information and Communication Technology, page 380-387. Springer, (2010)
G. Scholten, N. Palmer, R. Kemp, T. Kielmann, and H. Bal. MobiCASE, volume 76 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 302-305. Springer, (2010)
G. Scholten, N. Palmer, R. Kemp, T. Kielmann, and H. Bal. MobiCASE, volume 76 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 302-305. Springer, (2010)
R. Kemp, N. Palmer, T. Kielmann, and H. Bal. MobiCASE, volume 76 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 342-348. Springer, (2010)
H. Bal, L. Brim, and M. Leucker. Distributed Verification and Grid Computing, volume 08332 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)
K. Verstoep, H. Bal, J. Barnat, and L. Brim. Distributed Verification and Grid Computing, volume 08332 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)