Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms

Washington DC - USA

Beatrice Gralton · Art monthly Australia · 2008 · 3K citations

Public Affairs, Human Geography, Science Policy +1

The dining cryptographers problem: Unconditional sender and recipient untraceability

David Chaum · Journal of Cryptology · 1988 · 1.4K citations · Full text

Computing, Communication, Computer Science +12

Reactive, Generative, and Stratified Models of Probabilistic Processes

R.J. vanGlabbeek, Scott A. Smolka, Bernhard Steffen · Information and Computation · 1995 · 350 citations

Computing, Computer Science, Formal Methods +16

On the undecidability of probabilistic planning and related stochastic optimization problems

Omid Madani, Steve Hanks, Anne Condon · Artificial Intelligence · 2003 · 241 citations

Natural Sciences, Mathematics, Optimization +12

Secure information flow by self-composition

Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 213 citations

Computing, Computer Science, Computer Security +11