I. S. Anureev

Available identifiers

zbMath Open anureev.igor-sergeevichMaRDI QIDQ174075

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5866349	2022-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q5866352	2022-09-21	Paper
Event-driven temporal logic pattern for control software requirements specification	2022-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4553627	2018-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q2979818	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2979838	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2979840	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2979869	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2979881	2017-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q2963869	2017-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q2963890	2017-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q2882982	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2882983	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2882984	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2880622	2012-04-13	Paper
Generation of correctness conditions for imperative programs	2009-09-04	Paper
Operational ontological approach to formal programming language specification	2009-09-04	Paper
Towards verification of C\(\#\) programs: a three-level approach	2007-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q3023537	2005-07-05	Paper
Towards verification of C programs: Axiomatic semantics of the C-kernel language	2005-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q3152931	2002-11-03	Paper
A method of elimination of data structures based on formula rewriting systems	2001-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4517384	2000-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4517045	2000-11-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: I. S. Anureev