Travelled to:1 × Germany
1 × Greece
1 × Israel
1 × Italy
1 × Japan
1 × Switzerland
1 × USA
Collaborated with:J.Cheng J.Zhao Y.Nonaka G.Masuda N.Sakamoto N.Zhou T.Takagi
Talks about:program (7) concurr (4) depend (3) logic (3) ada (3) deadlock (2) orient (2) applic (2) tree (2) task (2)
Person: Kazuo Ushijima
DBLP: Ushijima:Kazuo
Contributed to:
2001
2000
1998
19981996
199519911990Wrote 9 papers:
- ICSM-2001-ZhaoCU #concurrent #dependence #logic programming #source code
- A Program Dependence Model for Concurrent Logic Programs and its Applications (JZ, JC, KU), pp. 672–681.
- AdaEurope-2000-NonakaCU #ada #development #self #source code
- A Supporting Tool for Development of Self-Measurement Ada Programs (YN, JC, KU), pp. 69–81.
- CSMR-1998-ZhaoCU #concurrent #dependence #maintenance #object-oriented #representation
- A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance (JZ, JC, KU), pp. 60–66.
- CSMR-1998-ZhaoCU98a #concurrent #logic programming #metric #source code
- A Metrics Suite for Concurrent Logic Programs (JZ, JC, KU), pp. 172–178.
- FSE-1998-MasudaSU #design pattern #learning
- Applying Design Patterns to Decision Tree Learning System (GM, NS, KU), pp. 111–120.
- AdaEurope-1996-ChengU #ada #detection #source code
- Tasking Deadlocks in Ada 95 Programs and Their Detection (JC, KU), pp. 135–146.
- ICLP-1995-ZhaoCU #analysis #concurrent #dependence #logic programming #source code
- Program Dependence Analysis of Concurrent Logic Programs and Its Applications (JZ, JC, KU), p. 825.
- AdaEurope-1991-ChengU #ada #petri net #using
- Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets (JC, KU), pp. 125–146.
- CLP-1990-ZhouTU90 #automaton #prolog
- A Matching Tree Oriented Abstract Machine for Prolog (NFZ, TT, KU), pp. 159–173.