Directed Planar Reachability is in Unambiguous Log-space Chris Bourke Raghunath Tewari N. V. Vinodchandran

Source URL: www.cse.iitk.ac.in

On the Decidability Status of Reachability and Coverability in Graph Transformation Systems∗ Nathalie Bertrand1 , Giorgio Delzanno2 , Barbara König3 , Arnaud Sangnier4 , and Jan Stückrath3 1 2

Source URL: people.rennes.inria.fr

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis∗ Bing Liu Soonho Kong

Source URL: scungao.github.io

• Medicine
• Endocrine system
• Anatomy
• Prostate cancer
• Histopathology
• RTT
• Prostate-specific antigen
• Testosterone
• Androgen receptor
• Prostate
• Quantifier

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts Andrei Marian Dan1 , Manu Sridharan2? , Satish Chandra2?? , Jean-Baptiste Jeannin2 , and Martin Vechev1 1

Source URL: www.sri.inf.ethz.ch

Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin∗†‡ , Alain Finkel†§ , Stefan G¨oller†¶k , Christoph Haase†§k and Pierre McKenzie∗†∗∗ ∗ DIRO

Source URL: www7.in.tum.de

Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu

Source URL: repository.readscheme.org

Five ways to test bridge reachability Roger Dingledine Tor Tech ReportDecember 1, 2011

Source URL: research.torproject.org

• Computing
• Internet
• Information and communications technology
• Computer security software
• Dark web
• Internet security
• Computer security
• Tor
• Idle scan
• Internet privacy
• Great Firewall
• Proxy server

Statistical analysis of HTTPS reachability {matthew.roughan, simon.tuke}@adelaide.edu.au

Source URL: www.iepg.org

Reachability-Based Memory Accounting Adam Wick Matthew Flatt

Source URL: repository.readscheme.org