BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Greece
1 × Portugal
Collaborated with:
S.A.Smolka M.Hennessy C.R.Ramakrishnan
Talks about:
point (2) fix (2) algorithm (1) process (1) messag (1) linear (1) effici (1) altern (1) simpl (1) modal (1)

Person: Xinxin Liu

DBLP DBLP: Liu:Xinxin

Contributed to:

ICALP 19981998
TACAS 19981998
CAV 19931993

Wrote 3 papers:

ICALP-1998-LiuS #algorithm #fixpoint #linear
Simple Linear-Time Algorithms for Minimal Fixed Points (XL, SAS), pp. 53–66.
TACAS-1998-LiuRS #evaluation #fixpoint #performance
Fully Local and Efficient Evaluation of Alternating Fixed Points (XL, CRR, SAS), pp. 5–19.
CAV-1993-HennessyL #logic #message passing #process
A Modal Logic for Message passing Processes (MH, XL), pp. 359–370.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.