Searchable List of Research Output

Filter Publications
  • Li, M., Vitányi, P.M.B. (2007) Applications of Algorithmic Information Theory.
    Scholarpedia Journal, Vol. 2
  • Li, M., Vitányi, P.M.B. (2008) An introduction to Kolmogorov complexity and its applications. - 3rd edition.
    Texts in computer science. Springer.
  • Li, Ming, Chen, X., Lie, X., Ma, B., Vitányi, P.M.B. (2003) The similarity metric.
    In Proceedings 14th ACM-SIAM symposium on discrete algorithms (pp 863-872)
    Conference contribution | UvA-DARE
  • Li, Ming, Chen, X., Lie, X., Ma, B., Vitányi, P.M.B. (2003) Clustering by compression.
    In Proceedings International Symposium on Information Theory (pp 261-261)
    Conference contribution | UvA-DARE
  • Li, Ming, Tromp, J.A.H., Vitányi, P.M.B. (2003) Sharpening Occam's Razor.
    Information Processing Letters, Vol. 85 (pp 267-274)
  • Li, R., Kaptein, R., Hiemstra, D., Kamps, J. (2008) Exploring topic-based language models for effective web information retrieval.
    In Proceedings of the 8th Dutch-Belgian Information Retrieval Workshop (DIR 2008) (pp 65-71). University of Maastricht.
  • Lin, S., Behnke, G., Bercher, P. (2022) Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving.
    In HPLAN 2022 : Proceedings of the 5th Workshop on Hierarchical Planning: 32nd International Conference on Automated Planning and Scheduling : June 13-24, 2022, virtually from Singapore (pp 24-28). ICAPS.
  • Lin, S., Behnke, G., Bercher, P. (2023) Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning.
    In Gal, K. Nowé, A. Nalepa, G.J. Fairstein, R. Rădulescu, R. (Eds.), ECAI 2023: 26th European Conference on Artificial Intelligence, September 30-October 4, 2023, Kraków, Poland, including 12th Conference on Prestigious Applications of Intelligent Systems ( PAIS 2023) : proceedings (pp 1489-1496) (Frontiers in Artificial Intelligence and Applications, Vol. 372). IOS Press.
    Conference contribution | https://doi.org/10.3233/FAIA230428 | UvA-DARE
  • Lin, S., Behnke, G., Ondrčková, S., Barták, R., Bercher, P. (2022) On Total-Order HTN Plan Verification with Method Preconditions: An Extension of the CYK Parsing Algorithm.
    In HPLAN 2022 : Proceedings of the 5th Workshop on Hierarchical Planning: 32nd International Conference on Automated Planning and Scheduling : June 13-24, 2022, virtually from Singapore (pp 52-58). ICAPS.
  • Lin, S., Behnke, G., Ondrčková, S., Barták, R., Bercher, P. (2023) On Total-Order HTN Plan Verification with Method Preconditions: An Extension of the CYK Parsing Algorithm.
    In Williams, B. Chen, Y. Neville, J. (Eds.), Proceedings of the 37th AAAI Conference on Artificial Intelligence: AAAI-2023 : Washington, DC, USA, February 7-14, 2023 (pp 12041–12048). AAAI Press.
  • Lindemann, M., Koller, A., Titov, I. (2023) Compositional Generalisation with Structured Reordering and Fertility Layers.
    In Vlachos, A. Augenstein, I. (Eds.), The 17th Conference of the European Chapter of the Association for Computational Linguistics: EACL 2023 : proceedings of the conference : May 2-6, 2023 (pp 2172–2186). Association for Computational Linguistics.
  • Lindemann, M., Koller, A., Titov, I. (2023) Compositional Generalization without Trees using Multiset Tagging and Latent Permutations.
    In Rogers, A. Boyd-Graper, J. Okazaki, N. (Eds.), The 61st Conference of the Association for Computational Linguistics: ACL 2023 : Proceedings of the Conference : July 9-14, 2023 (pp 14488-14506). Association for Computational Linguistics.
  • Linden, N., de Wolf, R. (2021) Lightweight detection of a small number of large errors in a quantum circuit.
    Quantum, Vol. 5
  • Linden, N., de Wolf, R. (2022) Average-case verification of the quantum Fourier transform enables worst-case phase estimation.
    Quantum, Vol. 6
  • Liu, C., Liu, F., Su, K., Zhu, E. (2016) A Logical Characterization of Extensive Games with Short Sight.
    Theoretical Computer Science, Vol. 612 (pp 63-82)
  • Liu, C., Liu, F., Su, K. (2015) A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games.
    In PRIMA 2015
    Conference contribution | UvA-DARE
  • Liu, C., Zhu, E., Liu, F., Su, K. (2014) Preference Dynamics in Games with Short Sight.
    Applied Mathematics and Computation, Vol. 244 (pp 493-501)
  • Liu, C. (2015) Preference at First Sight.
    In Ramanujam, R. (Eds.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge: TARK 2015 (pp 181-190). The Institute of Mathematical Sciences.
  • Liu, C. (2016) Preference at First Sight.
    Electronic Proceedings in Theoretical Computer Science, Vol. 215 (pp 207-226)
  • Liu, F., Lorini, E. (2016) Reasons to Believe in a Social Environment.
    In Roy, O. Tamminga, A. Willer, M. (Eds.), Deontic Logic and Normative Systems: 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016 (pp 155-170). College Publications.

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact