Partners	Top
References

References

 [1]

Elsa Estevez and Tomasz Janowski. Government-Enterprise Ecosystem Gateway (G-EEG) for Seamless e-Government. In 40th Hawaii International Conference on System Sciences, January 2007.

 [2]

Elsa Estevez and Tomasz Janowski. Infrastructure for Electronic Government - A Prototype for Messaging Services. In 1st Iberoamerican Congress on e-Government,, Santiago de Chile, October 2006.

 [3]

Olumide Oteniya, Tomasz Janowski, and Adegboyega Ojo. Government-Wide Workflow Infrastructure to Enable Virtual Government Organizations. In 7th IFIP Working Conference on Virtual Enterprises, Helsinki, Finland, September 2006. Springer Verlag.

 [4]

Marķa Clara Casalini, Tomasz Janowski, and Elsa Estevez. A process model for collaborative problem solving in virtual communities of practice. In 7th IFIP Working Conference on Virtual Enterprises, Helsinki, Finland, September 2006. Springer Verlag.

 [5]

Maria Clara Casalini, Elsa Estevez, and Tomasz Janowski. Collaborative Problem Solving in Virtual Communities of Practice - A Case Study in Disaster Prevention and Handling. In 12th Argentine Congress on Computer Sciences, San Luis, Argentina, October 2006.

 [6]

He Jifeng, Xiaoshan Li, and Zhiming Liu. A Refinement Calculus for Object Systems. Technical Report 322, UNU-IIST, P.O.Box 3058, Macau, May 2005. Published in Theoretical Computer Science (2006), doi:10.1016/j.tcs.2006.07.034.

 [7]

Liang Zhao, Xiangpeng Zhao, Quan Long, and Zongyan Qiu. A Type System for the Relational Calculus of Object Systems. Technical Report 345, UNU-IIST, P.O.Box 3058, Macau, September 2006.

 [8]

Xiaojian Liu, Zhiming Liu, and Liang Zhao. Object-Oriented Structure Refinement - A Graph Transformational Approach. Technical Report 340, UNU-IIST, P.O.Box 3058, Macau, July 2006.

 [9]

He Jifeng, Zhiming Liu, and Xiaoshan Li. A Theories of Contracts. Technical Report 327, UNU-IIST, P.O.Box 3058, Macau, July 2005. Published in Electronic Notes of Theoretical Computer Science, Volume 160 , pp. 173-195 2006.

 [10]

Xin Chen, Jifeng He, and Zhiming Liu. Component Coordination in rCOS. Technical Report 335, UNU-IIST, P.O.Box 3058, Macau, May 2006.

 [11]

Joseph C. Okika, Zhiming Liu, and Anders P. Ravn. Analysis and Characterisation of a TTCN-3 Test System. Technical Report 339, UNU-IIST, P.O.Box 3058, Macau, June 2006.

 [12]

Norzima Elbegbayan. Reflection on Shared Experiences - Case Study on a Conference Support Website. Technical Report 342, UNU-IIST, P.O.Box 3058, Macau, August 2006.

 [13]

Hung Ledang Dang Van Hung. Concurrency and Schedulability Analysis in Component-based Real-Time System Development. Technical Report 341, UNU-IIST, P.O.Box 3058, Macau, July 2006.

 [14]

Dang Van Hung and Zhang Miaomiao. On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. Technical Report 326, UNU-IIST, P.O.Box 3058, Macau, June 2005. Presented and published in the proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 06), Vienna, Austria - April 1 - 2, 2006, ENTCS, Elsevier, 2006.

 [15]

Choe Chang Il and Dang Van Hung. Model Checking Durational Probabilistic Systems against Probabilistic Linear Duration Invariants. Technical Report 337, UNU-IIST, P.O.Box 3058, Macau, June 2006.

 [16]

Miaomiao Zhang and Dang Van Hung. Formal Analysis of Streaming Downloading Protocol for System Upgrading. Technical Report 332, UNU-IIST, P.O.Box 3058, Macau, December 2005. Presented and published in the proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 06), Vienna, Austria - April 1 - 2, 2006, ENTCS, Elsevier, 2006.

 [17]

Juan Ignacio Perna and Chris George. Model checking RAISE specifications . Technical Report 331, UNU-IIST, P.O.Box 3058, Macau, December 2005.

 [18]

Jo Kwon Sik and Chris George. Specifying a Reliable Banking System in RSL. Technical Report 338, UNU-IIST, P.O.Box 3058, Macau, June 2006.

 [19]

Antonio Cerone Xiangpeng Zhao and Padmanabhan Krishnan. Modelling and Resource Allocation Planning of BPEL Workflows under Security Constraints. Technical Report 336, UNU-IIST, P.O.Box 3058, Macau, June 2006.

 [20]

Zhiming Liu, Vladimir Mencl, Anders P. Ravn, and Lu Yang. Harnessing Theories for Tool Support. Technical Report 343, UNU-IIST, P.O.Box 3058, Macau, August 2006.

 [21]

Frank S. de Boer and Vladimir Mencl, editors. Preliminary Proceedings of the Third International Workshop on Formal Aspects of Component Software FACS'06, Prague, Czech Republic September 20-22, 2006, number 344 in UNU-IIST Reports, P.O.Box 3058, Macau, September 2006.

 [22]

Bernhard Aichernig, Eerke Boiten, John Derrick, and Lindsay Groves, editors. Proceedings of International Refinement Workshop Refine 2006, number 346 in UNU-IIST Reports, P.O.Box 3058, Macau, November 2006.

 [23]

Antonio Cerone and Paul Curzon, editors. Proceedings of International Workshop Formal Methods for Interactive Systems FMIS 2006, number 347 in UNU-IIST Reports, P.O.Box 3058, Macau, November 2006.

 [24]

Chen Xin, Zhiming Liu, and Mike Reed, editors. Proceedings of 1st Asian Working Conference on Verified Software, AWCVS'06, number 348 in UNU-IIST Reports, P.O.Box 3058, Macau, November 2006.

 [25]

Dang Van Hung, Alice Pun, and Chris George. Report on 2006 Survey of UNU-IIST Former Fellows. Administrative 349, UNU-IIST, P.O.Box 3058, Macau, November 2006.

 [26]

Xin Chen, He Jifeng, Zhiming Liu, and Naijun Zhan. Component-Based Programming. Technical Report 350, UNU-IIST, P.O.Box 3058, Macau, November 2006. Accepted by IPM International Symposium on Fundamentals of Software Engineering, April 17-19 2007, Tehran, Iran.

References
Partners	Top