Jin Song Dong

	2012
116		Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari: ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT). ICOST 2012: 182-189
115		Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves: Editorial. Formal Asp. Comput. 24(1): 1 (2012)
114		Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, Quan Thanh Tho: SeVe: automatic tool for verification of security protocols. Frontiers of Computer Science in China 6(1): 57-75 (2012)
	2011
113		Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong: A model checking framework for hierarchical systems. ASE 2011: 633-636
112		Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu: An Efficient Algorithm for Learning Event-Recording Automata. ATVA 2011: 463-472
111		Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong: On Combining State Space Reductions with Global Fairness Assumptions. FM 2011: 432-447
110		Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li: PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. ICFEM 2011: 147-162
109		Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu: Towards a Model Checker for NesC and Wireless Sensor Networks. ICFEM 2011: 372-387
108		Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong: Differencing Labeled Transition Systems. ICFEM 2011: 537-552
107		Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong: Verification of Orchestration Systems Using Compositional Partial Order Reduction. ICFEM 2011: 98-114
106		Yang Liu, Jun Sun, Jin Song Dong: PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. ISSRE 2011: 190-199
105		Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, Yu Gu: Towards bug-free implementation for wireless sensor networks. SenSys 2011: 407-408
104		Nwe Ni Tun, Jin Song Dong, Satoshi Tojo: A philosophy-driven entity classification and enrichment for ontology mapping. Expert Systems 28(2): 138-166 (2011)
	2010
103		Jin Song Dong, Huibiao Zhu: Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings Springer 2010
102		Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan: Model-Based Methods for Linking Web Service Choreography and Orchestration. APSEC 2010: 166-175
101		Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong: SpecDiff: debugging formal specifications. ASE 2010: 353-354
100		Yang Liu, Jun Sun, Jin Song Dong: Developing Model Checkers Using PAT. ATVA 2010: 371-377
99		Jit Biswas, Mounir Mokhtari, Jin Song Dong, Philip Lin Kiat Yap: Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification. ICOST 2010: 160-170
98		Yang Liu, Jun Sun, Jin Song Dong: Analyzing hierarchical complex real-time systems. SIGSOFT FSE 2010: 365-366
97		Chunqing Chen, Jin Song Dong, Jun Sun, Andrew Martin: A verification system for interval-based specification languages. ACM Trans. Softw. Eng. Methodol. 19(4): (2010)
	2009
96		Jun Sun, Yang Liu, Jin Song Dong, Jun Pang: PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714
95		Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong: Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139
94		Yang Liu, Jun Sun, Jin Song Dong: Scalable Multi-core Model Checking Fairness Enhanced Systems. ICFEM 2009: 426-445
93		Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang: Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ICFEM 2009: 581-600
92		Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu: Formal Verification of Scalable NonZero Indicators. SEKE 2009: 406-411
91		Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135
90		Jin Song Dong, Jun Sun: Towards Expressive Specification and Efficient Model Checking. TASE 2009: 9
89		Chunqing Chen, Jin Song Dong, Jun Sun: A formal framework for modeling and validating Simulink diagrams. Formal Asp. Comput. 21(5): 451-483 (2009)
88		Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong: Software monitoring through formal specification animation. ISSE 5(4): 231-241 (2009)
87		Jin Song Dong, Jing Sun: SCP special issue on the grand challenge - Preface. Sci. Comput. Program. 74(4): 167 (2009)
	2008
86		Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang: Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. ICFEM 2008: 318-337
85		Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24
84		Chunqing Chen, Jin Song Dong, Jun Sun: A verification system for timed interval calculus. ICSE 2008: 271-280
83		Yang Liu, Jun Sun, Jin Song Dong: An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920
82		Jun Sun, Yang Liu, Jin Song Dong: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322
81		Simon Ferndriger, Abraham Bernstein, Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jane Hunter: Enhancing Semantic Web Services with Inheritance. International Semantic Web Conference 2008: 162-177
80		Nwe Ni Tun, Jin Song Dong: Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. KR 2008: 318-328
79		Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Bounded Model Checking of Compositional Processes. TASE 2008: 23-30
78		Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Compositional encoding for bounded model checking. Frontiers of Computer Science in China 2(4): 368-379 (2008)
77		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)
76		Kenji Taguchi, Jin Song Dong: Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach. IJAOSE 2(4): 449-474 (2008)
	2007
75		Jin Song Dong, Yuzhang Feng, Ho-fung Leung: A Verification Framework for Agent Knowledge. ICFEM 2007: 57-75
74		Chunqing Chen, Jin Song Dong, Jun Sun: Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115
73		Hui Liang, Jin Song Dong, Jing Sun: Evolution and Runtime Monitoring of Software Systems. SEKE 2007: 343-348
72		Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388
71		Anh Tuan Luu, Tho T. Quan, Tru H. Cao, Jin Song Dong: Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base. URSW 2007
	2006
70		Ling Yuan, Jin Song Dong, Jing Sun: Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. APSEC 2006: 209-216
69		Dorel Lucanu, Yuan-Fang Li, Jin Song Dong: Semantic Web Languages - Towards an Institutional Perspective. Essays Dedicated to Joseph A. Goguen 2006: 99-123
68		Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora: Formal Specification-based Online Monitoring. ICECCS 2006: 152-162
67		Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245
66		Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
65		Chunqing Chen, Jin Song Dong: Applying Timed Interval Calculus to Simulink Diagrams. ICFEM 2006: 74-93
64		Jin Song Dong: From semantic web to expressive software specifications: a modeling languages spectrum. ICSE 2006: 1063-1064
63		Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin: HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778
62		Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun: Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340
61		Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006)
60		Jun Sun, Jin Song Dong: Design Synthesis from Interaction and State-Based Specifications. IEEE Trans. Software Eng. 32(6): 349-364 (2006)
59		Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit: Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Transactions on Reliability 55(3): 421-435 (2006)
58		Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun: Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent and Grid Systems 2(4): 455-471 (2006)
	2005
57		Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun: A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005: 465-472
56		Jun Sun, Jin Song Dong: Synthesis of Distributed Processes from Scenario-Based Specifications. FM 2005: 415-431
55		Jin Song Dong, D. Dan: Software Engineering Approaches to Semantic Web. ICECCS 2005: 2
54		Jin Song Dong, Roger Duke, Ping Hao: Integrating Object-Z with Timed Automata. ICECCS 2005: 488-497
53		Jun Sun, Jin Song Dong: Model Checking Live Sequence Charts. ICECCS 2005: 529-538
52		Jun Sun, Jin Song Dong: Extracting FSMs from Object-Z Specifications with History Invariants. ICECCS 2005: 96-105
51		Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang: The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80
50		Dorel Lucanu, Yuan-Fang Li, Jin Song Dong: Institution Morphisms for Relating OWL and Z. SEKE 2005: 286-291
49		Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li: TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359
48		Hai H. Wang, Jin Song Dong, Jing Sun: Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631
47		Dorel Lucanu, Yuan-Fang Li, Jin Song Dong: Soundness proof of Z semantics of OWL using institutions. WWW (Special interest tracks and posters) 2005: 1048-1049
46		Jin Song Dong, Ping Hao, Brendan P. Mahony: Formal Designs for Embedded and Hybrid Systems. International Journal of Software Engineering and Knowledge Engineering 15(2): 373-378 (2005)
	2004
45		Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony: Reasoning about Semantic Web in Isabelle/HOL. APSEC 2004: 46-53
44		Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu: Relating pi-calculus to Object-Z. ICECCS 2004: 97-106
43		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498
42		Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang: Verifying DAML+OIL and Beyond in Z/EVES. ICSE 2004: 201-210
41		Jin Song Dong: Software Modeling Techniques and the Semantic Web. ICSE 2004: 724-725
40		Jin Song Dong, Yuzhang Feng, Yuan-Fang Li: Verifying OWL and ORL Ontologies in PVS. ICTAC 2004: 265-279
39		Jin Song Dong, Shengchao Qin, Jun Sun: Generating MSCs from an Integrated Formal Specification Language. IFM 2004: 168-186
38		Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang: A combined approach to checking web ontologies. WWW 2004: 714-722
37		Jin Song Dong, Yuan-Fang Li, Hai H. Wang: TCOZ approach to semantic web services design. WWW (Alternate Track Papers & Posters) 2004: 442-443
36		Xiaohang Wang, Jin Song Dong, Chung-Yau Chin, SankaRavipriya Hettiarachchi, Daqing Zhang: Semantic Space: An Infrastructure for Smart Spaces. IEEE Pervasive Computing 3(3): 32-39 (2004)
	2003
35		Jin Song Dong, Jim Woodcock: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings Springer 2003
34		Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han: Formalizing Semantics of XSLT Using Object-Z. APWeb 2003: 120-131
33		Shengchao Qin, Jin Song Dong, Wei-Ngan Chin: A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME 2003: 321-340
32		Jin Song Dong, Jing Sun, Hai H. Wang: Checking and Reasoning about Semantic Web through Alloy. FME 2003: 796-813
31		Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee: Analysing Web Ontology in Alloy: A Military Case Study. SEKE 2003: 542-546
30		Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie: ZML: XML Support for Standard Z. ZB 2003: 437-456
	2002
