S. Igarashi

Available identifiers

zbMath Open igarashi.shigeruMaRDI QIDQ1843168

List of research outcomes

Publication	Date of Publication	Type
Formal verification and evaluation of execution time in the envelope theory	2024-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q3172737	2011-10-05	Paper
Labeled calculi applied to verification and analysis of time-concerned programs. I	2011-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q3626567	2009-05-22	Paper
Labeled @-Calculus: Formalism for Time-Concerned Human Factors	2009-01-15	Paper
Tense calculus and its refinement without \(\infty\)	2007-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q4797367	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4797374	2003-03-13	Paper
Representation of a discretely controlled continuous system in tense arithmetic	2001-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q3787983	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787982	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690006	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4158450	1975-01-01	Paper
Automatic program verification. I: A logical basis and its implementation	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068086	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5660505	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596811	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5515804	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5736162	1962-01-01	Paper

Research outcomes over time

This page was built for person: S. Igarashi