S&T School Leadership
| Title | S&T School Leadership |
|---|---|
| Alternative | S&T - Leadshp |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
From types to sets by local type definitions in higher-order logic
Kunčar, O. and Popescu, A. 2016. From types to sets by local type definitions in higher-order logic. ITP 2016: 7th International Conference on Interactive Theorem Proving. Nancy, France 22 - 25 Aug 2016 Springer. https://doi.org/10.1007/978-3-319-43144-4_13Conference paper
CoSMed: a confidentiality-verified social media platform
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2016. CoSMed: a confidentiality-verified social media platform. ITP 2016: 7th International Conference on Interactive Theorem Proving. Nancy, France 22 - 25 Aug 2016 Springer. pp. 87-106 https://doi.org/10.1007/978-3-319-43144-4_6Conference paper
A proof-theoretic trust and reputation model for VANET
Primiero, G., Raimondi, F., Chen, T. and Nagarajan, R. 2017. A proof-theoretic trust and reputation model for VANET. S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection. Paris, France 29 Apr 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 146-152 https://doi.org/10.1109/EuroSPW.2017.64Conference paper
Admission control and buffer management of wireless communication systems with mobile stations and integrated voice and data services
Gemikonakli, E., Ever, E., Mapp, G. and Gemikonakli, O. 2017. Admission control and buffer management of wireless communication systems with mobile stations and integrated voice and data services. Telecommunication Systems. 65 (4), pp. 663-675. https://doi.org/10.1007/s11235-016-0259-yArticle
Formal reasoning on infinite data values: an ongoing quest
Chen, T., Song, F. and Wu, Z. 2017. Formal reasoning on infinite data values: an ongoing quest. SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures. Chongqing, China 28 Mar - 02 Apr 2016 Springer. pp. 195-257 https://doi.org/10.1007/978-3-319-56841-6_6Conference paper
ProEva: runtime proactive performance evaluation based on continuous-time markov chains
Su, G., Chen, T., Feng, Y. and Rosenblum, D. 2017. ProEva: runtime proactive performance evaluation based on continuous-time markov chains. 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE). Buenos Aires, Argentina 20 - 28 May 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 484-495 https://doi.org/10.1109/ICSE.2017.51Conference paper
Analyzing APIs documentation and code to detect directive defects
Zhou, Y., Gu, R., Chen, T., Huang, Z., Panichella, S. and Gall, H. 2017. Analyzing APIs documentation and code to detect directive defects. 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE). Buenos Aires, Argentina 20 - 28 May 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 27-37 https://doi.org/10.1109/ICSE.2017.11Conference paper
The packing chromatic number of the infinite square lattice is between 13 and 15
Martin, B., Raimondi, F., Chen, T. and Martin, J. 2017. The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics. 225, pp. 136-142. https://doi.org/10.1016/j.dam.2017.03.013Article
Model based analysis of insider threats
Chen, T., Han, T., Kammueller, F., Nemli, I. and Probst, C. 2016. Model based analysis of insider threats. 2016 International Conference on Cyber Security and Protection of Digital Services (Cyber Security). London, United Kingdom 13 - 14 Jun 2016 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/CyberSecPODS.2016.7502350Conference paper
Crispr/Cas9 gene editing reveals novel tertiary constraints in clustered mirna processing
Lataniotis, L., Albrecht, A., Kok, F., Monfries, C., Benedetti, L., Lawson, N., Hughes, S., Steinhofel, K., Mayr, M. and Zampetaki, A. 2017. Crispr/Cas9 gene editing reveals novel tertiary constraints in clustered mirna processing. Heart. 103 (5), p. A133. https://doi.org/10.1136/heartjnl-2017-311726.193Article
Managing software uninstall with negative trust
Primiero, G. and Boender, J. 2017. Managing software uninstall with negative trust. 11th IFIP WG 11.11 International Conference, IFIPTM 2017. Gothenburg, Sweden 12 - 16 Jun 2017 Springer. pp. 79-93 https://doi.org/10.1007/978-3-319-59171-1_7Conference paper
Implementing virtual pheromones in BDI robots using MQTT and Jason
Bottone, M., Palumbo, F., Primiero, G., Raimondi, F. and Stocker, R. 2016. Implementing virtual pheromones in BDI robots using MQTT and Jason. 2016 5th IEEE International Conference on Cloud Networking (Cloudnet). Pisa, Italy 03 - 05 Oct 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 196-199 https://doi.org/10.1109/CloudNet.2016.22Conference paper
From raw data to agent perceptions for simulation, verification, and monitoring
Bottone, M., Primiero, G., Raimondi, F. and Rungta, N. 2016. From raw data to agent perceptions for simulation, verification, and monitoring. 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16). London, United Kingdom 14 - 16 Sep 2016 IOS Press. pp. 66-75 https://doi.org/10.3233/978-1-61499-690-3-66Conference paper
Trust and distrust in contradictory information transmission
Primiero, G., Raimondi, F., Bottone, M. and Tagliabue, J. 2017. Trust and distrust in contradictory information transmission. Applied Network Science. 2 (1). https://doi.org/10.1007/s41109-017-0029-0Article
Examining the interaction between fourth estate and Twitter: an exploratory case study
Barn, B., Barn, R., Raimondi, F. and Mukherjee, U. 2017. Examining the interaction between fourth estate and Twitter: an exploratory case study. HUSO 2017: Third International Conference on Human and Social Analytics. Nice, France 23 - 27 Jul 2017 IARIA. pp. 11-17Conference paper
Symbolic verification of event–condition–action rules in intelligent environments
Vannucchi, C., Diamanti, M., Mazzante, G., Cacciagrano, D., Culmone, R., Gorogiannis, N., Mostarda, L. and Raimondi, F. 2017. Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments. 3 (2), pp. 117-130. https://doi.org/10.1007/s40860-017-0036-zArticle
Staying alive: anima and objet a
Henderson, D. 2017. Staying alive: anima and objet a. in: Brown, R. (ed.) Re-Encountering Jung: Analytical Psychology and Contemporary Psychoanalysis Routledge. pp. 183-194Book chapter
Comprehending Isabelle/HOL's consistency
Kunčar, O. and Popescu, A. 2017. Comprehending Isabelle/HOL's consistency. Yang, H. (ed.) ESOP 2017: 26th European Symposium on Programming (ESOP). Uppsala, Sweden 22 - 29 Apr 2017 Berlin, Heidelberg Springer. https://doi.org/10.1007/978-3-662-54434-1_27Conference paper
Effect of sports vision exercise on visual perception and reading performance in 7- to 10-year-old developmental dyslexic children
Badami, R., Mahmoudi, S. and Baluch, B. 2016. Effect of sports vision exercise on visual perception and reading performance in 7- to 10-year-old developmental dyslexic children. Journal of Exercise Rehabilitation. 12 (6), pp. 604-609. https://doi.org/10.12965/jer.1632728.364Article
Dropout reasons in Iranian youth roller skaters
Heydari, H., Badami, R., Baluch, B. and Duffy, L. 2014. Dropout reasons in Iranian youth roller skaters. International journal of Science Culture and Sport. 2 (4), pp. 89-102. https://doi.org/10.14486/ijscs214Article
Algorithmic iteration for computational intelligence
Primiero, G. 2017. Algorithmic iteration for computational intelligence. Minds and Machines. 27 (3), pp. 521-543. https://doi.org/10.1007/s11023-017-9423-8Article
Promoting adaptive flood risk management: the role and potential of flood recovery mechanisms
Priest, S., Penning-Rowsell, E. and Suykens, C. 2016. Promoting adaptive flood risk management: the role and potential of flood recovery mechanisms. FLOODrisk 2016 - 3rd European Conference on Flood Risk Management. Lyon, France 17 - 21 Oct 2016 EDP Sciences. https://doi.org/10.1051/e3sconf/20160717005Conference paper
Flood risk management and ‘fairness’: aspirations and reality
Penning-Rowsell, E., Priest, S. and King, D. 2016. Flood risk management and ‘fairness’: aspirations and reality. FLOODrisk 2016 - 3rd European Conference on Flood Risk Management. Lyon, France 17 - 21 Oct 2016 EDP Sciences. https://doi.org/10.1051/e3sconf/20160724001Conference paper
Partnership approaches in flood risk management: lessons from the Eastern Alps
Thaler, T., Priest, S. and Fuchs, S. 2016. Partnership approaches in flood risk management: lessons from the Eastern Alps. FLOODrisk 2016 - 3rd European Conference on Flood Risk Management. Lyon, France 17 - 21 Oct 2016 EDP Sciences. https://doi.org/10.1051/e3sconf/20160720002Conference paper
Partnership Funding in flood risk management: multi-level stakeholder engagement - a question of roles and power
Thaler, T. and Priest, S. 2016. Partnership Funding in flood risk management: multi-level stakeholder engagement - a question of roles and power. FLOODrisk 2016 - 3rd European Conference on Flood Risk Management. Lyon, France 17 - 21 Oct 2016 EDP Sciences. https://doi.org/10.1051/e3sconf/20160720009Conference paper
The application of Tangible User Interfaces of teaching and learning in Higher Education
De Raffaele, C., Smith, S. and Gemikonakli, O. 2017. The application of Tangible User Interfaces of teaching and learning in Higher Education. in: Branch, J., Hayes, S., Hørsted, A. and Nygaard, C. (ed.) Innovative Teaching and Learning in Higher Education Oxfordshire, UK Libri Publishing. pp. 215-226Book chapter
Effects of electromagnetic fields emitted by GSM phones on working memory: a meta-analysis
Zubko, O., Gould, R., Gay, H., Cox, H., Coulson, M. and Howard, R. 2017. Effects of electromagnetic fields emitted by GSM phones on working memory: a meta-analysis. International Journal of Geriatric Psychiatry. 32 (2), pp. 125-135. https://doi.org/10.1002/gps.4581Article
A model-based approach to systematic reviews of research literature
Barat, S., Clark, T., Barn, B. and Kulkarni, V. 2017. A model-based approach to systematic reviews of research literature. ISEC 2017: Innovations in Software Engineering Conference. Jaipur, India 05 - 07 Feb 2017 Association for Computing Machinery (ACM). pp. 15-25 https://doi.org/10.1145/3021460.3021462Conference paper
Actor monitors for adaptive behaviour
Clark, T., Kulkarni, V., Barat, S. and Barn, B. 2017. Actor monitors for adaptive behaviour. ISEC '17: 10th Innovations in Software Engineering Conference. Jaipur, India 05 - 07 Feb 2017 Association for Computing Machinery (ACM). pp. 85-95 https://doi.org/10.1145/3021460.3021469Conference paper
A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making
Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2017. A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making. MODELSWARD 2017: 5th International Conference on Model-Driven Engineering and Software Development. Porto, Portugal 19 - 21 Feb 2017 SCITEPRESS - Science and Technology Publications. pp. 605-616 https://doi.org/10.5220/0006216306050616Conference paper
ESL: an actor-based platform for developing emergent behaviour organisation simulations
Clark, T., Kulkarni, V., Barat, S. and Barn, B. 2017. ESL: an actor-based platform for developing emergent behaviour organisation simulations. Demazeau, Y., Davidsson, P., Bajo, J. and Vale, Z. (ed.) 15th International Conference on Practical Applications of Scalable Multi-Agent Systems. Porto, Portugal 21 - 23 Jun 2017 Cham Springer. https://doi.org/10.1007/978-3-319-59930-4_27Conference paper
Enabling the effective teaching and learning of advanced robotics in higher education using an active TUI framework
De Raffaele, C., Smith, S. and Gemikonakli, O. 2017. Enabling the effective teaching and learning of advanced robotics in higher education using an active TUI framework. 3rd Africa and Middle East Conference on Software Engineering. Cairo, Egypt 12 - 13 Dec 2017 Association for Computing Machinery (ACM). pp. 7-12 https://doi.org/10.1145/3178298.3178299Conference paper
Explaining multi-threaded task scheduling using tangible user interfaces in higher educational contexts
De Raffaele, C., Smith, S. and Gemikonakli, O. 2017. Explaining multi-threaded task scheduling using tangible user interfaces in higher educational contexts. 2017 IEEE Global Engineering Education Conference (EDUCON). Athens, Greece 25 - 28 Apr 2017 IEEE. pp. 1383-1390 https://doi.org/10.1109/EDUCON.2017.7943028Conference paper
Evaluation of the effectiveness of Eladi Keram for the treatment of acne vulgaris: a randomised controlled pilot study
Appiah, S., Lawley, B., Vu, M., Bell, C. and Jones, H. 2017. Evaluation of the effectiveness of Eladi Keram for the treatment of acne vulgaris: a randomised controlled pilot study. European Journal of Integrative Medicine. 12, pp. 38-43. https://doi.org/10.1016/j.eujim.2017.04.004Article
Crispr/Cas9 editing reveals novel mechanisms of clustered microRNA regulation and function
Lataniotis, L., Albrecht, A., Kok, F., Monfries, C., Benedetti, L., Lawson, N., Hughes, S., Steinhofel, K., Mayr, M. and Zampetaki, A. 2017. Crispr/Cas9 editing reveals novel mechanisms of clustered microRNA regulation and function. Scientific Reports. 7, pp. 1-14. https://doi.org/10.1038/s41598-017-09268-0Article
CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2017. CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. 38th IEEE Symposium on Security and Privacy. San Jose, CA, USA 22 - 26 May 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 729-748 https://doi.org/10.1109/SP.2017.24Conference paper
Je reve, tu reves, nous revons [I dream, you dream, we dream]
Borossa, J. and Rooney, C. 2017. Je reve, tu reves, nous revons [I dream, you dream, we dream]. in: Masson, C. and Schauder, S. (ed.) Images de reves et processus de creation In Press.Book chapter
Phytochemical modulation of apoptosis and autophagy: strategies to overcome chemoresistance in leukaemic stem cells in the bone marrow microenvironment
Owen, H., Appiah, S., Hasan, N., Ghali, L., Elayat, G. and Bell, C. 2017. Phytochemical modulation of apoptosis and autophagy: strategies to overcome chemoresistance in leukaemic stem cells in the bone marrow microenvironment. in: Zeng, B. and Zhao, K. (ed.) Neurobiology of Chinese Herb Medicine Elsevier.Book chapter
Antiinflammatory and hepatoprotective medicinal herbs as potential substitutes for bear bile
Appiah, S., Revitt, D., Jones, H., Vu, M., Simmonds, M. and Bell, C. 2017. Antiinflammatory and hepatoprotective medicinal herbs as potential substitutes for bear bile. in: Zeng, B. and Zhao, K. (ed.) Neurobiology of Chinese Herb Medicine Elsevier.Book chapter
Recent advances in arsenic trioxide encapsulated nanoparticles as drug delivery agents to solid cancers
Akhtar, A., Wang, S., Ghali, L., Bell, C. and Wen, S. 2017. Recent advances in arsenic trioxide encapsulated nanoparticles as drug delivery agents to solid cancers. Journal of Biomedical Research. 31 (3), pp. 177-188. https://doi.org/10.7555/JBR.31.20160059Article
35379
total views8094
total downloads5068
views this month1560
downloads this month