Manat Mustafa, PhD

Assistant Professor

Accepting PhD Students

  • 9 Citations
  • 2 h-Index
20122019
If you made any changes in Pure these will be visible here soon.

Personal profile

External positions

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Semilattice Mathematics
Ershov Hierarchy Mathematics
Equivalence relation Mathematics
Reducibility Mathematics
Distributive Lattice Mathematics
Notation Mathematics
Isomorphism Mathematics
Undecidability Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2012 2019

  • 9 Citations
  • 2 h-Index
  • 11 Article
  • 1 Chapter
  • 1 Conference contribution
  • 1 Working paper

Bounded reducibility for computable numberings.

Bazhenov, N., Mustafa, M. & Ospichev, S., Jul 2019, (Accepted/In press) In : Lecture Notes in Computer Science. p. 1 12 p., 1.

Research output: Contribution to journalArticle

Reducibility
Semilattice
Algorithmic Complexity
Natural number
Family

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

Distributive Lattice
Reducibility
Equivalence relation
Algebra
Isomorphism

Computable Isomorphisms of Distributive Lattices

Bazhenov, N., Mustafa, M. & Yamaleev, M., Mar 6 2019, Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). 1 ed. Springer International Publishing, Vol. 11436. p. 28-41 14 p. (Lecture Notes in Computer Science, vol 11436. Springer, Cham).

Research output: Chapter in Book/Report/Conference proceedingChapter

Distributive Lattice
Reducibility
Equivalence relation
Isomorphism
Computable Structure

A generalisation of the exponential distribution and its applications on modelling skewed data

Mustafa, M., Zubair, M., Alzaatreh, A., Tahir, M. H. & Mansoor, M., May 16 2018, In : Statistical Theory and Related Fields . 2, 1, p. 68-79 1.

Research output: Contribution to journalArticle

Exponential distribution
Weibull Distribution
Probability Weighted Moments
Modeling
Moment

Elementary theories and hereditary undecidability for semilattices of numberings

Bazhenov, N., Mustafa, M. & Yamaleev, M., Jan 1 2018, (Accepted/In press) In : Archive for Mathematical Logic.

Research output: Contribution to journalArticle

Undecidability
Semilattice
Decidability
Isomorphic
Second Order Arithmetic

Activities 2015 2019

  • 4 Visiting an external academic institution
  • 2 Participation in workshop, seminar, course
  • 2 Hosting an academic visitor

Asian Logic Conference

Manat Mustafa (Organizer), Vassilios Tourassis (Organizer), Francesco Sica (Organizer), Zhibek Kadyrsizova (Organizer)
Jun 17 2019Jun 21 2019

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Fourteenth International Conference on Computability, Complexity and Randomness

Manat Mustafa (Organizer), Huseyin Atakan Varol (Organizer)
Jun 23 2019Jun 25 2019

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Nikolay Bazhenov

Manat Mustafa (Host)
Nov 1 2018Nov 16 2018

Activity: Hosting a visitor typesHosting an academic visitor

Sergey Ospichev

Manat Mustafa (Host)
Nov 1 2018Nov 16 2018

Activity: Hosting a visitor typesHosting an academic visitor

Nanyang Technological University

Manat Mustafa (Visiting researcher)
Oct 6 2018Oct 13 2018

Activity: Visiting an external institution typesVisiting an external academic institution