Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael D. Adams
Pushdown Control-Flow Analysis for Free
ACM SIGPLAN Notices
Computer Science
Flow-Sensitive Type Recovery in Linear-Log Time
ACM SIGPLAN Notices
Computer Science
Related publications
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reachability Analysis of Communicating Pushdown Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Optimal Control of Free Shear Flow Noise
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata
IFAC Proceedings Volumes
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Flow Control of Orifice Free Jet by Nozzle Plate Thickness
Nihon Kikai Gakkai Ronbunshu, B Hen/Transactions of the Japan Society of Mechanical Engineers, Part B
Condensed Matter Physics
Mechanical Engineering
Visibly Pushdown Languages
Performance Analysis of Feedback Synchronization for Multicast ABR Flow Control
Improving Pushdown System Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
