Research output

1. Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений

   Research output: Contribution to journal › Article › peer-review

2. Relational Solver for Java Generics Type System

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

3. Efficient fair conjunction for structurally-recursive relations

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (17) »