Research Output per year
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: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
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: Contribution to journal › Article › Research › peer-review
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
Podkopaev, A. & Boulytchev, D., 2015, In : Lecture Notes in Computer Science. 8974, p. 257-265Research output: Contribution to journal › Article › Research
Компонентизация языковых процессоров на основе расширяемых типов данных и управляемых ими преобразователей
Булычев, Д. Ю., 2012, In : СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 7, 1, p. 69-89Research output: Contribution to journal › Article › Research › peer-review
BURS-based Instruction Set Selection
Булычев, Д. Ю., 2006, 4th International Conference on Perspectives of System Informatics, PSI'06 - 2006. Springer, p. 431-437Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research