Search for persons
X
?
2023 20th International Joint Conference on Computer Science and Software Engineering (JCSSE) ,
1
An Enhanced Sampling-Based Method with Modified Next-Best V..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science ,
2
Verifying AbC Specifications via Emulation:
, In:
?
From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science ,
3
A Systematic Approach to Programming and Verifying Attribut..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
4
ABEL - A Domain Specific Framework for Programming with Att..:
, In:
?
2023 11th International Conference on Power Electronics and ECCE Asia (ICPE 2023 - ECCE Asia) ,
5
Deadbeat Control with Current Stress Optimization for Exten..:
, In:
?
2023 IEEE Applied Power Electronics Conference and Exposition (APEC) ,
6
Sensor-Reduction Control for SPS-Modulated DAB Converter us..:
, In:
?
Proceedings of the 12th International Symposium on Information and Communication Technology ,
7
A Generalized Autorec Framework Applying Content-based Info..:
, In:
?
2023 International Conference on Advanced Technologies for Communications (ATC) ,
8
A Scalable Recommendation System with Hybrid Similarity Mat..:
, In:
?
2023 26th International Conference on Mechatronics Technology (ICMT) ,
9
Deadbeat Control for Single-Input Dual-Output Dual Active B..:
, In:
?
2022 IEEE Ninth International Conference on Communications and Electronics (ICCE) ,
10
User-Item Correlation in Hybrid Neighborhood-Based Recommen..:
, In:
?
2022 IEEE Applied Power Electronics Conference and Exposition (APEC) ,
11
Deadbeat Control with Parameter Identification under Single..:
, In:
?
Advances in Networked-based Information Systems; Advances in Intelligent Systems and Computing ,
12
A Novel Hybrid Recommendation System Integrating Content-Ba..:
, In:
?
Proceedings of the Third Symposium on Information and Communication Technology ,
13
Parallel PageRank computation using GPUs:
, In:
?
Plant Tissue Culture: New Techniques and Application in Horticultural Species of Tropical Region ,
14
General Information: Some Aspects of Plant Tissue Culture:
, In:
?
Plant Tissue Culture: New Techniques and Application in Horticultural Species of Tropical Region ,
15