Partners	Top
References

References

 [1]

Tomasz Janowski and Theresa A. Pardo, editors. Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, Macao, 10-13 December 2007, ACM International Conference Proceedings Series. ACM Press, 2007.

 [2]

Tomasz Janowski and Hrushikesha Mohanty, editors. Proceedings of the 4th International Conference on Distributed Computing and Internet Technology, 17 - 20 December 2007, Bangalore, India, number 4882 in Lecture Notes in Computer Science. Springer, 2007.

 [3]

Alejandro Sanchez, Rilwan Basanya, Tomasz Janowski, and Adegboyega Ojo. Enterprise architectures - enabling interoperability between organizations. In Proceedings of the 36th Argentine Conference on Informatics – 8th Argentinean Symposium on Software Engineering, ASSE 2007, Mar del Plata, Argentina, August 29-31, 2007, volume 1, pages 175-184. JAIIO, 2007.

 [4]

Maria Clara Casalini, Elsa Estevez, and Pablo Fillottrani. Developing a repository of knowledge for virtual communities with semantic web technologies. In Proceedings of the XIII Argentinean Conference on Computer Science, Corrientes and Resistencia, Argentina, October 1-5, 2007, volume 1. Red UNCI, 2007.

 [5]

Elsa Estevez and Tomasz Janowski. Government-enterprise ecosystem gateway (g-eeg) for seamless e-government. In Proceedings of the 40th Hawaii International Conference on System Sciences, HICSS 2007, Waikoloa, Big Island, Hawaii, United States of America, January 3-6, 2007, volume 1, pages 101-110. IEEE Computer Society Press, 2007.

 [6]

Elsa Estevez and Tomasz Janowski. Building a dependable messaging infrastructure for electronic government. In Proceedings of the Second International Conference on Availability, Reliability and Security, ARES 2007, Vienna, Austria, April 10-13, 2007, volume 1, pages 948-955. IEEE Computer Society Press, 2007.

 [7]

Tomasz Janowski, Adegboyega Ojo, and Elsa Estevez. Rapid development of electronic public services: A case study in electronic licensing service. In Proceedings of the 8th Annual International Digital Government Research Conference, DG.O 2007, Philadelphia, United States of America, May 20-23, 2007, volume 1, pages 292-293. Digital Government Research Center, 2007.

 [8]

Tomasz Janowski, Adegboyega Ojo, and Elsa Estevez. Rapid development of electronic public services: Software infrastructure and software process. In Proceedings of the 8th Annual International Digital Government Research Conference, DG.O 2007, Philadelphia, United States of America, May 20-23, 2007, volume 1, pages 294-295. Digital Government Research Center, 2007.

 [9]

Adegboyega Ojo, Tomasz Janowski, and Elsa Estevez. A composite domain framework for developing electronic public services. In Proceedings of the International Conference on Software Engineering Theory and Practice, SEPT 2007, Orlando, Florida, United States of America, July 9-12, 2007, volume 1, pages 234-241. ISRST 2007, 2007.

 [10]

Adegboyega Ojo, Tomasz Janowski, and Elsa Estevez. Domain models and enterprise application framework for developing electronic public services. In Proceedings of the 6th International EGOV Conference, Regensburg, Germany, September 3-7, 2007, volume 1, pages 157-164. Trauner Verlag, 2007.

 [11]

Elsa Estevez and Tomasz Janowski. Programmable messaging for electronic government – building a foundation. In Proceedings of the Festchrift Symposium, Macao SAR, China, September 24-25, 2007, volume 1, pages 217-236. Lecture Notes in Computer Science, 2007.

 [12]

Elsa Estevez, Pablo Fillottrani, and Tomasz Janowski. From e-government to seamless government. In Proceedings of the Conference on Collaborative Electronic Commerce Technology and Research, CollECTeR Iberoamerica 2007, Cordoba, Argentina, November 6-9, 2007, volume 1. International Journal of Theoretical and Applied Electronic Commerce Research, JTAER, 2007.

 [13]

Adegboyega Ojo, Tomasz Janowski, Rilwan Basanya, and Mike Reed. Developing and harnessing software technology in the south - the role of cibs. In Proceedings of the WIDER Conference on Southern Engines of Global Growth: China, India, Brazil and South Africa (CIBS), Helsinki, Finland, September 7-8, 2007, volume 1. UNU World Institute for Development Economics Research, 2007.

 [14]

Jim Davies, Tomasz Janowski, Adegboyega Ojo, and Aadya Shukla. Technological foundations of electronic governance. In Tomasz Janowski and Theresa A. Pardo, editors, Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, Macao, 10-13 December 2007, ACM International Conference Proceedings Series, pages 5-11. ACM Press, 2007.

 [15]

Ganbold Nyamdorj. Public-private partnership in mongolian electronic government. In Tomasz Janowski and Theresa A. Pardo, editors, Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, Macao, 10-13 December 2007, ACM International Conference Proceedings Series, pages 437-438. ACM Press, 2007.

 [16]

Bimal Shah and Subarna Shakya. Evaluating the web accessibility of websites of the central government of nepal. In Tomasz Janowski and Theresa A. Pardo, editors, Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, Macao, 10-13 December 2007, ACM International Conference Proceedings Series, pages 447-448. ACM Press, 2007.

 [17]

Maria Clara Casalini, Elsa Estevez, and Tomasz Janowski. Computing support for problem solving in virtual communities of practice. In Journal of Computer Science and Technology, JCS&T, volume 7, pages 52-58. Iberoamerican Science & Technology Education, ISTEC, 2007.

 [18]

Hung Ledang and 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. Presented at and published in the proceedings of the 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering June 6 - 8, 2007 Shanghai, China.

 [19]

Dang Van Hung and Pham Hong Thai. Towards a Template Language for Component-Based Programming. Technical Report 354, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the 2007 International Conference on Software Engineering Research and Practice, SERP'07, Las Vegas, USA, June 25-28, 2007.

 [20]

Choe Changil and Dang Van Hung. On Verification of Linear Occurrence Properties of Real-Time Systems. Research Report 375, UNU-IIST, P.O.Box 3058, Macau, May 2007.

 [21]

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.

 [22]

Tran Thi Bich Hanh and Dang Van Hung. Verification of an Air-Traffic Control System with Probabilistic Real-time Model-checking. Technical Report 355, UNU-IIST, P.O.Box 3058, Macau, April 2007.

 [23]

Jong Hyo Jin and Chris George. Specifying and Verifying Multicast Communication Protocols. Technical Report 374, UNU-IIST, P.O.Box 3058, Macau, May 2007.

 [24]

Xin Chen, He Jifeng, Zhiming Liu, and Naijun Zhan. A Model of 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.

 [25]

Mike Reed, Chris George, and Wendy Hoi Iok Wa. UNU-IIST Annual Report 2006. Administrative Report 351, UNU-IIST, P.O.Box 3058, Macau, February 2007.

 [26]

Chris George and Anne E. Haxthausen. Specification, Proof, and Model Checking of the Mondex Electronic Purse using RAISE. Technical Report 352, UNU-IIST, P.O.Box 3058, Macau, February 2007.

 [27]

Jeff W Sanders and Matteo Turilli. Dynamics of Control. Technical Report 353, UNU-IIST, P.O.Box 3058, Macau, March 2007.

 [28]

Tomasz Janowski. Center for Electronic Governance at UNU-IIST. Administrative Report 356, UNU-IIST, P.O.Box 3058, Macau, April 2007.

 [29]

Tomasz Janowski, Adegboyega Ojo, and Elsa Estevez. The e-Macao Project - Building a Foundation for Electronic Government in Macao. Administrative Report 357, UNU-IIST, P.O.Box 3058, Macau, April 2007. Invited talk at the Hong Kong, Guangzhou and Macao Science and Industry Development Forum (Digital City), Guangzhou, China, September 2006. Invited talk at the African e-Government Forum, Accra, Ghana, March 2007.

 [30]

Tomasz Janowski, Elsa Estevez, and Adegboyega Ojo. The UNeGov.net Project - Building a Community of Practice for Electronic Governance. Administrative Report 358, UNU-IIST, P.O.Box 3058, Macau, April 2007. Invited talk at Digital Government 2006, Singapore, October 2006. Paper and poster presented and published in the proceedings of the 7th International Conference on Digital Government Research in San Diego, May 2006.

 [31]

Tomasz Janowski, Elsa Estevez, and Adegboyega Ojo. A Project Framework for e-Government. Technical Report 359, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the 4th International Conference on E-Government (EGOV05), Copenhagen, Denmark, August 2005, Trauner Druck.

 [32]

Adegboyega Ojo, Tomasz Janowski, and Elsa Estevez. Determining Progress Towards e-Government - What are the Core Indicators? . Research Report 360, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the 5th European Conference on e-Government (ECEG 2005), Anterwerp, Belgium, June 2005, ACI.

 [33]

Elsa Estevez, Tomasz Janowski, and Adegboyega Ojo. Planning for e-Government - A Service-Oriented Agency Survey . Technical Report 361, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the IADIS International Conference on e-Society, Qawra, Malta, June 2005, IADIS.

 [34]

Adegboyega Ojo, Tomasz Janowski, Elsa Estevez, and Irshad Kamal Khan. Human Capacity Development for e-Government. Technical Report 362, UNU-IIST, P.O.Box 3058, Macau, April 2007.

 [35]

Elsa Estevez, Tomasz Janowski, Adegboyega Ojo, and Irshad Kamal Khan. Coordination Offices for e-Government. Technical Report 363, UNU-IIST, P.O.Box 3058, Macau, April 2007.

 [36]

