Yasunari Shidama

According to our database, Yasunari Shidama authored at least 140 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

On Implicit and Inverse Function Theorems on Euclidean Spaces.

Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2022

2021

Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182.

Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama

Formaliz. Math., 2021

Functional Space Consisted by Continuous Functions on Topological Space.

Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama

Formaliz. Math., 2021

Finite Dimensional Real Normed Spaces are Proper Metric Spaces.

Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2021

Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863.

Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2021

2019

Implicit Function Theorem. Part II.

Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2019

Continuity of Multilinear Operator on Normed Linear Spaces.

Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2019

Operations of Points on Elliptic Curve in Affine Coordinates.

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2019

2018

Continuity of Bounded Linear Operators on Normed Linear Spaces.

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2018

2017

F. Riesz Theorem.

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2017

Implicit Function Theorem. Part I.

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2017

Isomorphism Theorem on Vector Spaces over a Ring.

Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2017

Dual Lattice of ℤ-module Lattice.

Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2017

Embedded Lattice and Properties of Gram Matrix.

Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2017

2016

Riemann-Stieltjes Integral.

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2016

Conservation Rules of Direct Sum Decomposition of Groups.

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2016

The Basic Existence Theorem of Riemann-Stieltjes Integral.

Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama

Formaliz. Math., 2016

Compactness in Metric Spaces.

Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama

Formaliz. Math., 2016

Lattice of ℤ-module.

Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2016

Divisible ℤ-modules.

Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2016

Privacy Preserving Logic Formula Calculation in Cloud.

Hiroshi Yamaguchi, Shigeo Tsujii, Hiroyuki Okazaki, Yasunari Shidama

Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016

2015

Weak Convergence and Weak Convergence.

Keiko Narita, Yasunari Shidama, Noboru Endou

Formaliz. Math., 2015

The Orthogonal Projection and the Riesz Representation Theorem.

Keiko Narita, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2015

Definition and Properties of Direct Sum Decomposition of Groups1.

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2015

Equivalent Expressions of Direct Sum Decomposition of Groups1.

Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama

Formaliz. Math., 2015

Torsion Part of ℤ-module.

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2015

Matrix of ℤ-module1.

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2015

σ-ring and σ-algebra of Sets1.

Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2015

Continuity of approximate reasoning using fuzzy number under Łukasiewicz t-norm.

Takashi Mitsuishi, Nami Shimada, Toshimichi Homma, Mayumi Ueda, Masayuki Kochizawa, Yasunari Shidama

Proceedings of the 7th International Conference on Cybernetics and Intelligent Systems, 2015

Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library.

Kazuhisa Nakasho, Yasunari Shidama

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014

Bidual Spaces and Reflexivity of Real Normed Spaces.

Keiko Narita, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2014

Dual Spaces and Hahn-Banach Theorem.

Keiko Narita, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2014

Topological Properties of Real Normed Space.

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2014

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module.

Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2014

Definition of Flat Poset and Existence Theorems for Recursive Call.

Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski

Formaliz. Math., 2014

Preface.

Adam Grabowski, Yasunari Shidama

Formaliz. Math., 2014

Torsion Z-module and Torsion-free Z-module.

Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2014

Continuity of Discrete-Time Fuzzy Systems.

Takashi Mitsuishi, Takanori Terashima, Koji Saigusa, Nami Shimada, Toshimichi Homma, Kiyoshi Sawada, Yasunari Shidama

Proceedings of the Neural Information Processing - 21st International Conference, 2014

2013

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar.

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

J. Autom. Reason., 2013

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order.

Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2013

Isomorphisms of Direct Products of Finite Commutative Groups.

Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama

Formaliz. Math., 2013

Random Variables and Product of Probability Spaces.

Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2013

Constructing Binary Huffman Tree.

Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2013

Differential Equations on Functions from R into Real Banach Space.

Keiko Narita, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2013

The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space.

Keiko Narita, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2013

Riemann Integral of Functions from ℝ into Real Banach Space.

