×

zbMATH — the first resource for mathematics

Jia, Limin

Compute Distance To:
Author ID: jia.limin Recent zbMATH articles by "Jia, Limin"
Published as: Jia, L.; Jia, Li-Min; Jia, Li-min; Jia, Limin
Documents Indexed: 31 Publications since 2001

Publications by Year

Citations contained in zbMATH

9 Publications have been cited 42 times in 42 Documents Cited by Year
The application of homotopy analysis method for 2-dimensional steady slip flow in microchannels. Zbl 1220.76025
Zhang, T. T.; Jia, L.; Wang, Z. C.; Li, X.
17
2008
Modal proofs as distributed programs (extended abstract). Zbl 1126.68349
Jia, Limin; Walker, David
8
2004
AURA: a programming language for authorization and audit. Zbl 1323.68078
Jia, Limin; Vaughan, Jeffrey A.; Mazurak, Karl; Zhao, Jianzhou; Zarko, Luke; Schorr, Joseph; Zdancewic, Steve
5
2008
Monitors and blame assignment for higher-order session types. Zbl 1347.68269
Jia, Limin; Gommerstadt, Hannah; Pfenning, Frank
4
2016
A fuzzy optimization model for high-speed railway timetable rescheduling. Zbl 1257.90027
Wang, Li; Qin, Yong; Xu, Jie; Jia, Limin
3
2012
ILC: A foundation for automated reasoning about pointer programs. Zbl 1178.03077
Jia, Limin; Walker, David
2
2006
Train flow chaos analysis based on an improved cellular automata model. Zbl 1355.90018
Meng, Xuelei; Xiang, Wanli; Jia, Limin; Xu, Jie
1
2015
Maintaining distributed logic programs incrementally. Zbl 1248.68129
Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre
1
2012
Modelling of the automatic depth control electrohydraulic system using RBF neural network and genetic algorithm. Zbl 1202.93097
Xing, Zong-Yi; Qin, Yong; Pang, Xue-Miao; Jia, Li-Min; Zhang, Yuan
1
2010
Monitors and blame assignment for higher-order session types. Zbl 1347.68269
Jia, Limin; Gommerstadt, Hannah; Pfenning, Frank
4
2016
Train flow chaos analysis based on an improved cellular automata model. Zbl 1355.90018
Meng, Xuelei; Xiang, Wanli; Jia, Limin; Xu, Jie
1
2015
A fuzzy optimization model for high-speed railway timetable rescheduling. Zbl 1257.90027
Wang, Li; Qin, Yong; Xu, Jie; Jia, Limin
3
2012
Maintaining distributed logic programs incrementally. Zbl 1248.68129
Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre
1
2012
Modelling of the automatic depth control electrohydraulic system using RBF neural network and genetic algorithm. Zbl 1202.93097
Xing, Zong-Yi; Qin, Yong; Pang, Xue-Miao; Jia, Li-Min; Zhang, Yuan
1
2010
The application of homotopy analysis method for 2-dimensional steady slip flow in microchannels. Zbl 1220.76025
Zhang, T. T.; Jia, L.; Wang, Z. C.; Li, X.
17
2008
AURA: a programming language for authorization and audit. Zbl 1323.68078
Jia, Limin; Vaughan, Jeffrey A.; Mazurak, Karl; Zhao, Jianzhou; Zarko, Luke; Schorr, Joseph; Zdancewic, Steve
5
2008
ILC: A foundation for automated reasoning about pointer programs. Zbl 1178.03077
Jia, Limin; Walker, David
2
2006
Modal proofs as distributed programs (extended abstract). Zbl 1126.68349
Jia, Limin; Walker, David
8
2004

Citations by Year