Ka Lok Man

Ka L. Man

	2008
11		Ka Lok Man, Michele Mercaldi, H. L. Leung, J. Huang: Performance and Functional Analysis of TLM Models in the SHE Methodology. CSSE (4) 2008: 37-40
	2007
10		Ka L. Man, Michel P. Schellekens: Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt. IMECS 2007: 568-573
9		Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens: SC2SCFL: Automated SystemC to SystemCFL Translation. SAMOS 2007: 34-45
8		D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers: Relating Hybrid Chi to Other Formalisms. Electr. Notes Theor. Comput. Sci. 191: 85-113 (2007)
7		Ka Lok Man, Michel P. Schellekens: Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt. Engineering Letters 15(2): 317-326 (2007)
	2006
6		D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers: Syntax and consistent equation semantics of hybrid Chi. J. Log. Algebr. Program. 68(1-2): 129-210 (2006)
5		Michel P. Schellekens, Rachit Agarwal, Emanuel M. Popovici, Ka Lok Man: A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons. Nord. J. Comput. 13(4): 340-346 (2006)
	2005
4		Ka L. Man: Formal Communication Semantics of SystemCFL. DSD 2005: 338-345
3		Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers: Case Studies in The Hybrid Process Algebra Hypa. International Journal of Software Engineering and Knowledge Engineering 15(2): 299-306 (2005)
	2003
2		Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda: Formal Semantics of Hybrid Chi. FORMATS 2003: 151-165
1		D. A. van Beek, Niek G. Jansen, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers: Hybrid dynamic systems: relating Chi to hybrid automata. Winter Simulation Conference 2003: 632-640

Coauthor Index

1	Rachit Agarwal	[5]
2	D. A. van Beek	[1] [2] [6] [8]
3	Menouer Boubekeur	[9]
4	Pieter J. L. Cuijpers	[3]
5	Andrea Fedeli	[9]
6	J. Huang	[11]
7	Niek G. Jansen	[1]
8	H. L. Leung	[11]
9	Michele Mercaldi	[9] [11]
10	Emanuel M. Popovici	[5]
11	Michel A. Reniers	[1] [2] [3] [6] [8]
12	J. E. Rooda	[1] [2] [6] [8]
13	Michel P. Schellekens	[5] [7] [9] [10]
14	Ramon R. H. Schiffelers	[1] [2] [6] [8]

Colors in the list of coauthors