School of Computing, Engineering & Digital Technologies

Research Output

Filter
Conference article
Conference article

A framework for a web-based toolset to support the teaching of software and web engineering

Lockyer, M., Griffiths, G., Hebbron, B. & Oates, B., 1 Dec 2003, In : Proceedings - Frontiers in Education Conference. 3

Research output: Contribution to journalConference article

A network-based ranking approach to discover places visited by tourists from geo-located tweets

Cortesi, N., Gotti, K., Psaila, G., Burini, F., Lwin, K. T. & Hossain, A., 19 Feb 2018, In : 2017 11th International Conference on Software, Knowledge, Information Management and Applications (SKIMA). 8 p.

Research output: Contribution to journalConference article

Application of neural networks trained with multizone models for fast detection of contaminant source position in buildings

Vukovic, V. & Srebric, J., 1 Dec 2007, In : ASHRAE Transactions. 113, 2, p. 154-162 9 p.

Research output: Contribution to journalConference article

19 Citations (Scopus)

Assessing the impact of redundancy on performance and reliability in a drive-by-wire system

Short, M., Fang, J., Pont, M. J. & Rajabzadeh, A., 1 Jan 2006, In : SAE Technical Papers.

Research output: Contribution to journalConference article

1 Citation (Scopus)

Backpressure meets taxes: Faithful data collection in stochastic mobile phone sensing systems

Yang, S. S., Adeel, U. U. & McCann, J. J., 24 Aug 2015, In : Proceedings - IEEE INFOCOM.

Research output: Contribution to journalConference article

Open Access
File
134 Downloads (Pure)

Bioinformatics challenges and potentialities in studying extreme environments

Angione, C., Lió, P., Pucciarelli, S., Can, B., Conway, M., Lotti, M., Bukhari, H., Mancini, A., Sezerman, U. & Telatin, A., 31 Jul 2016, In : Lecture Notes in Bioinformatics. 9874

Research output: Contribution to journalConference article

Open Access
File
136 Downloads (Pure)

Causal perception in virtual environments

Lugrin, J-L. J-L., Cavazza, M. O. M. & Buehner, M. M., 2006, In : Lecture Notes in Computer Science. 4073, p. 50-61

Research output: Contribution to journalConference article

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG

Xu, Z., Ren, K., Qin, S. & Craciun, F., 11 Oct 2018, In : Formal Methods and Software Engineering. 11232 , p. 177-193

Research output: Contribution to journalConference article

Open Access
File
226 Downloads (Pure)

Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning

Pham, L. H., Sun, J. & Le, Q. L., 18 Nov 2019, In : Lecture Notes in Computer Science. 11893, p. 405-424 20 p.

Research output: Contribution to journalConference article

13 Downloads (Pure)

Creating Inclusive HMI Concepts for Future Cars Using Visual Scenario Storyboards Through Design Ethnography

Kunur, M., Langdon, P., Bradley, M., Bichard, J-A., Glazer, E., Doran, F., John Clarkson, P. & Loeillet, J. J., 2 Aug 2015, In : Lecture Notes in Computer Science. 9178

Research output: Contribution to journalConference article

Open Access

Damage assessment of offshore riser-guards under accidental vessel impact

Syed, Z. I., Palaniandy, D. K. & Liew, M. S., 1 Jan 2014, In : AES-ATEMA International Conference Series - Advances and Trends in Engineering Materials and their Applications. 2014-January, January, p. 163-171 9 p.

Research output: Contribution to journalConference article

Dendritic Cell Algorithm with Fuzzy Inference System for Input Signal Generation

Elisa, N., Li, J., Zuo, Z. & Yang, L., 11 Aug 2018, In : Advances in Computational Intelligence Systems. 840, p. 203-214

Research output: Contribution to journalConference article

Development of Research and Innovation Capacity Index of HEIs on Disaster Resilience Related Studies

Hayat, E., Liyange, C., Haigh, R. & Amaratunga, D., 1 Jan 2018, In : Procedia Engineering. 212, p. 1249-1256 8 p.

Research output: Contribution to journalConference article

Open Access
File
136 Downloads (Pure)

