Ka Lok Man
Title
Cited by
Cited by
Year
Syntax and consistent equation semantics of hybrid Chi
DA van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers
The Journal of Logic and Algebraic Programming 68 (1-2), 129-210, 2006
1792006
Parameter estimation of photovoltaic models via cuckoo search
J Ma, TO Ting, KL Man, N Zhang, SU Guan, PWH Wong
Journal of applied mathematics 2013, 2013
1432013
Ultra wideband antennas: past and present
EG Lim, Z Wang, CU Lei, Y Wang, KL Man
IAENG International journal of computer science, 2010
872010
Formal specification and analysis of hybrid systems
KL Man, RRH Schiffelers
Eindhoven University of Technology, 2006
622006
Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS).
K Wan, KL Man, D Hughes
Engineering Letters 18 (3), 2010
552010
Approximate single-diode photovoltaic model for efficient IV characteristics estimation
J Ma, KL Man, TO Ting, N Zhang, SU Guan, PWH Wong
The Scientific World Journal 2013, 2013
542013
A middleware platform to support river monitoring using wireless sensor networks
D Hughes, J Ueyama, E Mendiondo, N Matthys, W Horré, S Michiels, ...
Journal of the Brazilian Computer Society 17 (2), 85-102, 2011
522011
Composition challenges and approaches for cyber physical systems
K Wan, D Hughes, KL Man, T Krilavičius
2010 IEEE International Conference on Networked Embedded Systems for …, 2010
512010
Investigation of neural networks for function approximation
S Yang, TO Ting, KL Man, SU Guan
Procedia Computer Science 17, 586-594, 2013
392013
Using Web 2.0 tools to enhance learning in higher education: A case study in technological education
LEI Chi-Un, T Krilavičius, N Zhang, K Wan, KL Man
Engineers and computer scientists: 2012 IMECS: proceedings of the …, 2012
312012
Tuning of Kalman filter parameters via genetic algorithm for state-of-charge estimation in battery management system
TO Ting, KL Man, EG Lim, M Leach
The Scientific World Journal 2014, 2014
302014
Detection and assessment of partial shading scenarios on photovoltaic strings
J Ma, X Pan, KL Man, X Li, H Wen, TO Ting
IEEE Transactions on Industry Applications 54 (6), 6279-6289, 2018
292018
EEG eye state identification using incremental attribute learning with time-series classification
T Wang, SU Guan, KL Man, TO Ting
Mathematical Problems in Engineering 2014, 2014
292014
Syntax and semantics of timed Chi
DA Van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers
Computer Science Reports, 05-09, 2005
292005
Wearable Textile Substrate Patch Antennas.
EG Lim, Z Wang, JC Wang, M Leach, R Zhou, CU Lei, KL Man
Engineering letters 22 (2), 2014
262014
SystemC/sup FL: formalization of SystemC
KL Man
Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE …, 2004
242004
Formal semantics of hybrid Chi
RRH Schiffelers, DA Van Beek, KL Man, MA Reniers, JE Rooda
International Conference on Formal Modeling and Analysis of Timed Systems …, 2003
242003
Weightless swarm algorithm (wsa) for dynamic optimization problems
TO Ting, KL Man, SU Guan, M Nayel, K Wan
IFIP International Conference on Network and Parallel Computing, 508-515, 2012
232012
An overview of SystemC/sup FL
KL Man
Research in Microelectronics and Electronics, 2005 PhD 1, 145-148, 2005
232005
An exploration of usable authentication mechanisms for virtual reality systems
Z Yu, HN Liang, C Fleming, KL Man
2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS), 458-460, 2016
222016
The system can't perform the operation now. Try again later.
Articles 1–20