Yuhui Lin
Orcid: 0000-0002-9601-6538
According to our database1,
Yuhui Lin
authored at least 32 papers
between 2012 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
2024
Formalise Regulations for Autonomous Vehicles with Right-Open Temporal Deontic Defeasible Logic.
Proceedings of the Artificial Intelligence XLI, 2024
2023
Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023
Proceedings of the Legal Knowledge and Information Systems, 2023
Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023
Multimodal emotion recognition based on long-distance modeling and multi-source data fusion.
Proceedings of the International Conference on Computers, 2023
2022
Proceedings of the Legal Knowledge and Information Systems, 2022
Warning of Dangerous Driving Behavior Caused by Drivers and Road Environmental Factors.
Proceedings of CECNet 2022, 2022
2021
A Risk-taking Broker Model to Optimise User Requests placement on On-demand and Contract VMs.
CoRR, 2021
Proceedings of the UCC '21: 2021 IEEE/ACM 14th International Conference on Utility and Cloud Computing, Leicester, United Kingdom, December 6 - 9, 2021, 2021
Proceedings of the BDCAT '21: 2021 IEEE/ACM 8th International Conference on Big Data Computing, Applications and Technologies, Leicester, United Kingdom, December 6, 2021
2020
Network Selection in Heterogeneous Vehicular Network: A One-to-Many Matching Approach.
Proceedings of the 91st IEEE Vehicular Technology Conference, 2020
FIFE: an Infrastructure-as-Code Based Framework for Evaluating VM Instances from Multiple Clouds.
Proceedings of the 13th IEEE/ACM International Conference on Utility and Cloud Computing, 2020
Exploring Characteristics of Inter-cluster Machines and Cloud Applications on Google Clusters.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020
Proceedings of the 7th IEEE/ACM International Conference on Big Data Computing, 2020
Modelling VM Latent Characteristics and Predicting Application Performance using Semi-supervised Non-negative Matrix Factorization.
Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020
2019
Formal Aspects Comput., 2019
Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, 2019
Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019
Proceedings of the 19th IEEE/ACM International Symposium on Cluster, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the ICT Systems Security and Privacy Protection, 2018
2016
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC.
J. Formaliz. Reason., 2016
Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC.
CoRR, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2014
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014
2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
2012
Proceedings of the NASA Formal Methods, 2012