dblp.uni-trier.dewww.uni-trier.de

Shinichi Honiden Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
128EELevent Gürgen, Johan Nyström-Persson, Amin Cherbal, Cyril Labbé, Claudia Roncancio, Shinichi Honiden: Plug&manage heterogeneous sensing devices. DMSN 2009
127EEYuichi Sei, Shinichi Honiden: Reporter node determination of replicated node detection in wireless sensor networks. ICUIMC 2009: 566-573
126EENeeraj Rajgure, Eric Platon, Cristian Borcea, Shinichi Honiden: Geographical data collection in sensor networks with self-organizing transaction cluster-heads. SAC 2009: 1214-1218
125EEFuyuki Ishikawa, Shinichi Honiden: On Applicability of Formal Methods and Tools to Dependable Services. IEICE Transactions 92-B(1): 9-16 (2009)
2008
124EEHideto Ogawa, Fumihiro Kumeno, Shinichi Honiden: Model Checking Process with Goal Oriented Requirements Analysis. APSEC 2008: 377-384
123EERyuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Shinichi Honiden, Yoshiaki Fukazawa: Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. EDOC 2008: 372-378
122EEShunichiro Suenaga, Shinichi Honiden: Name-based location service for mobile agents in wireless sensor networks. MOBILWARE 2008: 3
121EERyuichi 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
120EEYoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden: Region-Based Sensor Selection for Wireless Sensor Networks. SUTC 2008: 326-331
119EEYuichi Sei, Shinichi Honiden: Distributed detection of node replication attacks resilient to many compromised nodes in wireless sensor networks. WICON 2008: 28
118EEKenji Tei, Yoshiaki Fukazawa, Shinichi Honiden: An efficient node selection metric for in-network process deployment. WICON 2008: 4
117EEEric Platon, Nicolas Sabouret, Shinichi Honiden: An architecture for exception management in multiagent systems. IJAOSE 2(3): 267-289 (2008)
2007
116EEPaul Guyot, Shinichi Honiden: Building coalitions involving agents and humans: reports from agent-based participatory simulations. AAMAS 2007: 210
115EEHiroyuki 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
114EECyrille Artho, Zhongwei Chen, Shinichi Honiden: AOP-based automated unit test classification of large benchmarks. COMPSAC (2) 2007: 17-22
113EECyrille Artho, Klaus Havelund, Shinichi Honiden: Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546
112EENik 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
111EECyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden: Efficient Model Checking of Applications with Input/Output. EUROCAST 2007: 515-522
110EEEric Platon, Martin Rehák, Nicolas Sabouret, Michal Pechoucek, Shinichi Honiden: Detecting Intrusions in Agent System by Means of Exception Handling. HoloMAS 2007: 161-172
109EEKenji Tei, Yoshiaki Fukazawa, Shinichi Honiden: Applying Design Patterns to Wireless Sensor Network Programming. ICCCN 2007: 1099-1104
108EEYuichi Sei, Shinichi Honiden: Ringed Filters for Peer-to-Peer Keyword Searching. ICCCN 2007: 772-779
107EEShinichi 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
106EEFuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden: Policy-based Runtime Partner Management in ProcessBased Services. ICWS 2007: 1191-1194
105EEJosé Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden: Protocol Selection alongside Service Selection and Composition. ICWS 2007: 719-726
104EEYuichi Sei, Shinichi Honiden: Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks. OTM Conferences (1) 2007: 454-470
103EEFuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden: Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. OTM Conferences (1) 2007: 683-700
102EEDaisuke Fukuchi, Yuichi Sei, Shinichi Honiden: Managing Difference-Based Objects with Sub-networks in Peer-to-Peer Environments. OTM Workshops (2) 2007: 1001-1010
101EEKazutaka Matsuzaki, Shinichi Honiden: Increasing the Ease of Deployment in Ubiquitous Environments. PerCom Workshops 2007: 581-584
100EECyrille Artho, Christian Sommer, Shinichi Honiden: Model Checking Networked Programs in the Presence of Transmission Failures. TASE 2007: 219-228
99EEEric 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)
98EEKhanhQuan Truong, Fuyuki Ishikawa, Shinichi Honiden: Improving Accuracy of Recommender System by Item Clustering. IEICE Transactions 90-D(9): 1363-1373 (2007)
97EETakuo Doi, Shinichi Honiden: IOM/T: interaction-oriented model by textual notation. IJAOSE 1(3/4): 266-294 (2007)
96EEFuyuki 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
95EEPaul Guyot, Alexis Drogoul, Shinichi Honiden: Power and negotiation: lessons from agent-based participatory simulations. AAMAS 2006: 27-33
94EEYasushi Ando, Yoshiaki Fukazawa, Osamu Masutani, Hirotoshi Iwasaki, Shinichi Honiden: Performance of pheromone model for predicting traffic congestion. AAMAS 2006: 73-80
93EEFuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden: Service-oriented and autonomous distribution and provision of multimedia contents. AAMAS 2006: 949-951
92EESatoshi Kataoka, Shinichi Honiden: Multi-Robot Positioning Model: Multi-Agent Approach. CIMCA/IAWTIC 2006: 112
91EEYuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden: Reduction of the Communication Traffic for Multi-word Searches in DHTs. CIMCA/IAWTIC 2006: 14
90EEFuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden: Smartive: Agreement-based Mobile Composite Agents for Multimedia Services. CIMCA/IAWTIC 2006: 19
89EEMakoto Ishiguro, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden: A Sensor Middleware for Lightweight Relocatable Sensing Programs. CIMCA/IAWTIC 2006: 195
88EEKenji 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
87EETruong Khanh Quan, Fuyuki Ishikawa, Shinichi Honiden: Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity. CIMCA/IAWTIC 2006: 61
86EEJosé Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden: A Modeling Framework for Generic Agent Interaction Protocols. DALT 2006: 207-224
85EEEric Platon, Nicolas Sabouret, Shinichi Honiden: Environmental Support for Tag Interactions. E4MAS 2006: 106-123
84EEEric Platon, Nicolas Sabouret, Shinichi Honiden: A Definition of Exceptions in Agent-Oriented Computing. ESAW 2006: 161-174
83EECyrille Artho, Armin Biere, Shinichi Honiden: Enforcer - Efficient Failure Injection. FM 2006: 412-427
82EECyrille Artho, Armin Biere, Shinichi Honiden: Exhaustive Testing of Exception Handlers with Enforcer. FMCO 2006: 26-46
81EEJosé Ghislain Quenum, Samir Aknine, Onn Shehory, Shinichi Honiden: Dynamic Protocol Selection in Open and Heterogeneous Systems. IAT 2006: 333-341
80EEHiroyuki Nakagawa, Takuya Karube, Shinichi Honiden: Analysis of multi-agent systems based on KAOS modeling. ICSE 2006: 926-929
79EESatoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden: PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. ICTAI 2006: 481-488
78EEYuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden: An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table. IFIP TCS 2006: 115-129
77EESatoshi Niwa, Takuo Doi, Shinichi Honiden: Web Page Recommender System based on Folksonomy Mining for ITNG '06 Submissions. ITNG 2006: 388-393
76EEKenji Tei, Christian Sommer, Yoshiaki Fukazawa, Shinichi Honiden, Pierre-Loïc Garoche: Adaptive Geographically Bound Mobile Agents. MSN 2006: 353-364
75EEEric Platon, Nicolas Sabouret, Shinichi Honiden: Challenges for Exception Handling in Multi-Agent Systems. SELMAS 2006: 41-56
2005
74EEOsamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yasushi Ando, Yoshiaki Fukazawa, Shinichi Honiden: Pheromone model: application to traffic congestion prediction. AAMAS 2005: 1171-1172
73EEFuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden: Agent synthesis: partnership and agreement in cooperative mobile agents. AAMAS 2005: 1267-1268
72EETakuo Doi, Yasuyuki Tahara, Shinichi Honiden: IOM/T: an interaction description language for multi-agent systems. AAMAS 2005: 778-785
71 Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden: Incorporating Agreements on Service Options into BPEL-based Services. CIMCA/IAWTIC 2005: 796-803
70EEEric Platon, Nicolas Sabouret, Shinichi Honiden: Overhearing and Direct Interactions: Point of View of an Active Environment. E4MAS 2005: 121-138
69 Eric Platon, Nicolas Sabouret, Shinichi Honiden: Tag Interactions in MultiAgent Systems: Environment Support. EUMAS 2005: 270-281
68EEYasushi 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
67 Hironobu Kuruma, Shinichi Honiden: A Model for Policy Based Service Community. ICEIS (3) 2005: 360-366
66 Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden: Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound. ICEIS (4) 2005: 275-282
65EEFuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden: Mobile and Cooperative Compounds of Multimedia Services. IEEE SCC 2005: 129-138
64EEKenji Tei, Yoshiaki Fukazawa, Shinichi Honiden, Nobukazu Yoshioka: Geographically Bound Mobile Agent in MANET. MobiQuitous 2005: 516-518
63EEKazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden: Flexible and Maintainable Contents Activities in Ubiquitous Environment. OTM Workshops 2005: 14-15
62EEFuyuki 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)
61EEKenta 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
60EEYasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden: Pigeon: A Specification Language for Mobile Agent Applications. AAMAS 2004: 1356-1357
59EENobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden: Mobeet: A Multi-agent Framework for Ubiquitous Information Systems. AOIS 2004: 19-35
58 Kazunori Matsumoto, Shinichi Honiden: Software Design Method for Agent Systems from Scenarios. Computers and Their Applications 2004: 136-141
57EENobukazu Yoshioka, Shinichi Honiden, Anthony Finkelstein: Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems. EDOC 2004: 84-97
56EEEric Platon, Nicolas Sabouret, Shinichi Honiden: T-Compound Interaction and Overhearing Agents. ESAW 2004: 90-105
55EEShinichi Nagano, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden: Dynamic Invocation Model of Web Services Using Subsumption Relations. ICWS 2004: 150-
54EEFuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden: Behavior Descriptions of Mobile Agents for Web Services Integration. ICWS 2004: 342-349
53 Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden: Ubiquitous Application Development using a Mobile Agent-based System. IWUC 2004: 204-212
52 Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden: Mobile Agent System for Web Services Integration in Pervasive Networks. IWUC 2004: 38-47
51EEKazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden: Development Methodology for Location-Aware Mobile Agent. MATA 2004: 13-26
50EENobukazu Yoshioka, Shinichi Honiden: A Pattern Oriented Mobile Agent Framework for Mobile Computing. MATA 2004: 369-380
49EEEric Platon, Shinichi Honiden: Introducing Participative Personal Assistant Teams in Negotiation Support Systems. PRIMA 2004: 178-192
48EEKenta Cho, Hisashi Hayashi, Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden: picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing. PRIMA 2004: 43-56
47EETakou Doi, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden: Bridging the Gap Between AUML and Implementation Using IOM/T. PROMAS 2004: 147-162
46EEMasanori 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
45EETetsuo Hasegawa, Kenta Cho, Fumihiro Kumeno, Shin Nakajima, Akihiko Ohsuga, Shinichi Honiden: Interoperability for mobile agents by incarnation agents. AAMAS 2003: 1006-1007
44 Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden: Integrating Multiple Internet Directories by Instance-based Learning. IJCAI 2003: 22-30
43EEYasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden: A Formal Model of Active Contents Based on the Ambient Calculus. MATA 2003: 132-141
42 Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden: Planning Mobile Agent Architecture for Realizing Mobile Intelligence. PDPTA 2003: 1026-1032
41EEHeisuke Kaneko, Yoshiaki Fukazawa, Fumihiro Kumeno, Nobukazu Yoshioka, Shinichi Honiden: Mobile Agent Based Evacuation System When The Battery Runs Out: EASTER. PerCom 2003: 460-
40EEMasanori 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
39EEMasanori Hattori, Akihiko Ohsuga, Shinichi Honiden: Planning mobile agent architecture for open network environment. Systems and Computers in Japan 33(12): 58-66 (2002)
2001
38EEYasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden: Mobile agent security with the IPEditor development tool and the mobile UNITY language. Agents 2001: 656-662
37EEYasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden: Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint. ISADS 2001: 239-242
36EEYasuyuki Tahara, Nobukazu Toshiba, Akihiko Ohsuga, Shinichi Honiden: Secure and efficient mobile agent application reuse using patterns. SSR 2001: 78-85
35EERyutaro Ichise, Hideaki Takeda, Shinichi Honiden: Automated Alignment of Multiple Internet Directories. WWW Posters 2001
34EERyutaro Ichise, Hideaki Takeda, Shinichi Honiden: Rule Induction for Concept Hierarchy Alignment. Workshop on Ontology Learning 2001
2000
33EENobukazu Yoshioka, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden: Security for Mobile Agents. AOSE 2000: 223-234
32 Takahiro Kawamura, Sam Joseph, Akihiko Ohsuga, Shinichi Honiden: Quantitative Evaluation of Pairwise Interactions between Agents. ASA/MA 2000: 192-205
31EETakahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden: Rental Application to Rental Service Development of Advanced ASP Framework. EDOC 2000: 58-
30EETakahiro 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
29EETakahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden: Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems. APSEC 1999: 260-267
28EEYasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden: Agent System Development Method Based on Agent Patterns. ICSE 1999: 356-367
27EEYasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden: Agent System Development Method based on Agent Patterns. ISADS 1999: 261-263
26 Masanori Hattori, Naoki Kase, Akihiko Ohsuga, Shinichi Honiden: Agent-Based Drivers' Information Assistance System. New Generation Comput. 17(4): 359-367 (1999)
1997
25 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)
24EESaeko Matsuura, Hironobu Kuruma, Shinichi Honiden: EVA: A Flexible Programming Method for Evolving Systems. IEEE Trans. Software Eng. 23(5): 296-313 (1997)
1996
23 Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden: An Algebraic Semantics of Reflective Objects. ISOTAS 1996: 173-189
22 Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki: Hypersequential programming - a novel paradigm for concurrent programming. Software Engineering for Parallel and Distributed Systems 1996: 62-73
21EEShinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira: MENDELS ZONE: A parallel program development system based on formal specifications. Information & Software Technology 38(3): 181-189 (1996)
20EENaoshi 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
19EEFumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden: Evolutional Agents: Field Oriented Programming Language, Flage. APSEC 1995: 189-198
18EESaeko Matsuura, Shinichi Honiden: Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. APSEC 1995: 364-373
17EENaoshi Uchihira, Shinichi Honiden: Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. HICSS (2) 1995: 359-368
16 Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden: Formal Semantics of Agent Evolution in Language Flage. OBPDC 1995: 329-348
15EEWilliam W. Everett, Shinichi Honiden: Guest Editors' Introduction: Reliability and Safety of Real-Time Systems. IEEE Software 12(3): 13-16 (1995)
14EEYoshinori Kishimoto, Nobuto Kotaka, Shinichi Honiden: Adapting Object-Communication Methods Dynamically. IEEE Software 12(3): 65-74 (1995)
13EEJunichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden: Cooad: a Case Tool for Object-Oriented Analysis and Design. International Journal of Software Engineering and Knowledge Engineering 5(3): 367-389 (1995)
1994
12EEShinichi 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
11 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
10 Shinichi Honiden, Nobuto Kotaka, Yoshinori Kishimoto: Formalizing Specification Modeling in OOA. IEEE Software 10(1): 54-66 (1993)
1992
9 Nobuto Kotaka, Yoshinori Kishimoto, Shinichi Honiden: Specification Process Modelling in Object-Oriented Analysis. TOOLS (6) 1992: 67-81
8EEKiyoshi Itoh, Yasuhisa Tamura, Shinichi Honiden: Transobj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications. International Journal of Software Engineering and Knowledge Engineering 2(1): 5-29 (1992)
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
3EENaoshi 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
1EEShinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya: Software Prototyping with MENDEL. LP 1985: 108-116

