|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xiaowei Huang, Patrick Maupin, Ron van der Meyden |
Model Checking Knowledge in Pursuit Evasion Games.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xiaowei Huang, Cheng Luo, Ron van der Meyden |
Symbolic model checking of probabilistic knowledge. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Li Jiao, Weiming Lu |
A precongruence format for should testing preorder. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Li Jiao, Weiming Lu |
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Ron van der Meyden |
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Cheng Luo, Ron van der Meyden |
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. |
MoChArt |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Cheng Luo, Ron van der Meyden |
Improved bounded model checking for a fair branching-time temporal epistemic logic. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Ron van der Meyden |
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Li Jiao, Weiming Lu |
Weak Parametric Failure Equivalences and Their Congruence Formats. |
CATS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Xiaowei Huang, Li Jiao, Weiming Lu |
What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. |
ICICS |
2007 |
DBLP DOI BibTeX RDF |
rule format, computer security, non-interference, semantic equivalences |
| 1 | Xiaowei Huang, Jie Meng |
A Modular Petri Net Used in Synchronous Communication of Sequential Processes. |
MSV |
2007 |
DBLP BibTeX RDF |
|
| 1 | Xiaowei Huang, Jie Meng |
A Semantic Preorder Combining ST Notion and Fair Testing Semantic. |
FCS |
2007 |
DBLP BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")