Atsushi Togashi

	2006
19		Satoru Izumi, Dai Kuriyama, Goichi Itabashi, Atsushi Togashi, Yasushi Kato, Kaoru Takahashi: An ontology-based advice system for health and exercise. IMSA 2006: 95-100
	2000
18		Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi: System Requirements and Formal Specifications of Hierarchical Reactive Systems. ICPADS 2000: 91-98
17		Shigetomo Kimura, Atsushi Togashi, Norio Shiratori: Inductive Synthesis of Recursive Processes from Logical Properties. Inf. Comput. 163(2): 257-284 (2000)
	1998
16		Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan Chapman & Hall 1998
	1997
15		Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu: A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. FORTE 1997: 383-398
	1996
14		Shigetomo Kimura, Atsushi Togashi, Norio Shiratori: Extension of Synthesis Algorithm of Recursive Processes to \mu-Calculus. Inf. Process. Lett. 58(2): 97-104 (1996)
13		Atsushi Togashi, Glenn Mansfield, Norio Shiratori: Animating LOTOS Specifications Using Amlog. International Journal of Software Engineering and Knowledge Engineering 6(1): 5-19 (1996)
	1995
12		Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori: Extension of protocol synthesis to structured entities. ICNP 1995: 66-73
11		Atsushi Togashi, Nobuyuki Usui, Kukhwan Song, Norio Shiratori: A Derivation of System Specifications Based on a Partial Logical Petri Net. ISCAS 1995: 521-524
	1994
10		Shigetomo Kimura, Atsushi Togashi, Norio Shiratori: Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract). AII/ALT 1994: 379-394
9		Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori: A synthesis algorithm of a protocol model from a single entity. FORTE 1994: 477-492
8		Sen Yoshida, Atsushi Togashi, Norio Shiratori: Integrated Support Environment for Concurrent Process Calculi. PODC 1994: 395
7		Atsushi Togashi, Sen Yoshida, Shigetomo Kimura, Norio Shiratori: ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS. Theory and Practice of Parallel Programming 1994: 229-234
	1991
6		Glenn Mansfield, Atsushi Togashi, Nobuhisa Miake, Shoichi Noguchi: AMLOG-E: A New Approach towards Amalgamation. ICLP 1991: 364-378
	1990
5		Atsushi Togashi, Shoichi Noguchi: Inductive Inference of Term Rewriting Systems Realizing Algebras. ALT 1990: 411-424
	1989
4		Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi: Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes). KBCS 1989: 276-285
3		Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi: Generalized Predicate Completion. KBCS 1989: 286-295
	1987
2		Atsushi Togashi, Shoichi Noguchi: A Program Transformation from Equational Programs into Logic Programs. J. Log. Program. 4(2): 85-103 (1987)
	1984
1		Atsushi Togashi, Shoichi Noguchi: A Program Transformation from Equational Programs into Logic Programs. FGCS 1984: 185-194

Coauthor Index

1	Bhed Bahadur Bista	[9] [12]
2	Zixue Cheng	[9]
3	Teruo Higashino	[16]
4	Ben-Hui Hou	[3] [4]
5	Goichi Itabashi	[19]
6	Satoru Izumi	[19]
7	Fumiaki Kanezashi	[15] [18]
8	Yasushi Kato	[19]
9	Glenn Mansfield Keeni (Glenn Mansfield)	[6] [13]
10	Shigetomo Kimura	[7] [10] [14] [17]
11	Dai Kuriyama	[19]
12	Xiaosong Lu	[18]
13	Xiasong Lu	[15]
14	Nobuhisa Miake	[6]
15	Tadanori Mizuno	[16]
16	Shoichi Noguchi	[1] [2] [3] [4] [5] [6]
17	Norio Shiratori	[7] [8] [9] [10] [11] [12] [13] [14] [16] [17]
18	Kukhwan Song	[11]
19	Kaoru Takahashi	[19]
20	Nobuyuki Usui	[11]
21	Sen Yoshida	[7] [8]

Colors in the list of coauthors