Hoang M. Le

From MaRDI portal
Person:2176695

Available identifiers

zbMath Open le.hoang-maiMaRDI QIDQ2176695

List of research outcomes





PublicationDate of PublicationType
Property-driven timestamps encoding for timeprints-based tracing and monitoring2020-05-05Paper
Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules2016-01-08Paper
On an inequality of Kolmogorov and Stein2001-02-08Paper
OPSurv: Orthogonal Polynomials Quadrature Algorithm for Survival AnalysisN/APaper

Research outcomes over time

This page was built for person: Hoang M. Le

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