Keiko Narita, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2013

The Ck Space.

Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2013

Formulation of Cell Petri Nets.

Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama

Formaliz. Math., 2013

Submodule of free Z-module.

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2013

Gaussian Integers.

Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama

Formaliz. Math., 2013

Isometric Differentiable Functions on Real Normed Space.

Yuichi Futa, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2013

Differentiation in Normed Spaces.

Noboru Endou, Yasunari Shidama

Formaliz. Math., 2013

Double Sequences and Limits.

Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2013

Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar.

Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama

Artif. Intell. Res., 2013

SIRMs fuzzy approximate reasoning using L-R fuzzy number as premise valuable.

Takashi Mitsuishi, Takanori Terashima, Nami Shimada, Toshimichi Homma, Yasunari Shidama

Proceedings of the 8th International Conference on System of Systems Engineering, 2013

2012

On L1 Space Formed by Complex-Valued Partial Functions.

Yasushige Watase, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2012

Differentiable Functions on Normed Linear Spaces.

Yasunari Shidama

Formaliz. Math., 2012

Banach's Continuous Inverse Theorem and Closed Graph Theorem.

Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2012

Formalization of the Data Encryption Standard.

Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2012

Extended Euclidean Algorithm and CRT Algorithm.

Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama

Formaliz. Math., 2012

The Differentiable Functions from R into <i>R</i>^<i>n</i>.

Keiko Narita, Artur Kornilowicz, Yasunari Shidama

Formaliz. Math., 2012

Contracting Mapping on Normed Linear Space.

Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama

Formaliz. Math., 2012

Riemann Integral of Functions from R into <i>n</i>-dimensional Real Normed Space.

Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama

Formaliz. Math., 2012

Functional Space <i>C</i>(ω), <i>C</i>₀(ω).

Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2012

Free ℤ-module.

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2012

Quotient Module of Z-module.

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2012

Z-modules.

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2012

Operations of Points on Elliptic Curve in Projective Coordinates.

Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama

Formaliz. Math., 2012

Higher-Order Partial Differentiation.

Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2012

Isomorphisms of Direct Products of Finite Cyclic Groups.

Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2012

Optimization of SIRMs Fuzzy Model Using Łukasiewicz Logic.

Takashi Mitsuishi, Takanori Terashima, Yasunari Shidama

Proceedings of the Neural Information Processing - 19th International Conference, 2012

Continuity of Defuzzification on L2 Space for Optimization of Fuzzy Control.

Takashi Mitsuishi, Takanori Terashima, Nami Shimada, Toshimichi Homma, Kiyoshi Sawada, Yasunari Shidama

Proceedings of the Active Media Technology - 8th International Conference, 2012

2011

Cartesian Products of Family of Real Linear Spaces.

Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2011

More on Continuous Functions on Normed Linear Spaces.

Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2011

Differentiable Functions into Real Normed Spaces.

Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama

Formaliz. Math., 2011

Normal Subgroup of Product of Groups.

Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama

Formaliz. Math., 2011

More on the Continuity of Real Functions.

Keiko Narita, Artur Kornilowicz, Yasunari Shidama

Formaliz. Math., 2011

Riemann Integral of Functions from R into Real Normed Space.

Keiichi Miyajima, Takahiro Kato, Yasunari Shidama

Formaliz. Math., 2011

Banach Algebra of Bounded Complex-Valued Functionals.

Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2011

Partial Differentiation, Differentiation and Continuity on <i>n</i>-Dimensional Real Normed Linear Spaces.

Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2011

Partial Differentiation of Vector-Valued Functions on <i>n</i>-Dimensional Real Normed Linear Spaces.

Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2011

Set of Points on Elliptic Curve in Projective Coordinates.

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2011

Formalization of Integral Linear Space.

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2011

Optimal Control Using Functional Type SIRMs Fuzzy Reasoning Method.

Takashi Mitsuishi, Yasunari Shidama

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2011, 2011

