Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

88571 - 88580 out of 99,425Page size: 10
  1. 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/ISSN › Conference contribution/Paper › peer-review

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

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

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

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

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

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

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

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

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

Previous 1...8854 8855 8856 8857 8858 8859 8860 8861 ...9943 Next

Back to top