Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

151 - 175 out of 200Page size: 25
RSS feed of this list
  1. 2019
  2. 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

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

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

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

  6. Published

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

    Schmitz, G., 2019

    Research output: Thesis › Doctoral Thesis

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

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

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

  11. Published

    Domain Validation++ For MitM-Resilient PKI

    Brandt, M., Dai, T., Klein, A., Shulman, H. & Waidner, M., 15/10/2018, ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 2060-2076 17 p.

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

  12. Published

    Off-Path Attacks Against PKI

    Dai, T., Shulman, H. & Waidner, M., 15/10/2018, CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 2213-2215 3 p.

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

  13. Published

    Mining Tree Patterns with Partially Injective Homomorphisms.

    Schulz, T. H., Horváth, T., Welke, P. & Wrobel, S., 14/09/2018, Mining Tree Patterns with Partially Injective Homomorphisms.. Springer, Cham, Vol. 11052. p. 585-601 16 p. (Lecture Notes in Computer Science; vol. 11052).

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

  14. Published

    Concepts for decision making under severe uncertainty with partial ordinal and partial cardinal preferences

    Jansen, C., Schollmeyer, G. & Augustin, T., 31/07/2018, In: International Journal of Approximate Reasoning. 98, p. 112-131 20 p.

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

  15. Published

    IoT-based implementation and mobility-driven management of the smart and energy efficient home appliance ecosystem

    Ahmad, A., Altamimi, A. B. & Alshammari, M. T., 22/07/2018, Smart Societies, Infrastructure, Technologies and Applications - First International Conference, SCITA 2017, Proceedings. Mehmood, R., Katib, I., Chlamtac, I. & Bhaduri, B. (eds.). Springer-Verlag, p. 353-356 4 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 224).

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

  16. Published

    Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

    Kretínský, J., Meggendorfer, T., Sickert, S. & Ziegler, C., 18/07/2018, CAV 2018: Computer Aided Verification . Springer, p. 567-577 11 p.

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

  17. Published

    Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 9/07/2018, LICS. p. 609-618 10 p.

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

  18. Published

    Owl: A Library for ω-Words, Automata, and LTL.

    Kretínský, J., Meggendorfer, T. & Sickert, S., 2018, ATVA 2018: Automated Technology for Verification and Analysis. Springer, p. 543-550 8 p.

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

  19. 2017
  20. Published

    The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

    Fett, D., Küsters, R. & Schmitz, G., 28/09/2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF). IEEE

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

  21. Published

    Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 27/09/2017, ATVA 2017: Automated Technology for Verification and Analysis . Springer, p. 380-399 20 p.

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

  22. Published

    Simple Necessary Conditions for the Existence of a Hamiltonian Path with Applications to Cactus Graphs

    Welke, P., 5/09/2017, Arxiv.

    Research output: Working paper › Preprint

  23. Published

    A simple descriptive method for multidimensional item response theory based on stochastic dominance

    Schollmeyer, G., Jansen, C. & Augustin, T., 31/08/2017, Technical Reports, Department of Statistics, LMU Munich, 210 30 p.

    Research output: Contribution to specialist publication › Technical Report › peer-review

  24. Published

    Detecting stochastic dominance for poset-valued random variables as an example of linear programming on closure systems

    Schollmeyer, G., Jansen, C. & Augustin, T., 31/08/2017, Technical Reports, Department of Statistics, LMU Munich, 209 69 p.

    Research output: Contribution to specialist publication › Technical Report › peer-review

  25. Published

    Value Iteration for Long-Run Average Reward in Markov Decision Processes.

    Ashok, P., Chatterjee, K., Daca, P., Kretínský, J. & Meggendorfer, T., 13/07/2017, CAV 2017: Computer Aided Verification . Majumdar, R. & Kunčak, V. (eds.). Cham: Springer, p. 201-221 21 p. (Lecture Notes in Computer Science ; vol. 10426).

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

  26. Published

    Decision Theory Meets Linear Optimization Beyond Computation

    Jansen, C., Schollmeyer, G. & Augustin, T., 15/06/2017, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. Antonucci, A., Cholvy, L. & Papini, O. (eds.). Cham: Springer, p. 329-339 11 p. (Lecture Notes in Computer Science; vol. 10369).

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

  27. Published

    Index Appearance Record for Transforming Rabin Automata into Parity Automata.

    Kretínský, J., Meggendorfer, T., Waldmann, C. & Weininger, M., 31/03/2017, TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems. Springer, p. 443-460 18 p.

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

  28. 2016
  29. Published

    Three-hop distance estimation in social graphs.

    Welke, P., Markowetz, A., Suel, T. & Christoforaki, M., 5/12/2016, Three-hop distance estimation in social graphs.. IEEE, p. 1048-1055 7 p.

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

Previous 1...3 4 5 6 7 8 Next

Back to top