The use of Ada in the development of distributed systems: experience implementing a communications system. - Keijiro Araki; Kazuo Ushijima (WADAS, 1986)

A General Framework for Debugging. - Keijiro Araki; Zengo Furukawa; Jingde Cheng (IEEE Softw., 1991)

Support tool and strategy for type error correction with polymorphic types. - Hiroshi Maruyama; Masaki Matsuyama; Keijiro Araki (COMPSAC, 1992)

Application of a neural network to human tasting. - Akira Suganuma; Masato Kataoka; Keijiro Araki (COMPSAC, 1992)

Specification slicing in formal methods of software development. - Tomohiro Oda; Keijiro Araki (COMPSAC, 1993)

Research on programming languages for massively parallel processing. - Makoto Amamiya; Masahiko Satoh; Akifumi Makinouchi; Ken-Ichi Hagiwara; Taiichi Yuasa; Hitoshi Aida; Kazunori Ueda; Keijiro Araki; Tetsuo Ida; Takanobu Baba (ISPAN, 1994)

The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning. - Tsuneo Nakanishi; Kazuki Joe; Akira Fukuda; Keijiro Araki; Hideki Saito 001; Constantine D. Polychronopoulos (LCPC, 1994)

A loop parallelization technique for linear dependence vector. - Teruaki Kitasuka; Kazuki Joe; Dale Schouten; Akira Fukuda; Keijiro Araki (PACT, 1995)

Are Formal Methods Relevant? - Ian J. Hayes; Keijiro Araki; David J. Duke; Val E. Veraart (APSEC, 1995)

Genetic Algorithm Enlarges the Capacity of Associative Memory. - Akira Imada; Keijiro Araki (ICGA, 1995)

The CDP2 Partitioning Algorithm a Combined End Program Partitioning Algorithm on the Data Partitioning Graph. - Tsuneo Nakanishi; Kazuki Joe; Hideki Saito 001; Akira Fukuda; Keijiro Araki (ICPP (2), 1995)

Consistency Checking between Data and Process Diagrams Based on Formal Methods. - Syouri Kouno; Han-Myung Chang; Keijiro Araki (COMPSAC, 1996)

Extending Z with State Transition Constraints. - Kenji Taguchi 001; Keijiro Araki (COMPSAC, 1996)

Lamarckian Evolution of Associative Memory. - Akira Imada; Keijiro Araki (International Conference on Evolutionary Computation, 1996)

Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies. - Tsuneo Nakanishi; Kazuki Joe; Constantine D. Polychronopoulos; Keijiro Araki; Akira Fukuda (ICPP, Vol. 3, 1996)

Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences. - Tsuneo Nakanishi; Kazuki Joe; Constantine D. Polychronopoulos; Keijiro Araki; Akira Fukuda (LCPC, 1996)

3D Visualization of Program Structure and Data Dependence for Parallelizing Compilers and Parallel Programming. - Mariko Sasakura; Satoko Kiwada; Kazuki Joe; Tsuneo Nakanishi; Keijiro Araki (LCPC, 1996)

Searching Real-Valued Synaptic Weights of Hopfield's Associative Memory Using Evolutionary Programming. - Akira Imada; Keijiro Araki (Evolutionary Programming, 1997)

The Baldwin Effect on the Evolution of Associative Memory. - Akira Imada; Keijiro Araki (ICANNGA, 1997)

The State-Based CCS Semantics for Concurrent Z Specification. - Kenji Taguchi 001; Keijiro Araki (ICFEM, 1997)

Evolution of Hopfield Model of Associative Memory by the Breeder Genetic Algorithm. - Akira Imada; Keijiro Araki (ICGA, 1997)

Evolution of Random Synaptic Weights of the Hopfield Associative Memory: How Chaotic Trajectories Turn into Fixed Point Attractors? - Akira Imada; Keijiro Araki (ICONIP (1), 1997)

NaraView: An Interactive 3D Visualization System for Parallelization of Programs. - Mariko Sasakura; Kazuki Joe; Keijiro Araki (ISHPC, 1997)

Random Perturbations to Hebbian Synapses of Associative Memory Using a Genetic Algorithm. - Akira Imada; Keijiro Araki (IWANN, 1997)

What does the Landscape of a Hopfield Associative Memory Look Like? - Akira Imada; Keijiro Araki (Evolutionary Programming, 1998)

A Calculus Based on the Agent-Place Model. - Kenji Taguchi 001; Keijiro Araki (ICFEM, 1998)

Explorations of fitness landscapes of a Hopfield associative memory with random and evolutionary walks. - Akira Imada; Keijiro Araki (KES (2), 1998)

How Real-valued Random Synapses Evolve Toward Symmetry with Diploid Chromosomes? - Akira Imada; Keijiro Araki (NC, 1998)

Can a Niching Method Locate Multiple Attractors Embedded in the Hopfield Network? - Akira Imada; Keijiro Araki (SEAL, 1998)

