| Publication | Date of Publication | Type |
|---|
A new algorithm for finding the \(k\)-shortest paths in a time-schedule network with constraints on arcs
Journal of Algorithms & Computational Technology | 2024-06-07 | Paper |
| Modal crash types for intermittent computing | 2023-11-24 | Paper |
Train re-scheduling based on an improved fuzzy linear programming model
Kybernetes | 2023-06-09 | Paper |
Modelling the walking behavior of pedestrians in the junction with chamfer zone of subway station
Physica A | 2022-08-05 | Paper |
Cascading failures in networks with the harmonic closeness under edge attack strategies
Chaos, Solitons and Fractals | 2022-04-01 | Paper |
Session-typed concurrent contracts
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
Optimal guidance strategy for crowd evacuation with multiple exits: a hybrid multiscale modeling approach
Applied Mathematical Modelling | 2021-11-09 | Paper |
Optimal feedback control of pedestrian counter flow in bidirectional corridors with multiple inflows
Applied Mathematical Modelling | 2021-11-09 | Paper |
| Netter: probabilistic, stateful network models | 2021-10-18 | Paper |
Reconciling noninterference and gradual typing
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Timing-Sensitive Noninterference through Composition
Lecture Notes in Computer Science | 2020-08-03 | Paper |
Modeling of the safe region based on support vector data description for health assessment of wheelset bearings
Applied Mathematical Modelling | 2020-04-07 | Paper |
Spatial correlation analysis of urban traffic state under a perspective of community detection
International Journal of Modern Physics B | 2019-11-05 | Paper |
Session-typed concurrent contracts
Programming Languages and Systems | 2019-09-13 | Paper |
Optimization based high-speed railway train rescheduling with speed restriction
Discrete Dynamics in Nature and Society | 2019-08-23 | Paper |
Networked timetable stability improvement based on a bilevel optimization programming model
Mathematical Problems in Engineering | 2019-02-08 | Paper |
Space-time correlation analysis of traffic flow on road network
International Journal of Modern Physics B | 2017-04-24 | Paper |
Train flow chaos analysis based on an improved cellular automata model
Chaos, Solitons and Fractals | 2017-02-07 | Paper |
Monitors and blame assignment for higher-order session types
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Current status and prospect for the methods of system reliability | 2016-08-10 | Paper |
System reliability evaluation based on convex combination considering operation and maintenance strategy
Advances in Mathematical Physics | 2016-05-02 | Paper |
A new bus lane on urban expressway with no-bay bus stop
International Journal of Modern Physics B | 2016-03-15 | Paper |
A program logic for verifying secure routing protocols
Logical Methods in Computer Science | 2016-01-07 | Paper |
Dependent types and program equivalence
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
AURA
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
Analysis of real-time system conflict based on fuzzy time Petri nets
Journal of Intelligent & Fuzzy Systems | 2015-02-13 | Paper |
A passenger flow assignment approach to railway passenger transportation network based on combined entropy optimization
Journal of Southeast University. Natural Science Edition | 2014-11-03 | Paper |
Solving fuzzy linear programming with fuzzy values range boundaries of resources
Fuzzy Systems and Mathematics | 2014-11-03 | Paper |
Urban expressway traffic state forecasting based on multimode maximum entropy model
Science China. Technological Sciences | 2013-08-07 | Paper |
A fuzzy optimization model for high-speed railway timetable rescheduling
Discrete Dynamics in Nature and Society | 2013-02-21 | Paper |
Maintaining distributed logic programs incrementally
Computer Languages, Systems & Structures | 2012-10-25 | Paper |
Choquet integral-OWA based adaptive neural fuzzy inference system with application
International Journal of Computational Intelligence and Applications | 2011-07-28 | Paper |
Modelling of the automatic depth control electrohydraulic system using RBF neural network and genetic algorithm
Mathematical Problems in Engineering | 2010-12-23 | Paper |
Research of mining meta-association rules for dynamic association rule based on model of Grey-Markov
Journal of Computer Applications | 2010-02-20 | Paper |
| scientific article; zbMATH DE number 5080446 (Why is no real title available?) | 2006-12-18 | Paper |