29		Sergey A. Stupnikov, Leonid A. Kalinichenko, Jin Song Dong: Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows. ADBIS Research Communications 2002: 206-216
28		Jing Sun, Jin Song Dong: Specifying and Reasoning about Generic Architecture in TCOZ. APSEC 2002: 405-
27		Jin Song Dong, Shaoying Liu: The Semantics of Extended SOFL. COMPSAC 2002: 653-658
26		Jin Song Dong, Jing Sun, Hai H. Wang: Semantic Web for Extending and Linking Formalisms. FME 2002: 587-606
25		Kenji Taguchi, Jin Song Dong: An Overview of Mobile Object-Z. ICFEM 2002: 144-155
24		Jin Song Dong, Jing Sun, Hai H. Wang: Z Approach to Semantic Web. ICFEM 2002: 156-167
23		Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang: XML-Based Static Type Checking and Dynamic Visualization for TCOZ. ICFEM 2002: 311-322
22		Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: A Formal Object Approach to the Design of ZML. Ann. Software Eng. 13(1-4): 329-356 (2002)
21		Brendan P. Mahony, Jin Song Dong: Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Asp. Comput. 13(2): 142-160 (2002)
	2001
20		Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: An XML/XSL Approach to Visualize and Animate TCOZ. APSEC 2001: 453-460
19		Jin Song Dong: State, Event, Time and Diagram in System Modeling. ICSE 2001: 733-734
18		Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: Object-Z web environment and projections to UML. WWW 2001: 725-734
17		Jing Liu, Jin Song Dong, Brendan P. Mahony, Kun Shi: Linking UML with Integrated Formal Techniques. Unified Modeling Language: Systems Analysis, Design and Development Issues 2001: 210-223
	2000
16		Jing Liu, Jin Song Dong, Jing Sun: TRMCS in TCOZ. IWSSD 2000: 63-74
15		Brendan P. Mahony, Jin Song Dong: Timed Communicating Object Z. IEEE Trans. Software Eng. 26(2): 150-177 (2000)
	1999
14		Jin Song Dong, Brendan P. Mahony, Neale Fulton: Capturing Periodic Concurrent Interactions of Mission Computer Tasks. APSEC 1999: 538-545
13		Jin Song Dong, Shaoying Liu: An Object Semantic Model of SOFL. IFM 1999: 189-208
12		Brendan P. Mahony, Jin Song Dong: Overview of the Semantics of TCOZ. IFM 1999: 66-85
11		Brendan P. Mahony, Jin Song Dong: Sensors and Actuators in TCOZ. World Congress on Formal Methods 1999: 1166-1185
10		Jin Song Dong, Brendan P. Mahony, Neale Fulton: Modeling Aircraft Mission Computer Task Rates. World Congress on Formal Methods 1999: 1855
	1998
9		Jin Song Dong, Brendan P. Mahony: Active Objects in TCOZ. ICFEM 1998: 16-25
8		Brendan P. Mahony, Jin Song Dong: Blending Object-Z and Timed CSP: An Introduction to TCOZ. ICSE 1998: 95-104
7		Brendan P. Mahony, Jin Song Dong: Network Topology and a Case Study in TCOZ. ZUM 1998: 308-327
	1997
6		Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton: Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. ICFEM 1997: 161-
5		Jin Song Dong, Roger Duke, Gordon A. Rose: An object-oriented denotational semantics of a small programming language. Object Oriented Systems 4: 29-52 (1997)
	1995
4		Jin Song Dong: Living with Free Type and Class Union. APSEC 1995: 304-312
3		Jin Song Dong, Gordon A. Rose, Roger Duke: The role of secondary attributes in formal object modelling. ICECCS 1995: 31-38
	1993
2		Jin Song Dong, Roger Duke: An Object-Oriented Approach to the Formal Specification of ODP Trader. Open Distributed Processing 1993: 341-352
1		Jin Song Dong, Roger Duke: Class Union and Polymorphism. TOOLS (12/9) 1993: 181-190

Coauthor Index

