The following pages link to Louise E. Moser (Q816725):
Displaying 34 items.
- (Q230070) (redirect page) (← links)
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- Interval logics and their decision procedures. II: A real-time interval logic (Q672040) (← links)
- Dynamic pricing for time-limited goods in a supplier-driven electronic marketplace (Q816727) (← links)
- Necessary and sufficient conditions for broadcast consensus protocols. (Q1312603) (← links)
- Classic squares and broadcast squares (Q1336643) (← links)
- Byzantine-resistant total ordering algorithms. (Q1854265) (← links)
- Elementary surgery along a torus knot (Q2541342) (← links)
- On the impossibility of obtaining \(S^2 \times S^1\) by elementary surgery along a knot (Q2558699) (← links)
- A multicast group communication protocol, engine, and bridge for CORBA (Q2758657) (← links)
- (Q2758940) (← links)
- (Q2779327) (← links)
- (Q3031955) (← links)
- Asynchronous Fault-Tolerant Total Ordering Algorithms (Q3137707) (← links)
- (Q3789521) (← links)
- (Q3826516) (← links)
- The Residual Finiteness of Certain One-Relator Groups (Q3898665) (← links)
- (Q4032313) (← links)
- Frattini Subgroups of 3-Manifold Groups (Q4137782) (← links)
- Closure, interior, and union in finite topological spaces (Q4155454) (← links)
- (Q4256652) (← links)
- (Q4268464) (← links)
- (Q4318636) (← links)
- (Q4373485) (← links)
- Byzantine Fault Detectors for Solving Consensus (Q4415929) (← links)
- (Q4518424) (← links)
- (Q4518444) (← links)
- Eternal—a component‐based framework for transparent fault‐tolerant CORBA (Q4790996) (← links)
- (Q4853317) (← links)
- Automated deduction in a graphical temporal logic (Q4868233) (← links)
- (Q4891905) (← links)
- Solvable Fundamental Groups of Compact 3-Manifolds (Q5651925) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
- Total ordering algorithms for asynchronous Byzantine systems (Q6084560) (← links)
