Alnis Murtovi
According to our database1,
Alnis Murtovi
authored at least 15 papers
between 2018 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
1
3
2
2
1
1
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proceedings of the Combined Power of Research, Education, and Dissemination, 2025
Proceedings of the Real Time and Such, 2025
2024
CoRR, 2024
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024
2023
Towards rigorous understanding of neural networks via semantics-preserving transformations.
Int. J. Softw. Tools Technol. Transf., June, 2023
Int. J. Softw. Tools Technol. Transf., June, 2023
Int. J. Softw. Tools Technol. Transf., June, 2023
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
2021
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper).
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Formal Methods for Industrial Critical Systems, 2018