1	Étienne André	[112]
2	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[61]
3	Hamid Abdul Basit	[59]
4	Abraham Bernstein	[81]
5	Jit Biswas	[99] [116]
6	Eerke A. Boiten	[115]
7	Tru H. Cao	[71]
8	Chunqing Chen	[65] [74] [84] [89] [91] [97]
9	Wei Chen	[92]
10	Chung-Yau Chin	[36]
11	Wei-Ngan Chin	[33]
12	Gabriel Ciobanu	[44]
13	John Colton	[6]
14	David W. Currie	[30]
15	Nicholas Daley	[30]
16	D. Dan	[55]
17	John Derrick	[115]
18	Roger Duke	[1] [2] [3] [5] [54] [68]
19	Yuzhang Feng	[40] [57] [62] [75] [81]
20	Simon Ferndriger	[81]
21	Neale Fulton	[6] [10] [14]
22	Yu Gu (Yu (Jason) Gu)	[105] [109]
23	Jun Gang Han	[34]
24	Ke Gang Hao	[34]
25	Ping Hao	[43] [46] [51] [54] [63] [66] [77]
26	SankaRavipriya Hettiarachchi	[36]
27	Jane Hunter	[81]
28	Leonid A. Kalinichenko	[29]
29	Chew Hung Lee	[31] [38] [42]
30	Hian Beng Lee	[31] [38]
31	Vwen Yen Lee	[116]
32	Ho-fung Leung (Ho-Fung Leung)	[75]
33	Xiaohong Li	[110] [114]
34	Yuan-Fang Li	[23] [37] [38] [40] [42] [47] [49] [50] [57] [69] [81]
35	Hui Liang	[68] [73] [88]
36	Shang-Wei Lin	[112]
37	Jing Liu	[16] [17] [18] [20] [22]
38	Shanshan Liu	[95]
39	Shaoying Liu	[13] [27]
40	Yan Liu (Yan (Jenny) Liu)	[116]
41	Yang Liu	[105] [106] [108] [109] [113] [114]
42	Yanhong A. Liu	[92]
43	Yang Liu	[67] [78] [79] [82] [83] [85] [91] [92] [93] [94] [95] [96] [98] [100] [101] [102] [107] [110] [111] [112]
44	Dorel Lucanu	[47] [50] [69]
45	Anh Tuan Luu	[71] [114]
46	Brendan P. Mahony	[7] [8] [9] [10] [11] [12] [14] [15] [17] [21] [45] [46]
47	Andrew Martin	[30] [61] [97]
48	Brian Matthews	[61]
49	Mounir Mokhtari	[99] [116]
50	Truong Khanh Nguyen	[113]
51	Jun Pang	[96] [111]
52	Clifton Phua	[116]
53	Geguang Pu	[102]
54	Shengchao Qin	[33] [39] [43] [51] [63] [72] [77]
55	Tho T. Quan	[71]
56	Steve Reeves	[115]
57	Gordon A. Rose	[3] [5]
58	Abhik Roychoudhury	[95]
59	David Sanán	[105]
60	Rudolph E. Seviora	[68]
61	Kun Shi	[17]
62	Kelvin Sim	[116]
63	Songzheng Song	[110]
64	Sergey A. Stupnikov	[29]
65	Jun Sun	[23] [31] [39] [43] [52] [53] [56] [57] [58] [60] [62] [66] [67] [72] [74] [77] [78] [79] [82] [83] [84] [85] [86] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [100] [101] [102] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114]
66	Jing Sun	[16] [18] [20] [22] [23] [24] [26] [28] [30] [32] [45] [48] [49] [58] [59] [62] [68] [70] [73] [78] [79] [86] [87] [88]
67	Kenji Taguchi	[25] [44] [76] [86]
68	Tian Huat Tan	[102] [107]
69	Yue Tang	[45]
70	Quan Thanh Tho	[114]
71	Satoshi Tojo	[104]
72	Ian Toyn	[30]
73	Nwe Ni Tun	[80] [104]
74	Mark Utting	[30]
75	Hai H. Wang	[18] [20] [22] [23] [24] [26] [31] [32] [37] [38] [42] [48] [49] [58] [72] [85]
76	Xiaohang Wang	[36]
77	W. Eric Wong	[88]
78	Jim Woodcock (J. C. P. Woodcock)	[35]
79	Zhenchang Xing	[101] [108]
80	Hong Li Yang	[34]
81	Philip Lin Kiat Yap	[99]
82	Wang Yi	[43] [77]
83	Ling Yuan	[59] [70]
84	Daqing Zhang	[36]
85	Shao Jie Zhang	[92] [111]
86	Xian Zhang	[51] [63] [66] [67] [86] [93] [116]
87	Manchun Zheng	[105] [109]
88	Huibiao Zhu	[103]
89	Jiaqi Zhu	[116]
90	Lin Zucconi	[6]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page