List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Disambiguation of regular expressions with backreferences via term rewriting Modelirovanie i Analiz Informatsionnykh Sistem | 2025-05-20 | Paper |
| Program specialization as a tool for solving word equations | 2024-11-29 | Paper |
| Ping-pong protocols as prefix grammars: modelling and verification via program transformation Journal of Logical and Algebraic Methods in Programming | 2016-08-18 | Paper |
| Technical systems in logic: questions of formalization and automatic verification | 2013-10-23 | Paper |
| Verification of a technical system model with linear temporal logic Automation and Remote Control | 2013-03-22 | Paper |
Research outcomes over time
This page was built for person: Antonina N. Nepeivoda
