Jian Lu

From MaRDI portal
Person:971581

Available identifiers

zbMath Open lu.jian.2MaRDI QIDQ971581

List of research outcomes





PublicationDate of PublicationType
The parareal algorithm for Caputo-Hadamard fractional differential equations2025-01-17Paper
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration2014-05-13Paper
Checking strong open congruence in \(\chi\)-calculus2013-08-30Paper
Intensionality of modal logic for robust ambient calculus2013-08-27Paper
On metrics for probabilistic systems: definitions and algorithms2010-05-16Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science2006-11-14Paper
On the complete axiomatization for prefix iteration modulo observation congruence2006-10-05Paper
Specification and verification for semi-structured data2006-05-09Paper
Extension of the formal system of the theory of expressions with arities and its strong normalization property2006-02-16Paper
A framework for modeling autonomy of an agent2006-02-16Paper
https://portal.mardi4nfdi.de/entity/Q56977942005-10-27Paper
https://portal.mardi4nfdi.de/entity/Q56977922005-10-27Paper
https://portal.mardi4nfdi.de/entity/Q48239442004-10-28Paper
https://portal.mardi4nfdi.de/entity/Q44668292004-06-08Paper
https://portal.mardi4nfdi.de/entity/Q44837932003-05-27Paper

Research outcomes over time

This page was built for person: Jian Lu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:971581&oldid=6629881"
Powered by MediaWiki