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

Sachio Hirokawa Vis

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

*2009
39EEYurie Iino, Sachio Hirokawa: Time Series Analysis of R&D Team Using Patent Information. KES (2) 2009: 464-471
2008
38EEYoshihiro Shimoji, Taiki Wada, Sachio Hirokawa: Dynamic Thesaurus Construction from English-Japanese Dictionary. CISIS 2008: 918-923
2007
37EETakahiro Seki, Taiki Wada, Yasuhiro Yamada, Nozomi Ytow, Sachio Hirokawa: Multiple Viewed Search Engine for an e-Journal - A Case Study on Zoological Science. HCI (4) 2007: 989-998
36EEMasao Mori, Tetsuya Nakatoh, Sachio Hirokawa: Links and Cycles of Web Databases. SWAP 2007
2006
35EEMasao Mori, Tetsuya Nakatoh, Sachio Hirokawa: Functional Composition of Web Databases. ICADL 2006: 439-448
2005
34 Yufeng Dou, Eisuke Itoh, Sachio Hirokawa, Daisuke Ikeda: An Approach to Analyzing Correlation between Songs/Artists Using iTMS Playlists. CIMCA/IAWTIC 2005: 951-956
33 Tetsuya Nakatoh, Kensuke Baba, Daisuke Ikeda, Yasuhiro Yamada, Sachio Hirokawa: An Efficient Mapping for Computing the Score of String Matching. Journal of Automata, Languages and Combinatorics 10(5/6): 697-704 (2005)
2004
32EEYasuhiro Yamada, Nick Craswell, Tetsuya Nakatoh, Sachio Hirokawa: Testbed for information extraction from deep web. WWW (Alternate Track Papers & Posters) 2004: 346-347
2003
31EESachio Hirokawa, Eisuke Itoh, Tetsuhiro Miyahara: Semi-Automatic Construction of Metadata from a Series of Web Documents. Australian Conference on Artificial Intelligence 2003: 942-953
30EEDaisuke Ikeda, Yasuhiro Yamada, Sachio Hirokawa: Expressive Power of Tree and String Based Wrappers. IIWeb 2003: 21-26
29EETetsuhiro Miyahara, Yusuke Suzuki, Takayoshi Shoudai, Tomoyuki Uchida, Sachio Hirokawa, Kenichi Takahashi, Hiroaki Ueda: Extraction of Tag Tree Patterns with Contractible Variables from Irregular Semistructured Data. PAKDD 2003: 430-436
2002
28EEYasuhiro Yamada, Daisuke Ikeda, Sachio Hirokawa: Automatic Wrapper Generation for Multilingual Web Resources. Discovery Science 2002: 332-339
27EESachio Hirokawa, Daisuke Ikeda: Visualization and Analysis of Web Graphs. Progress in Discovery Science 2002: 616-627
2001
26EEDaisuke Ikeda, Yasuhiro Yamada, Sachio Hirokawa: Eliminating Useless Parts in Semi-structured Documents Using Alternation Counts. Discovery Science 2001: 113-127
25EEYasuhiro Yamada, Daisuke Ikeda, Sachio Hirokawa: SCOOP: A Record Extractor without Knowledge on Input. Discovery Science 2001: 482-487
24 Kengo Nishino, Daisuke Nagano, Sachio Hirokawa: Generation of Navigation Script from Log and Link. WebNet 2001: 534-539
23EEKensuke Baba, Sachio Hirokawa, Ken-etsu Fujita: Parallel Reduction in Type Free lambda/mu-Calculus. Electr. Notes Theor. Comput. Sci. 42: (2001)
2000
22EEDaisuke Ikeda, Sachio Hirokawa: Extraction Positive and Negative Keywords for Web Communities. Discovery Science 2000: 299-303
21 Yoshihiro Okada, Eisuke Itoh, Sachio Hirokawa: IntelligentBox: Its Aspects as a Rapid Construction System for Interactive 3D Games. GAME-ON 2000: 22-
20EESachio Hirokawa, Daisuke Nagano: Long Normal Form Proof Search and Counter-Model Generation. Electr. Notes Theor. Comput. Sci. 37: (2000)
19 Sachio Hirokawa, Yuichi Komori, Misao Nagayama: A Lambda Proof of The P-W Theorem. J. Symb. Log. 65(4): 1841-1849 (2000)
1999
18EEDaisuke Ikeda, Tsuyoshi Taguchi, Sachio Hirokawa: Developing a Knowledge Network of URLs. Discovery Science 1999: 328-329
17 Keiichi Mishima, Sachio Hirokawa, Naoyuki Kato: GUI for Geometric Inference Engine on Internet. WebNet 1999: 1360-1361
1998
16EESachio Hirokawa, Tsuyoshi Taguchi: KN on ZK - Knowledge Network on Network Note Pad ZK. Discovery Science 1998: 411-412
15EESachio Hirokawa: Infiniteness of Proof(alpha) is Polynomial-Space Complete. Theor. Comput. Sci. 206(1-2): 331-339 (1998)
1996
14 Masako Takahashi, Yohji Akama, Sachio Hirokawa: Normal Proofs and Their Grammar. Inf. Comput. 125(2): 144-153 (1996)
13 Sachio Hirokawa: The proofs of alpha -> alpha in P-W. J. Symb. Log. 61(1): 195-211 (1996)
12 Sachio Hirokawa, Yuichi Komori, Izumi Takeuti: A reduction rule for Peirce formula. Studia Logica 56(3): 419-426 (1996)
1994
11 Masako Takahashi, Yohji Akama, Sachio Hirokawa: Normal Proofs and Their Grammar. TACS 1994: 465-493
1993
10 Sachio Hirokawa: The Relevance Graph of a BCK-Formula. J. Log. Comput. 3(3): 269-285 (1993)
9 Yuichi Komori, Sachio Hirokawa: The Number of Proofs for a BCK-Formula. J. Symb. Log. 58(2): 626-628 (1993)
8 Sachio Hirokawa: Principal Types of BCK-lambda-Terms. Theor. Comput. Sci. 107(2): 253-276 (1993)
1992
7 Sachio Hirokawa: Balanced Formulas, BCK-Minimal Formulas and Their Proofs. LFCS 1992: 198-208
6 Sachio Hirokawa: Converse Principal Type-Scheme Theorem in Lambda Calculus. Studia Logica 51(1): 83-95 (1992)
1991
5 Sachio Hirokawa: BCK-Formulas Having Unique Proofs. Category Theory and Computer Science 1991: 106-120
4 Sachio Hirokawa: Principal Type-Schemes of BCI-Lambda-Terms. TACS 1991: 633-650
3 Sachio Hirokawa: Prinipal Type Assignment to Lambda Terms. Int. J. Found. Comput. Sci. 2(2): 149-162 (1991)
1988
2 Shoji Sekimoto, Sachio Hirokawa: One-Step Recurrent Terms in lambda-beta-Calculus. Theor. Comput. Sci. 56: 223-231 (1988)
1985
1 Sachio Hirokawa: Complexity of the Combinator Reduction Machine. Theor. Comput. Sci. 41: 289-303 (1985)

