bibliographer - Mingshuai Chen

bibliographer a curated TCS bibliography

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

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Lutz Klinkenberg Christian Blumenthal Mingshuai Chen Darion Haase Joost-Pieter Katoen [github]

Latticed k-Induction with an Application to Probabilistic Programs Kevin Batz Mingshuai Chen Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Philipp Schrøer [github]

Exact Probabilistic Inference Using Generating Functions Lutz Klinkenberg Mingshuai Chen Joost-Pieter Katoen Tobias Winkler [github]

Does a Program Yield the Right Distribution Mingshuai Chen Joost-Pieter Katoen Lutz Klinkenberg Tobias Winkler [github]

Does a Program Yield the Right Distribution Verifying Probabilistic Programs via Generating Functions Mingshuai Chen Joost-Pieter Katoen Lutz Klinkenberg Tobias Winkler [github]

Learning One-Clock Timed Automata Jie An Mingshuai Chen Bohua Zhan Naijun Zhan Miaomiao Zhang [github]

In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-state Automata Martin Franzle Mingshuai Chen Paul Krøger [github]

Latticed k-Induction with an Application to Probabilistic Programs Kevin Batz Mingshuai Chen Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Philipp Schröer [github]

Computing reachable sets of linear vector fields revisited Ting Gan Mingshuai Chen Yangjia Li Bican Xia Naijun Zhan [github]

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

[show logs] [hide logs]