bibliographer - Anthony Widjaja Lin

bibliographer a curated TCS bibliography

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

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective Pascal Bergstraßer Chris Køcher Anthony Widjaja Lin Georg Zetzsche [github]

Concurrent Stochastic Lossy Channel Games Daniel Stan Muhammad Najib Anthony Widjaja Lin Parosh Aziz Abdulla [github]

Reasoning on Data Words over Numeric Domains Diego Figueira Anthony Widjaja Lin [github]

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report) Daniel Stan Anthony Widjaja Lin [github]

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

A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups Anthony Widjaja Lin Sanming Zhou [github]

Analysis of Probabilistic Basic Parallel Processes Rémi Bonnet Stefan Kiefer Anthony Widjaja Lin [github]

Concurrency Makes Simple Theories Hard Stefan Gøller Anthony Widjaja Lin [github]

Model Checking Recursive Programs with Numeric Data Types Matthew Hague Anthony Widjaja Lin [github]

Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters Matthew Hague Anthony Widjaja Lin [github]

Model Checking Infinite-State Systems: Generic and Specific Approaches Anthony Widjaja Lin [github]

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

[show logs] [hide logs]