VRML Program Slicing. - Hiroshi Maruyama; Keijiro Araki (APSEC, 1999)

NaraView: An Interactive 3D Visualization System for Parallelization of Programs. - Mariko Sasakura; Kazuki Joe; Yoshitoshi Kunieda; Keijiro Araki (Int. J. Parallel Program., 1999)

Estimating minimum parallel execution time of loops with loop-carried dependencies. - Tsuneo Nakanishi; Kazuki Joe; Constantine D. Polychronopoulos; Keijiro Araki; Akira Fukuda (Syst. Comput. Jpn., 1999)

Design of Scalable Interdomain IP Multicast Architecture. - Motoyuki Ohmori; Koji Okamura; Keijiro Araki (ICOIN, 2001)

Design of General Reliable Multicast Architecture with Active Network Framework. - Masataka Sonoda; Koji Okamura; Keijiro Araki (ICOIN, 2001)

Design of Gateway System between Different Signalling Protocols of the Multimedia Session on the Internet. - Kentaro Takei; Koji Okamura; Keijiro Araki (ICOIN, 2001)

Design and Evaluation of Dynamic Protocol Selection Architecture for Reliable Multicast. - Kensuke Shibata; Koji Okamura; Keijiro Araki (SAINT, 2002)

Study on Merge of Overlapped TCP Traffic Using Reliable Multicast Transport. - Yoshikazu Watanabe; Koji Okamura; Keijiro Araki (ICOIN, 2003)

Reusable Formal Specification for Embedded Systems. - Yuji Arichika; Keijiro Araki (APSEC, 2004)

Privacy-Aware Location Dependent Services over Wireless Internet with Anycast. - Kosuke Tomonaga; Masataka Ohta; Keijiro Araki (Human.Society@Internet, 2005)

On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri Nets. - Eleazar Jiménez Serrano; Keijiro Araki; Shigeru Kusakabe (IMECS, 2007)

Enforcing the optimal set of controls for state feedback with non-redundant controllers. - Eleazar Jiménez Serrano; Keijiro Araki; Shigeru Kusakabe (SMC, 2007)

Large Scale Business-academia Collaboration in Master Education Course. - Noriaki Sakamoto; Mitsuaki Fukase; Tsunenori Mine; Shigeru Kusakabe; Tsuneo Nakanishi; Yoichi Omori; Mohammad Mesbah Uddin; Keijiro Araki; Akira Fukuda; Hiroto Yasuura; Teruaki Kitasuka (CSEDU (2), 2009)

Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. - Shigeru Kusakabe; Yoichi Omori; Keijiro Araki (ICSOFT (1), 2009)

SIMPEL: An innovative web application interface supporting online course management system. - Mardiana Araki; Keijiro Araki (ITHET, 2012)

Generating supportive hypotheses in introducing formal methods using a software processes improvement model. - Shigeru Kusakabe; Hsin-Hung Lin; Yoichi Omori; Keijiro Araki (FormaliSE, 2014)

Requirements Development of Energy Management System for a Unit in Smart Campus. - Shigeru Kusakabe; Hsin-Hung Lin; Yoichi Omori; Keijiro Araki (IIAI-AAI, 2014)

Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. - Taro Kurita; Fuyuki Ishikawa; Keijiro Araki (FM, 2015)

Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. - Shigeru Kusakabe; Yoichi Omori; Keijiro Araki (FMSEE&T@FM, 2015)

Towards Verifying VDM Using SPIN. - Hsin-Hung Lin; Yoichi Omori; Shigeru Kusakabe; Keijiro Araki (FTSCS, 2015)

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. - Tomohiro Oda; Keijiro Araki; Peter Gorm Larsen (FormaliSE@ICSE, 2015)

Adaptive Context-Awareness Model for Cultural Heritage Information Based on User Needs. - Abdul Kadir Jailani; Shigeru Kusakabe; Keijiro Araki (IIAI-AAI, 2015)

Visualizing centrality of process area networks in CMMI-DEV. - Shigeru Kusakabe; Hsin-Hung Lin; Yoichi Omori; Keijiro Araki (ICSSP, 2015)

Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract). - Keijiro Araki; Taro Kurita (ICFEM, 2016)

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. - Tomohiro Oda; Keijiro Araki; Peter Gorm Larsen (IWST, 2016)

A Formal Modeling Tool for Exploratory Modeling in Software Development. - Tomohiro Oda; Keijiro Araki; Peter Gorm Larsen (IEICE Trans. Inf. Syst., 2017)

ViennaDoc: An Animatable and Testable Specification Documentation Tool. - Tomohiro Oda; Keijiro Araki; Yasuhiro Yamamoto; Kumiyo Nakakoji; Hiroshi Sako; Han-Myung Chang; Peter Gorm Larsen (FM Workshops (2), 2019)