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 |