18 citations · 38 across the 26 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014
Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach
Matthew Hague, Anthony Widjaja Lin, Luke Ong
HTML5 applications normally have a large set of CSS (Cascading Style Sheets) rules for data display. Each CSS rule consists of a node selector (given in an XPath-like query languag…
cs.CC2014
A linear time algorithm for the orbit problem over cyclic groups
Anthony Widjaja Lin, Sanming Zhou
The orbit problem is at the heart of symmetry reduction methods for model checking concurrent systems. It asks whether two given configurations in a concurrent system (represented…
cs.LO2014★ 1 cited
Analysis of Probabilistic Basic Parallel Processes
Rémi Bonnet, Stefan Kiefer, Anthony W. Lin
Basic Parallel Processes (BPPs) are a well-known subclass of Petri Nets. They are the simplest common model of concurrent programs that allows unbounded spawning of processes. In t…