Search Results1-20 of  21

  • 1 / 2
  • Kenichi Taniguchi Kenichi ID: 9000283467474

    Graduate School of Engineering Science, Osaka University (2001 from CiNii)

    Articles in CiNii:1

    • An Adaptive Bandwidth Management System for Guaranteeing QoS Requirements (2001)
  • Kenichi Taniguchi ID: 9000348879652

    Articles in CiNii:1

    • Presburger Arithmetic and its Application to Program Developments. (1992)
  • Kenichi Taniguchi ID: 9000348881589

    Articles in CiNii:1

    • Software Process Description in LOTOS And Its Execution (1995)
  • Kenichi Taniguchi ID: 9000348882281

    Articles in CiNii:1

    • An Extension of LOTOS for Specifying Time Constraints among Nonadjacent Actions and Verification of Equivalence. (1995)
  • Kenichi Taniguchi ID: 9000348886936

    Articles in CiNii:1

    • An Adaptive Bandwidth Management System for Guaranteeing QoS Requirements. (2001)
  • Kenichi Taniguchi ID: 9000348887918

    Articles in CiNii:1

    • A Language for Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels (2002)
  • Kenichi Taniguchi ID: 9000348889654

    Articles in CiNii:1

    • An application level multicast protocol for multi-party visual communication systems (2004)
  • TANIGUCHI Kenichi ID: 1000000029513

    Articles in CiNii:202

    • A Graph Editor for Large Trees with Browsing and Zooming Capabilities (1992)
    • A Realtime Animation Method on Workstations and Its Evaluation (1992)
    • An Automatic Derivation of Test Cases for LOTOS Expressions with Data Paramenters (1992)
  • TANIGUCHI Kenichi ID: 9000004473152

    Articles in CiNii:2

    • Architectural Design Consideration of a Workstation (1986)
    • An Educational Microprogrammable Computer (1984)
  • TANIGUCHI Kenichi ID: 9000004844684

    Department of Informatics and Mathematical Science, Osaka University (1999 from CiNii)

    Articles in CiNii:3

    • Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model (1994)
    • A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit (1998)
    • Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS (1999)
  • TANIGUCHI Kenichi ID: 9000004847646

    Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University (1997 from CiNii)

    Articles in CiNii:1

    • Time - Action Alternating Model for Timed Processes and Its Symbolic Verification of Bisimulation Equivalence (1997)
  • Taniguchi Kenichi ID: 9000004844682

    Faculty of Engineering Science, Osaka University (1994 from CiNii)

    Articles in CiNii:1

    • Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model (1994)
  • Taniguchi Kenichi ID: 9000004930457

    Osaka University (1995 from CiNii)

    Articles in CiNii:1

    • User interface for writing documents efficiently (1995)
  • Taniguchi Kenichi ID: 9000020424626

    Department of Hydrocarbon Chemistry, Kyoto University (1979 from CiNii)

    Articles in CiNii:1

    • The carbonylation of .ALPHA.-haloacetophenones and benzyl halides by disodium tetracarbonylferrate. (1979)
  • Taniguchi Kenichi ID: 9000022333525

    Articles in CiNii:1

    • Service Specification and Protocol Specifications in LOTOS : Equivalence and Synthesis (1992)
  • Taniguchi Kenichi ID: 9000241178410

    Articles in CiNii:6

    • Optimization of Functional Language ASL/F Programs (1984)
    • Functional Programming Language ASL/F and Its Optimizing Compiler (1984)
    • GUI制御部の記述と実現の一手法 (1997)
  • Taniguchi Kenichi ID: 9000255885620

    Department of Surgery, Komaki Municipal Hospital (1990 from CiNii)

    Articles in CiNii:1

    • A case of intestinal anisakiasis with massive hemorrhage as the earliest clinical manifestation. (1990)
  • Taniguchi Kenichi ID: 9000258237548

    Graduate School of Engineering Science, Osaka Univ. (2002 from CiNii)

    Articles in CiNii:1

    • A Language for Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels (2002)
  • Taniguchi Kenichi ID: 9000398792220

    Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University (1995 from CiNii)

    Articles in CiNii:1

    • Software Process Description in LOTOS And Its Execution (1995)
  • Taniguchi Kenichi ID: 9000398792288

    Dept. of Information and Computer Science, Osaka University (1995 from CiNii)

    Articles in CiNii:1

    • An Extension of LOTOS for Specifying Time Constraints among Nonadjacent Actions and Verification of Equivalence. (1995)
  • 1 / 2
Page Top