Droplet fragmentation: 3D imaging of a previously unidentified pore-scale process during multiphase flow in porous media

Pak, T., Butler, I. B., Geiger, S., van Dijke, M. & Sorbie, K. S. K., 17 Feb 2015, In : Proceedings of the National Academy of Sciences. 112, 7

Research output: Contribution to journalConference article

Open Access
File
153 Downloads (Pure)

Dynamic QoS Solution for Enterprise Networks Using TSK Fuzzy Interpolation

Li, J., Yang, L., Fu, X., Fei, C. & Qu, Y., 24 Aug 2017, In : IEEE International Fuzzy Systems Conference. Proceedings. p. 1-6 6 p.

Research output: Contribution to journalConference article

Open Access
File
184 Downloads (Pure)

Effect of large negative phase of blast loading on structural response of RC elements

Syed, Z. I., Mendis, P. & Rahman, S. A., 1 Apr 2016, In : MATEC Web of Conferences. 47, 02015.

Research output: Contribution to journalConference article

Open Access
1 Citation (Scopus)

Emergence of coordination with asymmetric benefits via prior commitment

Bianca, O. N. & Han, T. A., 31 Jul 2019, In : ALIFE. 2019, p. 163-170 8 p.

Research output: Contribution to journalConference article

Open Access
1 Citation (Scopus)

Engineered Cementitious Composites for Modern Civil Engineering Structures in Hot Arid Coastal Climatic Conditions

Kewalramani, M. A., Mohamed, O. A. & Syed, Z. I., 23 May 2017, In : Procedia Engineering. 180, p. 767-774 8 p.

Research output: Contribution to journalConference article

Open Access
2 Citations (Scopus)

Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

Pham, L. H., Le, Q. L., Phan, Q-S., Sun, J. & Qin, S., 28 Oct 2019, In : Lecture Notes in Computer Science. 17 p.

Research output: Contribution to journalConference article

Open Access
File
57 Downloads (Pure)

Isabelle/UTP: A Mechanised Theory Engineering Framework

Foster, S., Zeyda, F. & Woodcock, J., 2014, In : Lecture Notes in Computer Science. 8963, p. 21 41 p.

Research output: Contribution to journalConference article

Job Shop Planning and Scheduling for Manufacturers with Manual Operations

Yang, L., Li, J., Fei, C., Hackney, P. & Flanagan, M., 30 Aug 2018, In : Expert Systems.

Research output: Contribution to journalConference article

Open Access
File
105 Downloads (Pure)

Linear Logic Programming for Narrative Generation

Martens, C., Bosser, A-G., Ferreira, J. F. & Cavazza, M., 2013, In : Lecture Notes in Artificial Intelligence. 8148, p. 427-432

Research output: Contribution to journalConference article

Open Access
File
141 Downloads (Pure)

MDM: A Mode Diagram Modeling Framework

Wang, Z., Pu, G., Li, J., He, J., Qin, S., Larsen, K. G., Madsen, J. & Gu, B., 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 105, p. 135-149

Research output: Contribution to journalConference article

Modelling and animating cartoon hair with NURBS surfaces

Noble, P. & Tang, W., 25 Oct 2004, In : Proceedings of Computer Graphics International Conference, CGI. p. 60-67 8 p.

Research output: Contribution to journalConference article

25 Citations (Scopus)

Non-linear Finite Element Analysis of Offshore Stainless Steel Blast Wall under High Impulsive Pressure Loads

Syed, Z. I., Mohamed, O. A. & Rahman, S. A., 20 May 2016, In : Procedia Engineering. 145, p. 1275-1282 8 p.

Research output: Contribution to journalConference article

Open Access
4 Citations (Scopus)

On the expected number and distribution of equilibria in multi-player evolutionary games

Duong, M. H. & Han, T. A., 31 Jul 2019, In : ALIFE. 2-19, p. 143-144 2 p.

Research output: Contribution to journalConference article

Open Access

Performance evaluation of carbon dioxide-alkanolamine- water system by equation of state/excess Gibbs energy models

