Limin Jia

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
A new algorithm for finding the \(k\)-shortest paths in a time-schedule network with constraints on arcs	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	2023-06-09	Paper
Modelling the walking behavior of pedestrians in the junction with chamfer zone of subway station	2022-08-05	Paper
Cascading failures in networks with the harmonic closeness under edge attack strategies	2022-04-01	Paper
Session-typed concurrent contracts	2021-11-24	Paper
Optimal guidance strategy for crowd evacuation with multiple exits: a hybrid multiscale modeling approach	2021-11-09	Paper
Optimal feedback control of pedestrian counter flow in bidirectional corridors with multiple inflows	2021-11-09	Paper
Netter: probabilistic, stateful network models	2021-10-18	Paper
Reconciling noninterference and gradual typing	2021-01-21	Paper
Timing-Sensitive Noninterference through Composition	2020-08-03	Paper
Modeling of the safe region based on support vector data description for health assessment of wheelset bearings	2020-04-07	Paper
Spatial correlation analysis of urban traffic state under a perspective of community detection	2019-11-05	Paper
Session-typed concurrent contracts	2019-09-13	Paper
Optimization based high-speed railway train rescheduling with speed restriction	2019-08-23	Paper
Networked timetable stability improvement based on a bilevel optimization programming model	2019-02-08	Paper
Space-time correlation analysis of traffic flow on road network	2017-04-24	Paper
Train flow chaos analysis based on an improved cellular automata model	2017-02-07	Paper
Monitors and blame assignment for higher-order session types	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	2016-05-02	Paper
A new bus lane on urban expressway with no-bay bus stop	2016-03-15	Paper
A program logic for verifying secure routing protocols	2016-01-07	Paper
Dependent types and program equivalence	2015-06-11	Paper
AURA	2015-03-16	Paper
Analysis of real-time system conflict based on fuzzy time Petri nets	2015-02-13	Paper
A passenger flow assignment approach to railway passenger transportation network based on combined entropy optimization	2014-11-03	Paper
Solving fuzzy linear programming with fuzzy values range boundaries of resources	2014-11-03	Paper
Urban expressway traffic state forecasting based on multimode maximum entropy model	2013-08-07	Paper
A fuzzy optimization model for high-speed railway timetable rescheduling	2013-02-21	Paper
Maintaining distributed logic programs incrementally	2012-10-25	Paper
Choquet integral-OWA based adaptive neural fuzzy inference system with application	2011-07-28	Paper
Modelling of the automatic depth control electrohydraulic system using RBF neural network and genetic algorithm	2010-12-23	Paper
Research of mining meta-association rules for dynamic association rule based on model of Grey-Markov	2010-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q3413694	2006-12-18	Paper

Research outcomes over time

This page was built for person: Limin Jia