Xiaojuan Cai

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
Hardness results for coverability problem of well-structured pushdown systems Language and Automata Theory and Applications	2017-06-01	Paper
scientific article; zbMATH DE number 6613239 (Why is no real title available?)	2016-08-10	Paper
Well-structured pushdown system: case of dense timed pushdown automata Functional and Logic Programming	2014-07-24	Paper
Nested timed automata Lecture Notes in Computer Science	2013-08-16	Paper
Well-structured pushdown systems CONCUR 2013 – Concurrency Theory	2013-08-12	Paper
Modeling and analysis of real-time systems with mutex components International Journal of Foundations of Computer Science	2013-01-18	Paper
The \(\lambda \)-calculus in the \(\pi \)-calculus Mathematical Structures in Computer Science	2011-10-21	Paper
A pure labeled transition semantics for the applied pi calculus Information Sciences	2011-01-28	Paper
Applying a testing approach to the calculus of fair ambients International Journal of Computer Mathematics	2010-01-15	Paper
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus Applied Cryptography and Network Security	2009-03-10	Paper

Research outcomes over time

This page was built for person: Xiaojuan Cai