Research Output

Filter
Conference contribution
2020

Account and Transaction Protocol of the Open Banking Standard

Almehrej, A., Freitas, L. & Modesti, P., 22 May 2020, Rigorous State-Based Methods, 7th International Conference, ABZ 2020. Raschke, A., Méry, D. & Houdek, F. (eds.). Springer International Publishing AG, Vol. 12071. 7 p. (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
4 Downloads (Pure)

Cost Effective Interventions in Complex Networks Using Agent-Based Modelling and Simulations: Doctoral Consortium

Cimpeanu, T., 9 May 2020, Proceedings of AAMAS'20. Association for Computing Machinery (ACM), p. 2188-2190 (AAMAS Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Curvature-Based Sparse Rule Base Generation for Fuzzy Interpolation Using Menger Curvature

Zuo, Z., Li, J. & Yang, L., 31 Jan 2020, Advances in Computational Intelligence Systems - Contributions Presented at the 19th UK Workshop on Computational Intelligence, 2019. Ju, Z., Zhou, D., Gegov, A., Yang, L. & Yang, C. (eds.). Springer-Verlag, p. 53-65 13 p. (Advances in Intelligent Systems and Computing; vol. 1043).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fear of Punishment Promotes the Emergence of Cooperation and Enhanced Social Welfare in Social Dilemmas

Cimpeanu, T. & Han, T. A., 9 May 2020, Proceedings of AAMAS'20. Association for Computing Machinery (ACM), p. 1819-1821 (AAMAS Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?

Tao, Y., Tang, S., Liu, Y., Xu, Z. & Qin, S., 9 Jan 2020, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. IEEE, p. 665-668 4 p. (IEEE/ACM International Conference on Automated Software Engineering (ASE)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
14 Downloads (Pure)

Lost in Disclosure: On the Inference of Password Composition Policies

Johnson, S., Ferreira, J., Mendes, A. & Cordry, J., 13 Feb 2020, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE, p. 264-269 6 p. (Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
29 Downloads (Pure)

MemLock: Memory Usage Guided Fuzzing

Wen, C., Wang, H., Li, Y., Qin, S., Liu, Y., Xu, Z., Chen, H., Xie, X., Pu, G. & Liu, T., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM, 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
11 Downloads (Pure)

Reading to Level Up: Gamifying Reading Fluency

Sezen, D., Massler, U., Ribeiro, P., Haake, S., Iurgel, I. & Parente, A., 29 Jan 2020, Technology, Innovation, Entrepreneurship and Education: Conference proceedings TIE 2019. Sylla, C. & Iurgel, I. (eds.). Springer, Vol. 307. p. 3-12

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities

Wang, H., Xie, X., Li, Y., Wen, C., Li, Y., Liu, Y., Qin, S., Chen, H. & Sui, Y., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
36 Downloads (Pure)
2019

ABAC Requirements Engineering for Database Applications

Longstaff, J. & He, M., 29 Jul 2019, Proceedings: 2019 13th International Symposium on Theoretical Aspects of Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 33 - 40 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
75 Downloads (Pure)

Adaptive Activation Function Generation Through Fuzzy Inference for Grooming Text Categorisation

Zuo, Z., Li, J., Wei, B., Yang, L., Fei, C. & Naik, N., 23 Jun 2019, IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2019 .

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
63 Downloads (Pure)

A Data-driven Approach to Solve a Production Constrained Build-order Optimization Problem

Wang, P., Zeng, Y., Chen, B. & Cao, L., 17 Oct 2019, Proceedings of the 38th Chinese Control Conference. Fu, M. & Sun, J. (eds.). IEEE, p. 2692-2697 (Chinese Control Conference (CCC); vol. 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
88 Downloads (Pure)

A Learning Design Framework to Support Children with Learning Disabilities Incorporating Gamification Techniques

Shaban, A. & Pearson, E., 9 May 2019, CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems: Weaving The Threads of CHI. 3312806. (Conference on Human Factors in Computing Systems - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
231 Downloads (Pure)

An Empirical Research on the Investment Strategy of Stock Market based on Deep Reinforcement Learning model

Li, Y., Ni, P. & Chang, V., 1 Jan 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 52-58 7 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A review on ethical issues for smart connected toys in the context of big data

Chang, V., Li, Z. & Ramachandran, M., 2 May 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 149-156 8 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
48 Downloads (Pure)

A review on how big data analytics can influence education

Chang, V., Xu, Q. & Mendez, V., 1 Jan 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 130-138 9 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
29 Downloads (Pure)

A security framework to protect data in cloud storage

Yahya, F., Chang, V., Walters, R. J. & Wills, G. B., 2 May 2019, IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security. Chang, V., Ramachandran, M., Walters, R., Munoz, V. M. & Wills, G. (eds.). SciTePress, p. 307-314 8 p. (IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Social App that Combines Dating and Museum Visiting Experiences

Akçalı, A., Iurgel, I. A. & Sezen, T., 31 Jan 2019, Interactivity, Game Creation, Design, Learning, and Innovation. Brooks, A. L., Brooks, E. & Sylla, C. (eds.). Springer, Vol. 265. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 265).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Storytelling Smart-City Approach to Further Cross-Regional Tourism

Fischöder, N., Iurgel, I. A., Sezen, T. I. & van Turnhout, K., 31 Jan 2019, Interactivity, Game Creation, Design, Learning, and Innovation: ArtsIT 2018, DLI 2018, Proceedings. Brooks, A. L., Brooks, E. & Sylla, C. (eds.). Springer, p. 266-275

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A survey on RFID security and privacy in smart medical: Threats and protections

Shi, X., Cao, J., Lu, T. & Chang, V., 2 May 2019, IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security. Chang, V., Ramachandran, M., Walters, R., Munoz, V. M. & Wills, G. (eds.). SciTePress, p. 278-285 8 p. (IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bi-Abductive Inference for Shape and Ordering Properties

Curry, C., Le, Q. L. & Qin, S., 26 Aug 2019, the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
63 Downloads (Pure)

Blending into the white box of the art museum

Lange, V., Van Beuzekom, M., Hansma, M., Jeurens, J., Van Den Oever, W., Regterschot, M., Treffers, J., Van Turnhout, K., Sezen, T. I., Iurgel, I. & Bakker, R., Nov 2019, HTTF 2019: Proceedings of the Halfway to the Future Symposium 2019. Fischer, J. E., Martindale, S., Porcheron, M., Reeves, S. & Spence, J. (eds.). Association for Computing Machinery (ACM), 25

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Clustering and Classification of a Qualitative Colorimetric Test

Hoque Tania, M., Lwin, K. T., Shabut, A. M. & Hossain, A., 7 Mar 2019, Proceedings - 2018 International Conference on Computing, Electronics and Communications Engineering, iCCECE 2018. Excell, P. S., Ali, M., Jones, A., Soomro, S. & Miraz, M. H. (eds.). Institute of Electrical and Electronics Engineers Inc., 5 p. 8658480. (Proceedings - 2018 International Conference on Computing, Electronics and Communications Engineering, iCCECE 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Concolic Testing Heap-Manipulating Programs

Pham, L. H., Le, Q. L., Phan, Q-S. & Sun, J., 12 Jun 2019, (Accepted/In press) 23rd International Symposium on Formal Methods (FM 2019). Springer, 21 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
78 Downloads (Pure)

Ethical problems of smart wearable devices

Chang, V., Xu, X., Wong, B. & Mendez, V., 2 May 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 121-129 9 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
76 Downloads (Pure)

Exogenous Rewards for Promoting Cooperation in Scale-Free Networks

Cimpeanu, T., Han, T. A. & Santos, F. C., 15 Jul 2019, ALIFE 2019: The 2019 Conference on Artificial Life. Fellermann, H., Bacardit, J., Goñi-Moreno, Á. & Füchslin, R. M. (eds.). 31 ed. MIT Press, p. 316-323 (Artificial Life Conference Proceedings; no. 31).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
80 Downloads (Pure)

Locating Vulnerabilities in Binaries via Memory Layout Recovering

Wang, H., Xie, X., Lin, S-W., Lin, Y., Li, Y., Qin, S., Liu, Y. & Liu, T., 26 Aug 2019, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
258 Downloads (Pure)

Modelling and influencing the AI bidding war: A research agenda

Han, T. A., Pereira, L. M. & Lenaerts, T., 27 Jan 2019, AIES 2019 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society. Association for Computing Machinery, Inc, p. 5-11 7 p. (AIES 2019 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
30 Downloads (Pure)

ODE-Driven Sketch-Based Organic Modelling

Li, O., Deng, Z., Bian, S., Noreika, A., Jin, X., Kazmi, I. K., You, L. & Zhang, J. J., 12 Jun 2019, Advances in Computer Graphics - 36th Computer Graphics International Conference, CGI 2019, Proceedings: 36th Computer Graphics International Conference, CGI 2019, Calgary, AB, Canada, June 17–20, 2019, Proceedings. Gavrilova, M., Thalmann, N. M., Ishikawa, H., Chang, J., Thalmann, N. M. & Hitzer, E. (eds.). p. 453-460 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11542 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
115 Downloads (Pure)

Pathways to Good Healthcare Services and Patient Satisfaction: An Evolutionary Game Theoretical Approach

Alalawi, Z., Han, T. A., Zeng, Y. & Elragig, A. (ed.), 29 Jul 2019, Proceedings of the 2019 Conference on Artificial Life : Alife 2019. MIT Press, Vol. 31. 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
70 Downloads (Pure)

Privacy and ethical issues of big data in the airline industry

Chang, V., Ji, Z. & Arami, M., 2 May 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 139-148 10 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
137 Downloads (Pure)

Promoting Cooperation through External Interference

Han, T. A., Tran-Thanh, L., Lynch, S., Cimpeanu, T-I. & Santos, F. C., 15 Jul 2019, ALIFE 2019: The 2019 Conference on Artificial Life. Fellermann, H., Bacardit, J., Goñi-Moreno, Á. & Füchslin, R. M. (eds.). 31 ed. MIT Press, p. 331-332 2 p. (Artificial Life Conference Proceedings; no. 31).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
79 Downloads (Pure)

Random Decision DAG: An Entropy Based Compression Approach for Random Forest

Liu, X., Liu, X., Lai, Y., Yang, F. & Zeng, Y., 24 Apr 2019, Database Systems for Advanced Applications - DASFAA 2019 International Workshops: BDMS, BDQM, and GDMA, Proceedings. Li, G., Gama, J., Tong, Y., Yang, J. & Natwichai, J. (eds.). Springer Verlag, p. 319-323 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11448 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Self-Improving Generative Adversarial Reinforcement Learning

Liu, Y., Zeng, Y., Chen, Y. & Tang, J., 15 May 2019, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. IFAAMAS, Vol. 1. p. 52-60 ( ACM International Conference on Autonomous Agents and Multiagent Systems. Proceedings ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Smart healthcare and ethical issues

Chang, V., Cao, Y., Li, T., Shi, Y. & Baudier, P., 5 May 2019, FEMIB 2019 - 1st International Conference on Finance, Economics, Management and IT Business. Baudier, P., Arami, M., Bu, R. & Chang, V. (eds.). SciTePress, p. 53-59 7 p. (FEMIB 2019 - 1st International Conference on Finance, Economics, Management and IT Business).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
26 Downloads (Pure)

Using automated state space planning for effective management of visual information and learner’s attention in virtual reality

Ladeinde, O., Razzaque, M. A. & Han, T. A., 24 Aug 2019, Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference IntelliSys Volume 2. Bi, Y., Bhatia, R. & Kapoor, S. (eds.). Springer-Verlag, Vol. 1038. p. 24-40 17 p. 231009. (Advances in Intelligent Systems and Computing; vol. 1038).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Word Segmentation for Chinese Judicial Documents

Yao, L., Ge, J., Li, C., Yao, Y., Li, Z., Zeng, J., Luo, B. & Chang, V., 13 Sep 2019, Data Science - 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Proceedings. Cheng, X., Jing, W., Song, X. & Lu, Z. (eds.). Springer-Verlag, p. 466-478 13 p. (Communications in Computer and Information Science; vol. 1058).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

A Top-Down Narrative Design Approach for Networked Cultural Institutions

Sezen, T. I., Iurgel, I., Fischöder, N., Bakker, R., Turnhout, K. V. & Sezen, D., 21 Nov 2018, Interactive Storytelling. Rouse, R., Koenitz, H. & Haahr, M. (eds.). Springer, p. 627-632 ( Lecture Notes in Computer Science; vol. 11318).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Benchmark framework for virtual students' behaviours

Lugrin, J. L., Charles, F., Habel, M., Matthews, J., Porteous, J., Dudaczy, H., Oberdörfer, S., Wittmann, A., Seufert, C., Grafe, S. & Latoschik, M. E., 16 Jul 2018, 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 2236-2238 3 p. (AAMAS Electronic Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
27 Downloads (Pure)

Card-Based Methods in Interactive Narrative Prototyping

Koenitz, H., Dubbelman, T., Knoller, N., Roth, C., Haahr, M., Sezen, D. & Sezen, T. I., 21 Nov 2018, Interactive Storytelling: 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5–8, 2018, Proceedings. Rouse, R., Koenitz, H. & Haahr, M. (eds.). Springer, Vol. 11318. p. 552-555 4 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Frame inference for inductive entailment proofs in separation logic

Le, Q. L., Sun, J. & Qin, S., 12 Apr 2018, Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14 – 20, 2018 Proceedings, Part I. Springer Open, p. 41-60 20 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
117 Downloads (Pure)

Testing heap-based programs with Java StarFinder

Pham, L. H., Le, Q. L., Phan, Q. S., Sun, J. & Qin, S., 27 May 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 268-269 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a program logic for C11 release-sequences

He, M., Qin, S. & Ferreira, J., 4 Dec 2018, Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018. Institute of Electrical and Electronics Engineers Inc., 8560730. (Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards ‘verifying’ a water treatment system

Wang, J., Sun, J., Jia, Y., Qin, S. & Xu, Z., 12 Jul 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer Verlag, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 10951 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Implementing heterogeneous, autonomous, and resilient services in IoT: An experience report

Cabrera, C., Li, F., Nallur, V., Palade, A., Razzaque, M. A., White, G. & Clarke, S., 10 Jul 2017, 2017 IEEE 18th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) . Institute of Electrical and Electronics Engineers Inc., 7974341. (IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Middleware for Internet of Things: A quantitative evaluation in small scale

Palade, A., Cabrera, C., White, G., Razzaque, M. A. & Clarke, S., 13 Jul 2017, 2017 IEEE 18th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) . Institute of Electrical and Electronics Engineers Inc., 7974340. (IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

On Markov Games Played by Bayesian and Boundedly-Rational Players

Chandrasekaran, M., Chen, Y. & Doshi, P., 13 Feb 2017, Proceedings of 31st AAAI Conference on Artificial Intelligence. AAAI, 7 p. ( Proceedings of the AAAI conference on artificial intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
5 Downloads (Pure)
2016

A novel cuckoo search based clustering algorithm for wireless sensor networks

Adnan, M. A., Razzaque, M. A., Abedin, M. A., Salim Reza, S. M. & Hussein, M. R., 1 Jan 2016, Advanced Computer and Communication Engineering Technology - Proceedings of ICOCOE 2015. Sulaiman, H. A., Othman, M. A., Othman, M. F. I., Rahim, Y. A. & Pee, N. C. (eds.). Springer Verlag, p. 621-634 14 p. (Lecture Notes in Electrical Engineering; vol. 362).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Compression-based energy efficient sensor data gathering framework for smartphones

Razzaque, M. A. & Clarke, S., 26 Sep 2016, 2016 International Wireless Communications and Mobile Computing Conference, IWCMC 2016. Institute of Electrical and Electronics Engineers Inc., p. 126-132 7 p. 7577045. (2016 International Wireless Communications and Mobile Computing Conference, IWCMC 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Decision procedure for separation logic with inductive predicates and Presburger arithmetic

Tatsuta, M., Le, Q. L. & Chin, W-N., 9 Oct 2016, Programming Languages and Systems.: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. Vol. 10017. ( Lecture Notes in Computer Science book series ; vol. 10017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
61 Downloads (Pure)