Scott D. Stoller

Available identifiers

zbMath Open stoller.scott-dMaRDI QIDQ216152

List of research outcomes

Publication	Date of Publication	Type
Faster possibility detection by combining two approaches	2023-12-01	Paper
Recursive rules with aggregation: a simple unified semantics	2023-01-04	Paper
Recursive rules with aggregation: a simple unified semantics	2022-07-01	Paper
Knowledge of uncertain worlds: programming with logical constraints	2022-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5020980	2022-01-11	Paper
Founded semantics and constraint semantics of logic rules	2020-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q5137897	2020-12-03	Paper
Neural flocking: MPC-based supervised learning of flocking controllers	2020-09-23	Paper
Knowledge of uncertain worlds: programming with logical constraints	2020-05-06	Paper
Formal verification of Multi-Paxos for distributed consensus	2020-01-03	Paper
Leader election in asynchronous distributed systems	2018-07-09	Paper
Founded semantics and constraint semantics of logic rules	2018-04-06	Paper
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles	2017-09-08	Paper
Compositional Branching-Time Measurements	2014-07-24	Paper
\textsc{InterAspect}: aspect-oriented instrumentation with GCC	2014-03-28	Paper
Policy analysis for administrative role-based access control	2012-01-04	Paper
Optimistic synchronization-based state-space reduction	2006-11-17	Paper
Automated analysis of fault-tolerance in distributed systems	2006-02-20	Paper
Dynamic programming via static incrementalization	2003-08-21	Paper
Eliminating dead code on recursive data.	2003-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4417951	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4414381	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4778704	2002-11-19	Paper
Strengthening invariants for efficient computation	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4531761	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2753763	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754089	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4490719	2000-07-20	Paper
Verifying programs that use causally-ordered message-passing	1995-07-04	Paper

Research outcomes over time

This page was built for person: Scott D. Stoller