bibliographer - Erika Abraham

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis Mohamed Amin Ben Sassi Sriram Sankaranarayanan Xin Chen Erika Abraham [github]

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties Erika Ábrahám Borzoo Bonakdarpour [github]

Flow: An Analyzer for Non-linear Hybrid Systems Xin Chen Erika Ábrahám Sriram Sankaranarayanan [github]

Building Bridges between Symbolic Computation and Satisfiability Checking Erika Abraham [github]

Library Size: 13G (4 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]