María Clara Casalini, Tomasz Janowski, and Elsa Estevez. A Process Model for Collaborative Problem Solving in Virtual Communities of Practice. Research Report 364, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the 7th IFIP Working Conference on Virtual Enterprises, Helsinki, Finland, September 2006, Springer-Verlag.

 [37]

Olumide Oteniya, Tomasz Janowski, and Adegboyega Ojo. Government-Wide Workflow Infrastructure - Enabling Virtual Government Organizations . Technical Report 365, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the 7th IFIP Working Conference on Virtual Enterprises, Helsinki, Finland, September 2006, Springer-Verlag.

 [38]

María Clara Casalini, Elsa Estevez, and Tomasz Janowski. Computing Support for Problem Solving in Virtual Communities of Practice. Technical Report 366, UNU-IIST, P.O.Box 3058, Macau, April 2007. Journal of Computer Science and Technology. Special Issue on Selected Papers from CACIC 2006, Vol. 7, No. 1, March 2007.

 [39]

Elsa Estevez and Tomasz Janowski. Government-Enterprise Ecosystem Gateway (G-EEG) for Seamless e-Government . Research Report 367, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the 40th Hawaii International Conference on System Sciences, Hawaii, January 2007, IEEE Computer Society.

 [40]

Elsa Estevez and Tomasz Janowski. Building a Dependable Messaging Infrastructure for Electronic Government. Technical Report 368, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the 2nd International Workshop on Dependability and Security in e-Government (DeSeGov 2007), part of the International Conference on Availability, Reliability and Security, Vienna, Austria, April 2007, IEEE Computer Society.

 [41]

Adegboyega Ojo, Tomasz Janowski, and Elsa Estevez. Domain Models and Enterprise Application Framework for Developing Electronic Public Services. Research Report 369, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the 6th International EGOV Conference 2007, Regensburg, Germany, September 2007, Trauner Druck.

 [42]

Adegboyega Ojo, Tomasz Janowski, and Elsa Estevez. A Composite Domain Framework for Developing Electronic Public Services. Technical Report 370, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the International Conference on Software Engineering Theory and Practice (SETP-07), Orlando, USA, July 2007.

 [43]

Adegboyega Ojo, Rilwan Basanya, Tomasz Janowski, and Mike Reed. South-South Cooperation in Software Technology. Technical Report 371, UNU-IIST, P.O.Box 3058, Macau, April 2007. Written for UNDP Special Unit on South-South Cooperation, to be part of the South Report.

 [44]

Li Xiaolei and J W Sanders. Quadgate forward-signalling pipelines. Technical Report 372, UNU-IIST, P.O.Box 3058, Macau, April 2007.

 [45]

G M Reed and J W Sanders. An Ethical Principle for Ubiquitous Communication. Technical Report 373, UNU-IIST, P.O.Box 3058, Macau, May 2007.

 [46]

Li Xiaolei and J W Sanders. Asynchronous Controller Design. Research Report 376, UNU-IIST, P.O.Box 3058, Macau, May 2007.

 [47]

Dang Van Hung. Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. Research Report 377, UNU-IIST, P.O.Box 3058, Macau, June 2007. Published in LNCS 4700, Springer, 2007, pp. 170-187.

 [48]

Chris George, Padmanabhan Krishnan, P A P Salas, and J W Sanders. Specification for Testing. Research Report 378, UNU-IIST, P.O.Box 3058, Macau, July 2007.

 [49]

Yifeng Chen and J W Sanders. A Pointer Logic for Object Diagrams. Research Report 379, UNU-IIST, P.O.Box 3058, Macau, July 2007.

 [50]

J W Sanders. Behaviour Approximated on Subgroups. Research Report 380, UNU-IIST, P.O.Box 3058, Macau, September 2007.

 [51]

Liang Zhao, Xiaojian Liu, Zhiming Liu, and Zongyan Qiu. Graph Transformations for Object-Oriented Refinement. Research Report 381, UNU-IIST, P.O.Box 3058, Macau, September 2007.

 [52]

Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, and Naijun Zhan. Modelling with Relational Calculus of Object and Component Systems - rCOS. Research Report 382, UNU-IIST, P.O.Box 3058, Macau, September 2007.

 [53]

Zhenbang Chen, Xiaoshan Li, Zhiming Liu, and Volker Stolz. Harnessing rCOS for Tool Support: The CoCoMe Experience. Research Report 383, UNU-IIST, P.O.Box 3058, Macau, September 2007.

 [54]

Dimitar P. Guelev and Dang Van Hung. Reasoning about QoS Contracts in the Probabilistic Duration Calculus. Research Report 384, UNU-IIST, P.O.Box 3058, Macau, September 2007.

 [55]

Volker Stolz and Geguang Pu, editors. Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software TTSS'07, 22-23 September 2007, Macau SAR, China, number 385 in UNU-IIST Reports, P.O.Box 3058, Macau, September 2007.

References
Partners	Top