Similar Items: Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
- Tight Polynomial Worst-Case Bounds for Loop Programs
- Online Monotone Metric Embeddings
- Submodular Ground-Set Pruning: Monotone Tightness and a Non-Monotone Separation
- Concurrent Process Histories and Resource Transducers
- Answering Non-Monotonic Queries in Relational Data Exchange
- Deletion Robust Non-Monotone Submodular Maximization over Matroids