MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Ling Cheung" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 14 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Switched probabilistic I/O automata  
  • by Ling Cheung, Nancy Lynch, Roberto Segala, Frits Va — 2004 — In Proceedings First International Colloquium on Theoretical Aspects of Computing (ICTAC2004), Lecture Notes in Computer Science
  • …Switched Probabilistic I/O Automata Ling Cheung 1 , Nancy Lynch 2 , Roberto Segala 3 , and Frits…
  • Cited by 4 (2 self) – Add To MetaCart
  • On the role of scheduling in simulation-based security  
  • by Ran Canetti, Ling Cheung, Nancy Lynch, Olivier Pereira — 2006 — Proceedings of the 7th International Workshop on Issues in the Theory of Security (WITS 2007
  • …On the Role of Scheduling in Simulation-Based Security ⋆ Ran Canetti 1,2 , Ling Cheung 2 , Nancy…
  • Cited by 1 (1 self) – Add To MetaCart
  • Concise Graphs and Functional Bisimulations  
  • by Ling Cheung And, Ling Cheung, Jesse Hughes, Zena M. Ariola
  • …Concise Graphs and Functional Bisimulations Ling Cheung and Jesse Hughes Department of Computer…
  • Add To MetaCart
  • Compositional security for Task-PIOAs  
  • by Ran Canetti, Ling Cheung, Nancy Lynch, Dilsun Kaynar, Olivier Pereira — 2007 — In In Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF). IEEE Computer Society
  • …Ran Canetti IBM Research Compositional Security for Task-PIOAs ∗ Ling Cheung Massachusetts…
  • Cited by 2 (2 self) – Add To MetaCart
  • Control Automata Ling Cheung  
  • by Ling Cheung, Nancy Lynch Roberto, Roberto Segala, Frits Va
  • …Control Automata Ling Cheung 1 , Nancy Lynch 2 , Roberto Segala 3 , and Frits Vaandrager 1 1…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB