Research Field
- No Content
Paper Publications MORE+
- Ai Liu.Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages.IEEE Transactions on Software Engineering.2023,49(1):304 - 324
- Ai Liu.Probabilistic mediator: A coalgebraic perspective.Journal of Logical and Algebraic Methods in Programming.2022,129:100808
- Ai Liu.Fuzzy Automata as Coalgebras.Mathematics.2021,9(3):272
- Ai Liu.A Unifying Coalgebraic Semantics Framework for Quantum Systems.International Journal of Software Engineering and Knowledge Engineering.2021,31(3):381-403
- Ai Liu.A Coalgebraic Semantics Framework for Quantum Systems.Proceedings of ICFEM 2019
Patents
- No Content