2009 | ||
---|---|---|
122 | EE | Khaled Ragab, Akinori Yonezawa: A Self-organized Clustering-based Overlay Network for Application Level Multicast. JNW 4(2): 85-91 (2009) |
2008 | ||
121 | EE | Nan Dun, Kenjiro Taura, Akinori Yonezawa: GMount: Build your grid file system on the fly. GRID 2008: 328-333 |
120 | EE | Koichi Onoue, Yoshihiro Oyama, Akinori Yonezawa: Control of system calls from outside of virtual machines. SAC 2008: 2116-1221 |
2007 | ||
119 | EE | Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa: Compiling C Programs into a Strongly Typed Assembly Language. ASIAN 2007: 17-32 |
2006 | ||
118 | EE | Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa: A Fine-Grained Join Point Model for More Reusable Aspects. APLAS 2006: 131-147 |
117 | EE | Khaled Ragab, Akinori Yonezawa: Autonomic K-Interleaving Construction Scheme for P2P Overlay Networks. ATC 2006: 153-162 |
116 | EE | Akinori Yonezawa: Early Concurrent/Mobile Objects. ECOOP 2006: 198-202 |
115 | EE | Khaled Ragab, Akinori Yonezawa: leK, Dge-Interleaving Structuring Technique for Peer-Peer Overlay Network. IAT Workshops 2006: 443-446 |
114 | EE | Nicolas Marti, Reynald Affeldt, Akinori Yonezawa: Formal Verification of the Heap Manager of an Operating System Using Separation Logic. ICFEM 2006: 400-419 |
113 | EE | Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa: Combining type-based analysis and model checking for finding counterexamples against non-interference. PLAS 2006: 17-26 |
112 | EE | Yoshinori Kobayashi, Eric Y. Chen, Yoshihiro Oyama, Akinori Yonezawa: Protecting Web Servers from Octopus Attacks. SAINT 2006: 82-85 |
2005 | ||
111 | EE | Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa: Aspectual Caml: an aspect-oriented functional language. ICFP 2005: 320-330 |
110 | EE | Yoshihiro Oyama, Koichi Onoue, Akinori Yonezawa: Speculative Security Checks in Sandboxing Systems. IPDPS 2005 |
109 | EE | 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 | EE | Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa: Region-Based Memory Management for a Dynamically-Typed Language. APLAS 2004: 229-245 |
107 | EE | Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa: Routing and resource discovery in Phoenix Grid-enabled message passing library. CCGRID 2004: 670-677 |
106 | EE | Toshio Endo, Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa: High performance LU factorization for non-dedicated clusters. CCGRID 2004: 678-685 |
105 | EE | 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 | EE | Toshiyuki Maeda, Akinori Yonezawa: Kernel Mode Linux: Toward an Operating System Protected by a Type Theory. ASIAN 2003: 3-17 |
102 | EE | Eric Y. Chen, Akinori Yonezawa: FSP: Federation of Service Providers on the Internet. ISCC 2003: 1213-1218 |
101 | EE | Kohei Suenaga, Oiwa Yutaka, Eijiro Sumii, Akinori Yonezawa: The Interface Definition Language for Fail-Safe C. ISSS 2003: 192-208 |
100 | EE | Frédéric Peschanski, Jean-Pierre Briot, Akinori Yonezawa: Fine-Grained Dynamic Adaptation of Distributed Components. Middleware 2003: 123-142 |
99 | EE | Kenjiro Taura, Kenji Kaneda, Toshio Endoh, Akinori Yonezawa: Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources. PPOPP 2003: 216-229 |
98 | EE | 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 | EE | Etsuya Shibayama, Akinori Yonezawa: Secure Software Infrastructure in the Internet Age. New Generation Comput. 21(2): (2003) |
96 | EE | 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 | EE | Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa: Supporting objects in run-time bytecode specialization. ASIA-PEPM 2002: 50-60 |
94 | EE | Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa: Virtual Private Grid: A Command Shell for Utilizing Hundreds of Machines Efficiently. CCGRID 2002: 212-219 |
93 | EE | 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 | EE | 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 | EE | Hidehiko Masuhara, Akinori Yonezawa: Run-Time Bytecode Specialization. PADO 2001: 138-154 |
88 | EE | Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa: Fusion of Concurrent Invocations of Exclusive Methods. PaCT 2001: 293-307 |
87 | EE | 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 | EE | 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 | EE | Masatomo Hashimoto, Akinori Yonezawa: MobileML: A Programming Language for Mobile Computation. COORDINATION 2000: 198-215 |
82 | EE | Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa: Online Computation of Critical Paths for Multithreaded Languages. IPDPS Workshops 2000: 301-313 |
81 | EE | 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 | EE | 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 | EE | Kenjiro Taura, Kunio Tabata, Akinori Yonezawa: StackThreads/MP: Integrating Futures into Calling Standards. PPOPP 1999: 60-71 |
76 | EE | Naoki Kobayashi, Toshihiro Shimizu, Akinori Yonezawa: Distributed Concurrent Linear Logic Programming. Theor. Comput. Sci. 227(1-2): 185-220 (1999) |
1998 | ||
75 | EE | Hidehiko Masuhara, Akinori Yonezawa: Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language. ECOOP 1998: 418-439 |
74 | EE | Hirotaka Yamamoto, Kenjiro Taura, Akinori Yonezawa: Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers. LCR 1998: 205-218 |
73 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Ken Wakita, Akinori Yonezawa: Linguistic supports for development of distributed organizational information systems in object-oriented concurrent computation frameworks. COOCS 1991: 185-198 |
25 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |