|
СТ |
Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives |
1994 |
Kakuda Y., Nakamura M., Kikuno T. |
|
|
|
IEICE Trans. |
22.02.1995 |
|
СТ |
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks |
1999 |
Tsuchiya T., Kikuno T. |
|
|
|
The Computer J. |
12.02.2000 |
|
СТ |
Experimental Evaluation of Team Performance in Program Development Based on a Model - Extension of a Programmer Performance Model |
1992 |
Matsumoto K., Kusumoto S., Kikuno T., Torii K. |
|
|
|
J. Information Processing |
08.04.1993 |
|
СТ |
On Desirable Fault-Tolerant Topology for Cluster-Based Network |
1994 |
Ishida K., Kikuno T. |
|
|
|
IEICE Trans. |
22.02.1995 |
|
СТ |
On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels |
1994 |
Kakuda Y., Takada Y., Kikuno T. |
|
|
|
IEICE Trans. |
09.12.1994 |
|
СТ |
SAT-Based Verification of Safe Petri Nets |
2004 |
Ogata Sh., Tsuchiya T., Kikuno T. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.01.2005 |
