King's College London

Research portal

Springer-Verlag Berlin Heidelberg

Publisher

  1. ProvViz: An Intuitive Prov Editor and Visualiser

    Werner, B. & Moreau, L., 19 May 2021, (Accepted/In press) Provenance Week 2021. Springer-Verlag Berlin Heidelberg

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

  2. A machine learning model for predicting fetal Haemoglobin levels in sickle cell disease patients

    Oikonomou, K., Steinhofel, K. & Menzel, S., 25 Feb 2021, Proceedings of Sixth International Congress on Information and Communication Technology. Springer-Verlag Berlin Heidelberg, Vol. 1. ( Lecture Notes in Networks and Systems).

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

  3. Automating Provenance Capture in Software Engineering with UML2PROV

    Saenz-Adan, C., Moreau, L., Pérez, B., Miles, S. & García-Izquierdo, A. F. J., 22 May 2018, (Accepted/In press) IPAW'2018: 7th International Provenance and Annotation Workshop. Springer-Verlag Berlin Heidelberg

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

  4. Belief Propagation Through Provenance Graphs

    Batlajery, B. V., Weal, M., Chapman, A. & Moreau, L., 13 May 2018, (Accepted/In press) IPAW'2018: 7th International Provenance and Annotation Workshop. London, UK: Springer-Verlag Berlin Heidelberg

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

  5. Probe Tracking and Its Application in Automatic Acquisition Using a Trans-Esophageal Ultrasound Robot

    Wang, S., Singh, D., Lau, D., Reddy, K., Althoefer, K., Rhode, K. & Housden, R. J., 22 Feb 2017, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg, Vol. 10170 LNCS. p. 14-23 10 p. Chapter 2. (MICCAI, Computer-Assisted and Robotic Endoscopy; vol. 10170).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  6. Statistical atlases and computational models of the heart: Imaging and modelling challenges: 6th international workshop, STACOM 2015 held in conjunction with MICCAI 2015 Munich, Germany, october 9, 2015 revised selected papers

    Camara, O., Mansi, T., Pop, M., Rhode, K., Sermesant, M. & Young, A., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9534. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9534).

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

  7. Automatic brain localization in fetal MRI using superpixel graphs

    Alansary, A., Lee, M., Keraudren, K., Kainz, B., Malamateniou, C., Rutherford, M., Hajnal, J. V., Glocker, B. & Rueckert, D., 30 Dec 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9487. p. 13-22 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9487).

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

  8. Coalescing walks on rotor-router systems

    Cooper, C., Radzik, T., Rivera, N. & Shiraga, T., 20 Nov 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9439. p. 444-458 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9439).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  9. Flexible reconstruction and correction of unpredictable motion from stacks of 2D images

    Kainz, B., Alansary, A., Malamateniou, C., Keraudren, K., Rutherford, M., Hajnal, J. V. & Rueckert, D., 20 Nov 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9350. p. 555-562 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9350).

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

  10. Automated localization of fetal organs in MRI using random forests with steerable features

    Keraudren, K., Kainz, B., Oktay, O., Kyriakopoulou, V., Rutherford, M. A., Hajnal, J. V. & Rueckert, D., 18 Nov 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9351. p. 620-627 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9351).

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

  11. Fast reconstruction of accelerated dynamic MRI using manifold kernel regression

    Bhatia, K. K., Caballero, J., Price, A. N., Sun, Y., Hajnal, J. V. & Rueckert, D., 18 Nov 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9351. p. 510-518 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9351).

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

  12. Quantitative analysis of Multiagent systems through statistical model checking

    Herd, B., Miles, S., McBurney, P. & Luck, M., 15 Nov 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9318. p. 109-130 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9318).

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

  13. Towards the disruption of plans

    Voinitchi, A., Black, E. & Luck, M., 7 Nov 2015, Coordination, Organizations, Institutions, and Norms in Agent Systems X: COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers. Springer-Verlag Berlin Heidelberg, Vol. LNAI 9372. p. 233-250 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9372).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  14. Fast consensus for voting on general expander graphs

    Cooper, C., Elsässer, R., Radzik, T., Rivera, N. & Shiraga, T., 5 Nov 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9363. p. 248-262 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9363).

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

  15. Learning and combining image similarities for neonatal brain population studies

    Zimmer, V. A., Glocker, B., Aljabar, P., Counsell, S., Rutherford, M., Edwards, A. D., Hajnal, J. V., Ballester, M. Á. G., Rueckert, D. & Piella, G., 2 Oct 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9352. p. 110-117 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9352).

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

  16. Constructing self-stabilizing oscillators in population protocols

    Cooper, C., Lamani, A., Viglietta, G., Yamashita, M. & Yamauchi, Y., 4 Aug 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9212. p. 187-200 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9212).

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

  17. On energy-efficient computations with advice

    Böckenhauer, H. J., Dobson, R., Krug, S. & Steinhöfel, K., 24 Jun 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9198. p. 747-758 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9198).

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

  18. Application of diffuse optical reflectance to measure myocardial wall thickness and presence of infarct scar: A Monte Carlo simulation study

    Tang, Y. C. & Bishop, M. J., 21 Jun 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9126. p. 248-255 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9126).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  19. Myocardial stiffness estimation: A novel cost function for unique parameter identification

    Nasopoulou, A., Blazevic, B., Crozier, A., Shi, W., Shetty, A., Aldo Rinaldi, C., Lamata, P. & Niederer, S., 21 Jun 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9126. p. 355-363 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9126).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  20. Personalization of atrial electrophysiology models from decapolar catheter measurements

    Corrado, C., Williams, S., Chubb, H., O’neill, M. & Niederer, S. A., 21 Jun 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9126. p. 21-28 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9126).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  21. Quantification of gaps in ablation lesions around the pulmonary veins in delayed enhancement MRI

    Garcia, M. N., Tobon-Gomez, C., Rhode, K., Bijnens, B., Camara, O. & Butakoff, C., 21 Jun 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9126. p. 215-222 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9126).

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

  22. Online Open Neuroimaging Mass Meta-Analysis with a Wiki

    Nielsen, F. Å., Kempton, M. & Williams, S., 21 Apr 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 7540. p. 259-271 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7540).

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

  23. Designing for inconsistency – the dependency-based PERICLES approach

    Vion-Dury, J. Y., Lagos, N., Kontopoulos, E., Riga, M., Mitzias, P., Meditskos, G., Waddington, S., Laurenson, P. & Kompatsiaris, I., 2015, Communications in Computer and Information Science. Springer-Verlag Berlin Heidelberg, Vol. 539. p. 458-467 10 p. (Communications in Computer and Information Science; vol. 539).

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

  24. Direct exchange mechanisms for option pricing

    Abdullaev, S. A., McBurney, P. & Musial-Gabrys, K., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 8953. p. 269-284 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8953).

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

  25. Left atrial segmentation from 3D respiratoryand ecg-gated magnetic resonance angiography

    Karim, R., Chubb, H., Staab, W., Aziz, S., Housden, R. J., O’Neill, M., Razavi, R. & Rhode, K., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9126. p. 155-163 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9126).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  26. On the preservation of evolving digital content – the continuum approach and relevant metadata models

    Lagos, N., Waddington, S. & Vion-Dury, J. Y., 2015, Communications in Computer and Information Science. Springer-Verlag Berlin Heidelberg, Vol. 544. p. 15-26 12 p. (Communications in Computer and Information Science; vol. 544).

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

  27. STACOM challenge: Simulating left ventricular mechanics in the canine heart

    Asner, L., Hadjicharalambous, M., Lee, J. & Nordsletten, D., 2015, Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges: 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers. Springer-Verlag Berlin Heidelberg, p. 123-134 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8896).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  28. SimpLiSMS: A simple, lightweight and fast approach for structured motifs searching

    Alatabbi, A., Azmin, S., Habib, M. K., Iliopoulos, C. S. & Sohel Rahman, M., 2015, Bioinformatics and Biomedical Engineering: Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II. Ortuño, F. & Rojas, I. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 9044. p. 219-230 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9044).

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

  29. Tension Sensing for a Linear Actuated Catheter Robot

    Back, J., Karim, R., Noh, Y., Rhode, K., Althoefer, K. & Liu, H., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9245. p. 472-482 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9245).

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

  30. Verification and validation of agent-based simulations using approximate model checking

    Herd, B., Miles, S., McBurney, P. & Luck, M., 1 Apr 2014, Multi-Agent-Based Simulation XIV: International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Alam, S. J. & Parunak, H. V. D. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 8235 LNAI. p. 53-70 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8235 LNAI).

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

  31. Artificial Neural Networks in the Detection of Known and Unknown DDoS Attacks: Proof-of-Concept

    Saied, A., Overill, R. E. & Radzik, T., 2014, Communications in Computer and Information Science. Springer-Verlag Berlin Heidelberg, Vol. 430. p. 300-320 21 p. (Communications in Computer and Information Science; vol. 430).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  32. Extraction of cardiac and respiratory motion information from cardiac X-ray fluoroscopy images using hierarchical manifold learning

    Panayiotou, M., King, A. P., Bhatia, K. K., Housden, R. J., Ma, Y. L., Rinaldi, C. A., Gill, J., Cooklin, M., O'Neill, M. & Rhode, K. S., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Camara, O., Mansi, T., Pop, M., Rhode, K., Sermesant, M. & Young, A. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 8330. p. 126-134 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8330 LNCS).

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

  33. Left Atrial Segmentation Challenge: A unified benchmarking framework

    Tobon-Gomez, C., Peters, J., Weese, J., Pinto, K., Karim, R., Schaeffter, T., Razavi, R. & Rhode, K. S., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): 4th International Workshop, STACOM 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 26, 2013. Revised Selected Papers. Camara, O., Mansi, T., Pop, M., Rhode, K., Sermesant, M. & Young, A. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 8330 LNCS. p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8330 LNCS).

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

  34. Motion corrected 3D reconstruction of the fetal thorax from prenatal MRI

    Kainz, B., Malamateniou, C., Murgasova, M., Keraudren, K., Rutherford, M., Hajnal, J. V. & Rueckert, D., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Golland, P., Hata, N., Barillot, C., Hornegger, J. & Howe, R. (eds.). PART 2 ed. Springer-Verlag Berlin Heidelberg, Vol. 8674 . p. 284-291 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8674 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  35. Revisiting abstract argumentation frameworks

    Modgil, S., 2014, Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers. Black, E., Modgil, S. & Oren, N. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 8306 LNAI. p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8306 LNAI).

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

  36. Offense-defense balance in cyber warfare

    Shaheen, S., 1 Dec 2013, Cyberspace and International Relations: Theory, Prospects and Challenges. Springer-Verlag Berlin Heidelberg, p. 77-93 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  37. Bone densitometry: Science and practice

    Blake, G. M. & Fogelman, I., 1 Oct 2013, Radionuclide and Hybrid Bone Imaging. Fogelman, I., Gnanasegaran, G. & van der Wall, H. (eds.). Springer-Verlag Berlin Heidelberg, p. 893-913 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  38. Skeletal tracer kinetics: Science and practice

    Blake, G. M., Frost, M., Moore, A. E. B., Siddique, M. & Fogelman, I., 1 Oct 2013, Radionuclide and Hybrid Bone Imaging. Fogelman, I., Gnanasegaran, G. & van der Wall, H. (eds.). Springer-Verlag Berlin Heidelberg, p. 85-107 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  39. New insights into neurocognition provided by brain mapping: visuospatial cognition

    Thiebaut De Schotten, M. & Bartolomeo, P., 2012, Brain Mapping: From Neural Basis of Cognition to Surgical Applications. Duffau, H. (ed.). Vienna: Springer-Verlag Berlin Heidelberg, p. 155-166 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  40. Restoration of Retinal Development in Vsx2 Deficient Mice by Reduction of Gdf11 Levels

    Santos, R., Wu, J., Hamilton, J. A., Pinter, R., Hindges, R. & Calof, A. L., 2012, Retinal Degenerative Diseases. LaVail, MM., Ash, JD., Anderson, RE., Hollyfield, JG. & Grimm, C. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 671-677 7 p. (Advances in Experimental Medicine and Biology; vol. 723).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. Tree Template Matching in Ranked Ordered Trees by Pushdown Automata

    Flouri, T., Janousek, J., Melichar, B., Iliopoulos, C. S. & Pissis, S., 2011, Implementation and Application of Automata. BouchouMarkhoff, B., Caron, P., Champarnaud, JM. & Maurel, D. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 273-281 9 p. (Lecture Notes in Computer Science; vol. 6807).

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

  42. Variants of LTL Query Checking

    Chockler, H., Gurfinkel, A. & Strichman, O., 2011, Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Barner, S., Harris, Kroening, D. & Raz, O. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 76-92 17 p. (Lecture Notes in Computer Science; vol. 6504).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  43. A Fast and Efficient Algorithm for Mapping Short Sequences to a Reference Genome

    Antoniou, P., Iliopoulos, C. S., Mouchard, L. & Pissis, S., 2010, Advances in Computational Biology. Arabnia, HR. (ed.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 399-403 5 p. (Advances in Experimental Medicine and Biology; vol. 680).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  44. How to organize an educational research programme within an academic surgical unit?

    Ahmed, K., Ashrafian, H. & Paraskeva, P., 2010, Key Topics in Surgical Research and Methodology. Darzi, A. & Athanasiou, T. (eds.). Springer-Verlag Berlin Heidelberg

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  45. The Ethics of Animal Research

    Ashrafian, H., Ahmed, K. & Athanasiou, T., 2010, Key Topics in Surgical Research and Methodology. Springer-Verlag Berlin Heidelberg

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  46. Cross-Entropy-Based Replay of Concurrent Programs

    Chockler, H., Farchi, E., Godlin, B. & Novikov, S., 2009, Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Chechik, M. & Wirsing, M. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 201-215 15 p. (Lecture Notes in Computer Science; vol. 5503).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  47. Explaining Counterexamples Using Causality

    Beer, I., Ben-David, S., Chockler, H., Orni, A. & Trefler, R., 2009, Computer aided verification: 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings. Bouajjani, A. & Maler, O. (eds.). N/A ed. Berlin: Springer-Verlag Berlin Heidelberg, Vol. N/A. p. 94-108 15 p. (Lecture Notes in Computer Science; vol. 5643).

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

  48. Efficient automatic STE refinement using responsibility

    Chockler, H., Grumberg, O. & Yadgar, A., 2008, Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Part of Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, March 29-April 6, 2008. Proceedings. Ramakrishnan, CR. & Rehof, J. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 233-248 16 p. (LECTURE NOTES IN COMPUTER SCIENCE; vol. 4963).

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

  49. Extending Gaia with Agent Design and Iterative Development

    Gonzalez-Palacios, J. & Luck, M., 2008, Agent-Oriented Software Engineering VIII: 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers. Luck, M. & Padgham, L. (eds.). Springer-Verlag Berlin Heidelberg, p. 16-30 15 p. (Programming and Software Engineering; vol. 4951).

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

  50. Finding Patterns in Given Intervals

    Crochemore, M., Iliopoulos, C. & Rahman, M. S., 2007, Mathematical Foundations of Computer Science 2007: 32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007 Proceedings. Kuvcera, L. & Kuvcera, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 645-656 12 p. (Lecture Notes in Computer Science; vol. 4708).

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

Previous 1 2 Next

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454