| 2008 |
|---|
| 22 | EE | Daisuke Horie,
Shoichi Morimoto,
Noor Azimah,
Yuichi Goto,
Jingde Cheng:
ISEDS: An Information Security Engineering Database System Based on ISO Standards.
ARES 2008: 1219-1225 |
| 21 | EE | Natsumi Kitajima,
Yuichi Goto,
Jingde Cheng:
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems.
ARES 2008: 171-178 |
| 20 | EE | Takahiro Koh,
Yuichi Goto,
Jingde Cheng:
A Fast Duplication Checking Algorithm for Forward Reasoning Engines.
KES (2) 2008: 499-507 |
| 19 | EE | Yuichi Goto,
Takahiro Koh,
Jingde Cheng:
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations.
KES (2) 2008: 526-535 |
| 18 | EE | Shoichi Morimoto,
Shinjiro Shigematsu,
Yuichi Goto,
Jingde Cheng:
Classification, Formalization and Verification of Security Functional Requirements.
SOFSEM 2008: 622-633 |
| 2007 |
|---|
| 17 | EE | Mohammad Reza Selim,
Takumi Endo,
Yuichi Goto,
Jingde Cheng:
Distributed hash table based design of Soft System Buses.
Infoscale 2007: 78 |
| 16 | EE | Isao Takahashi,
Shinsuke Nara,
Yuichi Goto,
Jingde Cheng:
EPLAS: An Epistemic Programming Language for All Scientists.
International Conference on Computational Science (1) 2007: 406-413 |
| 15 | EE | Jingde Cheng,
Shinsuke Nara,
Yuichi Goto:
FreeEnCal: A Forward Reasoning Engine with General-Purpose.
KES (2) 2007: 444-452 |
| 14 | EE | Jingde Cheng,
Yuichi Goto,
Shinsuke Nara,
Takahiro Koh:
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing.
KES (2) 2007: 840-851 |
| 13 | EE | Mohammad Reza Selim,
Yuichi Goto,
Jingde Cheng:
A replication oriented approach to event based middleware over structured peer to peer networks.
MPAC 2007: 61-66 |
| 12 | EE | Shoichi Morimoto,
Shinjiro Shigematsu,
Yuichi Goto,
Jingde Cheng:
Formal verification of security specifications with common criteria.
SAC 2007: 1506-1512 |
| 11 | EE | K. H. S. Sabaragamu Koralalage,
Mohammad Reza Selim,
Junichi Miura,
Yuichi Goto,
Jingde Cheng:
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism.
SAC 2007: 270-275 |
| 10 | EE | Takumi Endo,
Yuichi Goto,
Jingde Cheng:
Measuring Reactability of Persistent Computing Systems.
Software Composition 2007: 144-151 |
| 9 | EE | Yuichi Goto,
Jingde Cheng:
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic.
Electr. Notes Theor. Comput. Sci. 169: 87-97 (2007) |
| 2006 |
|---|
| 8 | EE | Kazuhiko Miki,
David Boerstler,
Eskinder Hailu,
Jieming Qi,
Sarah Pettengill,
Yuichi Goto:
A new test and characterization scheme for 10+ GHz low jitter wide band PLL.
ASP-DAC 2006: 856-859 |
| 7 | EE | Mohammad Reza Selim,
Takumi Endo,
Yuichi Goto,
Jingde Cheng:
A Comparative Study Between Soft System Bus and Traditional Middlewares.
OTM Workshops (2) 2006: 1264-1273 |
| 6 | EE | Shoichi Morimoto,
Shinjiro Shigematsu,
Yuichi Goto,
Jingde Cheng:
A security specification verification technique based on the international standard ISO/IEC 15408.
SAC 2006: 1802-1803 |
| 5 | EE | Yuichi Goto,
Jingde Cheng:
A quantitative analysis of implicational paradoxes in classical mathematical logic.
SAC 2006: 42-43 |
| 4 | EE | Jingde Cheng,
Shinsuke Nara,
Takahiro Koh,
Yuichi Goto:
The Theory Grid and Grid Theorists.
SKG 2006: 32 |
| 2005 |
|---|
| 3 | EE | Takumi Endo,
Junichi Miura,
Koichi Nanashima,
Shoichi Morimoto,
Yuichi Goto,
Jingde Cheng:
Security in Persistently Reactive Systems.
EUC Workshops 2005: 874-883 |
| 2 | EE | Shinsuke Nara,
Takashi Omi,
Yuichi Goto,
Jingde Cheng:
A General-Purpose Forward Deduction Engine for Modal Logics.
KES (2) 2005: 739-745 |
| 2004 |
|---|
| 1 | EE | Jingde Cheng,
Yuichi Goto:
Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic.
ER (Workshops) 2004: 114-126 |
