![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Keijiro Araki
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c52]Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen
:
ViennaDoc: An Animatable and Testable Specification Documentation Tool. FM Workshops (2) 2019: 289-302 - 2017
- [j4]Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
:
A Formal Modeling Tool for Exploratory Modeling in Software Development. IEICE Trans. Inf. Syst. 100-D(6): 1210-1217 (2017) - 2016
- [c51]Keijiro Araki, Taro Kurita:
Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract). ICFEM 2016: 18-25 - [c50]Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen:
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. IWST 2016: 4 - 2015
- [c49]Shigeru Kusakabe, Yoichi Omori, Keijiro Araki:
Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. FMSEE&T@FM 2015: 51-58 - [c48]Taro Kurita, Fuyuki Ishikawa, Keijiro Araki:
Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. FM 2015: 593-596 - [c47]Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki:
Towards Verifying VDM Using SPIN. FTSCS 2015: 241-256 - [c46]Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
:
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. FormaliSE@ICSE 2015: 33-39 - [c45]Abdul Kadir Jailani
, Shigeru Kusakabe, Keijiro Araki:
Adaptive Context-Awareness Model for Cultural Heritage Information Based on User Needs. IIAI-AAI 2015: 339-342 - [c44]Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki:
Visualizing centrality of process area networks in CMMI-DEV. ICSSP 2015: 173-174 - 2014
- [c43]Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki:
Generating supportive hypotheses in introducing formal methods using a software processes improvement model. FormaliSE 2014: 24-30 - [c42]Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki:
Requirements Development of Energy Management System for a Unit in Smart Campus. IIAI-AAI 2014: 405-410 - 2012
- [c41]Mardiana Araki, Keijiro Araki:
SIMPEL: An innovative web application interface supporting online course management system. ITHET 2012: 1-8
2000 – 2009
- 2009
- [c40]Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka:
Large Scale Business-academia Collaboration in Master Education Course. CSEDU (2) 2009: 159-166 - [c39]Shigeru Kusakabe, Yoichi Omori, Keijiro Araki:
Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. ICSOFT (1) 2009: 264-268 - 2008
- [e6]Shaoying Liu, T. S. E. Maibaum, Keijiro Araki:
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science 5256, Springer 2008, ISBN 978-3-540-88193-3 [contents] - 2007
- [c38]Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe:
On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri Nets. IMECS 2007: 1516-1521 - [c37]Eleazar Jiménez Serrano
, Keijiro Araki, Shigeru Kusakabe:
Enforcing the optimal set of controls for state feedback with non-redundant controllers. SMC 2007: 1394-1399 - 2005
- [c36]Kosuke Tomonaga, Masataka Ohta, Keijiro Araki:
Privacy-Aware Location Dependent Services over Wireless Internet with Anycast. Human.Society@Internet 2005: 311-321 - [e5]Zhiming Liu, Keijiro Araki:
Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3407, Springer 2005, ISBN 3-540-25304-1 [contents] - 2004
- [c35]Yuji Arichika, Keijiro Araki:
Reusable Formal Specification for Embedded Systems. APSEC 2004: 557-558 - 2003
- [c34]Yoshikazu Watanabe, Koji Okamura, Keijiro Araki:
Study on Merge of Overlapped TCP Traffic Using Reliable Multicast Transport. ICOIN 2003: 253-262 - [e4]Keijiro Araki, Stefania Gnesi, Dino Mandrioli:
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings. Lecture Notes in Computer Science 2805, Springer 2003, ISBN 3-540-40828-2 [contents] - 2002
- [c33]Kensuke Shibata, Koji Okamura, Keijiro Araki:
Design and Evaluation of Dynamic Protocol Selection Architecture for Reliable Multicast. SAINT 2002: 262-269 - 2001
- [c32]Kentaro Takei, Koji Okamura, Keijiro Araki:
Design of Gateway System between Different Signalling Protocols of the Multimedia Session on the Internet. ICOIN 2001: 297-306 - [c31]Motoyuki Ohmori
, Koji Okamura, Keijiro Araki:
Design of Scalable Interdomain IP Multicast Architecture. ICOIN 2001: 819-824 - [c30]Masataka Sonoda, Koji Okamura, Keijiro Araki:
Design of General Reliable Multicast Architecture with Active Network Framework. ICOIN 2001: 825-830
1990 – 1999
- 1999
- [j3]Mariko Sasakura, Kazuki Joe, Yoshitoshi Kunieda, Keijiro Araki:
NaraView: An Interactive 3D Visualization System for Parallelization of Programs. Int. J. Parallel Program. 27(2): 111-129 (1999) - [j2]Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda:
Estimating minimum parallel execution time of loops with loop-carried dependencies. Syst. Comput. Jpn. 30(10): 57-68 (1999) - [c29]Hiroshi Maruyama, Keijiro Araki:
VRML Program Slicing. APSEC 1999: 355-358 - [e3]Keijiro Araki, Andy Galloway, Kenji Taguchi:
Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999. Springer 1999, ISBN 1-85233-107-0 [contents] - 1998
- [c28]Akira Imada, Keijiro Araki:
What does the Landscape of a Hopfield Associative Memory Look Like? Evolutionary Programming 1998: 647-656 - [c27]Kenji Taguchi, Keijiro Araki:
A Calculus Based on the Agent-Place Model. ICFEM 1998: 56-63 - [c26]Akira Imada, Keijiro Araki:
Explorations of fitness landscapes of a Hopfield associative memory with random and evolutionary walks. KES (2) 1998: 364-369 - [c25]Akira Imada, Keijiro Araki:
How Real-valued Random Synapses Evolve Toward Symmetry with Diploid Chromosomes? NC 1998: 164-169 - [c24]Akira Imada, Keijiro Araki:
Can a Niching Method Locate Multiple Attractors Embedded in the Hopfield Network? SEAL 1998: 325-332 - 1997
- [c23]Akira Imada, Keijiro Araki:
Searching Real-Valued Synaptic Weights of Hopfield's Associative Memory Using Evolutionary Programming. Evolutionary Programming 1997: 13-22 - [c22]Akira Imada, Keijiro Araki:
The Baldwin Effect on the Evolution of Associative Memory. ICANNGA 1997: 354-358 - [c21]Kenji Taguchi, Keijiro Araki:
The State-Based CCS Semantics for Concurrent Z Specification. ICFEM 1997: 283-292 - [c20]Akira Imada, Keijiro Araki:
Evolution of Hopfield Model of Associative Memory by the Breeder Genetic Algorithm. ICGA 1997: 784-791 - [c19]Akira Imada, Keijiro Araki:
Evolution of Random Synaptic Weights of the Hopfield Associative Memory: How Chaotic Trajectories Turn into Fixed Point Attractors? ICONIP (1) 1997: 452-455 - [c18]Mariko Sasakura, Kazuki Joe, Keijiro Araki:
NaraView: An Interactive 3D Visualization System for Parallelization of Programs. ISHPC 1997: 231-242 - [c17]Akira Imada, Keijiro Araki:
Random Perturbations to Hebbian Synapses of Associative Memory Using a Genetic Algorithm. IWANN 1997: 398-407 - [e2]Constantine D. Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya:
High Performance Computing, International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings. Lecture Notes in Computer Science 1336, Springer 1997, ISBN 3-540-63766-4 [contents] - 1996
- [c16]Kenji Taguchi, Keijiro Araki:
Extending Z with State Transition Constraints. COMPSAC 1996: 246-260 - [c15]Syouri Kouno, Han-Myung Chang, Keijiro Araki:
Consistency Checking between Data and Process Diagrams Based on Formal Methods. COMPSAC 1996: 261-269 - [c14]Akira Imada, Keijiro Araki:
Lamarckian Evolution of Associative Memory. International Conference on Evolutionary Computation 1996: 676-680 - [c13]Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda:
Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies. ICPP, Vol. 3 1996: 61-69 - [c12]Mariko Sasakura, Satoko Kiwada, Kazuki Joe, Tsuneo Nakanishi, Keijiro Araki:
3D Visualization of Program Structure and Data Dependence for Parallelizing Compilers and Parallel Programming. LCPC 1996: 591-593 - [c11]Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda:
Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences. LCPC 1996: 597-599 - 1995
- [c10]Teruaki Kitasuka, Kazuki Joe, Dale Schouten, Akira Fukuda, Keijiro Araki:
A loop parallelization technique for linear dependence vector. PACT 1995: 285-289 - [c9]Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart:
Are Formal Methods Relevant? APSEC 1995: 513 - [c8]Akira Imada, Keijiro Araki:
Genetic Algorithm Enlarges the Capacity of Associative Memory. ICGA 1995: 413-420 - [c7]Tsuneo Nakanishi, Kazuki Joe, Hideki Saito, Akira Fukuda, Keijiro Araki:
The CDP2 Partitioning Algorithm a Combined End Program Partitioning Algorithm on the Data Partitioning Graph. ICPP (2) 1995: 177-181 - 1994
- [c6]Makoto Amamiya, Masahiko Satoh, Akifumi Makinouchi, Ken-Ichi Hagiwara, Taiichi Yuasa, Hitoshi Aida, Kazunori Ueda, Keijiro Araki, Tetsuo Ida, Takanobu Baba:
Research on programming languages for massively parallel processing. ISPAN 1994: 443-450 - [c5]Tsuneo Nakanishi, Kazuki Joe, Akira Fukuda, Keijiro Araki, Hideki Saito, Constantine D. Polychronopoulos:
The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning. LCPC 1994: 170-185 - 1993
- [c4]Tomohiro Oda, Keijiro Araki:
Specification slicing in formal methods of software development. COMPSAC 1993: 313-319 - 1992
- [c3]Akira Suganuma, Masato Kataoka, Keijiro Araki:
Application of a neural network to human tasting. COMPSAC 1992: 277-282 - [c2]Hiroshi Maruyama, Masaki Matsuyama, Keijiro Araki:
Support tool and strategy for type error correction with polymorphic types. COMPSAC 1992: 287-293 - 1991
- [j1]Keijiro Araki, Zengo Furukawa, Jingde Cheng:
A General Framework for Debugging. IEEE Softw. 8(3): 14-20 (1991)
1980 – 1989
- 1986
- [c1]Keijiro Araki, Kazuo Ushijima:
The use of Ada in the development of distributed systems: experience implementing a communications system. WADAS 1986: 245-251 - [e1]Eiichi Goto, Keijiro Araki, Taiichi Yuasa:
RIMS Symposia on Software Science and Engineering II, Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. Lecture Notes in Computer Science 220, Springer 1986, ISBN 3-540-16470-7 [contents]
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint