5 Academic Events Annual Report 2000 3 Post-graduate Training/Teaching Activities Annual Report 2000 Contents Return to UNU/IIST's home page

4 Publications, Conference Presentations and Disseminations

4.1 Publications

4.1.1 UNU/IIST reports

In 2000, UNU/IIST staff and fellows have produced 43 reports, which are available for downloading via UNU/IIST web page and also available in the UNU/IIST library. These reports are [26, 43, 2, 54, 62, 59, 39, 40, 18, 29, 66, 70, 21, 24, 52, 38, 37, 17, 56, 22, 23, 41, 6, 57, 16, 65, 20, 44, 55, 11, 33, 67, 28, 50, 68, 69, 58, 1, 64, 61, 47, 5, 4].
 

4.1.2 External publications

In 2000, a total of 23 papers have been published in conference proceedings, and 5 papers have been published in journals. They are: [36, 34, 42, 19, 32, 46, 15, 48, 27, 63, 30, 31, 60, 26, 59, 29, 25, 38, 8, 21, 24, 37, 6, 57, 55, 33, 9, 35]

4.2 Conference Presentations

The presentations given by staff, fellows and visitors in international conferences and workshops in 2000 are:

    1. He Jifeng. An Integrated Approach to Mixed Hardware-Software Co-design. International Conference on Software: Theory and Practice (ICS2000), Beijing, August 21-24, 2000. UNU/IIST Research Report 198.
    2. Tomasz Janowski. Concurrency, Faults and Atomic Transactions: Incremental Design for Fault-Tolerance. Conference on Information Technology and Education, Ho Chi Minh City, Vietnam, January 2000. UNU/IIST Research Report 138.
    3. Tomasz Janowski. Production Modelling as Shell Programming: Operations and Processes. 2nd IFAC/IFIP/IEEE Conference on Management and Control of Production and Logistics, Grenoble, France, July 2000. UNU/IIST Research Report 180.
    4. Francisco Moreira. Production Modelling as Shell Programming: Concurrency and Delegation. IFAC Symposium on Manufacturing, Modelling, Management and Control, Rio, Greece, July 2000. UNU/IIST Research Report 181.
    5. Tomasz Janowski. Fail-Stop Software Components by Pattern Matching. IFIP 4th International Conference on Formal Methods for Open Object-Based Distributed Systems, Stanford University, USA, September 2000. UNU/IIST Research Report 164.
    6. Jonathan Bowen. An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM, 2000, York, UK, September, 2000. based on UNU/IIST Research Report 176.
    7. Balkhis Abu Bakar. Automated Result Verification with AWK. 6th IEEE International Conference on Engineering of Complex Computer Systems, Tokyo, Japan, September 2000. UNU/IIST Research Report 205.
    8. Tomasz Janowski. Distributed Production with Specification-Generated Processes. 4th IEEE/IFIP International Conference on Information Technology for Balanced Automation Systems in Production and Transportation, Berlin, Germany, September 2000. UNU/IIST Research Report 192.
    9. Phan Cong Vinh. Protocol-Based Cooperation in a Virtual Manufacturing Organization. 2nd IFIP/MASSYVE Working Conference on Infrastructures for Virtual Enterprises, Florianopolis, Brazil, December 2000. UNU/IIST Research Report 213.
    10. Tomasz Janowski. Creative Software Development. Creative Industries and Development, organized by the Institute for European Studies, Macau, June 2000.
    11. Tomasz Janowski. Computing Support for Travel and Tourism Services on the Internet. Part of the summer school on E-Tourism organized by the Institute for Tourism Studies, Macau, August 2000.
    12. Li Shuguang. Combining Case-based and Model-based Reasoning. APSEC 2000, Singapore, December 2000. UNU/IIST Research Report 188.
    13. Chris George. Introduction to Formal Methods, invited talk at Informatica 2000, Havana, Cuba, 22-26 May, 2000.
    14. Chris George. Proving Safety of Authentication Protocols: a Minimal Approach. International Conference on Software: Theory and Practice (ICS2000), Beijing, August 21-24, 2000. UNU/IIST Research Report 154.
    15. Dang Van Hung. On the Completeness and Decidability of Duration Calculus with Iterations. IFIP WG2.3 Workshop, Tandil, Argentina, September 4-5, 2000. Revived version of UNU/IIST Research Report 163.
    16. Dang Van Hung. A Formal Specification of an Information Processing System in Duration Calculus. SCI2000, Orlando, July 23-26, 2000. UNU/IIST Research Report 148.
    17. Francois Siewe. From Continuous Specification to Discrete Design. International Conference on Software: Theory and Practice (ICS2000), Beijing, August 21-24, 2000. UNU/IIST Research Report 182.
    18. Richard Moore. The MultiScript Project: Multi-directional, Multilingual Script Processing. 16th International Unicode Conference, Amsterdam, Netherlands, March 27-30, 2000.
    19. Myatav Erdenechimeg. Encoding and Implementation Issues in Standardising Traditional Mongolian Script. The 16th International Unicode Conference, Amsterdam, The Netherlands, 27-30 March 2000. UNU/IIST Research Report 170.
    20. Manas Ranjan Patra. A Formal Model of an Agent-mediated Electronic Market. The DIISM 2000 conference in Melbourne, Australia, 15-17 November 2000. UNU/IIST Research Report 211.
    21. Xu Qiwen. An Operational Semantics of a Simulator Algorithm. The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), Las Vegas, Nevada, USA, June 26-29, 2000. UNU/IIST Research Report 204.
    22. Ma Huadong. An Approach to Checking Consistency in Multimedia Synchronization Constraints. IEEE International Conference on Multimedia (ICME 2000), New York, USA, 30 July - 2 August 2000.
    23. Zhan Naijun. Completeness of Higher-Order Duration Calculus. Annual Conference of the European Association for Computer Science Logic (CSL 2000), Fischbachau/Munich, Germany, 21-26 August, 2000. UNU/IIST Research Report 175.
    24. Zhu Huibiao. A DC-based Semantics for Verilog. World Computer Conference, Beijing, China, 21-25 August 2000. UNU/IIST Research Report 183.
    25. Dimitar Guelev. Probabilistic Neighbourhood Logic. Sixth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Pune, India, 20-22 September 2000. UNU/IIST Research Report 195.
    26. Dimitar Guelev. A Complete Fragment of Higher-Order Duration _-Calculus. Foundations of Software Technology and Theoretical Computer Science (FST&TCS20), New Dehli, India, December 2000. UNU/IIST Research Report 196.
    27. Wang Jianzhong. Modelling and Verification of Network Player System with DCValid. The First Asia-Pacific Conference on Quality Software, Hong Kong, China, 30-31 October 2000. UNU/IIST Research Report 199.
    28. Jules-Raymond Tapamo. Domain Analysis of a System of Assessment of Natural Resource Usage. The Sixth Maghrebian Conference on Computer Science, Fes, Morocco, 1-3 November 2000. UNU/IIST Research Report 179.
    29. Ma Huadong. Formal Specification of Multimedia Synchronization Protocols in Duration Calculus. IEEE Pacific-Rim Conference on Multimedia (PCM2000), Sydney, Australia, 13-15 December 2000.
    30. Qin Shengchao. An Algebraic Approach to Hardware/Software Partitioning. The 7th IEEE International Conference on Electronics, Circuits & Systems, Kaslik, Lebanon, 17- 20 December 2000. UNU/IIST Research Report 206.
    31. Tomasz Janowski. Interacting Production Enterprises, Models and Tools. Half-day tutorial presented at the 3rd International Conference on Information Technology, Bhubaneswar, India, 21-23 December 2000.


4.3 Dissemination


The aim of dissemination is to distribute new research and development techniques, results in software technology and free software to selected targets in developing countries and countries in transition. Since UNU/IIST uses front-of-the-wave techniques and pursues further development (i.e. research) of these techniques, the dissemination activity focuses primarily on propagating the techniques and results that directly relate to UNU/IIST's Research and Advanced Development Agenda. In parallel, through its training activities, and also through institutional agreements with specific institutions, UNU/IIST provides access to literature (reports, papers) and free software. UNU/IIST has defined a list of target institutions, which includes 10 institutions in China, 30 institutions in Asian countries other than China, 6 institutions in South America and in Africa, and 2 institutions in Eastern Europe. Institutions from developing countries are added to the list if their research and training interests match the areas that are covered by UNU/IIST's programme. UNU/IIST sends to its targeted institutions a quarterly selection of up-to-date information on international literature, and offers free software and technical reports, both from UNU/IIST itself and from partner institutions. More specifically, each institution receives:
 

  1. List of UNU/IIST reports with abstract and URL address
  2. Selected UNU/IIST reports
  3. Copies of the tables of contents of 22 important journals in the area of computer software. UNU/IIST provides photocopies of a limited number of articles from these journals upon request
  4. List of new Technical Reports from 10 internationally known research groups active in the area covered by UNU/IIST's agenda
  5. CDroms containing free software packages available on the internet.


UNU/IIST also continues to assist a small number of MoU partners in building up a core library of reference books, monographs and journals, and provides text books for the Computer Science Department Development Project partner libraries (see Section 2.4).

info@iist.unu.edu, 08 Feb 2001
5 Academic Events Annual Report 2000 3 Post-graduate Training/Teaching Activities Annual Report 2000 Contents Return to UNU/IIST's home page