Items where Subject is "Q Science > QA Mathematics > QA75 Electronic computers. Computer science"
Group by: Creators | Item Type
Number of items at this level: 153.
Alberdi, E., Becher, J.-C., Gilhooly, K. J., Hunter, J., Logie, R., Lyon, A., McIntosh, N. & Reiss, J. (2001). Expertise and the interpretation of computerized physiological data: implications for the design of computerized monitoring in neonatal intensive care. International Journal of Human-Computer Studies, 55(3), pp. 191-216. doi: 10.1006/ijhc.2001.0477
Alberdi, E., Povyakalo, A. A., Strigini, L. & Ayton, P. (2009). Computer Aided Detection: Risks and benefits for radiologists' decisions. In: E. Samei & E. Krupinski (Eds.), The Handbook of Medical Image Perception and Techniques. (pp. 320-332). Cambridge, UK: Cambridge Univ Press. ISBN 0521513928
Alberdi, E., Povyakalo, A. A., Strigini, L. & Ayton, P. (2004). Effects of incorrect computer-aided detection (CAD) output on human decision-making in mammography. Academic Radiology, 11(8), pp. 909-918. doi: 10.1016/j.acra.2004.05.012
Alberdi, E., Strigini, L., Leach, K., Ryan, P., Palanque, P. & Winckler, M. (2009). Gaining assurance in a voter-verifiable voting system. Paper presented at the 2009 Second International Conference on Dependability, 18 - 23 Jun 2009, Athens, Greece.
Alberdi, E., Strigini, L., Povyakalo, A. A. & Ayton, P. (2009). Why Are People's Decisions Sometimes Worse with Computer Support?. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 5775, pp. 18-31. doi: 10.1007/978-3-642-04468-7_3
Anglade, A., Benetos, E., Mauch, M. & Dixon, S. (2010). Improving music genre classification using automatically induced harmony rules. Journal of New Music Research, 39(4), pp. 349-361. doi: 10.1080/09298215.2010.525654
Behbahani, Peyman (2010). Connection Robustness for Wireless Moving Networks Using Transport Layer Multi-homing. (Unpublished Doctoral thesis, City University London)
Benetos, E. & Dixon, S. (2011). Joint Multi-Pitch Detection Using Harmonic Envelope Estimation for Polyphonic Music Transcription. IEEE Journal of Selected Topics in Signal Processing, 5(6), pp. 1111-1123. doi: 10.1109/JSTSP.2011.2162394
Benetos, E. & Dixon, S. (2013). Multiple-instrument polyphonic music transcription using a temporally constrained shift-invariant model. The Journal of the Acoustical Society of America (JASA), 133(3), pp. 1727-1741. doi: 10.1121/1.4790351
Benetos, E., Dixon, S., Giannoulis, D., Kirchhoff, H. & Klapuri, A. (2012). Automatic Music Transcription: Breaking the Glass Ceiling. Paper presented at the 13th International Society for Music Information Retrieval Conference (ISMIR 2012), 8 - 12 Oct 2012, Porto, Portugal.
Benetos, E., Holzapfel, A. & Stylianou, Y. (2009). Pitched Instrument Onset Detection based on Auditory Spectra. Paper presented at the 10th International Society for Music Information Retrieval Conference, ISMIR 2009, 26 - 30 Oct 2009, Kobe, Japan.
Benetos, E., Klapuri, A. & Dixon, S. (2012). Score-informed transcription for automatic piano tutoring. European Signal Processing Conference, ISSN 2219-5491
Benetos, E. & Kotropoulos, C. (2010). Non-Negative Tensor Factorization Applied to Music Genre Classification. IEEE Transactions on Audio, Speech & Language Processing, 18(8), pp. 1955-1967. doi: 10.1109/TASL.2010.2040784
Benetos, E., Lagrange, M. & Dixon, S. (2012). Characterisation of acoustic scenes using a temporally-constrained shift-invariant model. Paper presented at the 15th International Conference on Digital Audio Effects Conference (DAFx-12), 17 - 21 Sept 2012, University of York, York, UK.
Benetos, E. & Stylianou, Y. (2010). Auditory Spectrum-Based Pitched Instrument Onset Detection. IEEE Transactions on Audio, Speech & Language Processing, 18(8), pp. 1968-1977. doi: 10.1109/TASL.2010.2040785
Bernardy, J. P., Jannson, P. & Paterson, R. A. (2012). Proofs for free - parametricity for dependent types. Journal of Functional Programming, 22(2), pp. 107-152. doi: 10.1017/S0956796812000056
Bezzi, M., Sabetta, A. & Spanoudakis, G. (2011). An architecture for certification-aware service discovery. Proceedings - 2011 1st International Workshop on Securing Services on the Cloud, IWSSC 2011, pp. 14-21. doi: 10.1109/IWSSCloud.2011.6049020
Bishop, P. G., Bloomfield, R. E., Clement, T., Guerra, S. & Jones, C. (2003). Integrity static analysis of COTS/SOUP. In: S. Anderson, M. Felici & B. Littlewood (Eds.), Knowledge-Based Intelligent Information and Engineering Systems 7th INternational Conference, KES 2003, Oxford, UK, September 2003. Proceedings, Part I. Lecture Notes in Computer Science, 2788. (pp. 63-76). London, UK: Springer.
Bleisch, S., Dykes, J. & Nebiker, S (2008). Evaluating the effectiveness of representing numeric information through abstract graphics in 3D desktop virtual environments. Cartographic Journal, The, 45(3), pp. 216-226.
Bleisch, S., Dykes, J. & Nebiker, S. (2009). Building bridges between methodological approaches: a meta-framework linking experiments and applied studies in 3D geovisualization research. Paper presented at the GIS Research UK 17th Annual Conference (GISRUK 2009), 1 - 3 Apr 2009, University of Durham, Durham, UK.
Bloomfield, R. E., Buzna, L., Popov, P. T., Salako, K. & Wright, D. (2010). Stochastic modelling of the effects of interdependencies between critical infrastructure. Paper presented at the 4th International Workshop, CRITIS 2009, 30 September - 2 October 2009, Bonn, Germany.
Bloomfield, R. E., Chozos, N. & Salako, K. (2009). Current capabilities, requirements and a proposed strategy for interdependency analysis in the UK. Paper presented at the 4th International Workshop, CRITIS 2009, 30 September - 2 October 2009, Bonn, Germany.
Bloomfield, R. E. & Wetherilt, A. (2012). Computer trading and systemic risk: a nuclear perspective (Report No. Driver Review DR26). London, UK: Government Office for Science.
Borges, Rafael (2012). A neural-symbolic system for temporal reasoning with application to model verification and learning. (Unpublished Doctoral thesis, City University London)
Broda, K., Garcez, A. d'Avila & Gabbay, D. M. (2005). Metalevel priorities and neural networks. Paper presented at the Workshop on the Foundations of Connectionist-Symbolic Integration ECAI2000, 20 - 25 August 2005, Berlin.
Brujic-Okretic, V., Gatzidis, C., Liarokapis, F. & Baker, S. (2008). Towards Rapid Generation and Visualisation of Large 3D Urban Landscapes for Mobile Device Navigation. Paper presented at the IEEE Virtual Reality Workshop on Virtual Cityscapes: Key Research Issues in Modeling Large-Scale Immersive Urban Environments, 8 - 9 Aug 2008, Reno, Nevada.
Child, Christopher H. T. (2011). Approximate Dynamic Programming with Parallel Stochastic Planning Operators. (Unpublished Doctoral thesis, City University London)
Christou, D. (2011). ERES Methodology and Approximate Algebraic Computations. (Unpublished Doctoral thesis, City University London)
Danilova, N. & Stupples, D. (2012). Application of Natural Language Processing and Evidential Analysis to Web-Based Intelligence Information Acquisition. Intelligence and Security Informatics Conference (EISIC), Proceedings, doi: 10.1109/EISIC.2012.41
Dixon, S., Tidhar, D. & Benetos, E. (2011). The Temperament Police: The Truth, the Ground Truth, and Nothing but the Truth. Paper presented at the 12th International Society for Music Information Retrieval Conference, 24 - 28 Oct 2011, Miami, Florida, US.
Dykes, J. & Bleisch, S. (2006). Planning Hikes Virtually: How Useful are Web-based 3D Visualizations?. Paper presented at the GIS Research UK 14th Annual Conference (GISRUK 2006), 5 - 7 Apr 2006, University of Nottingham, Nottingham, UK.
Dykes, J., Lloyd, D. & Radburn, R. (2009). Using the Analytic Hierarchy Process to prioritise candidate improvements to a geovisualization application. Paper presented at the GIS Research UK 17th Annual Conference (GISRUK 2009), 1 - 3 Apr 2009, University of Durham, Durham, UK.
Dykes, J. & Mountain, D. (2002). What I did on my vacation: spatio-temporal log analysis with interactive graphics and morphometric surface derivative. Paper presented at the GIS Research UK 10th Annual Conference (GISRUK 2002), 3 - 5 Apr 2002, Sheffield, UK.
Fenton, N. E., Littlewood, B., Neil, M., Strigini, L., Wright, D. R. & Courtois, P.-J. (1997). Bayesian belief network model for the safety assessment of nuclear computer-based systems (Report No. 52). Brussels: DeVa ESPRIT Long Term Research Project.
Foster, H. & Spanoudakis, G. (2011). Advanced service monitoring configurations with SLA decomposition and selection. Proceedings of the ACM Symposium on Applied Computing, pp. 1582-1589. doi: 10.1145/1982185.1982519
Foster, H. & Spanoudakis, G. (2012). Taming the cloud: Safety, certification and compliance for software services - Keynote at the Workshop on Engineering Service-Oriented Applications (WESOA) 2011. In: Lecture Notes in Computer Science. (pp. 3-8). Springer. ISBN 9783642318757
Foster, H., Spanoudakis, G. & Mahbub, K. (2012). Formal certification and compliance for run-time service environments. Paper presented at the 2012 IEEE Ninth International Conference on Services Computing (SCC), 24 - 29 June 2012, Honolulu, USA.
Frankl, P. G., Hamlet, D., Littlewood, B. & Strigini, L. (1997). Choosing a testing method to deliver reliability. PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, pp. 68-78. ISSN 0270-5257
Frankl, P. G., Hamlet, R. G., Littlewood, B. & Strigini, L. (1998). Evaluating testing methods by delivered reliability. IEEE Transactions on Software Engineering, 24(8), pp. 586-601. doi: 10.1109/32.707695
Garcez, A. d'Avila (2005). Fewer epistemological challenges for connectionism. Lecture Notes in Computer Science, 3526, pp. 289-325. doi: 10.1007/11494645_18
Garcez, A. d'Avila (2010). Neurons and symbols: a manifesto. Paper presented at the Dagstuhl Seminar Proceedings 10302. Learning paradigms in dynamic environments, 25 - 30 July 2010, Dagstuhl, Germany.
Garcez, A. d'Avila, Broda, K. & Gabbay, D. M. (2001). Symbolic knowledge extraction from trained neural networks: A sound approach. Artificial Intelligence, 125(1-2), pp. 153-205. doi: 10.1016/S0004-3702(00)00077-1
Garcez, A. d'Avila, Gabbay, D. M. & Lamb, L. C. (2005). Value-based argumentation frameworks as neural-symbolic learning systems. Journal of Logic and Computation, 15(6), pp. 1041-1058. doi: 10.1093/logcom/exi057
Garcez, A. d'Avila, Gabbay, D. M., Ray, O. & Woods, J. (2007). Abductive reasoning in neural-symbolic learning systems. Topoi: An International Review of Philosophy, 26(1), pp. 37-49. doi: 10.1007/s11245-006-9005-5
Garcez, A. d'Avila, Lamb, L. C. & Gabbay, D. M. (2007). Connectionist modal logic: Representing modalities in neural networks. Theoretical Computer Science, 371(1-2), pp. 34-53. doi: 10.1016/j.tcs.2006.10.023
Garcez, A. d'Avila & Zaverucha, G. (1999). The connectionist inductive learning and logic programming system. Applied Intelligence Journal, 11(1), pp. 59-77. doi: 10.1023/A:1008328630915
Gatzidis, C., Brujic-Okretic, V. & Mastroyanni, M. (2009). Evaluation of Non-photorealistic 3D Urban Models for Mobile Device Navigation.. Paper presented at the Virtual and Mixed Reality: Third International Conference, 19 - 24 July 2009, San Diego, CA, USA.
Gatzidis, C., Papakonstantinou, S., Brujic-Okretic, V. & Baker, S. (2008). Recent advances in the user evaluation methods and studies of non-photorealistic visualisation and rendering techniques. Paper presented at the Information Visualisation, 9 - 11 July 2008, London, England.
Giaralis, A., Kougioumtzoglou, I. & Spanos, P. D. (2011). A stochastic approach for deriving effective linear properties of bilinear hysteretic systems subject to design spectrum compatible strong ground motions. Paper presented at the 8th International Conference on Structural Dynamics (EURODYN 2011), 04-06 July 2011, Leuven, Belgium.
Giaralis, A. & Spanos, P. D. (2010). Effective linear damping and stiffness coefficients of nonlinear systems for design spectrum based analysis. Soil Dynamics and Earthquake Engineering, 30(9), pp. 798-810. doi: 10.1016/j.soildyn.2010.01.012
Giaralis, A. & Spanos, P. D. (2009). Wavelet-based response spectrum compatible synthesis of accelerograms-Eurocode application (EC8). Soil Dynamics and Earthquake Engineering, 29(1), pp. 219-235. doi: 10.1016/j.soildyn.2007.12.002
Giaralis, A. & Spanos, P. D. (2007). A stochastic approach to synthesizing response spectrum compatible seismic accelerograms. Paper presented at the 4th International Conference on Earthquake Geotechnical Engineering (4ICEGE), 25-28 June 2007, Thessaloniki, Greece.
Glover, I. (2011). Integrating Flickr-based Images into Moodle to Increase Visual Appeal and Dynamism of Teaching Spaces. In: T. Bastiaens & M. Ebner (Eds.), Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2011. (pp. 768-772). EdITLib.
Glover, I., Campbell, A., Latif, F., Norris, L., Toner, J. & Tse, C. (2012). A tale of one city: intra-institutional variations in migrating VLE platform. Research in Learning Technology, 20, doi: 10.3402/rlt.v20i0.19190
Gooch, P. (2012). BADREX: In situ expansion and coreference of biomedical abbreviations using dynamic regular expressions. London, UK: City University London.
Gooch, P. (2012). A modular, open-source information extraction framework for identifying clinical concepts and processes of care in clinical narratives. (Unpublished Doctoral thesis, City University London)
Guillame-Bert, M., Broda, K. & Garcez, A. d'Avila (2010). First-order logic learning in artificial neural networks. International Joint Conference on Neural Networks (IJCNN 2010), doi: 10.1109/IJCNN.2010.5596491
Hitzler, P., Bader, S. & Garcez, A. d'Avila (2005). Ontology learning as a use-case for neural-symbolic integration. Paper presented at the IJCAI Workshop on Neural-Symbolic Learning and Reasoning NeSy05, 1 August 2005, Edinburgh.
Howe, J. M. (1997). Two loop detection mechanisms: a comparison. Paper presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX'97), 13 - 16 May 1997, Pont-a-Mousson, France.
Howe, J. M. & King, A. (2000). Implementing Groundness Analysis with Definite Boolean Functions. Lecture Notes in Computer Science, 1782, pp. 200-214.
Howe, J.M. & King, A. (2000). Abstracting Numeric Constraints with Boolean Functions. Information Processing Letters, 75(1-2), pp. 17-23. doi: 10.1016/S0020-0190(00)00081-8
Howe, J.M. & King, A. (2000). Specialising finite domain programs with polyhedra. Paper presented at the Logic Programming Synthesis and Transformation 1999, 22 - 24 September 1999, Venezia, Italy.
Hunt, S., Askarov, A., Sabelfeld, A. & Sands, D. (2008). Termination-insensitive noninterference leaks more than just a bit. Paper presented at the 13th European Symposium on Research in Computer Security, Oct 2008, Malaga, Spain.
Hunt, S. & Clark, D. (2008). Non-interference for deterministic interactive programs. Paper presented at the 5th International Workshop on Formal Aspects in Security and Trust (FAST2008), Oct 2008, Malaga, Spain.
Hunt, S., Clark, D. & Malacaria, P. (2002). Quantitative analysis of the leakage of confidential data. Electronic Notes in Theoretical Computer Science, 59(3), pp. 1-14. doi: 10.1016/S1571-0661(04)00290-7
Hunt, S., Clark, D. & Malacaria, P. (2007). A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security, 15(3), pp. 321-371.
Hunt, S. & Sands, D. (2011). From exponential to polynomial-time security typing via principal types. Lecture Notes in Computer Science, 6602 L, pp. 297-316. ISSN 0302-9743
Hunt, S. & Sands, D. (2008). Just forget it - The semantics and enforcement of information erasure. Lecture Notes in Computer Science, 4960, pp. 239-253. ISSN 0302-9743
John, D., Gatzidis, C., Liarokapis, F., Boucouvalas, A. & Brujic-Okretic, V. (2009). A Framework for the Development of Online, Location-Specific, Expressive 3D Social Worlds. Paper presented at the Games and Virtual Worlds for Serious Applications, 2009.
Jones, K. & Salako, K. (2013). Modeling Security Policy and the Effect for End-Users. Paper presented at the HCI International 2013: 15th International Conference on Human-Computer Interaction, 21 - 26 Jul 2013, Las Vegas, Nevada, US.
Komendantskaya, E., Broda, K. & Garcez, A. d'Avila (2010). Using inductive types for ensuring correctness of neuro-symbolic computations. Paper presented at the 6th Conference on Computability in Europe, CiE 2010, 30 June - 4 July 2010, Ponta Delgada, Portugal.
Kotti, M., Benetos, E. & Kotropoulos, C. (2008). Computationally Efficient and Robust BIC-Based Speaker Segmentation. IEEE Transactions on Audio, Speech & Language Processing, 16(5), pp. 920-933. doi: 10.1109/TASL.2008.925152
Kulesza, T., Burnett, M., Stumpf, S., Wong, W., Das, S., Groce, A., Shinsel, A., Bice, F. & McIntosh, K. (2011). Where Are My Intelligent Assistant's Mistakes? A Systematic Testing Approach. Paper presented at the Third International Symposium on End-User Development (IS-EUD), 07 - 10 June 2011, Torre Canne, Italy.
Kulesza, T., Stumpf, S., Burnett, M., Wong, W., Riche, Y., Moore, T., Oberst, I., Shinsel, A. & McIntosh, K. (2010). Explanatory debugging: Supporting end-user debugging of machine-learned programs. Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, pp. 41-48. doi: 10.1109/VLHCC.2010.15
Littlewood, B., Bainbridge, I. & Bloomfield, R. E. (1998). The use of computers in safety-critical applications. London, UK: Health and Safety Commission.
Littlewood, B. & Bloomfield, R. E. (2004). On the use of diverse arguments to increase confidence in dependability claims. Paper presented at the International Conference on Control and Instrumentation in Nuclear Installations, 2004, Liverpool, UK.
Littlewood, B., Bloomfield, R. E., Popov, P. T., Povyakalo, A. A. & Strigini, L. (2004). The impact of "difficulty" variation on the probability of coincident failure of diverse systems. Paper presented at the International Conference on Control and Instrumentation in Nuclear Installations, 2004, Liverpool, UK.
Littlewood, B. & Strigini, L. (2011). "Validation of ultra-high dependability…" – 20 years on. Safety Systems, the Newsletter of the Safety-Critical Systems Club,
Littlewood, B., Strigini, L., Wright, D. & Courtois, P.-J. (1998). Examination of Bayesian belief network for safety assessment of nuclear computer-based systems (Report No. 70). Brussels: DeVa ESPRIT Long Term Research Project.
Lloyd, D., Dykes, J. & Radburn, R. (2008). Mediating geovisualization to potential users and prototyping a geovisualization application. Paper presented at the GIS Research UK 16th Annual Conference GISRUK 2008, 2 - 4 Aug 2008, Manchester Metropolitan University, Manchester, UK.
Lorenzoli, D. & Spanoudakis, G. (2009). Detection of Security and Dependability Threats: A Belief Based Reasoning Approach. In: R. Falk, W. Goudalo, E. Y. Chen, R. Savola & M. Popescu (Eds.), Emerging Security Information, Systems and Technologies, 2009. SECURWARE '09. Third International Conference on. (pp. 312-320). IEEE.
Mahbub, K. & Spanoudakis, G. (2011). Proactive SLA negotiation for service based systems: Initial implementation and evaluation experience. Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011, pp. 16-23. doi: 10.1109/SCC.2011.34
Mahbub, K., Spanoudakis, G. & Zisman, A. (2011). A monitoring approach for runtime service discovery. Automated Software Engineering, 18(2), pp. 117-161. doi: 10.1007/s10515-010-0077-5
Makri, S. (2003). An accessible and multi-sensory web-based approach to Dyslexia screening. (Unpublished Diploma thesis, University of Hertfordshire)
Makri, S. (2008). A study of lawyers' information behaviour leading to the development of two methods for evaluating electronic resources. (Unpublished Doctoral thesis, University College London)
Metoyer, R., Stumpf, S., Neumann, C., Dodge, J., Cao, J. & Schnabel, A. (2010). Explaining how to play real-time strategy games. Knowledge-Based Systems, 23(4), pp. 295-301. doi: 10.1016/j.knosys.2009.11.006
Modi, C., Patel, D., Patel, H., Borisaniya, B., Patel, A. & Rajarajan, M. (2012). A survey of intrusion detection techniques in Cloud. Journal of Network and Computer Applications, doi: 10.1016/j.jnca.2012.05.003
Mohanty, V., Moliya, D., Hota, C. & Rajarajan, M. (2010). Secure Anonymous Routing for MANETs Using Distributed Dynamic Random Path Selection. Intelligence and Security Informatics, 6122, pp. 65-72. doi: 10.1007/978-3-642-13601-6_8
Nair, S. K., Porwal, S., Dimitrakos, T., Ferrer, A. J., Tordsson, J., Sharif, T., Sheridan, C., Rajarajan, M. & Khan, A. U. (2010). Towards secure cloud bursting, brokerage and aggregation. Paper presented at the IEEE European conference on Web Services, 1 Dec 2010 - 3 Dec 2010, Cyprus.
Papakonstantinou, S. & Brujic-Okretic, V. (2009). Framework for context-aware smartphone applications. The Visual Computer, 25(12), pp. 1121-1132. doi: 10.1007/s00371-009-0391-8
Papakonstantinou, S. & Brujic-Okretic, V. (2009). Prototyping a Context-Aware Framework for Pervasive Entertainment Applications. Paper presented at the Games and Virtual Worlds for Serious Applications.
Pawar, P. S., Nair, S. K., El-Mousaa, F., Dimitrakos, T., Rajarajan, M. & Zisman, A. (2012). Opinion Model Based Security Reputation Enabling Cloud Broker Architecture. Paper presented at the CloudComp 2012 - 3rd International Conference on Cloud Computing, 24 - 26 Sep 2012, Vienna, Austria.
Pawar, P. S., Rajarajan, M., Nair, S. K. & Zisman, A. (2012). Trust Model for Optimized Cloud Services. IFIP Advances in Information and Communication Technology, 374, pp. 97-112. doi: 10.1007/978-3-642-29852-3_7
Pino, L. & Spanoudakis, G. (2012). Finding secure compositions of software services: Towards a pattern based approach. 2012 5th International Conference on New Technologies, Mobility and Security - Proceedings of NTMS 2012 Conference and Workshops, pp. 1-5. doi: 10.1109/NTMS.2012.6208741
Pizza, M., Strigini, L., Bondavalli, A. & Di Giandomenico, F. (1998). Optimal discrimination between transient and permanent faults. Paper presented at the High-Assurance Systems Engineering Symposium, 13 - 14 Nov 1998, Washington DC, USA.
Popov, P. T. (2012). Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Fault-Tolerant Off-the-Shelf Software. Centre for Software Reliability, City University London.
Povyakalo, A. A., Alberdi, E., Strigini, L. & Ayton, P. (2013). How to discriminate between computer-aided and computer-hindered decisions: a case study in mammography. Medical Decision Making, 33(1), pp. 98-107. doi: 10.1177/0272989X12465490
Rajarajan, M., Adamsky, F., Khan, H., Khayam, S. A. & Jager, R. (2011). Destabilizing BitTorrent's clusters to attack high bandwidth lechers. Poster presented at the 18th ACM Conference on Computer and Communications Security (CCS 2011), 17 Oct 2011 - 21 Oct 2011, SWISSÔTEL Chicago, Chicago, IL, USA.
Rajarajan, M., Sajjad, A., Zisman, A., Nair, S. K. & Dimitrakos, T. (2011). Dynamic virtual private network provisioning from multiple cloud infrastructure service providers. Paper presented at the 4th European Conference, ServiceWave 2011, 26 - 28 Oct 2011, Poznan, Poland.
Rajarajan, M., Sajjad, A., Zisman, A., Nair, S. K. & Dimitrakos, T. (2012). Secure communication using dynamic VPN provisioning in an Inter-Cloud environment. Paper presented at the ICON 2012: 18th IEEE International Conference on Networks, 12 - 14 Dec 2012, Singapore.
Salako, Kizito (2012). Extension to models of coincident failure in multiversion software. (Unpublished Doctoral thesis, City University London)
Seyff, N., Graf, F. & Maiden, N. (2010). Using mobile RE tools to give end-users their own voice. Paper presented at the Requirements Engineering Conference (RE), 2010 18th IEEE International, 27 Sep - 1 Oct 2010, Sydney, Australia.
Shepherd, Robert (2011). The generation and classification of small leaks in a high pressure water system. (Unpublished Doctoral thesis, City University London)
Simon, A., King, A. & Howe, J.M. (2003). Two variables per linear inequality as an abstract domain. Logic based program synthesis and transformation, 2664, pp. 71-89. doi: 10.1007/3-540-45013-0_7
Siveroni, I., Zisman, A. & Spanoudakis, G. (2008). Property specification and static verification of UML models. Paper presented at the Availability, Reliability and Security, 2008. ARES 08. Third International Conference on, 4 - 7 Mar 2008, Barcelona, Spain.
Siveroni, I., Zisman, A. & Spanoudakis, G. (2010). A UML-based static verification framework for security. Requirements Engineering, 15(1), pp. 95-118. doi: 10.1007/s00766-009-0091-y
Slingsby, A., Dykes, J., Wood, J. & Clarke, K. (2007). Interactive tag maps and tag clouds for the multiscale exploration of large spatio-temporal datasets. Information Visualization, 2007. IV '07. 11th International Conference, pp. 497-504. ISSN 1550-6037
Slingsby, A., Dykes, J., Wood, J. & Clarke, K. (2007). Mashup cartography: cartographic issues of using Google Earth for tag maps. Paper presented at the ICA Commission on Maps and the Internet, 31 Jul - 2 Aug 2007, Warsaw, Poland.
Slingsby, A., Lowe, R., Dykes, J., Stephenson, D., Wood, J. & Jupp, T. (2009). A pilot study for the collaborative development of new ways of visualising seasonal climate forecasts. Paper presented at the GIS Research UK, 17th Annual Conference, 1 - 3 Apr 2009, University of Durham, Durham, UK.
Spanos, P. D. & Giaralis, A. (2008). Statistical linearization based estimation of the peak response of nonlinear systems subject to the EC8 design spectrum. 2008 SEISMIC ENGINEERING CONFERENCE COMMEMORATING THE 1908 MESSINA AND REGGIO CALABRIA EARTHQUAKE, PARTS 1 AND 2, 1020, pp. 1236-1244. ISSN 0094-243X
Spanos, P. D., Giaralis, A. & Li, J. (2009). Synthesis of accelerograms compatible with the Chinese GB 50011-2001 design spectrum via harmonic wavelets: artificial and historic records. Earthquake engineering and engineering vibration, 8(2), pp. 189-206. doi: 10.1007/s11803-009-9017-4
Spanos, P. D., Giaralis, A. & Politis, N. P. (2007). Time-frequency representation of earthquake accelerograms and inelastic structural response records using the adaptive chirplet decomposition and empirical mode decomposition. Soil Dynamics and Earthquake Engineering, 27(7), pp. 675-689. doi: 10.1016/j.soildyn.2006.11.007
Spanos, P. D., Giaralis, A., Politis, N. P. & Roesset, J. M. (2007). Numerical treatment of seismic accelerograms and of inelastic seismic structural responses using harmonic wavelets. Computer-aided civil and infrastructure design, 22(4), pp. 254-264. doi: 10.1111/j.1467-8667.2007.00483.x
Spanoudakis, G., Damiani, E. & Maña, A. (2012). Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach. Paper presented at the High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on, 25 - 27 Oct 2012, Omaha, US.
Spurgin, A. J. & Stupples, D. (2012). Impact of accidents on organizational aspects of nuclear utilities. International Journal of Economics and Management Engineering, 2(4), pp. 132-144.
Stankovic, V. & Strigini, L. (2009). A survey on online monitoring approaches of computer-based systems. London, UK: Centre for Software Reliability, City University London.
Strigini, L. (2005). Fault Tolerance Against Design Faults. In: H. Diab & A. Zomaya (Eds.), Dependable Computing Systems: Paradigms, Performance Issues, and Applications. (pp. 213-241). John Wiley & Sons.
Strigini, L. (2004). Formalism and judgement in assurance cases. Paper presented at the Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, held at International Conference on Dependable Systems and Networks (DSN 2004), Jun 2004, Florence, Italy.
Strigini, L., Bloomfield, R. E., Paulitsch, M. & Reiger, R. (2012). Evidence-Based Security in Aerospace. From Safety to Security and Back Again. Paper presented at the 23rd International Symposium on Software Reliability Engineering (ISSRE 2012), Fast Abstracts Track, 26 - 29 Nov 2012, Dallas, Texas, USA.
Strigini, L. & Littlewood, B. (2000). A discussion of practices for enhancing diversity in software designs. London, UK: Centre for Software Reliability, City University London.
Strigini, L., Popov, P. T. & Littlewood, B. (2000). Assessing the Reliability of Diverse Fault-Tolerant Systems. Paper presented at the INucE International Conference on Control and Instrumentation in Nuclear Installations, Bristol, UK.
Strigini, L., Popov, P. T. & Romanovsky, A. (2000). Diversity for off-the-shelf components. Paper presented at the International Conference on Dependable Systems & Networks (FTCS-30, DCCA-8), New York, NY, USA.
Strigini, L., Povyakalo, A. A. & Alberdi, E. (2003). Human-machine diversity in the use of computerised advisory systems: a case study. Paper presented at the International Conference on Dependable Systems and Networks (DSN'03), 22 - 25 Jun 2003, San Francisco, California.
Stumpf, S. (2001). Analysis and representation of rhetorical construction of understanding in design teams' experiential learning. (Unpublished Doctoral thesis, University College London)
Stumpf, S. (1997). Argumentation-based design rationale - the sharpest tools in the box (Report No. RN/98/103). London, UK: Computer Science Department, University College London.
Stumpf, S., Fitzhenry, E. & Dietterich, T. G. (2007). The use of provenance in information retrieval. Paper presented at the Workshop on Principles of Provenance (PROPR), 19 - 20 November 2007, Edinburgh, Scotland.
Stumpf, S. & McDonnell, J. (2004). An investigation into sharing metadata: "I'm not thinking what you are thinking". Journal of Universal Computer Science, 10(6), pp. 740-748. doi: 10.3217/jucs-010-06-0740
Stumpf, S. & Muscroft, S. (2011). When users generate music playlists: When words leave off, music begins?. Paper presented at the Third International Workshop on Advances in Music Information Research (AdMIRe) in conjunction with the IEEE International Conference on Multimedia and Expo (ICME), 11 - 15 July 2011, Barcelona, Spain.
Tsigkritis, Theocharis (2010). Diagnosing runtime violations of security and dependability properties. (Unpublished Doctoral thesis, City University London)
Weerasinghe, D., Rajarajan, M., Elmufti, K. & Rakocevic, V. (2008). Patient privacy protection using anonymous access control techniques. Methods of Information in Medicine, 47(3), pp. 235-240. doi: 10.3414/ME9116
Wissmann, Jens (2012). Chord Sequence patterns in OWL. (Unpublished Doctoral thesis, City University London)
Zisman, A. (2007). A Static Verification Framework for Secure Peer-to-Peer Applications. Paper presented at the Internet and Web Applications and Services, 2007. ICIW '07. Second International Conference on, 13 - 19 May 2007, Mauritius.