Research Output 1965 2020

Filter
Conference Paper
2020

Retrieving text-based surrounding objects in spatial databases

Shen, B., Islam, M. S., Taniar, D. & Wang, J., 2020, Advanced Information Networking and Applications: Proceedings of the 33rd International Conference on Advanced Information Networking and Applications (AINA-2019). Barolli, L., Takizawa, M., Xhafa, F. & Enokido, T. (eds.). Cham Switzerland: Springer, p. 927-939 13 p. (Advances in Intelligent Systems and Computing; vol. 926).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2019

A dynamic cross-domain access control model for collaborative healthcare application

Salehi, A., Rudolph, C. & Grobler, M., 2019, IFIP/IEEE International Symposium on Integrated Network Management, IM 2019. Clemm, A., Ata, S. & Francois, J. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 643-648 6 p. 8717924

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

A flexible instant payment system based on blockchain

Zhong, L., Wang, H., Xie, J., Qin, B., Liu, J. K. & Wu, Q., 2019, Information Security and Privacy: 24th Australasian Conference, ACISP 2019 Christchurch, New Zealand, July 3–5, 2019 Proceedings. Jang-Jaccard, J. & Guo, F. (eds.). Cham Switzerland: Springer, p. 289-306 18 p. (Lecture Notes in Computer Science ; vol. 11547 ).

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

A hybrid missing data imputation method for constructing city mobility indices

Nikfalazar, S., Yeh, C-H., Bedingfield, S. E. & Akbarzadeh Khorshidi, H., 2019, Data Mining - 16th Australasian Conference, AusDM 2018 Bahrurst, NSW, Australia, November 28–30, 2018 Revised Selected Papers. Islam, R., Koh, Y. S., Zhao, Y., Warwick, G., Stirling, D., Li, C-T. & Islam, Z. (eds.). Singapore Singapore: Springer, p. 135-148 14 p. (Communications in Computer and Information Science; vol. 996).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A left-to-right algorithm for likelihood estimation in gamma-poisson factor analysis

