The SCEAS System
| |||||||

## Search the dblp DataBase
Shigeru Igarashi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
**Labeled @-Calculus: Formalism for Time-Concerned Human Factors.**[Citation Graph (0, 0)][DBLP] AISC, 2006, pp:25-39 [Conf] - Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio
**Formal Analysis for Continous Systems Controlled by Programs.**[Citation Graph (0, 0)][DBLP] ASIAN, 1996, pp:347-348 [Conf] - Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani
**Formal Verification and Evaluation of Execution Time in the Envelope Theory.**[Citation Graph (0, 0)][DBLP] ASIAN, 1996, pp:299-308 [Conf] - Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio
**Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis.**[Citation Graph (0, 0)][DBLP] ASIAN, 1997, pp:110-120 [Conf] - Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono
**On Locomorphism in Analytical Equivalence Theory.**[Citation Graph (0, 0)][DBLP] Logic, Language and Computation, 1994, pp:173-187 [Conf] - Kohji Tomita, Takashi Tsuji, Shigeru Igarashi
**Analysis of a Software/Hardware System by Tense Arithmetic.**[Citation Graph (0, 0)][DBLP] Logic, Language and Computation, 1994, pp:188-205 [Conf] - Shigeru Igarashi
**Admissibility of fixed-point induction in first- order logic of typed theories.**[Citation Graph (0, 0)][DBLP] International Sympoisum on Theoretical Programming, 1972, pp:344-383 [Conf] - Shigeru Igarashi
**The nu-Conversion and an Analytic Semantics.**[Citation Graph (0, 0)][DBLP] IFIP Congress, 1983, pp:769-774 [Conf] - Shigeru Igarashi, Ralph L. London, David C. Luckham
**Automatic Program Verification I: A Logical Basis and its Implementation**[Citation Graph (0, 0)][DBLP] Acta Inf., 1974, v:4, n:, pp:145-182 [Journal] - Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio
**Representation of a Discretely Controlled Continuous System in Tense Arithmetic.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal] **Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus.**[Citation Graph (, )][DBLP]**Formal Analysis of an Airplane Accident in**[Citation Graph (, )][DBLP]*N*Sigma-Labeled Calculus.
Search in 0.001secs, Finished in 0.002secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |