| 2009 | ||
|---|---|---|
| 122 | Khaled Ragab, Akinori Yonezawa: A Self-organized Clustering-based Overlay Network for Application Level Multicast. JNW 4(2): 85-91 (2009) | |
| 2008 | ||
| 121 | Nan Dun, Kenjiro Taura, Akinori Yonezawa: GMount: Build your grid file system on the fly. GRID 2008: 328-333 | |
| 120 | Koichi Onoue, Yoshihiro Oyama, Akinori Yonezawa: Control of system calls from outside of virtual machines. SAC 2008: 2116-1221 | |
| 2007 | ||
| 119 | Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa: Compiling C Programs into a Strongly Typed Assembly Language. ASIAN 2007: 17-32 | |
| 2006 | ||
| 118 | Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa: A Fine-Grained Join Point Model for More Reusable Aspects. APLAS 2006: 131-147 | |
| 117 | Khaled Ragab, Akinori Yonezawa: Autonomic K-Interleaving Construction Scheme for P2P Overlay Networks. ATC 2006: 153-162 | |
| 116 | Akinori Yonezawa: Early Concurrent/Mobile Objects. ECOOP 2006: 198-202 | |
| 115 | Khaled Ragab, Akinori Yonezawa: leK, Dge-Interleaving Structuring Technique for Peer-Peer Overlay Network. IAT Workshops 2006: 443-446 | |
| 114 | Nicolas Marti, Reynald Affeldt, Akinori Yonezawa: Formal Verification of the Heap Manager of an Operating System Using Separation Logic. ICFEM 2006: 400-419 | |
| 113 | Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa: Combining type-based analysis and model checking for finding counterexamples against non-interference. PLAS 2006: 17-26 | |
| 112 | Yoshinori Kobayashi, Eric Y. Chen, Yoshihiro Oyama, Akinori Yonezawa: Protecting Web Servers from Octopus Attacks. SAINT 2006: 82-85 | |
| 2005 | ||
| 111 | Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa: Aspectual Caml: an aspect-oriented functional language. ICFP 2005: 320-330 | |
| 110 | Yoshihiro Oyama, Koichi Onoue, Akinori Yonezawa: Speculative Security Checks in Sandboxing Systems. IPDPS 2005 | |
| 109 | Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa: Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. LOPSTR 2005: 98-114 | |
| 2004 | ||
| 108 | Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa: Region-Based Memory Management for a Dynamically-Typed Language. APLAS 2004: 229-245 | |
| 107 | Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa: Routing and resource discovery in Phoenix Grid-enabled message passing library. CCGRID 2004: 670-677 | |
| 106 | Toshio Endo, Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa: High performance LU factorization for non-dedicated clusters. CCGRID 2004: 678-685 | |
| 105 | Takashi Masuyama, Frédéric Peschanski, Yoshihiro Oyama, Akinori Yonezawa: MobileScope: A Programming Language with Objective Mobility. ICDCS Workshops 2004: 542-547 | |
| 2003 | ||
| 104 | Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers Springer 2003 | |
| 103 | Toshiyuki Maeda, Akinori Yonezawa: Kernel Mode Linux: Toward an Operating System Protected by a Type Theory. ASIAN 2003: 3-17 | |
| 102 | Eric Y. Chen, Akinori Yonezawa: FSP: Federation of Service Providers on the Internet. ISCC 2003: 1213-1218 | |
| 101 | Kohei Suenaga, Oiwa Yutaka, Eijiro Sumii, Akinori Yonezawa: The Interface Definition Language for Fail-Safe C. ISSS 2003: 192-208 | |
| 100 | Frédéric Peschanski, Jean-Pierre Briot, Akinori Yonezawa: Fine-Grained Dynamic Adaptation of Distributed Components. Middleware 2003: 123-142 | |
| 99 | Kenjiro Taura, Kenji Kaneda, Toshio Endoh, Akinori Yonezawa: Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources. PPOPP 2003: 216-229 | |
| 98 | Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa: Virtual private grid: a command shell for utilizing hundreds of machines efficiently. Future Generation Comp. Syst. 19(4): 563-573 (2003) | |
| 97 | Etsuya Shibayama, Akinori Yonezawa: Secure Software Infrastructure in the Internet Age. New Generation Comput. 21(2): (2003) | |
| 96 | Kazumasa Itabashi, Katsuya Matsubara, Yutaka Moriyama, Yuuichi Someya, Kazuhiko Kato, Tatsurou Sekiguchi, Akinori Yonezawa: Implementing an applet system without fixing virtual-machine designs. Systems and Computers in Japan 34(2): 32-42 (2003) | |
| 2002 | ||
| 95 | Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa: Supporting objects in run-time bytecode specialization. ASIA-PEPM 2002: 50-60 | |
| 94 | Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa: Virtual Private Grid: A Command Shell for Utilizing Hundreds of Machines Efficiently. CCGRID 2002: 212-219 | |
| 93 | Oiwa Yutaka, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa: Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. ISSS 2002: 133-153 | |
| 92 | Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa: Regular Expression Types for Strings in a Text Processing Language. Electr. Notes Theor. Comput. Sci. 75: (2002) | |
| 2001 | ||
| 91 | Akinori Yonezawa, Satoshi Matsuoka: Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings Springer 2001 | |
| 90 | Toshio Endo, Kenjiro Taura, Akinori Yonezawa: Predicting Scalability of Parallel Garbage Collectors on Shared Memory Multiprocessors. IPDPS 2001: 43 | |
| 89 | Hidehiko Masuhara, Akinori Yonezawa: Run-Time Bytecode Specialization. PADO 2001: 138-154 | |
| 88 | Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa: Fusion of Concurrent Invocations of Exclusive Methods. PaCT 2001: 293-307 | |
| 87 | Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa: A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation. TACS 2001: 64-81 | |
| 86 | Hidehiko Masuhara, Akinori Yonezawa: A Portable Approach to Dynamic Optimization in Run-time Specialization. New Generation Comput. 20(1): 101-124 (2001) | |
| 2000 | ||
| 85 | Takahiro Sakamoto, Tatsurou Sekiguchi, Akinori Yonezawa: Bytecode Transformation for Portable Thread Migration in Java. ASA/MA 2000: 16-28 | |
| 84 | Tatsurou Sekiguchi, Takahiro Sakamoto, Akinori Yonezawa: Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling. Advances in Exception Handling Techniques 2000: 217-233 | |
| 83 | Masatomo Hashimoto, Akinori Yonezawa: MobileML: A Programming Language for Mobile Computation. COORDINATION 2000: 198-215 | |
| 82 | Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa: Online Computation of Critical Paths for Multithreaded Languages. IPDPS Workshops 2000: 301-313 | |
| 81 | Yoshizumi Tanaka, Kenjiro Taura, Mitsuhisa Sato, Akinori Yonezawa: Performance Evaluation of OpenMP Applications with Nested Parallelism. LCR 2000: 100-112 | |
| 80 | Oiwa Yutaka, Kenjiro Taura, Akinori Yonezawa: Extending Java virtual machine with integer-reference conversion. Concurrency - Practice and Experience 12(6): 407-422 (2000) | |
| 1999 | ||
| 79 | Tatsurou Sekiguchi, Hidehiko Masuhara, Akinori Yonezawa: A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation. COORDINATION 1999: 211-226 | |
| 78 | Naoki Kobayashi, Akinori Yonezawa: Distributed and concurrent objects based on linear logic (Invited Talk). FMOODS 1999 | |
| 77 | Kenjiro Taura, Kunio Tabata, Akinori Yonezawa: StackThreads/MP: Integrating Futures into Calling Standards. PPOPP 1999: 60-71 | |
| 76 | Naoki Kobayashi, Toshihiro Shimizu, Akinori Yonezawa: Distributed Concurrent Linear Logic Programming. Theor. Comput. Sci. 227(1-2): 185-220 (1999) | |
| 1998 | ||
| 75 | Hidehiko Masuhara, Akinori Yonezawa: Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language. ECOOP 1998: 418-439 | |
| 74 | Hirotaka Yamamoto, Kenjiro Taura, Akinori Yonezawa: Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers. LCR 1998: 205-218 | |
| 73 | Haruo Hosoya, Akinori Yonezawa: Garbage Collection via Dynamic Type Inference - A Fomal Treatment. Types in Compilation 1998: 215-239 | |
| 1997 | ||
| 72 | Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa: An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus. Euro-Par 1997: 546-553 | |
| 71 | Toshiyuki Takahashi, Yutaka Ishikawa, Mitsuhisa Sato, Akinori Yonezawa: A Compile-Time Meta-Level Architecture Supporting Class Specific Optimization. ISCOPE 1997: 89-96 | |
| 70 | Naohito Sato, Satoshi Matsuoka, Jean-Marc Jézéquel, Akinori Yonezawa: A Methodology for Specifying Data Distribution Using Only Standard Object-Oriented Features. International Conference on Supercomputing 1997: 116-123 | |
| 69 | Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa: Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. PEPM 1997: 12-21 | |
| 68 | Kenjiro Taura, Akinori Yonezawa: Fine-grain Multithreading with Minimal Compiler Support - A Cost Effective Approach to Implementing Efficient Multithreading Languages. PLDI 1997: 320-333 | |
| 67 | Kenjiro Taura, Akinori Yonezawa: An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines. PPOPP 1997: 264-275 | |
| 1996 | ||
| 66 | Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa: Object-Based Parallel and Distributed Computation, France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995, Selected Papers Springer 1996 | |
| 65 | Hiroshi Hosobe, Satoshi Matsuoka, Akinori Yonezawa: Generalized Local Propagation: A Framework for Solving Constraint Hierarchies. CP 1996: 237-251 | |
| 64 | Haruo Hosoya, Naoki Kobayashi, Akinori Yonezawa: Partial Evaluation Scheme for Concurrent Languages and Its Correctness. Euro-Par, Vol. I 1996: 625-632 | |
| 63 | Naohito Sato, Satoshi Matsuoka, Akinori Yonezawa: Hierarchical Collections: An Efficient Scheme to Build an Obeject-Oriented Distributed Class Library for Massively Parallel Computation. ISOTAS 1996: 96-117 | |
| 62 | A. Nakaya, Kenjiro Taura, K. Yamamoto, Akinori Yonezawa: Visualization of RNA secondary structures using highly parallel computers. Computer Applications in the Biosciences 12(3): 205-211 (1996) | |
| 61 | Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa: Duplication and Partial Evaluation For a Better Understanding of Reflective Languages. Lisp and Symbolic Computation 9(2-3): 203-241 (1996) | |
| 60 | Eiiti Wada, Akinori Yonezawa: Obituary: Professor Nobuo Yoneda (28 March 1930-22 April 1996). Sci. Comput. Program. 27(3): 215-216 (1996) | |
| 1995 | ||
| 59 | Takayasu Ito, Akinori Yonezawa: Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings Springer 1995 | |
| 58 | Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa: Object-Based Models and Languages for Concurrent Systems, ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994, Selected Papers Springer 1995 | |
| 57 | Kenjiro Taura, Akinori Yonezawa: Schematic: A Concurrent Object-Oriented Extension to Scheme. OBPDC 1995: 59-82 | |
| 56 | Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa: Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation. OOPSLA 1995: 300-315 | |
| 55 | Tomio Kamada, Akinori Yonezawa: A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information - Replay and Race Detection. PSLS 1995: 108-127 | |
| 54 | Naoki Kobayashi, Motoki Nakade, Akinori Yonezawa: Static Analysis of Communication for Asynchronous Concurrent Programming Languages SAS 1995: 225-242 | |
| 53 | A. Nakaya, K. Yamamoto, Akinori Yonezawa: RNA secondary structure prediction using highly parallel computers. Computer Applications in the Biosciences 11(6): 685-692 (1995) | |
| 52 | Naoki Kobayashi, Akinori Yonezawa: Asynchronous Communication Model Based on Linear Logic. Formal Asp. Comput. 7(2): 113-149 (1995) | |
| 51 | Naoki Kobayashi, Akinori Yonezawa: Towards Foundations of Concurrent Object-Oriented Programming-Types and Language Design. TAPOS 1(4): 243-268 (1995) | |
| 1994 | ||
| 50 | Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, Akinori Yonezawa: Interactive Generation of Graphical User Interfaces by Multiple Visual Examples. ACM Symposium on User Interface Software and Technology 1994: 85-94 | |
| 49 | Masahiro Yasugi, Satoshi Matsuoka, Akinori Yonezawa: The Plan-Du Style Compilation Technique for Eager Data Transfer in Thread-Based Execution. IFIP PACT 1994: 57-66 | |
| 48 | Naoki Kobayashi, Akinori Yonezawa: Type-Theoretic Foundations for Concurrent Object-Oriented Programming. OOPSLA 1994: 31-45 | |
| 47 | Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa: Locally Simultaneous Constraint Satisfaction. PPCP 1994: 51-62 | |
| 46 | Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa: Efficient parallel global garbage collection on massively parallel computers. SC 1994: 79-88 | |
| 45 | Akinori Yonezawa: Theory and Practice of Concurrent Object-Oriented Computing. TACS 1994: 365 | |
| 44 | Tatsurou Sekiguchi, Akinori Yonezawa: A Complete Type Inference System for Subtyped Recursive Types. TACS 1994: 667-686 | |
| 43 | Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa: StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs. Theory and Practice of Parallel Programming 1994: 121-136 | |
| 42 | Naoki Kobayashi, Akinori Yonezawa: Higher-Order Concurrent Linear Logic Programming. Theory and Practice of Parallel Programming 1994: 137-166 | |
| 41 | Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa: An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers. Theory and Practice of Parallel Programming 1994: 346-355 | |
| 40 | Shin Takahashi, Ken Miyashita, Satoshi Matsuoka, Akinori Yonezawa: A Framework for Constructing Animations via Declarative Mapping Rules. VL 1994: 314-322 | |
| 1993 | ||
| 39 | Shojiro Nishio, Akinori Yonezawa: Object Technologies for Advanced Software, First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993, Proceedings Springer 1993 | |
| 38 | Mehmet Aksit, Ken Wakita, Jan Bosch, Lodewijk Bergmans, Akinori Yonezawa: Abstracting Object Interactions Using Composition Filters. ECOOP Workshop 1993: 152-184 | |
| 37 | Naoki Kobayashi, Akinori Yonezawa: ACL - A Concurrent Linear Logic Programming Paradigm. ILPS 1993: 279-294 | |
| 36 | Satoshi Matsuoka, Kenjiro Taura, Akinori Yonezawa: Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages. OOPSLA 1993: 109-126 | |
| 35 | Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa: An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers. PPOPP 1993: 218-228 | |
| 1992 | ||
| 34 | Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, Akinori Yonezawa, Tomihisa Kamada: Declarative Programming of Graphical Interfaces by Visual Examples. ACM Symposium on User Interface Software and Technology 1992: 107-116 | |
| 33 | Masahiro Yasugi, Satoshi Matsuoka, Akinori Yonezawa: ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended dataflow supercomputer. ICS 1992: 93-103 | |
| 32 | Hidehiko Masuhara, Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa: Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently. OOPSLA 1992: 127-144 | |
| 31 | Naoki Kobayashi, Akinori Yonezawa: Asynchronous Communication Model Based on Linear Logic. Parallel Symbolic Computing 1992: 331-336 | |
| 30 | Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa: An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers. Parallel Symbolic Computing 1992: 402-405 | |
| 29 | Robert H. Halstead Jr., Takashi Chikayama, Richard P. Gabriel, David L. Waltz, Akinori Yonezawa: Applications for Parallel Symbolic Computation (panel). Parallel Symbolic Computing 1992: 417 | |
| 28 | Satoshi Matsuoka, Shin Takahashi, Tomihisa Kamada, Akinori Yonezawa: A General Framework for Bidirectional Translation between Abstract and Pictorial Data. ACM Trans. Inf. Syst. 10(4): 408-437 (1992) | |
| 1991 | ||
| 27 | Akinori Yonezawa, Takayasu Ito: Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings Springer 1991 | |
| 26 | Ken Wakita, Akinori Yonezawa: Linguistic supports for development of distributed organizational information systems in object-oriented concurrent computation frameworks. COOCS 1991: 185-198 | |
| 25 | Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa: Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming. ECOOP 1991: 231-250 | |
| 24 | Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, Akinori Yonezawa: Object-Oriented Concurrent Reflective Architectures. Object-Based Concurrent Computing 1991: 211-226 | |
| 23 | Pierre America, Robin Milner, Oscar Nierstrasz, Mario Tokoro, Akinori Yonezawa: What Is An Object? Object-Based Concurrent Computing 1991: 257-264 | |
| 22 | Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa, Tomihisa Kamada: A general framework for Bi-directional translation between abstract and pictorial data. UIST 1991: 165-174 | |
| 21 | Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky: OOPSLA panel on object-based concurrent programming. OOPS Messenger 2(2): 3-15 (1991) | |
| 1990 | ||
| 20 | Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa: Foundations of Concurrent Object-Oriented Programming (Panel). OOPSLA/ECOOP 1990: 100 | |
| 19 | Takuo Watanabe, Akinori Yonezawa: An Actor-Based Metalevel Architecture for Group-Wide Reflection. REX Workshop 1990: 405-425 | |
| 1989 | ||
| 18 | Yuuji Ichisugi, Akinori Yonezawa: Exception Handling and Real Time Features in an Object-Oriented Concurrent Language. Concurrency: Theory, Language, And Architecture 1989: 92-109 | |
| 17 | Akinori Yonezawa: A Reflective Object Oriented Concurrent Language ABCL/R. Workshop on Parallel Lisp 1989: 254-256 | |
| 16 | Etsuya Shibayama, Akinori Yonezawa: Optimistic and Pessimistic Synchronization in Distributed Computing. Workshop on Parallel Lisp 1989: 257-260 | |
| 15 | Akinori Yonezawa, Takuo Watanabe: An introduction to object-based reflective concurrent computation. SIGPLAN Notices 24(4): 50-54 (1989) | |
| 1988 | ||
| 14 | Garrison W. Cottrell, Pradip Dey, Joachim Diederich, Peter A. Reich, Lokendra Shastri, Akinori Yonezawa: Parallel processing in computational linguistics. COLING 1988: 595-598 | |
| 13 | Akinori Yonezawa, Ichiro Osawa: Object-oriented parallel parsing for context-free grammars. COLING 1988: 773-778 | |
| 12 | Yasuaki Honda, Akinori Yonezawa: Debugging Concurrent Systems Based on Object Groups. ECOOP 1988: 267-282 | |
| 11 | Takuo Watanabe, Akinori Yonezawa: Reflection in an Object-Oriented Concurrent Language. OOPSLA 1988: 306-315 | |
| 1987 | ||
| 10 | Jean-Pierre Briot, Akinori Yonezawa: Inheritance and Synchronization in Concurrent OOP. ECOOP 1987: 32-40 | |
| 1986 | ||
| 9 | Akinori Yonezawa: AI and Programming Languages - Response. IFIP Congress 1986: 111-114 | |
| 8 | Akinori Yonezawa, Jean-Pierre Briot, Etsuya Shibayama: Object-Oriented Concurrent Programming in ABCL/1. OOPSLA 1986: 258-268 | |
| 1985 | ||
| 7 | Akinori Yonezawa, Yoshihiro Matsumoto: Object Oriented Concurrent Programming and Industrial Software Production. TAPSOFT, Vol.2 1985: 395-409 | |
| 6 | Akinori Yonezawa, Hans Loeper, Hans-Jörg Jäkel: The Rendezvous Concept - a Programming Tool for Parallel Processing. Elektronische Informationsverarbeitung und Kybernetik 21(9): 429-440 (1985) | |
| 1984 | ||
| 5 | Hiroshi Maruyama, Akinori Yonezawa: A Prolog-Based Natural Language Front-End System. New Generation Comput. 2(1): 91-99 (1984) | |
| 1983 | ||
| 4 | Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa: RIMS Symposium on Software Science and Engineering, Kyoto, Japan, 1982, Proceedings Springer 1983 | |
| 3 | Koichi Furukawa, Reiji Nakajima, Akinori Yonezawa: Modularization and Abstraction in Logic Programming. New Generation Comput. 1(2): 169-177 (1983) | |
| 1978 | ||
| 2 | Akinori Yonezawa: A formal specification technique for abstract data types with parallelism. Mathematical Studies of Information Processing 1978: 127-150 | |
| 1977 | ||
| 1 | Akinori Yonezawa, Carl Hewitt: Modelling Distributed Systems. IJCAI 1977: 370-376 | |