Ka Lok Man

Ka L. Man

	2011
20		Wouter Horré, Danny Hughes, Ka Lok Man, Steven Guan, Binbin Qian, Tianlin Yu, Haofan Zhang, Zhun Shen, Michel P. Schellekens, Steve Hollands: Eliminating implicit dependencies in component models. NESEA 2011: 1-6
19		Danny Hughes, Jo Ueyama, Eduardo Mendiondo, Nelson Matthys, Wouter Horré, Sam Michiels, Christophe Huygens, Wouter Joosen, Ka Lok Man, Sheng-Uei Guan: A middleware platform to support river monitoring using wireless sensor networks. J. Braz. Comp. Soc. 17(2): 85-102 (2011)
	2010
18		Kaiyu Wan, Danny Hughes, Ka Lok Man, Tomas Krilavicius: Composition challenges and approaches for cyber physical systems. NESEA 2010: 1-7
17		Ka Lok Man: Timed Chi: Modeling, Simulation and Verification of Hardware Systems. Computing and Informatics 29(6): 901-928 (2010)
	2009
16		Tom English, Ka Lok Man, Emanuel M. Popovici: BSAA: A Switching Activity Analysis and Visualisation Tool for SoC Power Optimisation. PATMOS 2009: 216-226
15		Tom English, Maurice Keller, Ka Lok Man, Emanuel M. Popovici, Michel P. Schellekens, William P. Marnane: A low-power pairing-based cryptographic accelerator for embedded security applications. SoCC 2009: 369-372
	2008
14		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
13		Tom English, Ka Lok Man, Emanuel M. Popovici, Michel P. Schellekens: HotSpot: Visualizing dynamic power consumption in RTL designs. EWDTS 2008: 45-48
12		Ka Lok Man: PAFSV: A process algebraic framework for SystemVerilog. IMCSIT 2008: 535-542
	2007
11		Ka L. Man, Michel P. Schellekens: Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt. IMECS 2007: 568-573
10		Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens: SC2SCFL: Automated SystemC to SystemCFL Translation. SAMOS 2007: 34-45
9		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)
8		Ka Lok Man, Michel P. Schellekens: Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt. Engineering Letters 15(2): 317-326 (2007)
7		Ka Lok Man: Formal Specification and Analysis of Hardware Systems in Timed Chi. Nord. J. Comput. 14(1-2): 65-86 (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	Dirk A. van Beek (D. A. van Beek)	[1] [2] [6] [9]
3	Menouer Boubekeur	[10]
4	Pieter J. L. Cuijpers	[3]
5	Tom English	[13] [15] [16]
6	Andrea Fedeli	[10]
7	Sheng-Uei Guan	[19]
8	Steven Guan (Sheng Uei Guan)	[20]
9	Steve Hollands	[20]
10	Wouter Horré	[19] [20]
11	J. Huang	[14]
12	Danny Hughes (Daniel Hughes)	[18] [19] [20]
13	Christophe Huygens	[19]
14	Niek G. Jansen	[1]
15	Wouter Joosen	[19]
16	Maurice Keller	[15]
17	Tomas Krilavicius	[18]
18	H. L. Leung	[14]
19	William P. Marnane (Liam Marnane)	[15]
20	Nelson Matthys	[19]
21	Eduardo Mendiondo	[19]
22	Michele Mercaldi	[10] [14]
23	Sam Michiels	[19]
24	Emanuel M. Popovici	[5] [13] [15] [16]
25	Binbin Qian	[20]
26	Michel A. Reniers	[1] [2] [3] [6] [9]
27	J. E. Rooda (Jacobus E. Rooda)	[1] [2] [6] [9]
28	Michel P. Schellekens	[5] [8] [10] [11] [13] [15] [20]
29	Ramon R. H. Schiffelers	[1] [2] [6] [9]
30	Zhun Shen	[20]
31	Jo Ueyama	[19]
32	Kaiyu Wan	[18]
33	Tianlin Yu	[20]
34	Haofan Zhang	[20]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page