Travelled to:1 × France
1 × USA
1 × United Kingdom
2 × China
Collaborated with:A.P.Sistla X.Wang F.Deng L.D.Zuck F.He B.Wang M.Gu
Talks about:model (2) check (2) evolutionari (1) structur (1) quotient (1) properti (1) function (1) monitor (1) element (1) theori (1)
Person: Min Zhou
DBLP: Zhou:Min
Contributed to:
2010
2006
20062005
2004Wrote 5 papers:
- CAV-2010-ZhouHWG #array #bound #on the
- On Array Theory of Bounded Elements (MZ, FH, BYW, MG), pp. 570–584.
- CASE-2006-ZhouD #game studies #learning
- An evolutionary game model on supply chains learning through imitation (MZ, FD), pp. 645–648.
- VMCAI-2006-SistlaZZ #component #monitoring #off the shelf
- Monitoring Off-the-Shelf Components (APS, MZ, LDZ), pp. 222–236.
- VMCAI-2005-SistlaZW #commutative #model checking
- Model Checking of Systems Employing Commutative Functions (APS, MZ, XW), pp. 250–266.
- SEFM-2004-SistlaWZ #using
- Checking Extended CTL properties Using Guarded Quotient Structures (APS, XW, MZ), pp. 87–94.