Capdevila, J., Cerquides, J., Torres, J., Petitjean, F. & Buntine, W., 2019, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2018 Dublin, Ireland, September 10–14, 2018 Proceedings, Part II. Berlingerio, M., Bonchi, F., Gärtner, T., Hurley, N. & Ifrim, G. (eds.). Cham Switzerland: Springer, p. 638-654 17 p. (Lecture Notes in Computer Science ; vol. 11052 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A multi-client DSSE scheme supporting range queries

Loh, R., Zuo, C., Liu, J. K. & Sun, S. F., 2019, Information Security and Cryptology : 14th International Conference, Inscrypt 2018 Fuzhou, China, December 14–17, 2018 Revised Selected Papers. Guo, F., Huang, X. & Yung, M. (eds.). Cham Switzerland: Springer, p. 289-307 19 p. (Lecture Notes in Computer Science ; vol. 11449 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A multi-level competencies framework for the successful delivery of major infrastructure projects

Foster, S., Ahmad, S., Sohal, A., Prajogo, D., Algeo, C. & Moehler, R. C., 2019, 14th International Conference Organization, Technology and Management in Construction and 7th International Project Management Association Research Conference: Conference Proceedings. Završki, I., Cerić, A., Vukomanović, M., Huemann, M. & Ronggui, D. (eds.). Zagreb Croatia: Croatian Association for Construction Management, p. 403-23 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Analysing emerging topics across multiple social media platforms

Pokharel, R., Delir Haghighi, P., Jayaraman, P. & Georgakopoulos, D., 2019, Proceedings of the Australasian Computer Science Week Multiconference 2019. Sahama, T. & Wang, Y. (eds.). New York NY USA: Association for Computing Machinery (ACM), 9 p. 16

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Analyzing use of high privileges on android: an empirical case study of screenshot and screen recording applications

Meng, M. H., Bai, G., Liu, J. K., Luo, X. & Wang, Y., 2019, Information Security and Cryptology: 14th International Conference, Inscrypt 2018 Fuzhou, China, December 14–17, 2018 Revised Selected Papers. Guo, F., Huang, X. & Yung, M. (eds.). Cham Switzerland: Springer, p. 349-369 21 p. (Lecture Notes in Computer Science ; vol. 11449 ).

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

An encrypted database with enforced access control and blockchain validation

Sui, Z., Lai, S., Zuo, C., Yuan, X., Liu, J. K. & Qian, H., 2019, Information Security and Cryptology: 14th International Conference, Inscrypt 2018 Fuzhou, China, December 14–17, 2018 Revised Selected Papers. Guo, F., Huang, X. & Yung, M. (eds.). Cham Switzerland: Springer, p. 260-273 14 p. (Lecture Notes in Computer Science ; vol. 11449 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A neural model for method name generation from functional description

Gao, S., Chen, C., Xing, Z., Ma, Y., Song, W. & Lin, S-W., 2019, SANER ’19 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering: February 24-27, 2019 Hangzhou, China. Wang, X., Lo, D. & Shihab, E. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 411-421 11 p. 8667994

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

An investigation into prediction + optimisation for the knapsack problem

Demirović, E., Stuckey, P. J., Bailey, J., Chan, J., Leckie, C., Ramamohanarao, K. & Guns, T., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 241-257 17 p. (Lecture Notes in Computer Science; vol. 11494 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Anonymity reduction attacks to Monero

Wijaya, D. A., Liu, J., Steinfeld, R., Liu, D. & Yuen, T. H., 2019, Information Security and Cryptology: 14th International Conference, Inscrypt 2018 Fuzhou, China, December 14–17, 2018 Revised Selected Papers. Guo, F., Huang, X. & Yung, M. (eds.). Cham Switzerland: Springer, p. 86-100 15 p. (Lecture Notes in Computer Science; vol. 11449 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A study of educational data mining: evidence from a Thai university

Trakunphutthirak, R., Cheung, Y. P. & Lee, V. C. S., 2019, (Accepted/In press) Proceedings of AAAI19-Thirty-Third AAAI conference on Artificial Intelligence: 27 Jan-1 Feb 2019, Honolulu. Van Hentenryck, P. & Zhou, Z-H. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Autonomy, authenticity, authorship and intention in computer generated art

McCormack, J., Gifford, T. & Hutchings, P., 2019, Computational Intelligence in Music, Sound, Art and Design: 8th International Conference, EvoMUSART 2019 Held as Part of EvoStar 2019 Leipzig, Germany, April 24–26, 2019 Proceedings. Ekárt, A., Liapis, A. & Castro Pena, M. L. (eds.). Cham Switzerland: Springer, p. 35-50 16 p. (Lecture Notes in Computer Science ; vol. 11453 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

Benchmarking IoT context management platforms: high-level queries matter

Medvedev, A., Hassani, A., Zaslavsky, A., Delir Haghighi, P., Ling, C. & Jayaraman, P., 2019, 2019 IEEE Global Internet of Things Summit (GIoTS) Proceedings. Skarmeta, A., Presser, M., Kanti Datta, S., Krishna Maddali, B., Rajasegarar, S. & Zyane, A. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

BiDaML: a suite of visual languages for supporting end-user data analytics

Khalajzadeh, H., Abdelrazek, M., Grundy, J., Hosking, J. & He, Q., 2019, Proceedings - 2019 IEEE International Congress on Big Data . Bertino, E., K. Chang, C., Chen, P., Damiani, E., Goul, M. & Oyama, K. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 93-97 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Branch-and-cut-and-price for Multi-Agent Pathfinding

Lam, E., Bodic, P. L., Harabor, D. D. & Stuckey, P. J., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). California USA: International Joint Conferences on Artificial Intelligence, p. 1289-1296 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Camera Obscurer: generative art for design inspiration

Singh, D., Rajcic, N., Colton, S. & McCormack, J., 2019, Computational Intelligence in Music, Sound, Art and Design: 8th International Conference, EvoMUSART 2019 Held as Part of EvoStar 2019 Leipzig, Germany, April 24–26, 2019 Proceedings. Ekárt, A., Liapis, A. & Castro Pena, M. L. (eds.). Cham Switzerland: Springer, p. 51-68 18 p. (Lecture Notes in Computer Science ; vol. 11453).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

"Can I trust the data I see?": a physician's concern on medical data in IoT health architectures

Jaigirdar, F. T., Rudolph, C. & Bain, C., 2019, ACSW'19 - Proceedings of the Australasian Computer Science Week Multiconference: Sydney, NSW, Australia — January 29 - 31, 2019. Wang, Y. & Patterson, D. (eds.). New York NY USA: Association for Computing Machinery (ACM), 10 p. 27

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Cognate identification to improve phylogenetic trees for Indian languages

Kanojia, D., Bhattacharyya, P., Kulkarni, M. & Haffari, G., 2019, CODS-COMAD 2019 : Proceedings of the 6th ACM IKDD CoDS and 24th COMAD, January 3 - 5, 2019, Kolkata, India. Krishnapuram, R. & Singla, P. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 297-300 4 p. 150

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Constraint programming for dynamic symbolic execution of JavaScript

Amadini, R., Andrlon, M., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 1-19 19 p. (Lecture Notes in Computer Science ; vol. 11494 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Core-boosted linear search for incomplete MaxSAT

Berg, J., Demirović, E. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: and Operations Research 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 39-56 18 p. (Lecture Notes in Computer Science ; vol. 11494 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

DeepCT: tomographic combinatorial testing for deep learning systems

Ma, L., Juefei-Xu, F., Xue, M., Li, B., Li, L., Liu, Y. & Zhao, J., 2019, 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Wang, X., Lo, D. & Shihab, E. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 614-618 5 p. 8668044

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Designing efficacious mobile technologies for anxiety self-regulation

Senaratne, H., Ellis, K., Oviatt, S. & Melvin, G., 2019, CHI’19 Extended Abstracts: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Cox, A. & Kostakos, V. (eds.). New York NY USA: Association for Computing Machinery (ACM), 6 p. LBW1819

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Elastic bands across the path: a new framework and method to lower bound DTW

Tan, C. W., Petitjean, F. & Webb, G. I., 2019, Proceedings of the 2019 SIAM International Conference on Data Mining. Berger-Wolf, T. & Chawla, N. (eds.). Philadelphia PA USA: Society for Industrial & Applied Mathematics (SIAM), p. 522-530 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Evaluating CryptoNote-style blockchains

Han, R., Yu, J., Liu, J. & Zhang, P., 2019, Information Security and Cryptology : 14th International Conference, Inscrypt 2018 Fuzhou, China, December 14–17, 2018 Revised Selected Papers. Guo, F., Huang, X. & Yung, M. (eds.). Cham Switzerland: Springer, p. 29-48 20 p. (Lecture Notes in Computer Science ; vol. 11449 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Exploring the potential of social annotations for predictive and descriptive analytics

Singh, S., 2019, Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education. Pears, A. & Sabin, M. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 247-248 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

Open Access
File

Fast-to-finalize Nakamoto-like consensus

Tang, S., Chow, S. S. M., Liu, Z. & Liu, J. K., 2019, Information Security and Privacy: 24th Australasian Conference, ACISP 2019 Christchurch, New Zealand, July 3–5, 2019 Proceedings. Jang-Jaccard, J. & Guo, F. (eds.). Cham Switzerland: Springer, p. 271-288 18 p. (Lecture Notes in Computer Science ; vol. 11547 ).

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

Gabber: supporting voice in participatory qualitative practices

Rainey, J., Montague, K., Briggs, P., Anderson, R., Nappey, T. & Olivier, P., 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems: May 4–9, 2019 Glasgow, Scotland UK. Cox, A. & Kostakos, V. (eds.). New York NY USA: Association for Computing Machinery (ACM), 12 p. 377

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

GraphSE2: an encrypted graph database for privacy-preserving social search

Lai, S., Yuan, X., Sun, S-F., Liu, J. K., Liu, Y. & Liu, D., 2019, Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security. Gollmann, D., Kirda, E. & Liang, Z. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 41-54 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Hardening database padding for searchable encryption

Xu, L., Yuan, X., Wang, C., Wang, Q. & Xu, C., 2019, IEEE INFOCOM 2019 - IEEE Conference on Computer Communications. Lou, W., Pau, G. & Wolf, T. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 2503-2511 9 p. 8737588

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

IATK: an Immersive Analytics Toolkit

Cordeil, M., Cunningham, A., Bach, B., Hurter, C., Thomas, B. H., Marriott, K. & Dwyer, T., 2019, 26th IEEE Conference on Virtual Reality and 3D User Interfaces - Proceedings. Teather, R., Itoh, Y., Gabbard, J., Argelaguet, F., Olivier, A-H. & Keefe, D. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 200-209 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Improving what cross-modal retrieval models learn through object-oriented inter- and intra-modal attention networks

Huang, P-Y., Vaibhav, Chang, X. & Hauptmann, A. G., 2019, ICMR’19 - Proceedings of the 2019 ACM International Conference on Multimedia Retrieval: June 10–13, 2019, Ottawa, ON, Canada. Candan, K. S., Bertini, M., Xie, L. & Wei, X-Y. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 244-252 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

In a silent way: communication between AI and improvising musicians beyond sound

McCormack, J., Teresa Llano Rodriguez, M., Gifford, T., Yee-King, M., Hutchings, P. & D’Inverno, M., 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems: May 4–9, 2019 Glasgow, Scotland UK. New York NY USA: Association for Computing Machinery (ACM), 11 p. 38

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Interaction design & prototyping for immersive analytics

Bach, B., Cordeil, M., Engelke, U., Ens, B., Serrano, M. & Willett, W., 2019, CHI’19 Extended Abstracts - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems: May 4–9, 2019 Glasgow, Scotland UK. Cox, A. & Kostakos, V. (eds.). New York NY USA: Association for Computing Machinery (ACM), 8 p. W21

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

Knowledge Graphing Git repositories: a preliminary study

Zhao, Y., Wang, H., Ma, L., Liu, Y., Li, L. & Grundy, J., 2019, Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Wang, X., Lo, D. & Shihab, E. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 599-603 5 p. 8668034

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Lattice RingCT V2.0 with Multiple Input and Multiple Output Wallets

Alberto Torres, W., Kuchta, V., Steinfeld, R., Sakzad, A., Liu, J. K. & Cheng, J., 2019, Information Security and Privacy: 24th Australasian Conference, ACISP 2019 Christchurch, New Zealand, July 3–5, 2019 Proceedings. Jang-Jaccard, J. & Guo, F. (eds.). Cham Switzerland: Springer, p. 156-175 20 p. (Lecture Notes in Computer Science ; vol. 11547 ).

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

Leveraging body interactions to support immersive analytics

Fruchard, B., Prouzeau, A., Chapuis, O. & Lecolinet, E., 2019, CHI Workshop on Immersive Analytics, May 05, 2019, Glasgow, UK. Auber, D., Drucker, S., McGuffin, M., Klein, K., Prié, Y., Vuillemot, R. & Quigley, A. (eds.). New York NY USA: Association for Computing Machinery (ACM), 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

Open Access
File

Leveraging student self-reports to predict learning outcomes

Singh, S., 2019, Artificial Intelligence in Education: 20th International Conference, AIED 2019 Chicago, IL, USA, June 25–29, 2019 Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., Hastings, P., McLaren, B. & Luckin, R. (eds.). Cham Switzerland: Springer, p. 398-403 6 p. (Lecture Notes in Computer Science ; vol. 11626 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Local Rapid Learning for integer programs

Berthold, T., Stuckey, P. J. & Witzig, J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 67-83 17 p. (Lecture Notes in Computer Science ; vol. 11494).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Magnetips: combining fingertip tracking and haptic feedback for around-device interaction

Mcintosh, J., Strohmeier, P., Knibbe, J., Boring, S. & Hornbæk, K., 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Cox, A. & Kostakos, V. (eds.). New York NY USA: Association for Computing Machinery (ACM), 12 p. 408

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Mapping the margins: navigating the ecologies of domestic violence service provision

Bellini, R., Strohmayer, A., Olivier, P. & Crivellaro, C., 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems: May 4–9, 2019 Glasgow, Scotland UK. Cox, A. & Kostakos, V. (eds.). New York NY USA: Association for Computing Machinery (ACM), 13 p. 122

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Merging intelligent API responses using a proportional representation approach

Ohtake, T., Cummaudo, A., Abdelrazek, M., Vasa, R. & Grundy, J., 2019, Web Engineering: 19th International Conference, ICWE 2019 Daejeon, South Korea, June 11–14, 2019 Proceedings. Bakaev, M., Frasincar, F. & Ko, I-Y. (eds.). Cham Switzerland: Springer, p. 391-406 16 p. (Lecture Notes in Computer Science ; vol. 11496 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Multi-hop path queries over knowledge graphs with neural memory networks

Wang, Q., Yin, H., Wang, W., Huang, Z., Guo, G. & Nguyen, Q. V. H., 2019, Database Systems for Advanced Applications: 24th International Conference, DASFAA 2019 Chiang Mai, Thailand, April 22–25, 2019 Proceedings, Part I. Li, G., Yang, J., Gama, J., Natwichai, J. & Tong, Y. (eds.). Cham Switzerland: Springer, p. 777-794 18 p. (Lecture Notes in Computer Science ; vol. 11446 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Multi-Writer Searchable Encryption: an LWE-based realization and implementation

Xu, L., Yuan, X., Steinfeld, R., Wang, C. & Xu, C., 2019, Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security. Gollmann, D., Kirda, E. & Liang, Z. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 122-133 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Online probabilistic goal recognition over nominal models

Pereira, R. F., Vered, M., Meneguzzi, F. & Ramirez, M., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). California USA: International Joint Conferences on Artificial Intelligence, p. 5547-5553 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

On the shoulder of the giant: a multi-scale mixed reality collaboration with 360 video sharing and tangible interaction

Piumsomboon, T., Lee, G. A., Irlitti, A., Ens, B., Thomas, B. H. & Billinghurst, M., 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Cox, A. & Kostakos, V. (eds.). New York NY USA: Association for Computing Machinery (ACM), 17 p. 228

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

On the unforkability of Monero

Wijaya, D. A., Liu, J. K., Steinfeld, R., Liu, D. & Yu, J., 2019, Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security. Gollmann, D., Kirda, E. & Liang, Z. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 621-632 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Optimal context-sensitive Dynamic Partial Order Reduction with observers

Albert, E., De La Banda, M. G., Gómez-Zamalloa, M., Isabel, M. & Stuckey, P. J., 2019, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 352-362 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review