Ka Lok Man

Ka L. Man

2008
10	EE	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
9		Ka L. Man, Michel P. Schellekens: Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt. IMECS 2007: 568-573
8	EE	Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens: SC2SCFL: Automated SystemC to SystemCFL Translation. SAMOS 2007: 34-45
7	EE	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)
2006
6	EE	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	EE	Ka L. Man: Formal Communication Semantics of SystemCFL. DSD 2005: 338-345
3	EE	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	EE	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	EE	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] [7]
3	Menouer Boubekeur	[8]
4	Pieter J. L. Cuijpers	[3]
5	Andrea Fedeli	[8]
6	J. Huang	[10]
7	Niek G. Jansen	[1]
8	H. L. Leung	[10]
9	Michele Mercaldi	[8] [10]
10	Emanuel M. Popovici	[5]
11	Michel A. Reniers	[1] [2] [3] [6] [7]
12	J. E. Rooda	[1] [2] [6] [7]
13	Michel P. Schellekens	[5] [8] [9]
14	Ramon R. H. Schiffelers	[1] [2] [6] [7]

Colors in the list of coauthors