Coauthor Index

1Yohji Akama [11] [14]
2Kensuke Baba [23] [33]
3Nick Craswell [32]
4Yufeng Dou [34]
5Ken-etsu Fujita [23]
6Yurie Iino [39]
7Daisuke Ikeda [18] [22] [25] [26] [27] [28] [30] [33] [34]
8Eisuke Itoh [21] [31] [34]
9Naoyuki Kato [17]
10Yuichi Komori [9] [12] [19]
11Keiichi Mishima [17]
12Tetsuhiro Miyahara [29] [31]
13Masao Mori [35] [36]
14Daisuke Nagano [20] [24]
15Misao Nagayama [19]
16Tetsuya Nakatoh [32] [33] [35] [36]
17Kengo Nishino [24]
18Yoshihiro Okada [21]
19Takahiro Seki [37]
20Shoji Sekimoto [2]
21Yoshihiro Shimoji [38]
22Takayoshi Shoudai [29]
23Yusuke Suzuki [29]
24Tsuyoshi Taguchi [16] [18]
25Kenichi Takahashi [29]
26Masako Takahashi [11] [14]
27Izumi Takeuti [12]
28Tomoyuki Uchida [29]
29Hiroaki Ueda [29]
30Taiki Wada [37] [38]
31Yasuhiro Yamada [25] [26] [28] [30] [32] [33] [37]
32Nozomi Ytow [37]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)