Computer Science
| Title | Computer Science |
|---|---|
| Alternative | S&T - CS |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
An approximate theory for value sensitivity
Barn, B. and Barn, R. 2015. An approximate theory for value sensitivity. 015 IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering. Florence 18 May 2015 IEEE. pp. 25-28 https://doi.org/10.1109/GTSE.2015.10Conference paper
Bridging the digital divide: towards shortening the road from illiteracy to information literacy
Georgiadou, E., Rahanu, H., Khan, N., Colson, R. and Sule, C. 2014. Bridging the digital divide: towards shortening the road from illiteracy to information literacy. 11th International Scientific Conference "Western Balkan Information Literacy". Bihac, Bosnia Hertzegovina 11 - 14 Jun 2014 pp. 65-76Conference paper
Foundations for decision problems in separation logic with general inductive predicates
Antonopoulos, T., Gorogiannis, N., Haase, C., Kanovich, M. and Ouaknine, J. 2014. Foundations for decision problems in separation logic with general inductive predicates. 17th International Conference on the Foundations of Software Science and Computation Structures, FOSSACS 2014. Grenoble, France 05 - 13 Apr 2014 Springer. https://doi.org/10.1007/978-3-642-54830-7_27Conference paper
Cyclic abduction of inductively defined safety and termination preconditions
Brotherston, J. and Gorogiannis, N. 2014. Cyclic abduction of inductively defined safety and termination preconditions. 21st International Static Analysis Symposium, SAS 2014. Munich, Germany 11 - 13 Sep 2014 Springer. https://doi.org/10.1007/978-3-319-10936-7_5Conference paper
A generic cyclic theorem prover
Brotherston, J., Gorogiannis, N. and Petersen, R. 2012. A generic cyclic theorem prover. APLAS 2012. https://doi.org/10.1007/978-3-642-35182-2_25Conference paper
The complexity of abduction for separated heap abstractions
Gorogiannis, N., Kanovich, M. and O’Hearn, P. 2011. The complexity of abduction for separated heap abstractions. SAS 2011. https://doi.org/10.1007/978-3-642-23702-7_7Conference paper
Merging first-order knowledge using dilation operators
Gorogiannis, N. and Hunter, A. 2008. Merging first-order knowledge using dilation operators. FOIKS 2008. https://doi.org/10.1007/978-3-540-77684-0_11Conference paper
Requirements, specifications, and minimal refinement
Gorogiannis, N. and Ryan, M. 2002. Requirements, specifications, and minimal refinement. WoLLIC 2002: 9th Workshop on Logic, Language, Information and Computation. Rio de Janeiro, Brazil 30 Jul - 02 Aug 2002 Elsevier. https://doi.org/10.1016/S1571-0661(04)80550-4Conference paper
Instantiating abstract argumentation with classical logic arguments: postulates and properties
Gorogiannis, N. and Hunter, A. 2011. Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artificial Intelligence. 175 (9-10), pp. 1479-1497. https://doi.org/10.1016/j.artint.2010.12.003Article
An argument-based approach to reasoning with clinical knowledge
Gorogiannis, N., Hunter, A. and Williams, M. 2009. An argument-based approach to reasoning with clinical knowledge. International Journal of Approximate Reasoning: Uncertainty in Intelligent Systems. 51 (1), pp. 1-22. https://doi.org/10.1016/j.ijar.2009.06.015Article
Minimal refinements of specifications in modal and temporal logics
Gorogiannis, N. and Ryan, M. 2007. Minimal refinements of specifications in modal and temporal logics. Formal Aspects of Computing. 19 (4), pp. 417-444. https://doi.org/10.1007/s00165-007-0040-9Article
Implementation of belief change operators using BDDs
Gorogiannis, N. and Ryan, M. 2002. Implementation of belief change operators using BDDs. Studia Logica. 70 (1), pp. 131-156. https://doi.org/10.1023/A:1014610426691Article
Self organising maps with a point neuron model
Huyck, C. and Mitchell, I. 2013. Self organising maps with a point neuron model. Intl Conf. on Cognitive and Neural Systems.Article
Computer forensics: challenges to evidential integrity
Mitchell, I. and Hara, S. 2014. Computer forensics: challenges to evidential integrity. in: Jennions, I. (ed.) Integrated vehicle health management: implementation and lessons learned Warrendale, PA, USA SAE International.Book chapter
Keeping up with the law: investigating lawyers’ monitoring behaviour
Ellis, S., Makri, S. and Attfield, S. 2014. Keeping up with the law: investigating lawyers’ monitoring behaviour. New Library World. 115 (7/8), pp. 292-313. https://doi.org/10.1108/NLW-03-2014-0023Article
How military intelligence personnel collaborate on a sense-making exercise
Baber, C., Conway, G., Attfield, S., Rooney, C., Kodagoda, N. and Walker, R. 2015. How military intelligence personnel collaborate on a sense-making exercise. 12th International Conference on Naturalistic Decision Making. McLean, Virginia, USA 09 - 12 Jun 2015Conference paper
Distributed sensemaking: a case study of military analysis
Attfield, S., Fields, B., Wheat, A., Hutton, R., Nixon, J., Leggatt, A. and Blackford, H. 2015. Distributed sensemaking: a case study of military analysis. 12th International Conference on Naturalistic Decision Making. McLean, Virginia, USA 09 - 12 Jun 2015Conference paper
How analysts think: inference making strategies
Wong, B. and Kodagoda, N. 2015. How analysts think: inference making strategies. Human Factors and Ergonomics Society 59th International Annual Meeting, 2015. Los Angeles, California, USA 26 - 30 Oct 2015 pp. 269-273 https://doi.org/10.1177/1541931215591055Conference paper
Scalability considerations for multivariate graph visualization
Jankun-Kelly, T., Dwyer, T., Holten, D., Hurter, C., Nollenburg, M., Weaver, C. and Xu, K. 2014. Scalability considerations for multivariate graph visualization. in: Kerren, A., Purchase, H. and Ward, M. (ed.) Multivariate Network Visualization: Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions Springer International Publishing.Book chapter
SchemaLine: timeline visualization for sensemaking
Nguyen, P., Xu, K., Walker, R. and Wong, B. 2014. SchemaLine: timeline visualization for sensemaking. 18th International Conference on Information Visualisation (IV). pp. 225-233Conference paper
Performance evaluation of Levenberg-Marquardt technique in error reduction for diabetes condition classification
Khan, N., Dhara, G. and Kandl, T. 2013. Performance evaluation of Levenberg-Marquardt technique in error reduction for diabetes condition classification. Procedia Computer Science. 18, pp. 2629-2637.Article
Information integration of drug discovery and clinical studies to support complex queries using an information supply chain framework
Kandl, T. and Khan, N. 2014. Information integration of drug discovery and clinical studies to support complex queries using an information supply chain framework. Journal of Software. 9 (5), pp. 1348-1356. https://doi.org/10.4304/jsw.9.5.1348-1356Article
Developing navigational services for people with Down's Syndrome
Kramer, D., Covaci, A. and Augusto, J. 2015. Developing navigational services for people with Down's Syndrome. 2015 International Conference on Intelligent Environments. Prague, Czech Republic 15 - 17 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 128-131 https://doi.org/10.1109/IE.2015.26Conference paper
Personalised learning materials based on dyslexia types: ontological approach
Alsobhi, A., Khan, N. and Rahanu, H. 2015. Personalised learning materials based on dyslexia types: ontological approach. 19th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2015). Singapore Elsevier. pp. 113-121Conference paper
DAEL framework: a new adaptive e-learning framework for students with dyslexia
Alsobhi, A., Khan, N. and Rahanu, H. 2015. DAEL framework: a new adaptive e-learning framework for students with dyslexia. International Conference On Computational Science, ICCS 2015 — Computational Science at the Gates of Nature. Reykjavík, Iceland 01 - 03 Jun 2015 pp. 1947-1956Conference paper
Evaluation of colour appearances displaying on smartphones
Gao, X., Khodamoradi, E., Guo, L., Yang, X., Tang, S., Guo, W. and Wang, Y. 2015. Evaluation of colour appearances displaying on smartphones. Yaguchi, H., Okajima, K., Ishida, T., Araki, K., Doi, M. and Manabe, Y. (ed.) AIC 2015, Color and Image, Midterm meeting of the International Colour Association (AIC). Tokyo, Japan 19 - 22 May 2015 The Color Science Association of Japan. pp. 539-544Conference poster
A comparison of simple agents implemented in simulated neurons
Huyck, C., Evans, C. and Mitchell, I. 2015. A comparison of simple agents implemented in simulated neurons. Biologically Inspired Cognitive Architectures. 12, pp. 9-19. https://doi.org/10.1016/j.bica.2015.03.001Article
Will ToR achieve its goals in the "future internet"? : an empirical study of using ToR with cloud computing
Carnielli, A. and Aiash, M. 2015. Will ToR achieve its goals in the "future internet"? : an empirical study of using ToR with cloud computing. IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA-2015). Gwangju, Korea 24 - 27 Mar 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 135-140Conference paper
Integrating the strengths of cognitive emotion models with traditional HCI analysis tools
Springett, M., Law, E. and Coulson, M. 2015. Integrating the strengths of cognitive emotion models with traditional HCI analysis tools. Universal Access in the Information Society. 14 (2), pp. 203-214. https://doi.org/10.1007/s10209-013-0335-yArticle
Invalidating policies using structural information
Kammueller, F. and Probst, C. 2013. Invalidating policies using structural information. IEEE CS Security and Privacy Workshops, SPW, WRIT'13.Conference paper
Privacy analysis of a hidden friendship protocol
Kammueller, F. and Preibusch, S. 2013. Privacy analysis of a hidden friendship protocol. The 8th International Workshop on Data Privacy Management, DPM 2013. Egam, UK 12 - 13 Sep 2013 Springer. pp. 83-99Conference paper
Externalizing behaviour for analysing system models
Ivanova, M., Probst, C., Hansen, R. and Kammueller, F. 2013. Externalizing behaviour for analysing system models. 5th International Workshop on Managing Insider Security Threats, MIST, 2013..Conference paper
Verification of quantum protocols using Coq
Boender, J., Kammueller, F. and Nagarajan, R. 2014. Verification of quantum protocols using Coq. 17th Conference on Quantum Information Processing (QIP). Barcelona, Spain 03 - 07 Feb 2014Conference poster
Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013.
Kammueller, F. 2014. Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013. MathSciNet: Mathematical Reviews.Article
Combining generated data models with formal invalidation for insider threat analysis
Kammueller, F. and Probst, C. 2014. Combining generated data models with formal invalidation for insider threat analysis. 2014 IEEE Security and Privacy Workshops (SPW): Workshop on Research for Insider Threat (WRIT 2014). San Jose, California, USA 17 - 18 May 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 229-235 https://doi.org/10.1109/SPW.2014.45Conference paper
Verification of DNSsec delegation signatures
Kammueller, F. 2014. Verification of DNSsec delegation signatures. 21st International IEEE Conference on Telecommunication. Lisbon 04 - 07 May 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 298-392 https://doi.org/10.1109/ICT.2014.6845127Conference paper
Invalidating policies using structural information
Kammueller, F. and Probst, C. 2014. Invalidating policies using structural information. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications. 5 (2), pp. 59-79. https://doi.org/10.22667/JOWUA.2014.06.31.059Article
A probabilistic analysis framework for malicious insider threats
Chen, T., Kammueller, F., Nemli, I. and Probst, C. 2015. A probabilistic analysis framework for malicious insider threats. 3rd International Conference on Human Aspects of Information Security, Privacy and Trust, HAS 2015, held as part of HCI International 2015. Los Angeles, California, USA 02 - 07 Aug 2015 Springer. pp. 178-189Conference paper
Confinement for active objects
Kammueller, F. 2015. Confinement for active objects. International Journal of Advanced Computer Science and Applications. 6 (2), pp. 246-261. https://doi.org/10.14569/IJACSA.2015.060236Article
A review of cell assemblies
Huyck, C. and Passmore, P. 2013. A review of cell assemblies. Biological Cybernetics. 107 (3), pp. 263-288. https://doi.org/10.1007/s00422-013-0555-5Article
440071
total views89862
total downloads8075
views this month2719
downloads this month