| 2008 |
|---|
| 114 | EE | Shunichiro Suenaga,
Shinichi Honiden:
Name-based location service for mobile agents in wireless sensor networks.
MOBILWARE 2008: 3 |
| 113 | EE | Ryuichi Takahashi,
Kenji Tei,
Fuyuki Ishikawa,
Yoshiaki Fukazawa,
Shinichi Honiden:
A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems.
PerCom 2008: 609-614 |
| 2007 |
|---|
| 112 | EE | Paul Guyot,
Shinichi Honiden:
Building coalitions involving agents and humans: reports from agent-based participatory simulations.
AAMAS 2007: 210 |
| 111 | EE | Hiroyuki Nakagawa,
Kenji Taguchi,
Shinichi Honiden:
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.
ASE 2007: 531-532 |
| 110 | EE | Cyrille Artho,
Zhongwei Chen,
Shinichi Honiden:
AOP-based automated unit test classification of large benchmarks.
COMPSAC (2) 2007: 17-22 |
| 109 | EE | Cyrille Artho,
Klaus Havelund,
Shinichi Honiden:
Visualization of Concurrent Program Executions.
COMPSAC (2) 2007: 541-546 |
| 108 | EE | Nik Nailah Binti Abdullah,
Shinichi Honiden:
Context in Use for Analyzing Conversation Structures on the Web Tied to the Notion of Situatedness.
CONTEXT 2007: 94-107 |
| 107 | EE | Cyrille Artho,
Boris Zweimüller,
Armin Biere,
Etsuya Shibayama,
Shinichi Honiden:
Efficient Model Checking of Applications with Input/Output.
EUROCAST 2007: 515-522 |
| 106 | EE | Eric Platon,
Martin Rehák,
Nicolas Sabouret,
Michal Pechoucek,
Shinichi Honiden:
Detecting Intrusions in Agent System by Means of Exception Handling.
HoloMAS 2007: 161-172 |
| 105 | EE | Kenji Tei,
Yoshiaki Fukazawa,
Shinichi Honiden:
Applying Design Patterns to Wireless Sensor Network Programming.
ICCCN 2007: 1099-1104 |
| 104 | EE | Yuichi Sei,
Shinichi Honiden:
Ringed Filters for Peer-to-Peer Keyword Searching.
ICCCN 2007: 772-779 |
| 103 | EE | Shinichi Honiden,
Yasuyuki Tahara,
Nobukazu Yoshioka,
Kenji Taguchi,
Hironori Washizaki:
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan.
ICSE 2007: 708-718 |
| 102 | EE | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Shinichi Honiden:
Policy-based Runtime Partner Management in ProcessBased Services.
ICWS 2007: 1191-1194 |
| 101 | EE | José Ghislain Quenum,
Fuyuki Ishikawa,
Shinichi Honiden:
Protocol Selection alongside Service Selection and Composition.
ICWS 2007: 719-726 |
| 100 | EE | Yuichi Sei,
Shinichi Honiden:
Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks.
OTM Conferences (1) 2007: 454-470 |
| 99 | EE | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Shinichi Honiden:
Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation.
OTM Conferences (1) 2007: 683-700 |
| 98 | EE | Daisuke Fukuchi,
Yuichi Sei,
Shinichi Honiden:
Managing Difference-Based Objects with Sub-networks in Peer-to-Peer Environments.
OTM Workshops (2) 2007: 1001-1010 |
| 97 | EE | Kazutaka Matsuzaki,
Shinichi Honiden:
Increasing the Ease of Deployment in Ubiquitous Environments.
PerCom Workshops 2007: 581-584 |
| 96 | EE | Cyrille Artho,
Christian Sommer,
Shinichi Honiden:
Model Checking Networked Programs in the Presence of Transmission Failures.
TASE 2007: 219-228 |
| 95 | EE | Eric Platon,
Marco Mamei,
Nicolas Sabouret,
Shinichi Honiden,
H. Van Dyke Parunak:
Mechanisms for environments in multi-agent systems: Survey and opportunities.
Autonomous Agents and Multi-Agent Systems 14(1): 31-47 (2007) |
| 94 | EE | KhanhQuan Truong,
Fuyuki Ishikawa,
Shinichi Honiden:
Improving Accuracy of Recommender System by Item Clustering.
IEICE Transactions 90-D(9): 1363-1373 (2007) |
| 93 | EE | Takuo Doi,
Shinichi Honiden:
IOM/T: interaction-oriented model by textual notation.
IJAOSE 1(3/4): 266-294 (2007) |
| 92 | EE | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Yasuyuki Tahara,
Shinichi Honiden:
A hierarchical mobile agent framework and its application to multimedia contents.
Systems and Computers in Japan 38(1): 1-17 (2007) |
| 2006 |
|---|
| 91 | EE | Paul Guyot,
Alexis Drogoul,
Shinichi Honiden:
Power and negotiation: lessons from agent-based participatory simulations.
AAMAS 2006: 27-33 |
| 90 | EE | Yasushi Ando,
Yoshiaki Fukazawa,
Osamu Masutani,
Hirotoshi Iwasaki,
Shinichi Honiden:
Performance of pheromone model for predicting traffic congestion.
AAMAS 2006: 73-80 |
| 89 | EE | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Shinichi Honiden:
Service-oriented and autonomous distribution and provision of multimedia contents.
AAMAS 2006: 949-951 |
| 88 | EE | Satoshi Kataoka,
Shinichi Honiden:
Multi-Robot Positioning Model: Multi-Agent Approach.
CIMCA/IAWTIC 2006: 112 |
| 87 | EE | Yuichi Sei,
Kazutaka Matsuzaki,
Shinichi Honiden:
Reduction of the Communication Traffic for Multi-word Searches in DHTs.
CIMCA/IAWTIC 2006: 14 |
| 86 | EE | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Shinichi Honiden:
Smartive: Agreement-based Mobile Composite Agents for Multimedia Services.
CIMCA/IAWTIC 2006: 19 |
| 85 | EE | Makoto Ishiguro,
Kenji Tei,
Yoshiaki Fukazawa,
Shinichi Honiden:
A Sensor Middleware for Lightweight Relocatable Sensing Programs.
CIMCA/IAWTIC 2006: 195 |
| 84 | EE | Kenji Tei,
Hiromi Muto,
Yoshiaki Fukazawa,
Shinichi Honiden:
Introducing Auction Scheme to Route Allocation to Prolong the Lifetime of Ad-Hoc Networks.
CIMCA/IAWTIC 2006: 201 |
| 83 | EE | Truong Khanh Quan,
Fuyuki Ishikawa,
Shinichi Honiden:
Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity.
CIMCA/IAWTIC 2006: 61 |
| 82 | EE | José Ghislain Quenum,
Samir Aknine,
Jean-Pierre Briot,
Shinichi Honiden:
A Modeling Framework for Generic Agent Interaction Protocols.
DALT 2006: 207-224 |
| 81 | EE | Eric Platon,
Nicolas Sabouret,
Shinichi Honiden:
Environmental Support for Tag Interactions.
E4MAS 2006: 106-123 |
| 80 | EE | Eric Platon,
Nicolas Sabouret,
Shinichi Honiden:
A Definition of Exceptions in Agent-Oriented Computing.
ESAW 2006: 161-174 |
| 79 | EE | Cyrille Artho,
Armin Biere,
Shinichi Honiden:
Enforcer - Efficient Failure Injection.
FM 2006: 412-427 |
| 78 | EE | José Ghislain Quenum,
Samir Aknine,
Onn Shehory,
Shinichi Honiden:
Dynamic Protocol Selection in Open and Heterogeneous Systems.
IAT 2006: 333-341 |
| 77 | EE | Hiroyuki Nakagawa,
Takuya Karube,
Shinichi Honiden:
Analysis of multi-agent systems based on KAOS modeling.
ICSE 2006: 926-929 |
| 76 | EE | Satoshi Kataoka,
Fuyuki Ishikawa,
Shinichi Honiden:
PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem.
ICTAI 2006: 481-488 |
| 75 | EE | Satoshi Niwa,
Takuo Doi,
Shinichi Honiden:
Web Page Recommender System based on Folksonomy Mining for ITNG '06 Submissions.
ITNG 2006: 388-393 |
| 74 | EE | Kenji Tei,
Christian Sommer,
Yoshiaki Fukazawa,
Shinichi Honiden,
Pierre-Loïc Garoche:
Adaptive Geographically Bound Mobile Agents.
MSN 2006: 353-364 |
| 73 | EE | Eric Platon,
Nicolas Sabouret,
Shinichi Honiden:
Challenges for Exception Handling in Multi-Agent Systems.
SELMAS 2006: 41-56 |
| 2005 |
|---|
| 72 | EE | Osamu Masutani,
Hiroshi Sasaki,
Hirotoshi Iwasaki,
Yasushi Ando,
Yoshiaki Fukazawa,
Shinichi Honiden:
Pheromone model: application to traffic congestion prediction.
AAMAS 2005: 1171-1172 |
| 71 | EE | Fuyuki Ishikawa,
Yasuyuki Tahara,
Nobukazu Yoshioka,
Shinichi Honiden:
Agent synthesis: partnership and agreement in cooperative mobile agents.
AAMAS 2005: 1267-1268 |
| 70 | EE | Takuo Doi,
Yasuyuki Tahara,
Shinichi Honiden:
IOM/T: an interaction description language for multi-agent systems.
AAMAS 2005: 778-785 |
| 69 | | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Shinichi Honiden:
Incorporating Agreements on Service Options into BPEL-based Services.
CIMCA/IAWTIC 2005: 796-803 |
| 68 | EE | Eric Platon,
Nicolas Sabouret,
Shinichi Honiden:
Overhearing and Direct Interactions: Point of View of an Active Environment.
E4MAS 2005: 121-138 |
| 67 | | Eric Platon,
Nicolas Sabouret,
Shinichi Honiden:
Tag Interactions in MultiAgent Systems: Environment Support.
EUMAS 2005: 270-281 |
| 66 | EE | Yasushi Ando,
Osamu Masutani,
Hiroshi Sasaki,
Hirotoshi Iwasaki,
Yoshiaki Fukazawa,
Shinichi Honiden:
Pheromone Model: Application to Traffic Congestion Prediction.
Engineering Self-Organising Systems 2005: 182-196 |
| 65 | | Hironobu Kuruma,
Shinichi Honiden:
A Model for Policy Based Service Community.
ICEIS (3) 2005: 360-366 |
| 64 | | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Yasuyuki Tahara,
Shinichi Honiden:
Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound.
ICEIS (4) 2005: 275-282 |
| 63 | EE | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Yasuyuki Tahara,
Shinichi Honiden:
Mobile and Cooperative Compounds of Multimedia Services.
IEEE SCC 2005: 129-138 |
| 62 | EE | Kenji Tei,
Yoshiaki Fukazawa,
Shinichi Honiden,
Nobukazu Yoshioka:
Geographically Bound Mobile Agent in MANET.
MobiQuitous 2005: 516-518 |
| 61 | EE | Kazutaka Matsuzaki,
Nobukazu Yoshioka,
Shinichi Honiden:
Flexible and Maintainable Contents Activities in Ubiquitous Environment.
OTM Workshops 2005: 14-15 |
| 60 | EE | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Shinichi Honiden:
Mobile agent system for Web service integration in pervasive network.
Systems and Computers in Japan 36(11): 34-48 (2005) |
| 59 | EE | Kenta Cho,
Yutaka Irie,
Akihiko Ohsuga,
Katsuhiko Sekiguchi,
Shinichi Honiden:
Application of the ?Plangent intelligent mobile agent architecture for embedded systems to the inspection of power systems.
Systems and Computers in Japan 36(4): 60-70 (2005) |
| 2004 |
|---|
| 58 | EE | Yasuyuki Tahara,
Akihiko Ohsuga,
Shinichi Honiden:
Pigeon: A Specification Language for Mobile Agent Applications.
AAMAS 2004: 1356-1357 |
| 57 | EE | Nobukazu Yoshioka,
Akihiko Ohsuga,
Shinichi Honiden:
Mobeet: A Multi-agent Framework for Ubiquitous Information Systems.
AOIS 2004: 19-35 |
| 56 | | Kazunori Matsumoto,
Shinichi Honiden:
Software Design Method for Agent Systems from Scenarios.
Computers and Their Applications 2004: 136-141 |
| 55 | EE | Nobukazu Yoshioka,
Shinichi Honiden,
Anthony Finkelstein:
Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems.
EDOC 2004: 84-97 |
| 54 | EE | Eric Platon,
Nicolas Sabouret,
Shinichi Honiden:
T-Compound Interaction and Overhearing Agents.
ESAW 2004: 90-105 |
| 53 | EE | Shinichi Nagano,
Tetsuo Hasegawa,
Akihiko Ohsuga,
Shinichi Honiden:
Dynamic Invocation Model of Web Services Using Subsumption Relations.
ICWS 2004: 150- |
| 52 | EE | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Yasuyuki Tahara,
Shinichi Honiden:
Behavior Descriptions of Mobile Agents for Web Services Integration.
ICWS 2004: 342-349 |
| 51 | | Kazutaka Matsuzaki,
Nobukazu Yoshioka,
Shinichi Honiden:
Ubiquitous Application Development using a Mobile Agent-based System.
IWUC 2004: 204-212 |
| 50 | | Fuyuki Ishikawa,
Nobukazu Yoshioka,
Yasuyuki Tahara,
Shinichi Honiden:
Mobile Agent System for Web Services Integration in Pervasive Networks.
IWUC 2004: 38-47 |
| 49 | EE | Kazutaka Matsuzaki,
Nobukazu Yoshioka,
Shinichi Honiden:
Development Methodology for Location-Aware Mobile Agent.
MATA 2004: 13-26 |
| 48 | EE | Nobukazu Yoshioka,
Shinichi Honiden:
A Pattern Oriented Mobile Agent Framework for Mobile Computing.
MATA 2004: 369-380 |
| 47 | EE | Eric Platon,
Shinichi Honiden:
Introducing Participative Personal Assistant Teams in Negotiation Support Systems.
PRIMA 2004: 178-192 |
| 46 | EE | Kenta Cho,
Hisashi Hayashi,
Masanori Hattori,
Akihiko Ohsuga,
Shinichi Honiden:
picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing.
PRIMA 2004: 43-56 |
| 45 | EE | Takou Doi,
Nobukazu Yoshioka,
Yasuyuki Tahara,
Shinichi Honiden:
Bridging the Gap Between AUML and Implementation Using IOM/T.
PROMAS 2004: 147-162 |
| 44 | EE | Masanori Hattori,
Kenta Cho,
Akihiko Ohsuga,
Masao Isshiki,
Shinichi Honiden:
Context-aware agent platform in ubiquitous environments and its verification tests.
Systems and Computers in Japan 35(7): 13-23 (2004) |
| 2003 |
|---|
| 43 | EE | Tetsuo Hasegawa,
Kenta Cho,
Fumihiro Kumeno,
Shin Nakajima,
Akihiko Ohsuga,
Shinichi Honiden:
Interoperability for mobile agents by incarnation agents.
AAMAS 2003: 1006-1007 |
| 42 | | Ryutaro Ichise,
Hideaki Takeda,
Shinichi Honiden:
Integrating Multiple Internet Directories by Instance-based Learning.
IJCAI 2003: 22-30 |
| 41 | EE | Yasuyuki Tahara,
Nobukazu Yoshioka,
Shinichi Honiden:
A Formal Model of Active Contents Based on the Ambient Calculus.
MATA 2003: 132-141 |
| 40 | | Masanori Hattori,
Akihiko Ohsuga,
Shinichi Honiden:
Planning Mobile Agent Architecture for Realizing Mobile Intelligence.
PDPTA 2003: 1026-1032 |
| 39 | EE | Heisuke Kaneko,
Yoshiaki Fukazawa,
Fumihiro Kumeno,
Nobukazu Yoshioka,
Shinichi Honiden:
Mobile Agent Based Evacuation System When The Battery Runs Out: EASTER.
PerCom 2003: 460- |
| 38 | EE | Masanori Hattori,
Kenta Cho,
Akihiko Ohsuga,
Masao Isshiki,
Shinichi Honiden:
Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests.
PerCom 2003: 547-552 |
| 2002 |
|---|
| 37 | EE | Masanori Hattori,
Akihiko Ohsuga,
Shinichi Honiden:
Planning mobile agent architecture for open network environment.
Systems and Computers in Japan 33(12): 58-66 (2002) |
| 2001 |
|---|
| 36 | EE | Yasuyuki Tahara,
Akihiko Ohsuga,
Shinichi Honiden:
Mobile agent security with the IPEditor development tool and the mobile UNITY language.
Agents 2001: 656-662 |
| 35 | EE | Yasuyuki Tahara,
Akihiko Ohsuga,
Shinichi Honiden:
Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint.
ISADS 2001: 239-242 |
| 34 | EE | Yasuyuki Tahara,
Nobukazu Toshiba,
Akihiko Ohsuga,
Shinichi Honiden:
Secure and efficient mobile agent application reuse using patterns.
SSR 2001: 78-85 |
| 33 | EE | Ryutaro Ichise,
Hideaki Takeda,
Shinichi Honiden:
Automated Alignment of Multiple Internet Directories.
WWW Posters 2001 |
| 32 | EE | Ryutaro Ichise,
Hideaki Takeda,
Shinichi Honiden:
Rule Induction for Concept Hierarchy Alignment.
Workshop on Ontology Learning 2001 |
| 2000 |
|---|
| 31 | EE | Nobukazu Yoshioka,
Yasuyuki Tahara,
Akihiko Ohsuga,
Shinichi Honiden:
Security for Mobile Agents.
AOSE 2000: 223-234 |
| 30 | | Takahiro Kawamura,
Sam Joseph,
Akihiko Ohsuga,
Shinichi Honiden:
Quantitative Evaluation of Pairwise Interactions between Agents.
ASA/MA 2000: 192-205 |
| 29 | EE | Takahiro Kawamura,
Tetsuo Hasegawa,
Akihiko Ohsuga,
Shinichi Honiden:
Rental Application to Rental Service Development of Advanced ASP Framework.
EDOC 2000: 58- |
| 28 | EE | Takahiro Kawamura,
Yasuyuki Tahara,
Tetsuo Hasegawa,
Akihiko Ohsuga,
Shinichi Honiden:
Bee-gent: bonding and encapsulation enhancement agent framework for development of distributed systems.
Systems and Computers in Japan 31(13): 42-56 (2000) |
| 1999 |
|---|
| 27 | EE | Takahiro Kawamura,
Tetsuo Hasegawa,
Akihiko Ohsuga,
Shinichi Honiden:
Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems.
APSEC 1999: 260-267 |
| 26 | EE | Yasuyuki Tahara,
Akihiko Ohsuga,
Shinichi Honiden:
Agent System Development Method Based on Agent Patterns.
ICSE 1999: 356-367 |
| 25 | EE | Yasuyuki Tahara,
Akihiko Ohsuga,
Shinichi Honiden:
Agent System Development Method based on Agent Patterns.
ISADS 1999: 261-263 |
| 24 | | Masanori Hattori,
Naoki Kase,
Akihiko Ohsuga,
Shinichi Honiden:
Agent-Based Drivers' Information Assistance System.
New Generation Comput. 17(4): 359-367 (1999) |
| 1997 |
|---|
| 23 | | Akihiko Ohsuga,
Yasuo Nagai,
Yutaka Irie,
Masanori Hattori,
Shinichi Honiden:
PLANGENT: An Approach to Making Mobile Agents Intelligent.
IEEE Internet Computing 1(4): 50-57 (1997) |
| 22 | EE | Saeko Matsuura,
Hironobu Kuruma,
Shinichi Honiden:
EVA: A Flexible Programming Method for Evolving Systems.
IEEE Trans. Software Eng. 23(5): 296-313 (1997) |
| 1996 |
|---|
| 21 | | Yasuyuki Tahara,
Fumihiro Kumeno,
Akihiko Ohsuga,
Shinichi Honiden:
An Algebraic Semantics of Reflective Objects.
ISOTAS 1996: 173-189 |
| 20 | | Naoshi Uchihira,
Shinichi Honiden,
Toshibumi Seki:
Hypersequential programming - a novel paradigm for concurrent programming.
Software Engineering for Parallel and Distributed Systems 1996: 62-73 |
| 19 | EE | Shinichi Honiden,
Akihiko Ohsuga,
Naoshi Uchihira:
MENDELS ZONE: A parallel program development system based on formal specifications.
Information & Software Technology 38(3): 181-189 (1996) |
| 18 | EE | Naoshi Uchihira,
Shinichi Honiden:
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.
Journal of Systems and Software 33(3): 207-221 (1996) |
| 1995 |
|---|
| 17 | EE | Fumihiro Kumeno,
Yasuyuki Tahara,
Akihiko Ohsuga,
Shinichi Honiden:
Evolutional Agents: Field Oriented Programming Language, Flage.
APSEC 1995: 189-198 |
| 16 | EE | Saeko Matsuura,
Shinichi Honiden:
Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse.
APSEC 1995: 364-373 |
| 15 | EE | Naoshi Uchihira,
Shinichi Honiden:
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.
HICSS (2) 1995: 359-368 |
| 14 | | Yasuyuki Tahara,
Fumihiro Kumeno,
Akihiko Ohsuga,
Shinichi Honiden:
Formal Semantics of Agent Evolution in Language Flage.
OBPDC 1995: 329-348 |
| 13 | EE | William W. Everett,
Shinichi Honiden:
Guest Editors' Introduction: Reliability and Safety of Real-Time Systems.
IEEE Software 12(3): 13-16 (1995) |
| 12 | EE | Yoshinori Kishimoto,
Nobuto Kotaka,
Shinichi Honiden:
Adapting Object-Communication Methods Dynamically.
IEEE Software 12(3): 65-74 (1995) |
| 1994 |
|---|
| 11 | EE | Shinichi Honiden,
Kazuhiko Nishimura,
Naoshi Uchihira,
Kiyoshi Itoh:
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.
IEEE Trans. Software Eng. 20(11): 849-867 (1994) |
| 1993 |
|---|
| 10 | | Seiichi Komiya,
Motoshi Saeki,
Shinichi Honiden,
Junzou Kato,
Akira Ohmori,
Hisayuki Horai,
Shigeru Ohtsuki,
Kazuhito Ohmaki:
An Experimental Analysis for Classifying Specification Processes.
SEKE 1993: 231-234 |
| 9 | | Shinichi Honiden,
Nobuto Kotaka,
Yoshinori Kishimoto:
Formalizing Specification Modeling in OOA.
IEEE Software 10(1): 54-66 (1993) |
| 1992 |
|---|
| 8 | | Nobuto Kotaka,
Yoshinori Kishimoto,
Shinichi Honiden:
Specification Process Modelling in Object-Oriented Analysis.
TOOLS (6) 1992: 67-81 |
| 1991 |
|---|
| 7 | | Shinichi Honiden,
Naoshi Uchihira,
Kiyoshi Itoh:
An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems.
ESEC 1991: 189-209 |
| 1990 |
|---|
| 6 | | Yasushi Fujiwara,
Shinichi Honiden:
On Logical Foundations of the ATMS.
Truth Maintenance Systems (ECAI Workshop) 1990: 125-135 |
| 1989 |
|---|
| 5 | | Yasushi Fujiwara,
Shinichi Honiden:
Relating the TMS to Autoepistemic Logic.
IJCAI 1989: 1199-1205 |
| 4 | | Shinichi Honiden,
Naoshi Uchihira,
Kazunori Matsumoto,
Kazuo Matsumura,
Masahiko Arai:
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design.
Real-Time Systems 1(4): 313-331 (1989) |
| 1987 |
|---|
| 3 | | Naoshi Uchihira,
Kazunori Matsumoto,
Shinichi Honiden,
Hideo Nakamura:
MENDELS: Concurrent Program Synthesis System Using Temporal Logic.
LP 1987: 50-68 |
| 1986 |
|---|
| 2 | | Shinichi Honiden,
Naoshi Uchihira,
Toshiaki Kasuya:
MENDEL: Prolog Based Concurrent Object Oriented Language.
COMPCON 1986: 230-234 |
| 1985 |
|---|
| 1 | | Shinichi Honiden,
Naoshi Uchihira,
Toshiaki Kasuya:
Software Prototyping with MENDEL.
LP 1985: 108-116 |
