Limin Jia

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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 feedback control of pedestrian counter flow in bidirectional corridors with multiple inflows	2021-11-09	Paper
Optimal guidance strategy for crowd evacuation with multiple exits: a hybrid multiscale modeling approach	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
https://portal.mardi4nfdi.de/entity/Q2993761	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
https://portal.mardi4nfdi.de/entity/Q2923599	2014-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q2923941	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Limin Jia