Mengjun Li

Available identifiers

zbMath Open li.mengjunMaRDI QIDQ2512817

List of research outcomes

Publication	Date of Publication	Type
Some new soliton solutions and dynamical behaviours of (3+1)-dimensional Jimbo-Miwa equation	2022-07-26	Paper
Automatic proving or disproving equality loop invariants based on finite difference techniques	2015-01-30	Paper
Modeling and verifying time sensitive security protocols with constraints	2014-05-13	Paper
A novel derivation framework for definite logic program	2014-05-13	Paper
An iterative method for generating loop invariants	2011-06-03	Paper
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming	2009-04-29	Paper
Constraints Solution for Time Sensitive Security Protocols	2009-03-10	Paper
Constraint Abstraction in Verification of Security Protocols	2008-06-19	Paper
SPVT: an efficient verification tool for security protocols	2006-10-10	Paper

Research outcomes over time

This page was built for person: Mengjun Li