Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

87901 - 87910 out of 98,637Page size: 10
  1. 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/Magazine › Journal article › peer-review

  2. 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/Magazine › Journal article › peer-review

  3. 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/Magazine › Journal article › peer-review

  4. 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/ISSN › Conference contribution/Paper › peer-review

  5. 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

  6. 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

  7. 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/ISSN › Conference contribution/Paper › peer-review

  8. 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/ISSN › Chapter

  9. 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/Magazine › Journal article › peer-review

  10. 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/Magazine › Journal article › peer-review

Previous 1...8787 8788 8789 8790 8791 8792 8793 8794 ...9864 Next

Back to top