The following pages link to Michael O. Rabin (Q208759):
Displayed 50 items.
- Recursive unsolvability of group theoretic problems (Q768811) (← links)
- Transaction protection by beacons (Q1065755) (← links)
- A logic to reason about likelihood (Q1090326) (← links)
- Probabilistic algorithm for testing primality (Q1135871) (← links)
- The choice coordination problem (Q1162148) (← links)
- Linear disjointness and algebraic complexity (Q1162357) (← links)
- N-process mutual exclusion with bounded waiting by 4. log//2N-valued shared variable (Q1168725) (← links)
- Set systems with no union of cardinality 0 modulo \(m\) (Q1175557) (← links)
- Clock construction in fully asynchronous parallel systems and PRAM simulation (Q1330417) (← links)
- Online scheduling of parallel programs on heterogeneous systems with applications to Cilk (Q1849575) (← links)
- Proving simultaneous positivity of linear forms (Q2265260) (← links)
- Real time computation (Q2526723) (← links)
- A note on Helly's theorem (Q2653732) (← links)
- Simplified VSS and fast-track multiparty computations with applications to threshold cryptography (Q2790105) (← links)
- Maximum matchings in general graphs through randomization (Q3031945) (← links)
- (Q3245637) (← links)
- An Algorithm for a Minimum Cover of a Graph (Q3271425) (← links)
- On recursively enumerable and arithmetic models of set theory (Q3273299) (← links)
- Cryptographic Combinatorial Clock-Proxy Auctions (Q3655176) (← links)
- (Q3741075) (← links)
- Randomized algorithms in number theory (Q3758904) (← links)
- Efficient randomized pattern-matching algorithms (Q3799643) (← links)
- Efficient dispersal of information for security, load balancing, and fault tolerance (Q3833606) (← links)
- Probabilistic Algorithms in Finite Fields (Q3910619) (← links)
- (Q3957941) (← links)
- (Q4044055) (← links)
- (Q4050144) (← links)
- Decidability of second-order theories and automata on infinite trees (Q4071739) (← links)
- (Q4074888) (← links)
- (Q4082296) (← links)
- Complexity of computations (Q4127384) (← links)
- (Q4162478) (← links)
- (Q4164569) (← links)
- (Q4206385) (← links)
- Lower Bounds for Randomized Mutual Exclusion (Q4210122) (← links)
- (Q4230336) (← links)
- (Q4249338) (← links)
- (Q4263678) (← links)
- (Q4391216) (← links)
- (Q4437491) (← links)
- Everlasting security in the bounded storage model (Q4674532) (← links)
- (Q4736825) (← links)
- On Lotteries with Unique Winners (Q4764346) (← links)
- (Q4858447) (← links)
- (Q4941830) (← links)
- (Q4941847) (← links)
- (Q4991691) (← links)
- Solving Linear Equations by Means of Scalar Products (Q4999417) (← links)
- Lower bounds for randomized mutual exclusion (Q5248482) (← links)
- Randomized mutual exclusion algorithms revisited (Q5348858) (← links)