Suleman, H., Maulud, A. S. & Man, Z., Jun 2016, In : IOP Conference Series: Earth and Environmental Science. 36, 1, p. 012002

Research output: Contribution to journalConference article

Open Access

Performance of Earthquake-resistant RCC Frame Structures under Blast Explosions

Syed, Z. I., Mohamed, O. A., Murad, K. & Kewalramani, M., 1 Jan 2017, In : Procedia Engineering. 180, p. 82-90 9 p.

Research output: Contribution to journalConference article

Open Access

Putting oneself in everybody's shoes: Pleasing enables indirect reciprocity under private assessments

Krellner, M. & Han, T. A., 14 Jul 2020, In : ALIFE. 32, p. 402-410

Research output: Contribution to journalConference article

Open Access

Quantum interferences of a single quantum dot in the case of detuning

De Vasconcellos, S. M., Stufler, S., Wegner, S. A., Ester, P., Zrenner, A. & Bichler, M., 1 Dec 2006, In : Physica Status Solidi (C) Current Topics in Solid State Physics. 3, 11, p. 3730-3733 4 p.

Research output: Contribution to journalConference article

Real time optimisation of industrial gas supply networks

Adamson, R., Hobbs, M., Silcock, A. & Montague, G., 1 Jul 2015, In : IFAC-PapersOnLine. 28, 8, p. 355-360 6 p.

Research output: Contribution to journalConference article

3 Citations (Scopus)

Selecting appropriate fuzzy PID control structure for power electronic applications

Al-Greer, M., Armstrong, M. & Pickert, V., 16 Apr 2019, In : The Journal of Engineering. 2019, 17, p. 4457-4460

Research output: Contribution to journalConference article

Open Access
File
190 Downloads (Pure)

Shape Analysis via Second-Order Bi-Abduction

Le, Q. L., Gherghina, C., Qin, S. & Chin, W-N., 2014, In : Lecture Notes in Computer Science. 8559, p. 52 68 p.

Research output: Contribution to journalConference article

Open Access
File
129 Downloads (Pure)

Solubility prediction of carbon dioxide in water by an iterative equation of state/excess Gibbs energy model

Suleman, H., Maulud, A. S. & Man, Z., 1 Jun 2016, In : IOP Conference Series: Earth and Environmental Science. 36, 1, p. 1-6

Research output: Contribution to journalConference article

Open Access

Splitting Tensile Strength of Sustainable self-consolidating Concrete

Mohamed, O. A., Syed, Z. I. & Najm, O. F., 20 May 2016, In : Procedia Engineering. 145, p. 1218-1225 8 p.

Research output: Contribution to journalConference article

Open Access
12 Citations (Scopus)

Structured Memetic Automation for Online Human-like Social Behavior Learning

Zeng, Y., Chen, X., Ong, Y. S., Tang, J. & Xiang, Y., 1 Feb 2017, In : IEEE Transactions on Evolutionary Computation. p. -

Research output: Contribution to journalConference article

Open Access
File
189 Downloads (Pure)

Towards Sound Forensic Arguments: Structured Argumentation Applied to Digital Forensics Practice

Franqueira, V. & Horsman, G., 16 Dec 2019, (Accepted/In press) In : Digital Investigation.

Research output: Contribution to journalConference article

TSK Inference with Sparse Rule Bases

Li, J., Qu, Y., Shum, H. & Yang, L., 7 Sep 2016, In : Advances in Computational Intelligence Systems. 513, p. 107-123

Research output: Contribution to journalConference article

Open Access
File
122 Downloads (Pure)

Using jet mixing techniques to enhance direct filtration

Abdulrasool, A. A., Ahmad, S. S. & Hamad, F., 31 Mar 2018, In : Journal of engineering and sustainable development. 2, 3, p. 22-34

Research output: Contribution to journalConference article

Open Access
File
62 Downloads (Pure)

UTP Semantics for BigrTiMo

Xie, W., Zhu, H. & Qin, S., 11 Oct 2018, In : Formal Methods and Software Engineering. 11232 , p. 337-353

Research output: Contribution to journalConference article

Open Access
File
81 Downloads (Pure)