Calculated based on number of publications stored in Pure and citations from Scopus
20122025

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    On Arithmetical Numberings in Reverse Mathematics

    Bazhenov, N., Fiori-Carones, M. & Mustafa, M., 2024, Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Proceedings. Levy Patey, L., Pimentel, E., Galeotti, L. & Manea, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 126-138 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14773 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On Learning Families of Ideals in Lattices and Boolean Algebras

    Bazhenov, N. & Mustafa, M., 2024, Theory and Applications of Models of Computation - 18th Annual Conference, TAMC 2024, Proceedings. Chen, X. & Li, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14637 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 2023

    On Two Types of Concept Lattices in the Theory of Numberings

    Bazhenov, N., Mustafa, M. & Nurakunov, A., Jan 2023, Theory and Applications of Models of Computation - 17th Annual Conference, TAMC 2022, Proceedings. Du, D.-Z., Du, D., Wu, C. & Xu, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 79-92 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13571 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 2021

    Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy

    Bazhenov, N., Mustafa, M., Ospichev, S. & San Mauro, L., 2021, Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Proceedings. Ghosh, S. & Icard, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13039 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 2020

    Semilattices of Punctual Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 2020, Theory and Applications of Models of Computation - 16th International Conference, TAMC 2020, Proceedings. Chen, J., Feng, Q. & Xu, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12337 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 2019

    Bounded Reducibility for Computable Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., Jan 1 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (eds.). Springer Verlag, p. 96-107 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., Jan 1 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). Springer Verlag, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11436 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)