dblp.uni-trier.dewww.uni-trier.de

Shigeru Igarashi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EETetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda: Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus. Frontiers of Computer Science in China 2(1): 22-28 (2008)
2006
10EETetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio: Labeled @-Calculus: Formalism for Time-Concerned Human Factors. AISC 2006: 25-39
2001
9EETetsuya Mizutani, Shigeru Igarashi, Masayuki Shio: Representation of a Discretely Controlled Continuous System in Tense Arithmetic. Electr. Notes Theor. Comput. Sci. 42: (2001)
1997
8 Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio: Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. ASIAN 1997: 110-120
1996
7 Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani: Formal Verification and Evaluation of Execution Time in the Envelope Theory. ASIAN 1996: 299-308
6 Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio: Formal Analysis for Continous Systems Controlled by Programs. ASIAN 1996: 347-348
1994
5 Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono: On Locomorphism in Analytical Equivalence Theory. Logic, Language and Computation 1994: 173-187
4 Kohji Tomita, Takashi Tsuji, Shigeru Igarashi: Analysis of a Software/Hardware System by Tense Arithmetic. Logic, Language and Computation 1994: 188-205
1983
3 Shigeru Igarashi: The nu-Conversion and an Analytic Semantics. IFIP Congress 1983: 769-774
1974
2 Shigeru Igarashi, Ralph L. London, David C. Luckham: Automatic Program Verification I: A Logical Basis and its Implementation Acta Inf. 4: 145-182 (1974)
1972
1 Shigeru Igarashi: Admissibility of fixed-point induction in first- order logic of typed theories. International Sympoisum on Theoretical Programming 1972: 344-383

Coauthor Index

1Chiharu Hosono [5]
2Yasuwo Ikeda [10] [11]
3Ralph L. London [2]
4David C. Luckham [2]
5Tetsuya Mizutani [5] [6] [7] [8] [9] [10] [11]
6Masayuki Shio [6] [7] [8] [9] [10] [11]
7Tetsuya Shirogane [6] [7]
8Kohji Tomita [4] [8]
9Takashi Tsuji [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)