Projects per year
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.
Projects 2018 2020
- 1 Active
Computable model theory and computable enumerable equivalence relations
Mustafa, M., Bazhenov, N. & Mars, Y.
3/20/18 → 12/31/20
Project: Research project
Model Theory
Equivalence relation
Computable Structure
Computability Theory
Reducibility
Research Output 2012 2019
Bounded reducibility for computable numberings.
Bazhenov, N., Mustafa, M. & Ospichev, S., Jun 19 2019, In : Lecture Notes in Computer Science. p. 1 12 p., 1.Research output: Contribution to journal › Article
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 proceeding › Conference 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 proceeding › Chapter
Distributive Lattice
Reducibility
Equivalence relation
Isomorphism
Computable Structure
Reductions between types of numberings
Herbert, I., Jain, S., Lempp, S., Mustafa, M. & Stephan, F., Jul 4 2019, Annals of Pure and Applied Logic, p. 1-30, 30 p.Research output: Working paper
Semilattice
Open Problems
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 journal › Article
Exponential distribution
Weibull Distribution
Probability Weighted Moments
Modeling
Moment
Activities 2015 2019
Asian Logic Conference
Manat Mustafa (Organizer), Vassilios Tourassis (Organizer), Francesco Sica (Organizer), Zhibek Kadyrsizova (Organizer)Jun 17 2019 → Jun 21 2019
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Fourteenth International Conference on Computability, Complexity and Randomness
Manat Mustafa (Organizer), Huseyin Atakan Varol (Organizer)Jun 23 2019 → Jun 25 2019
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
University of Wisconsin-Madison
Manat Mustafa (Visiting researcher)Dec 10 2018 → Dec 22 2018
Activity: Visiting an external institution types › Visiting an external academic institution
Nikolay Bazhenov
Manat Mustafa (Host)Nov 1 2018 → Nov 16 2018
Activity: Hosting a visitor types › Hosting an academic visitor
Sergey Ospichev
Manat Mustafa (Host)Nov 1 2018 → Nov 16 2018
Activity: Hosting a visitor types › Hosting an academic visitor