User Support for the Combinator Logic Synthesizer Framework

by Jan Bessai, Anna Vasileva
Published 2018-11-01

CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories

by Fadil Kallat, Tristan Schäfer, Anna Vasileva
Published 2019-08-01

Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

by Jan Bessai, Moritz Roidl, Anna Vasileva
Published 2019-12-01

Antibacterial activity of crab haemocyanin against clinical pathogens

by Yoana Krasimirova Kizheva, Iliyana Kirilova Rasheva, Milena Nikolova Petrova, Anna Vasileva Milosheva-Ivanova, Lyudmila Georgieva Velkova, Pavlina Aleksandrova Dolashka, Aleksandar Konstantinov Dolashki, Petya Koicheva Hristova
Published 2019-01-01