Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

121 - 130 out of 169Page size: 10
RSS feed of this list
  1. 2019
  2. Published

    Software architecture for mobile cloud computing systems

    Alreshidi, A., Ahmad, A., Altamimi, A. B., Sultan, K. & Mehmood, R., 13/11/2019, In: Future Internet. 11, 11, 238.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. Published

    Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

    Kretínský, J., Manta, A. & Meggendorfer, T., 21/10/2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). p. 404-422 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 1/08/2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). p. 1-17 17 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    Probabilistic and exact frequent subtree mining in graphs beyond forests

    Welke, P., Horváth, T. & Wrobel, S., 15/07/2019, In: Machine Learning. 108, 7, p. 1137-1164 28 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Published

    Architecting software for the Internet of Thing based systems

    Alreshidi, A. & Ahmad, A., 10/07/2019, In: Future Internet. 11, 7, 153.

    Research output: Contribution to Journal/Magazine › Review article › peer-review

  7. Published

    A mobile cloud framework for context-aware and portable recommender system for smart markets

    Khan, A., Ahmad, A., Rahman, A. U. & Alkhalil, A., 21/06/2019, EAI/Springer Innovations in Communication and Computing. Mehmood, R., See, S., Katib, I. & Chlamtac, I. (eds.). Cham: Springer, p. 283-309 27 p. (EAI/Springer Innovations in Communication and Computing).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  8. Published

    Privacy-preserving web single sign-on: formal security analysis and design

    Schmitz, G., 2019

    Research output: Thesis › Doctoral Thesis

  9. 2018
  10. Published

    A probabilistic evaluation framework for preference aggregation reflecting group homogeneity

    Jansen, C., Schollmeyer, G. & Augustin, T., 30/11/2018, In: Mathematical Social Sciences. 96, p. 49-62 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. Published

    Probabilistic frequent subtrees for efficient graph classification and retrieval

    Welke, P., Horváth, T. & Wrobel, S., 30/11/2018, In: Machine Learning. 107, 11, p. 1847-1873 27 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  12. Published

    Mining Patterns from Change Logs to Support Reuse-Driven Evolution of Software Architectures

    Ahmad, A., Pahl, C., Altamimi, A. B. & Alreshidi, A., 1/11/2018, In: Journal of Computer Science and Technology. 33, 6, p. 1278-1306 29 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1...9 10 11 12 13 14 15 16 17 Next

Back to top