Fuzzy approximate reasoning using single input rule modules in L^∞ space.

Takashi Mitsuishi, Takanori Terashima, Toshimichi Homma, Yasunari Shidama

Proceedings of the AFRICON 2011, 2011

2010

On L^p Space Formed by Real-Valued Partial Functions.

Yasushige Watase, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2010

Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables.

Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2010

Riemann Integral of Functions R into C.

Keiichi Miyajima, Takahiro Kato, Yasunari Shidama

Formaliz. Math., 2010

Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support.

Katuhiko Kanazashi, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2010

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets.

Kazuhisa Ishida, Yasunari Shidama

Formaliz. Math., 2010

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces.

Takao Inou'e, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2010

Existence of Single Input Rule Modules for Optimal Fuzzy Logic Control.

Takashi Mitsuishi, Hidefumi Kawakatsu, Yasunari Shidama

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Fuzzy Number as Input for Approximate Reasoning and Applied to Optimal Control Problem.

Takashi Mitsuishi, Yasunari Shidama

Proceedings of the Artificial Intelligence and Soft Computing, 2010

2009

Compactness of Family of Fuzzy Sets in <i>L</i>² Space with Application to Optimal Control.

Takashi Mitsuishi, Yasunari Shidama

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Complex Integral.

Masahiko Yamazaki, Hiroshi Yamazaki, Katsumi Wasaki, Yasunari Shidama

Formaliz. Math., 2009

The Cauchy-Riemann Differential Equations of Complex Functions.

Hiroshi Yamazaki, Yasunari Shidama, Chanapat Pacharapokin, Yatsuka Nakamura

Formaliz. Math., 2009

Complex Function Differentiability.

Chanapat Pacharapokin, Hiroshi Yamazaki, Yasunari Shidama, Yatsuka Nakamura

Formaliz. Math., 2009

Probability on Finite Set and Real-Valued Random Variables.

Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2009

Lebesgue's Convergence Theorem of Complex-Valued Function.

Keiko Narita, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2009

The Measurability of Complex-Valued Functional Sequences.

Keiko Narita, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2009

The Real Vector Spaces of Finite Sequences are Finite Dimensional.

Yatsuka Nakamura, Artur Kornilowicz, Nagato Oya, Yasunari Shidama

Formaliz. Math., 2009

Riemann Integral of Functions from R into Rn.

Keiichi Miyajima, Yasunari Shidama

Formaliz. Math., 2009

Cell Petri Net Concepts.

Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama, Yatsuka Nakamura

Formaliz. Math., 2009

Hopf Extension Theorem of Measure.

Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2009

Defuzzification Using Area Method on L^∞ Space.

Takashi Mitsuishi, Yasunari Shidama

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2009

Height Defuzzification Method on L^∞ Space.

Takashi Mitsuishi, Yasunari Shidama

Proceedings of the Artificial Neural Networks, 2009

2008

Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform.

Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama

Formaliz. Math., 2008

On L^1 Space Formed by Real-Valued Partial Functions.

Yasushige Watase, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2008

Banach Algebra of Bounded Functionals.

Yasunari Shidama, Hikofumi Suzuki, Noboru Endou

Formaliz. Math., 2008

Open Mapping Theorem.

Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama

Formaliz. Math., 2008

Uniform Boundedness Principle.

Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama

Formaliz. Math., 2008

Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*.

Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2008

Integral of Complex-Valued Measurable Function.

Keiko Narita, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2008

The First Mean Value Theorem for Integrals.

Keiko Narita, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2008

Convex Sets and Convex Combinations on Complex Linear Spaces.

Hidenori Matsuzaki, Noboru Endou, Yasunari Shidama

Formaliz. Math., 2008

Model Checking. Part III.

Kazuhisa Ishida, Yasunari Shidama

Formaliz. Math., 2008

Egoroff's Theorem.

Noboru Endou, Yasunari Shidama, Keiko Narita

Formaliz. Math., 2008

