The following pages link to Scott D. Stoller (Q216152):
Displaying 29 items.
- Policy analysis for administrative role-based access control (Q655414) (← links)
- Automated analysis of fault-tolerance in distributed systems (Q816197) (← links)
- Optimistic synchronization-based state-space reduction (Q853724) (← links)
- Eliminating dead code on recursive data. (Q1398677) (← links)
- Dynamic programming via static incrementalization (Q1404292) (← links)
- Founded semantics and constraint semantics of logic rules (Q1709704) (← links)
- Verifying programs that use causally-ordered message-passing (Q1893537) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Knowledge of uncertain worlds: programming with logical constraints (Q2177583) (← links)
- Neural flocking: MPC-based supervised learning of flocking controllers (Q2200808) (← links)
- Formal verification of Multi-Paxos for distributed consensus (Q2281632) (← links)
- Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles (Q2402550) (← links)
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC (Q2441731) (← links)
- (Q2753763) (← links)
- (Q2754089) (← links)
- (Q4414381) (← links)
- (Q4417951) (← links)
- (Q4490719) (← links)
- (Q4531761) (← links)
- Leader election in asynchronous distributed systems (Q4571357) (← links)
- (Q4778704) (← links)
- (Q5020980) (← links)
- Knowledge of uncertain worlds: programming with logical constraints (Q5028316) (← links)
- (Q5137897) (← links)
- Founded semantics and constraint semantics of logic rules (Q5140329) (← links)
- Compositional Branching-Time Measurements (Q5170747) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q5872873) (← links)
- Strengthening invariants for efficient computation (Q5949500) (← links)
- Faster possibility detection by combining two approaches (Q6084565) (← links)
