Get started
Author

Milad Joudakizadeh

Observed name: M. Joudakizadeh
ORCID: 0000-0002-6167-6237
Observed ORCID: 0000-0002-6167-6237
OpenAlex ID: A5099436589
Two-level realization of logical formulas for deductive program synthesis
2024 · M. Joudakizadeh, A.P. Beltiukov · Vestnik Udmurtskogo Universiteta Matematika Mekhanika Komp yuternye Nauki · 1
PDF
Adaptive human–machine theorem proving system
2024 · M. Joudakizadeh, A.P. Beltiukov · Izvestiya Instituta Matematiki i Informatiki Udmurt Gos Univ · 1
A logic of bounded time for program synthesis
2026 · Milad Joudakizadeh, Anatoly Petrovich Beltiukov · Science of Computer Programming
An image hashing system inspired by convolutional neural networks using cellular automata as filter generator
2026 · Milad Joudakizadeh, Mohammad Kheyrandish · Multimedia Tools and Applications
Deductive program synthesis using logic programming
2026 · M. Joudakizadeh, A.P. Beltiukov · Vestnik Udmurtskogo Universiteta Matematika Mekhanika Komp yuternye Nauki
A Logic of Bounded Time for Program Synthesis
2026 · Milad Joudakizadeh, Anatoly Petrovich Beltiukov · SSRN Electronic Journal
A Logic of Bounded Time for Program Synthesis
2026 · Milad Joudakizadeh, Anatoly Petrovich Beltiukov · SSRN Electronic Journal
Programming in grammars
2025 · M. Joudakizadeh, A.P. Beltiukov · Vestnik Udmurtskogo Universiteta Matematika Mekhanika Komp yuternye Nauki
PDF
Complexity of Computations with Time Travel
2025 · Anatoly Petrovich Beltiukov, Milad Joudakizadeh · Program systems theory and applications
On the Equality of Word-Based Analogs of Grzegorczyk Classes $\mathcal{W}^{1/2}_*$ and $\mathcal{W}^0_*$
2025 · Milad Joudakizadeh, Anatoly Petrovich Beltiukov · SSRN Electronic Journal
Mutual modeling of sequential and parallel word computations
2024 · A.P. Beltyukov, S.G. Maslov, et al. · Vestnik Udmurtskogo Universiteta Matematika Mekhanika Komp yuternye Nauki
Works count: 11
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type