Маццара Мануэль

Публикации в базе данных Math-Net.Ru

1. Tree species detection using hyperspectral and Lidar data: A novel self-supervised learning approach
   
   Компьютерные исследования и моделирование, 16:7 (2024),  1747–1763
2. A survey on the application of large language models in software engineering
   
   Компьютерные исследования и моделирование, 16:7 (2024),  1715–1726
3. Generating database schema from requirement specification based on natural language processing and large language model
   
   Компьютерные исследования и моделирование, 16:7 (2024),  1703–1713
4. Deriving specifications of dependable systems
   
   Компьютерные исследования и моделирование, 16:7 (2024),  1637–1650
5. Computational treatment of natural language text for intent detection
   
   Компьютерные исследования и моделирование, 16:7 (2024),  1539–1554
6. Translation from Event-B into Eiffel
   
   Модел. и анализ информ. систем, 25:6 (2018),  623–636
7. Jolie Static Type Checker: a prototype
   
   Модел. и анализ информ. систем, 24:6 (2017),  704–717
8. A contract-based method to specify stimulus-response requirements
   
   Труды ИСП РАН, 29:4 (2017),  39–54
9. Usability of AutoProof: a case study of software verification
   
   Труды ИСП РАН, 28:2 (2016),  111–126
10. Refinement types in jolie
    
    Труды ИСП РАН, 28:2 (2016),  33–44


11. Editor’s note
    
    Компьютерные исследования и моделирование, 16:7 (2024),  1533–1538