Sergey A. Stupnikov

From MaRDI portal
Person:4440852



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!

PublicationDate of PublicationType
Formal semantics and verification of procedural SQL programs implementing materialized data integration
Lobachevskii Journal of Mathematics
2025-08-25Paper
Query-driven verification of data integration in the RDF data model
Lobachevskii Journal of Mathematics
2023-05-25Paper
Advances in Databases and Information Systems
Lecture Notes in Computer Science
2005-08-19Paper
scientific article; zbMATH DE number 2020201 (Why is no real title available?)2002-01-01Paper


Research outcomes over time


This page was built for person: Sergey A. Stupnikov