1. On the Separability Problem of VASS Reachability Languages;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Verifying Unboundedness via Amalgamation;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Reliability evaluation of flexible manufacturing systems based on three-layer index system with time-varying weights;Proceedings of the Institution of Mechanical Engineers, Part E: Journal of Process Mechanical Engineering;2024-03-26
4. Waiting Nets: State Classes and Taxonomy;Fundamenta Informaticae;2024-01-30
5. Ackermannian Completion of Separators;Lecture Notes in Computer Science;2024