Nikolai Kosmatov

From MaRDI portal
Person:682365

Available identifiers

zbMath Open kosmatov.nikolaiMaRDI QIDQ682365

List of research outcomes





PublicationDate of PublicationType
Dynamic reconfigurations in frequency constrained data flow2024-04-19Paper
A data flow model with frequency arithmetic2023-11-24Paper
Efficient computation of arbitrary control dependencies2023-08-01Paper
Verified Runtime Assertion Checking for Memory Properties2022-11-09Paper
Certified verification of relational properties2022-08-19Paper
Runtime abstract interpretation for numerical accuracy and robustness2021-10-18Paper
How testing helps to diagnose proof failures2018-11-16Paper
Cut branches before looking for bugs: certifiably sound verification on relaxed slices2018-02-02Paper
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices2016-04-21Paper
Projective resolutions and Yoneda algebras for algebras of dihedral type.2007-09-06Paper
https://portal.mardi4nfdi.de/entity/Q46815392005-06-23Paper

Research outcomes over time

This page was built for person: Nikolai Kosmatov

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:682365&oldid=7240311"
Powered by MediaWiki