bibliographer - Luke Ong

bibliographer a curated TCS bibliography

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

Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach Fabian Zaiser Andrzej S. Murawski Luke Ong [github]

Probabilistic Verification Beyond Context-Freeness Guanyan Li Andrzej Murawski Luke Ong [github]

Supermartingales, Ranking Functions and Probabilistic Lambda Calculus Andrew Kenyon-Roberts Luke Ong [github]

Higher type Automata-Logic-Games Correspondences Luke Ong [github]

Automata, Logic and Games for the Lambda Calculus - Recent Developments in Higher-Order Model Checking Luke Ong [github]

Weak and Nested Class Memory Automata Conrad Cotton-Barratt Andrzej Murawski Luke Ong [github]

Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach Matthew Hague Anthony Widjaja Lin Luke Ong [github]

Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking Luke Ong [github]

EWSCS13 Lecture Course: Higher-Order Model Checking Luke Ong [github]

Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming Martin Lester Luke Ong Max Schaefer [github]

On Global Model Checking Trees Generated by Higher-Order Recursion Schemes Christopher Broadbent Luke Ong [github]

Library Size: 13G (11 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]