TrEKer: Tracing error propagation in operating system kernels

Coppik, N., Schwahn, O., Winter, S., Suri, N., T.N., N. (ed.), G., R. & M., D. P., 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 377-387 11 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Quick verification of concurrent programs by iteratively relaxed scheduling

Metzler, P., Saissi, H., Bokor, P., Suri, N., T.N., N. (ed.), G., R. (ed.) & M., D. P. (ed.), 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 776-781 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

State-of-the-art forecasting algorithms for microgrids

Ma, J. & Ma, X., 26/10/2017, 23rd International Conference on Automation and Computing (ICAC),2017. IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Autonomous Workload Balancing in Cloud Federation Environments with Different Access Restrictions

Anas, A., Sharma, M., Abozariba, R., Asaduzzaman, M., Benkhelifa, E. & Patwary, M. N., 22/10/2017, 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS). IEEE, p. 636-642 6 p. (2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

MatchPoint: Spontaneous Spatial Coupling of Body Movement for Touchless Pointing

Clarke, C. & Gellersen, H-W. G., 22/10/2017, UIST '17 Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology. New York: ACM, p. 179-192 14 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

DexPro: A Bytecode Level Code Protection System for Android Applications

Zhao, B., Tang, Z., Li, Z., Song, L., Gong, X., Fang, D., Liu, F. & Wang, Z., 21/10/2017, Cyberspace Safety and Security. Wen, S., Wu, W. & Castiglione, A. (eds.). Cham: Springer, p. 367-382 16 p. (Lecture Notes in Computer Science; vol. 10581).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

On Q-factor bounds for a given front-to-back ratio

Shi, S., Wang, L. & Jonsson, B. L. G., 19/10/2017, 2017 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting. IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The Disappearing Tabletop: Social and Technical Challenges for Cross-Surface Collaboration

Wallace, J. R., Houben, S., Anslow, C., Lucero, A., Rogers, Y. & Scott, S. D., 17/10/2017, ISS '17 Proceedings of the 2017 ACM International Conference on Interactive Surfaces and Spaces. New York: ACM, p. 482-487 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Image resolution impact analysis on pedestrian detection in smart cities surveillance

Dinakaran, R., Sexton, G., Seker, H., Bouridane, A. & Jiang, R., 17/10/2017, Proceedings of the International Conference on Internet of Things and Machine Learning, IML 2017. Hamdan, H., Hidoussi, F. & Boubiche, D. E. (eds.). New York: Association for Computing Machinery (ACM), 8 p. a3636. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Group velocity matching in terahertz-driven dielectric-lined waveguides for electron acceleration

Healy, A. L., Burt, G. & Jamison, S. P., 16/10/2017, 2017 10th UK-Europe-China Workshop on Millimetre Waves and Terahertz Technologies, UCMMT 2017. Institute of Electrical and Electronics Engineers Inc., 2 p. 8068491. (2017 10th UK-Europe-China Workshop on Millimetre Waves and Terahertz Technologies, UCMMT 2017).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Gaze + Pinch interaction in virtual reality

Pfeuffer, K., Mayer, B., Mardanbegi, D. & Gellersen, H., 16/10/2017, SUI 2017 - Proceedings of the 2017 Symposium on Spatial User Interaction. Association for Computing Machinery, Inc, p. 99-108 10 p. (SUI 2017 - Proceedings of the 2017 Symposium on Spatial User Interaction).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Alpha contamination assay, dosimetry and spectrometry using charge coupled devices

Newton, R., Dykes, J., Scott, M. J. & Joyce, M. J., 16/10/2017, 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop, NSS/MIC/RTSD 2016. Institute of Electrical and Electronics Engineers Inc., 8069815. (2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop, NSS/MIC/RTSD 2016; vol. 2017-January).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Demo: Atlas thing architecture - Enabling mobile apps as things in the IoT: 23rd Annual International Conference on Mobile Computing and Networking, MobiCom 2017

Helal, S., Khaled, A. E. & Gutta, V., 16/10/2017, MobiCom '17 Proceedings of the 23rd Annual International Conference on Mobile Computing and Networking. New York: ACM, p. 480-482 3 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The Role of IT and Knowledge Management Capabilities in Generating Innovation Knowledge in Telecom Companies

AL-Jaafreh, A. & Fayoumi, A., 11/10/2017, Proceedings of the 28th Australasian Conference on Information Systems. ACIS, 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The Role of Big Data Analytics in Innovation: A Study from The Telecom Industry

AL-Jaafreh, A. & Fayoumi, A., 11/10/2017, Proceedings of the 28th Australasian Conference on Information Systems. ACIS, 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A flexible approach for finding optimal paths with minimal conflicts

Bowles, J. & Caminati, M. B., 11/10/2017, ICFEM: International Conference on Formal Engineering Methods. Springer, Vol. 10610. p. 209-225

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Understanding Source Location Privacy Protocols in Sensor Networks via Perturbation of Time Series

Bradbury, M. & Jhumka, A., 5/10/2017, IEEE INFOCOM 2017 - IEEE Conference on Computer Communications. IEEE, p. 1611-1619 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A cascade of deep learning fuzzy rule-based image classifier and SVM

Angelov, P. P. & Gu, X., 5/10/2017, Systems, Man, and Cybernetics (SMC), 2017 IEEE International Conference on: Human Intelligence for Systems and Cybernetics. IEEE, p. 746-751 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Optimise web browsing on heterogeneous mobile platforms: a machine learning based approach

Ren, J., Gao, L., Wang, H. & Wang, Z., 5/10/2017, IEEE International Conference on Computer Communications (INFOCOM), 2017. IEEE, 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Development of a UHF transponder for geological monitoring of boreholes drilled through ice sheets using phase-sensitive FMCW radar

Amiri, A., Brennan, P. V. & Lok, L. B., 4/10/2017, 2017 IEEE MTT-S International Microwave Symposium, IMS 2017. Institute of Electrical and Electronics Engineers Inc., p. 1746-1749 4 p. 8058982

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

On Search Powered Navigation

Dehghani, M., Jagfeld, G., Azarbonyad, H., Olieman, A., Kamps, J. & Marx, M., 1/10/2017, ICTIR '17 Proceedings of the ACM SIGIR International Conference on Theory of Information Retrieval. New York: ACM, p. 317-320 4 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Fast blur detection and parametric deconvolution of retinal fundus images

Williams, B. M., Al-Bander, B., Pratt, H., Lawman, S., Zhao, Y., Zheng, Y. & Shen, Y., 1/10/2017, Fetal, Infant and Ophthalmic Medical Image Analysis - International Workshop, FIFI 2017 and 4th International Workshop, OMIA 2017 Held in Conjunction with MICCAI 2017, Proceedings. Cardoso, M. J. & Arbel, T. (eds.). Cham: Springer-Verlag, p. 194-201 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10554 ).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Greener synthesis of styrene carbonate from CO2 using graphene-inorganic nanocomposite catalysts

Onyenkeadi, V., SUELA, KELLICI. & Saha, B., 1/10/2017, 10th World Congress of Chemical Engineering (WCCE10), Barcelona, Spain.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

One-step production of biodiesel from high acid value waste cooking oil using supercritical methanol

Aboelazayem, O., Gadalla, M. & Saha, B., 1/10/2017, 10th World Congress of Chemical Engineering (WCCE10), Barcelona, Spain.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

Fett, D., Küsters, R. & Schmitz, G., 28/09/2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review