Jian Lu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The parareal algorithm for Caputo-Hadamard fractional differential equations Communications on Analysis and Computation	2025-01-17	Paper
Complete axiomatization for divergent-sensitive bisimulations in basic process algebra with prefix iteration Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
Checking strong open congruence in \(\chi\)-calculus	2013-08-30	Paper
Intensionality of modal logic for robust ambient calculus	2013-08-27	Paper
On metrics for probabilistic systems: definitions and algorithms Computers & Mathematics with Applications	2010-05-16	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2006-11-14	Paper
On the complete axiomatization for prefix iteration modulo observation congruence	2006-10-05	Paper
Specification and verification for semi-structured data Wuhan University Journal of Natural Sciences	2006-05-09	Paper
Extension of the formal system of the theory of expressions with arities and its strong normalization property	2006-02-16	Paper
A framework for modeling autonomy of an agent	2006-02-16	Paper
scientific article; zbMATH DE number 2219131 (Why is no real title available?)	2005-10-27	Paper
scientific article; zbMATH DE number 2219130 (Why is no real title available?)	2005-10-27	Paper
scientific article; zbMATH DE number 2112436 (Why is no real title available?)	2004-10-28	Paper
scientific article; zbMATH DE number 2070574 (Why is no real title available?)	2004-06-08	Paper
scientific article; zbMATH DE number 1919417 (Why is no real title available?)	2003-05-27	Paper

Research outcomes over time

This page was built for person: Jian Lu