Shigeru Igarashi

Available identifiers

zbMath Open igarashi.shigeruMaRDI QIDQ1843168

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3172737	2011-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q3013356	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
https://portal.mardi4nfdi.de/entity/Q5428005	2007-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q4797367	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4797374	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q2703755	2001-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q3787982	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787983	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

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: Shigeru Igarashi