Fatou's Lemma and the Lebesgue's Convergence Theorem.

Noboru Endou, Keiko Narita, Yasunari Shidama

Formaliz. Math., 2008

The Lebesgue Monotone Convergence Theorem.

Noboru Endou, Keiko Narita, Yasunari Shidama

Formaliz. Math., 2008

Introduction to Matroids.

Grzegorz Bancerek, Yasunari Shidama

Formaliz. Math., 2008

Lipschitz Continuity of Approximate Reasoning.

Takashi Mitsuishi, Takanori Terashima, Toshimichi Homma, Yasunari Shidama

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Admissible Fuzzy Controller in L2 Space.

Takashi Mitsuishi, Yasunari Shidama

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

2007

Continuity of product-sum-gravity method on L² space using fuzzy number for premise variable.

Takashi Mitsuishi, Yasunari Shidama

Proceedings of the 9th International Symposium on Signal Processing and Its Applications, 2007

Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization.

Takashi Mitsuishi, Yasunari Shidama

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

2005

Continuity of Nakamori fuzzy model and its application to optimal feedback control.

Takashi Mitsuishi, Noboru Endou, Yasunari Shidama

Proceedings of the IEEE International Conference on Systems, 2005

The Learning System of Shinshu University Graduate School of Science and Technology on the Internet.

Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

2004

The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor.

Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama

Proceedings of the 8th International Conference on Control, 2004

Continuity of approximate reasoning using L-R fuzzy number as input.

Takashi Mitsuishi, Yasunari Shidama

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

A High Reliability Design for Nfs Server Software By Using an Extended Petri Net.

Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama

Proceedings of the ICEIS 2003, 2003

Study on a noise reduction system of CATV network upstream for data communication.

Masayuki Nakamura, Yuying Yang, Katsumi Wasaki, Yasunari Shidama

Proceedings of the 12th International Conference on Computer Communications and Networks, 2003

2002

A high reliability design for NFS server software based on the logical coloured Petri net.

Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama

Proceedings of the Seventh International Conference on Control, 2002

The persistence of the Petri Net state-space.

Koichi Okada, Katsumi Wasaki, Yasunari Shidama

Proceedings of the Seventh International Conference on Control, 2002

Minimization of quadratic performance function in T-S fuzzy model.

Takashi Mitsuishi, Yasunari Shidama

Proceedings of the 2002 IEEE International Conference on Fuzzy Systems, 2002

2001

Ensemble by Seven Musical Performance Robots.

Tadahiro Kaneda, Shoichiro Fujisawa, Takeo Yoshida, Yasumasa Yoshitani, Takashi Nishi, Yasunari Shidama, Katsumi Wasaki

J. Robotics Mechatronics, 2001

Optimization of Fuzzy Feedback Control in L_Space.

Takashi Mitsuishi, Jun Kawabe, Katsumi Wasaki, Yasunari Shidama

Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

2000

A set of time dependent fuzzy membership functions and its compactness.

Noboru Endou, Katsumi Wasaki, Keiji Ohkubo, Pauline N. Kawamoto, Yasunari Shidama

Proceedings of the American Control Conference, 2000

1999

State fence diagrams - A graphical representation for designing reactive systems.

Hiromi Kobayashi, Satoru Ichinose, Yasunari Shidama

Syst. Comput. Jpn., 1999

1998

Optimizing fuzzy logic with genetic algorithm.

Akihiko Uchibori, Keiichi Miyajima, Yasunari Shidama, Hiroo Yamaura

Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998

1996

An Optimizing Fuzzy Logic with Genetic Algorithms.

Akihiko Uchibori, Hiroshi Yamazaki, Yasunari Shidama, Hiroo Yamaura

Proceedings of 1996 IEEE International Conference on Evolutionary Computation, 1996

1995

A Formal Technique to Analyze Event Concurrent Response.

Hiromi Kobayashi, Yasunari Shidama

IEICE Trans. Inf. Syst., 1995