Home > Research > Publications & Outputs
  1. Published

    Surface water hydrology—runoff generation and basin structure

    Beven, K., 04/1983, In: Reviews of Geophysics. 21, 3, p. 721-730 10 p.

    Research output: Contribution to Journal/MagazineReview articlepeer-review

  2. Published

    Kinematic subsurface stormflow

    Beven, K., 10/1981, In: Water Resources Research. 17, 5, p. 1419-1424 6 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. Published

    Comment on "Hydrological forecasting uncertainty assessment: Incoherence of the GLUE methodology" by Pietro Mantovan and Ezio Todini

    Beven, K., Smith, P. & Freer, J., 30/05/2007, In: Journal of Hydrology. 338, 3-4, p. 315-318 4 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. Published

    A sensitivity analysis of the Penman-Monteith actual evapotranspiration estimates

    Beven, K., 12/1979, In: Journal of Hydrology. 44, 3-4, p. 169-190 22 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. Published

    On subsurface stormflow: Predictions with simple kinematic theory for saturated and unsaturated flows

    Beven, K., 12/1982, In: Water Resources Research. 18, 6, p. 1627-1633 7 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    A short history of philosophies of hydrological model evaluation and hypothesis testing

    Beven, K. J., 28/02/2025, In: Wiley Interdisciplinary Reviews: Water. 12, 1, e1761.

    Research output: Contribution to Journal/MagazineReview articlepeer-review

  7. Published

    The hydrological response of headwater and sideslope areas

    Beven, K., 1/12/1978, In: Hydrological Sciences Bulletin. 23, 4, p. 419-437 19 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    Epistemic uncertainties and natural hazard risk assessment - Part 1: A review of different natural hazard areas

    Beven, K. J., Almeida, S., Aspinall, W. P., Bates, P. D., Blazkova, S., Borgomeo, E., Freer, J., Goda, K., Hall, J., Phillips, J. C., Simpson, M., Smith, P. J., Stephenson, D. B., Wagener, T., Watson, M. & Wilkins, K. L., 24/10/2018, In: Natural Hazards and Earth System Sciences. 18, 10, p. 2741-2768 28 p.

    Research output: Contribution to Journal/MagazineReview articlepeer-review

  9. Published

    A physically based, variable contributing area model of basin hydrology

    Beven, K. J. & Kirkby, M. J., 03/1979, In: Hydrological Sciences Bulletin. 24, 1, p. 43-69 27 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    On subsurface stormflow: An analysis of response times

    Beven, K., 12/1982, In: Hydrological Sciences Journal. 27, 4, p. 505-521 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  11. Published

    Erratum: Infiltration excess at the Horton Hydrology Laboratory (or not?) (Journal of Hydrology (2004) 293 (219-234) PII: S0022169401004747)

    Beven, K., 20/07/2004, In: Journal of Hydrology. 294, 4, p. 294-295 2 p.

    Research output: Contribution to Journal/MagazineComment/debatepeer-review

  12. Published

    On the Variation of Infiltration Into a Homogeneous Soil Matrix Containing a Population of Macropores

    Beven, K. J. & Clarke, R. T., 03/1986, In: Water Resources Research. 22, 3, p. 383-388 6 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  13. Published

    L'unicité de lieu, d'action et de temps

    Beven, K., Musy, A. & Higy, C., 12/2001, In: Revue des Sciences de l'Eau. 14, 4, p. 525-533 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  14. Published

    Comments on ‘A stochastic‐conceptual analysis of rainfall‐runoff processes on a hillslope’ by R. Allan Freeze

    Beven, K., 04/1981, In: Water Resources Research. 17, 2, p. 431-432 2 p.

    Research output: Contribution to Journal/MagazineComment/debatepeer-review

  15. Published

    A Century of Denial: Preferential and Nonequilibrium Water Flow in Soils, 1864-1984

    Beven, K., 20/12/2018, In: Vadose Zone Journal. 17, 1, 17 p., 180153.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  16. Published

    On the generalized kinematic routing method

    Beven, K., 10/1979, In: Water Resources Research. 15, 5, p. 1238-1242 5 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  17. Published

    Towards a methodology for testing models as hypotheses in the inexact sciences

    Beven, K., 24/04/2019, In: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 475, 2224, 19 p., 20180862.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  18. Published

    In Memoriam: Peter F. Germann

    Beven, K., 24/02/2021, In: Vadose Zone Journal. 20, 2

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  19. Published

    TESTING A PHYSICALLY-BASED FLOOD FORECASTING MODEL (TOPMODEL) FOR THREE U. K. CATCHMENTS.

    Beven, K. J., Kirkby, M. J., Schofield, N. & Tagg, A. F., 1/01/1984, In: Journal of Hydrology. 69, 1-4, p. 119-143 25 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  20. Published

    Catchment geomorphology and the dynamics of runoff contributing areas

    Beven, K. & Wood, E. F., 08/1983, In: Journal of Hydrology. 65, 1-3, p. 139-158 20 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  21. Published

    ASSESSING THE EFFECT OF SPATIAL PATTERN OF PRECIPITATION IN MODELING STREAM FLOW HYDROGRAPHS

    Beven, K. J. & Hornberger, G. M., 10/1982, In: JAWRA Journal of the American Water Resources Association. 18, 5, p. 823-829 7 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  22. Published

    LANDSLIP/DEBRIS FLOW IN BILSDALE, NORTH YORK MOORS, SEPTEMBER 1976.

    Beven, K., Lawson, A. & McDonald, A., 1978, In: Earth Surf Processes. 3, 4, p. 407-419 13 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  23. Published

    The rise of the eco-preneur and the messy world of environmental innovation

    Beveridge, R. & Guy, S., 2005, In: Local Environment : The International Journal of Justice and Sustainability. 10, 6, p. 665-676 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  24. Published

    Innovation to intermediaries: translating the EU urban wastewater directive

    Beveridge, R. & Guy, S., 2010, Shaping urban infrastructures: intermediaries and the governance of socio-technical networks. Guy, S., Marvin, S., Medd, W. & Moss, T. (eds.). London: Taylor and Francis, p. 92-107 16 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  25. Published

    Current status of water sector restructuring in Slovakia

    Beveridge, R. & Guy, S., 2003, Working Paper, Leibniz Institute for Regional Development and Structural Planning, Germany.

    Research output: Book/Report/ProceedingsCommissioned report

  26. Published

    Governing through translations: intermediaries and the mediation of the EU's urban waste water directive

    Beveridge, R. & Guy, S., 2009, In: Journal of Environmental Policy and Planning. 11, 2, p. 69-85 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  27. Published

    The Andes–Amazon–Atlantic pathway: A foundational hydroclimate system for social–ecological system sustainability

    Beveridge, C. F., Espinoza, J.-C., Athayde, S., Correa, S. B., Couto, T. B. A., Heilpern, S. A., Jenkins, C. N., Piland, N. C., Utsunomiya, R., Wongchuig, S. & Anderson, E. P., 28/05/2024, In: Proceedings of the National Academy of Sciences. 121, 22, e2306229121.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  28. Published

    Measurement of hydrocarbon and carbon dioxide fluxes from a Sitka spruce forest using micrometeorological techniques.

    Beverland, J. I., Milne, R., Boissard, C., O'Neill, D. H., Moncrieff, J. B. & Hewitt, C., 1996, In: Journal of Geophysical Research: Atmospheres. 101, D17, p. 22807-22815 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  29. Published

    Designing pre-commercial procurement: how procurement practices facilitate commercialization of innovative solutions

    Beverloo, Y., Wynstra, F. & Selviaridis, K., 29/03/2021.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  30. Published

    Families of covariance functions for bivariate random fields on spheres

    Bevilacqua, M., Diggle, P. J. & Porcu, E., 1/12/2020, In: Spatial Statistics. 40, 16 p., 100448.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  31. Published

    FURTHER STUDY OF ALLYL ETHERS AND RELATED COMPOUNDS AS TRANSFER AGENTS IN RADICAL POLYMERIZATIONS.

    Bevington, J. C., Huckerby, T. N., Hunt, B. J. & Jenkins, A. D., 2001, In: Journal of Macromolecular Science Part A Pure and Applied Chemistry. 38, 10, p. 981-990 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  32. Published

    Quantifying gradual and sudden change using remotely sensed imagery

    Bevington, J. S., Lewis, H. G. & Atkinson, P. M., 2006, RSPSoc annual conference 2006: understanding a changing world : integrated approaches to monitoring, measuring and modelling the environment : 5-8 September, Fitzwilliam College, University of Cambridge, UK. Devereux, B. J., Amable, G. S. & Fuller, R. M. (eds.). [London]: Remote Sensing and Photogrammetry Society

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  33. Published

    A study of an azonitrile containing a sizable fluorocarbon group.

    Bevington, J. C., Guyot, B., Huckerby, T. N., Hunt, B. J. & Jones, R., 04/2000, In: European Polymer Journal. 36, 4, p. 657-661 5 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  34. Published

    THE EFFECTS OF ALLYL ETHERS UPON RADICAL POLYMERIZATIONS.

    Bevington, J. C., Huckerby, T. N., Hunt, B. J. & Jenkins, A. D., 2001, In: Journal of Macromolecular Science Part A Pure and Applied Chemistry. 38, 7, p. 627-640 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  35. Published

    Quantitative and qualitative measurements of planned and unexpected change using remotely sensed imagery

    Bevington, J. S., Lewis, H. G. & Atkinson, P. M., 2007.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paper

  36. Published

    Hydrostannation of Acetylenic Acid Derivatives

    Bew, S. P. & Sweeney, J. B., 1/02/1991, In: SYNLETT. 1991, 2, p. 109-110 2 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  37. Published

    Securely Storing and Sharing Memory Cues in Memory Augmentation Systems: A Practical Approach

    Bexheti, A., Langheinrich, M., Elhart, I. & Davies, N. A. J., 11/03/2019, 2019 IEEE International Conference on Pervasive Computing and Communications (PerCom). IEEE, 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  38. Published

    Species-rich dung beetle communities buffer ecosystem services in perturbed agro-ecosystems

    Beynon, S. A., Mann, D. J., Slade, E. M. & Lewis, O. T., 2012, In: Journal of Applied Ecology. 49, 6, p. 1365-1372 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  39. Published

    Ethylene-auxin interactions during adventitious rooting in two populus hybrids of different rooting potential

    Beynon-Davies, R. & Sharp, R., 2013, ISHS Acta Horticulturae 990: II International Symposium on Woody Ornamentals of the Temperate Zone. Van Huylenbroeck, J., Van Labeke, M. C. & Van Laere, K. (eds.). Gent, Vol. 990. p. 443-449 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  40. Published

    Internet Evolution: Critical Issues

    Bezahaf, M., Hutchison, D., King, D. & Race, N., 1/07/2020, In: IEEE Internet Computing. 24, 4, p. 5-14 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  41. Published

    BcWAN: A Federated Low-Power WAN for the Internet of Things

    Bezahaf, M., Cathelain, G. & Ducrocq, T., 10/12/2018, Middleware '18 Proceedings of the 19th International Middleware Conference Industry. New York, NY, USA: ACM, p. 54-60 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  42. Published

    Self-Generated Intent-Based System

    Bezahaf, M., Perez Hernandez, M., Bardwell, L., Davies, E., Broadbent, M., King, D. & Hutchison, D., 27/02/2020, 2019 10th International Conference on Networks of the Future (NoF). IEEE, p. 138-140 3 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  43. Published

    To All Intents and Purposes: Towards Flexible Intent Expression

    Bezahaf, M., Davies, E., Rotsos, C. & Race, N., 28/06/2021, 1st International Workshop on Intent-based Networking. Tokyo, Japan: IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  44. Published

    A Model-Driven and Business Approach to Autonomic Network Management

    Bezahaf, M., Cassidy, S., Hutchison, D., King, D., Race, N. & Rotsos, C., 8/06/2021, In: Journal of ICT Standardization. 9, 2, p. 229-256 28 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  45. Published

    Meaning and gender differences

    Bezalel, J., Mugerman, Y. & Winter, E., 31/12/2021, In: Journal of Behavioral and Experimental Economics. 95, 9 p., 101757.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  46. Published

    Spatially Resolved Stellar Kinematics from LEGA-C: Increased Rotational Support in z~0.8 Quiescent Galaxies

    Bezanson, R., Wel, A. V. D., Pacifici, C., Noeske, K., Barišić, I., Bell, E. F., Brammer, G. B., Calhau, J., Chauke, P., Dokkum, P. V., Franx, M., Gallazzi, A., Houdt, J. V., Labbé, I., Maseda, M. V., Muños-Mateos, J. C., Muzzin, A., Sande, J. V. D., Sobral, D. & Straatman, C. & 1 others, Wu, P.-F., 4/05/2018, In: The Astrophysical Journal. 858, 1, 26 p., 60.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  47. Published

    1D Kinematics from stars and ionized gas at $z\sim0.8$ from the LEGA-C spectroscopic survey of massive galaxies

    Bezanson, R., Wel, A. V. D., Straatman, C., Pacifici, C., Wu, P.-F., Barišić, I., Bell, E. F., Conroy, C., D'Eugenio, F., Franx, M., Gallazzi, A., Houdt, J. V., Maseda, M. V., Muzzin, A., Sande, J. V. D., Sobral, D. & Spilker, J., 1/12/2018, In: Astrophysical Journal Letters. 868, 2, 7 p., L36.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  48. Published

    SERIAL-ORDER recall in working memory across the cognitive spectrum of Parkinson’s disease and neuroimaging correlates

    Bezdicek, O., Ballarini, T., Albrecht, F., Libon, D. J., Lamar, M., Růžička, F., Roth, J., Hurlstone, M. J., Mueller, K., Schroeter, M. L. & Jech, R., 28/04/2021, In: Journal of Neuropsychology. 15, 1, p. 88–111 24 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  49. Published

    A comparative study of autonomous learning outlier detection methods applied to fault detection

    Bezerra, C. G., Costa, B. S. J., Guedes, L. A. & Angelov, P. P., 08/2015, Proceedings of the 2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) . IEEE, p. 1-7 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  50. Published

    RDE with forgetting: an approximate solution for large values of k with an application to fault detection problems

    Bezerra, C. G., Costa, B., Guedes, L. A. & Angelov, P., 2015, Statistical learning and data sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 169-178 10 p. (Lecture Notes in Computer Science; vol. 9047).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  51. Published

    An evolving approach to data streams clustering based on typicality and eccentricity data analytics

    Bezerra, C. G., Costa, B. S. J., Guedes, L. A. & Angelov, P. P., 31/05/2020, In: Information Sciences. 518, p. 13-28 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  52. Published

    A new evolving clustering algorithm for online data streams

    Bezerra, C. G., Costa, B. S. J., Guedes, L. A. & Angelov, P. P., 23/05/2016, 2016 IEEE International Conference on Evolving and Adaptive Intelligent Systems, EAIS2016. IEEE, p. 162-168 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  53. Published

    The relative influence of different landscape attributes on dung beetle communities in the Brazilian Atlantic forest

    Bezerra De Souza, T., Machado Franca, F., Barlow, J., Dodonov, P., Santos, J. S., Faria, D. & Baumgarten, J. E., 1/10/2020, In: Ecological Indicators. 117, 11 p., 106534.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  54. Published

    Impact of Integrated Management on Yield Sustainability in Relation to Soil Quality Under a Rice–Wheat Cropping System

    Bhaduri, D., Purakayastha, T. J., Bhar, L. M., Patra, A. K. & Sarkar, B., 28/02/2014, In: National Academy Science Letters. 37, 1, p. 25-31 7 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  55. Published

    Static shape control using piezoelectric actuator

    Bhagate, K., Ye, J. & Singh, A., 2012, Proceedings of the International Conference on Mechanics of Nano, Micro and Macro Compsite Structures: Politecnico di Torino, 19-20 June 2012. Ferreira, A. J. M. & Carrera, E. (eds.). 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  56. Published

    Accuracy of design sensitivity for optimization of structural using small strain theory by finite element method

    Bhagate, K. A., Pawar, P., Singh , A. K. & Ye, J., 2006, III European Conference on Computational Mechanics : Solids, Structures and Coupled Problems in Engineering: Book of Abstracts. Motasoares, C. A., Martins, J. A. C., Rodrigues, H. C., Ambrósio, J. A. C., Pina, C. A. B., Motasoares , C. M., Pereira, E. B. R. & Folgado, J. (eds.). Berlin: Springer, p. 711-711 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  57. Published

    Sanitation work: Realizing equity and inclusion in WASH

    Bhakta, A., Cawood, S., Zaqout, M. & Evans, B., 8/11/2022, In: Frontiers in Water. 4, 9 p., 1022581.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  58. Published

    Novel biomarker identification in pancreatic cancer using Raman spectroscopy

    Bham, H., 2018, Lancaster University. 169 p.

    Research output: ThesisMaster's Thesis

  59. Published

    Design for sustainability : a practical approach.

    Bhamra, T., Lofthouse, V. & Cooper, R. (Editor), 2007, UK: Gower. 184 p. (Design for Social Responsibility series)

    Research output: Book/Report/ProceedingsBook

  60. Published

    Development financial institutions, financial constraints and growth: evidence from the Indian corporate sector

    Bhandari, L., Dasgupta, S. & Gangopadhyay, S., 01/2003, In: Journal of Emerging Market Finance. 2, 1, p. 83-129 47 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  61. Published

    The genetic iceberg.

    Bhardwaj, A., 2006, New technologies in health care : challenge, change and innovation. Webster, A. J. (ed.). Basingstoke: Palgrave, p. 11-24 14 p. (Health, technology, and society).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  62. Published

    Rich databases and poor people : opportunities for developing countries.

    Bhardwaj, M., 2004, In: TRAMES. 8, 1-2

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  63. Published

    Looking back, looking beyond : revisiting ethics of genome generation.

    Bhardwaj, M., 03/2006, In: Journal of Biosciences. 31, 1, p. 167-176 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  64. Published

    A case study on the internationalization process of a ‘born-global’ fashion retailer

    Bhardwaj, V., Eickman, M. & Runyan, R. C., 2011, In: The International Review of Retail, Distribution and Consumer Research. 21, 3, p. 293-307 15 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  65. Published

    Biobanks, genomics and databases: a question of attribution.

    Bhardwaj, M., 2004, Challenges for bioethics from Asia. Macer, D. R. J. (ed.). Christchurch, N.Z.: Eubios Ethics Institute, p. 212-217 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  66. Published

    Genetically modified foods/ethics of genetic engineering.

    Bhardwaj, M., 2004, Bioethics for informed citizens across cultures. Macer, D. R. J. (ed.). Christchurch, N.Z.: Eubios Ethics Institute, p. 98-103 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  67. Published

    The XMM Cluster Survey: new evidence for the 3.5 keV feature in clusters is inconsistent with a dark matter origin

    Bhargava, S., Giles, P. A., Romer, A. K., Jeltema, T., Mayers, J., Bermeo, A., Hilton, M., Wilkinson, R., Vergara, C., Collins, C. A., Manolopoulou, M., Rooney, P. J., Rosborough, S., Sabirli, K., Stott, J. P., Swann, E. & Viana, P. T. P., 1/09/2020, In: Monthly Notices of the Royal Astronomical Society. 497, 1, p. 656-671 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  68. Layered Symbolic Security Analysis in DY*

    Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C. & Würtele, T., 8/09/2023

    Research output: Other contribution

  69. Published

    DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 4/11/2021, 2021 IEEE European Symposium on Security and Privacy, (Euro S & P) 2021. IEEE, p. 523-542 20 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  70. Published

    An In-Depth Symbolic Security Analysis of the ACME Standard

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 13/11/2021, CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 2601-2617 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  71. An In-Depth Symbolic Security Analysis of the ACME Standard

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 2021

    Research output: Other contribution

  72. Published

    Layered Symbolic Security Analysis in DY*

    Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C. & Würtele, T., 12/01/2024, Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14346 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  73. Published

    A Tutorial-Style Introduction to DY*

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 19/11/2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Cham: Springer, p. 77-97 21 p. (Lecture Notes in Computer Science ; vol. 13066).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  74. Published

    Video foreground detection based on symmetric alpha-stable mixture models.

    Bhaskar, H., Mihaylova, L. & Achim, A., 08/2010, In: IEEE Transactions on Circuits and Systems for Video Technology. 20, 8, p. 1133-1138 6 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  75. Published

    Automatic Target Detection Based on Background Modeling Using Adaptive Cluster Density Estimation

    Bhaskar, H., Mihaylova, L. & Maskell, S., 09/2007, Proceedings from the 3rd German Workshop on Sensor Data Fusion: Trends, Solutions, Applications. Koschke, R. (ed.). Bonn: Gesellschaft für Informatik, p. 130-134 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  76. Published

    Automatic object detection based on adaptive background subtraction using symmetric alpha stable distribution

    Bhaskar, H., Mihaylova, L. & Maskell, S., 15/04/2008, Target Tracking and Data Fusion: Algorithms and Applications, 2008 IET Seminar on. p. 197 - 203 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  77. Published

    Population based particle filtering

    Bhaskar, H., Mihaylova, L. & Maskell, S., 15/04/2008, IET Seminar on Target Tracking and Data Fusion: Algorithms and Applications, 2008 . IEEE, p. 31-38 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  78. Published

    Combined Feature-Level Video Indexing Using Block-Based Motion Estimation.

    Bhaskar, H. & Mihaylova, L., 28/07/2010, 13th Conference on Information Fusion (FUSION), 2010. IEEE, p. 1-8 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  79. Published

    Combined data association and evolving particle filter for tracking of multiple articulated objects.

    Bhaskar, H. & Mihaylova, L., 15/03/2011, In: EURASIP Journal on Image and Video Processing. 2011, p. 1-12 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  80. Published

    Articulated Human Body Parts Detection Based on Cluster Background Subtraction and Foreground Matching

    Bhaskar, H., Mihaylova, L. & Maskell, S., 16/01/2013, In: Neurocomputing. 100, 1, p. 58-73 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  81. Published

    Transport and optical properties of c-axis oriented wedge shaped GaN nanowall network grown by molecular beam epitaxy

    Bhasker, H. P., Thakur, V., Kesaria, M., Shivaprasad, S. M. & Dhar, S., 2014, In: AIP Conference Proceedings. 1583, 252.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  82. Published

    High electron mobility through the edge states in random networks of c-axis oriented wedge-shaped GaN nanowalls grown by molecular beam epitaxy

    Bhasker, H. P., Dhar, S., Kesaria, M., Sain, A. & Shivaprasad, S. M., 24/09/2012, In: Applied Physics Letters. 101, 13, p. 132109-132113 5 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  83. Published

    Additive units of product systems

    Bhat, B. V. R., Lindsay, J. M. & Mukherjee, M., 1/04/2018, In: Transactions of the American Mathematical Society. 370, p. 2605-2637 33 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  84. Published

    Roots of completely positive maps

    Bhat, B. V. R., Hillier, R., Mallick, N. & U., V. K., 15/02/2020, In: Linear Algebra and its Applications. 587, p. 143-165 23 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  85. Published

    Solution structure of the LIM-homeodomain transcription factor complex Lhx3/Ldb1 and the effects of a pituitary mutation on key Lhx3 interactions.

    Bhati, M., Lee, C., Gadd, M. S., Jeffries, C. M., Kwan, A. H., Whitten, A. E., Trewhella, J., Mackay, J. P. & Matthews, J. M., 25/07/2012, In: PLoS ONE. 7, 7, 9 p., e40719.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  86. Published

    Stealing time: Migration, temporalities and state violence

    Bhatia, M. & Canning, V., 13/07/2021, Cham: Palgrave Macmillan. 233 p.

    Research output: Book/Report/ProceedingsBook

  87. Published

    Beyond the competency frameworks-conceptualizing and deploying employee strengths at work

    Bhatnagar, V. R., Jain, A. K., Tripathi, S. S. & Giga, S., 1/11/2020, In: Journal of Asia Business Studies. 14, 5, p. 691-709 19 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  88. Published

    Capturing the sociomateriality of digital literacy events

    Bhatt, I. & de Roock, R., 2013, In: Research in Learning Technology. 21, 4, 19 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  89. Published

    Digital literacy practices and their layered multiplicity

    Bhatt, I., 2012, In: Educational Media International. 49, 4, p. 289-301 13 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  90. Published

    Multilayered and multimodal: capturing literacy events in classrooms

    Bhatt, I., 12/2013, The Society for Research into Higher Education (SRHE) Newer Researchers’ Conference 2013.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  91. Published

    Digital literacy practices and their layered multiplicity: a focus for study

    Bhatt, I., 2012, 62nd Annual Conference of The International Council for Educational Media. p. 33-45 13 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  92. Published

    A quoi sert l’école si Google nous dit tout ?

    Bhatt, I. U.-H., 23/09/2015, The Conversation.

    Research output: Other contribution

  93. Published

    A sociomaterial account of assignment writing in further education classrooms

    Bhatt, I., 2014, University of Leeds.

    Research output: ThesisDoctoral Thesis

  94. Published

    The sociomaterial workings of a college writing assignment

    Bhatt, I., 12/2013, The Society for Research into Higher Education (SRHE) Annual Research Conference 2013 .

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  95. Published

    Classroom digital literacies as interactional accomplishments

    Bhatt, I. U.-H., 1/12/2016, Researching new literacies: design, theory, and data in sociocultural investigation. Knobel, M. & Lankshear, C. (eds.). Peter Lang Publishing

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  96. Published

    'Curation’ as a new direction in digital literacy theory

    Bhatt, I. U.-H., 2015, Reviewed proceedings for the Society for Research into Higher Education (SRHE) Annual Research Conference 2015 ‘Converging Concepts in Global Higher Education Research’ (Dec 2015, Celtic Manor, Newport, Wales). Society for Research into Higher Education, 4 p. Paper 0024 at SRHE Annual Research Conference 2015

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  97. Published

    Diving deep into digital literacy: emerging methods for research

    Bhatt, I., de Roock, R. & Adams, J., 2015, In: Language and Education. 29, 6, p. 477-492 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  98. Published

    What’s the point of education if Google can tell us anything?

    Bhatt, I., 24/07/2015, The Conversation.

    Research output: Other contribution

  99. Published

    Being an academic: the changing writing practices of academics and how they influence professional identity

    Bhatt, I. U.-H. & McCulloch, S., 2015, Reviewed proceedings for the Society for Research into Higher Education (SRHE) Annual Research Conference 2015 ‘Converging Concepts in Global Higher Education Research’ (Dec 2015, Celtic Manor, Newport, Wales). Society for Research into Higher Education, Paper 0111 at the SRHE Annual Research Conference 2015

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  100. Published

    Curation as digital literacy practice

    Bhatt, I. U.-H., 21/05/2014

    Research output: Other contribution

Back to top