Coauthor Index

1Nik Nailah Binti Abdullah [112]
2Samir Aknine [81] [86]
3Yasushi Ando [68] [74] [94]
4Masahiko Arai [4]
5Cyrille Artho [82] [83] [100] [111] [113] [114]
6Armin Biere [82] [83] [111]
7Cristian Borcea [126]
8Jean-Pierre Briot [86]
9Zhongwei Chen [114]
10Amin Cherbal [128]
11Kenta Cho [40] [45] [46] [48] [61]
12Takou Doi [47]
13Takuo Doi [72] [77] [97]
14Alexis Drogoul [95]
15William W. Everett [15]
16Anthony Finkelstein [57]
17Yasushi Fujiwara [5] [6]
18Yoshiaki Fukazawa [41] [64] [68] [74] [76] [88] [89] [94] [109] [118] [120] [121] [123]
19Daisuke Fukuchi [102]
20Pierre-Loïc Garoche [76]
21Levent Gürgen [128]
22Paul Guyot [95] [116]
23Tetsuo Hasegawa [29] [30] [31] [45] [55]
24Masanori Hattori [25] [26] [39] [40] [42] [46] [48]
25Klaus Havelund [113]
26Hisashi Hayashi [48]
27Hisayuki Horai [11]
28Ryutaro Ichise [34] [35] [44]
29Yutaka Irie [25] [61]
30Makoto Ishiguro [89]
31Fuyuki Ishikawa [52] [54] [62] [65] [66] [71] [73] [79] [87] [90] [93] [96] [98] [103] [105] [106] [121] [123] [125]
32Masao Isshiki [40] [46]
33Kiyoshi Itoh [7] [8] [12]
34Hirotoshi Iwasaki [68] [74] [94]
35Sam Joseph [32]
36Heisuke Kaneko [41]
37Takuya Karube [80]
38Naoki Kase [26]
39Toshiaki Kasuya [1] [2]
40Satoshi Kataoka [79] [92]
41Junzou Kato [11]
42Takahiro Kawamura [29] [30] [31] [32]
43Yoshinori Kishimoto [9] [10] [14]
44Seiichi Komiya [11]
45Nobuto Kotaka [9] [10] [14]
46Fumihiro Kumeno [16] [19] [23] [41] [45] [124]
47Hironobu Kuruma [24] [67]
48Cyril Labbé [128]
49Marco Mamei [99]
50Osamu Masutani [68] [74] [94]
51Kazunori Matsumoto [3] [4] [58]
52Kazuo Matsumura [4]
53Saeko Matsuura [18] [24]
54Kazutaka Matsuzaki [51] [53] [63] [78] [91] [101]
55Hiromi Muto [88]
56Yasuo Nagai [25]
57Shinichi Nagano [55]
58Hiroyuki Nakagawa [80] [115]
59Shin Nakajima [45]
60Hideo Nakamura [3]
61Yoshiyuki Nakamura [120]
62Kazuhiko Nishimura [12]
63Satoshi Niwa [77]
64Johan Nyström-Persson [128]
65Hideto Ogawa [124]
66Kazuhito Ohmaki [11]
67Akira Ohmori [11]
68Akihiko Ohsuga [13] [16] [19] [21] [23] [25] [26] [27] [28] [29] [30] [31] [32] [33] [36] [37] [38] [39] [40] [42] [45] [46] [48] [55] [59] [60] [61]
69Shigeru Ohtsuki [11]
70H. Van Dyke Parunak [99]
71Michal Pechoucek [110]
72Eric Platon [49] [56] [69] [70] [75] [84] [85] [99] [110] [117] [126]
73Truong Khanh Quan [87]
74José Ghislain Quenum [81] [86] [105]
75Neeraj Rajgure [126]
76Martin Rehák [110]
77Claudia Roncancio [128]
78Nicolas Sabouret [56] [69] [70] [75] [84] [85] [99] [110] [117]
79Motoshi Saeki [11]
80Hiroshi Sasaki [68] [74]
81Yuichi Sei [78] [91] [102] [104] [108] [119] [127]
82Toshibumi Seki [22]
83Katsuhiko Sekiguchi [61]
84Onn Shehory [81]
85Etsuya Shibayama [111]
86Christian Sommer [76] [100]
87Shunichiro Suenaga [122]
88Kenji Taguchi [107] [115]
89Yasuyuki Tahara [16] [19] [23] [27] [28] [30] [33] [36] [37] [38] [43] [47] [52] [54] [60] [65] [66] [72] [73] [96] [107]
90Ryuichi Takahashi [121] [123]
91Hideaki Takeda [34] [35] [44]
92Yasuhisa Tamura [8]
93Kenji Tei [64] [76] [88] [89] [109] [118] [120] [121] [123]
94Nobukazu Toshiba [36]
95KhanhQuan Truong [98]
96Naoshi Uchihira [1] [2] [3] [4] [7] [12] [17] [20] [21] [22]
97Hironori Washizaki [107]
98Junichi Yamamoto [13]
99Nobukazu Yoshioka [33] [41] [43] [47] [50] [51] [52] [53] [54] [57] [59] [62] [63] [64] [65] [66] [71] [73] [90] [93] [96] [103] [106] [107]
100Boris Zweimüller [111]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)