Mengjun Li

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
Some new soliton solutions and dynamical behaviours of (3+1)-dimensional Jimbo-Miwa equation International Journal of Computer Mathematics	2022-07-26	Paper
Automatic proving or disproving equality loop invariants based on finite difference techniques Information Processing Letters	2015-01-30	Paper
Modeling and verifying time sensitive security protocols with constraints Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
A novel derivation framework for definite logic program Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
An iterative method for generating loop invariants Frontiers in Algorithmics and Algorithmic Aspects in Information and Management	2011-06-03	Paper
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming Information Security and Cryptology	2009-04-29	Paper
Constraints Solution for Time Sensitive Security Protocols Frontiers in Algorithmics	2009-03-10	Paper
Constraint Abstraction in Verification of Security Protocols Frontiers in Algorithmics	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