Research Output per year
Fingerprint Dive into the research topics where Дмитрий Юрьевич Булычев is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Semantics
Технические дисциплины и материаловедение
Dynamic programming
Технические дисциплины и материаловедение
Printing
Технические дисциплины и материаловедение
Layout
Математика
Polynomial time
Математика
Polynomials
Технические дисциплины и материаловедение
Specifications
Технические дисциплины и материаловедение
Rewriting
Математика
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2006 2018
Improving Refutational Completeness of Relational Search via Divergence Test
Булычев, Д. Ю. & Rozplokhas, D., 3 Sep 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 20 p.Research output › › peer-review
Computer programming languages
Semantics
Specifications
Typed Relational Conversion
Булычев, Д. Ю., Lozov, P. & Vyatkin, A., 19 Apr 2018, In : Lecture Notes in Computer Science. 10788, p. 39-58 19 p., 3.Research output
Semantics
Correctness
Specification
Specifications
Subset
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
Podkopaev, A. & Boulytchev, D., 2015, In : Lecture Notes in Computer Science. 8974, p. 257-265Research output
Dynamic programming
Printing
Layout
Polynomial time
Polynomials
Компонентизация языковых процессоров на основе расширяемых типов данных и управляемых ими преобразователей
Булычев, Д. Ю., 2012, In : СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 7, 1, p. 69-89Research output
BURS-based Instruction Set Selection
Булычев, Д. Ю., 2006, 4th International Conference on Perspectives of System Informatics, PSI'06 - 2006. Springer, p. 431-437Research output ›