- Approximate fixed points in abstract interpretation Chris Hankin Sebastian Hunt Wed 12 March 2014
- Multiple specialization using minimal-function graph semantics Will Winsborough Wed 12 March 2014
- The derivation of an algorithm for program specialisation John Gallagher Maurice Bruynooghe Wed 12 March 2014
- Defining `subgender': Virile and devirilized nouns in Polish Dunstan Brown Wed 12 March 2014
- Temporal Reasoning for Procedural Programs Rajeev Alur Swarat Chaudhuri Tue 11 March 2014
- Synthesizing Software Verifiers from Proof Rules Sergey Grebenshchikov Nuno P. Lopes Corneliu Popeea Andrey Rybalchenko Tue 11 March 2014
- Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta Jyotirmoy V. Deshmukh E. Allen Emerson Tue 11 March 2014
- Repair of Boolean Programs with an Application to C Andreas Griesmayer Roderick Bloem Byron Cook Tue 11 March 2014
- Program Repair As a Game Barbara Jobstmann Andreas Griesmayer Roderick Bloem Tue 11 March 2014
- Second Competition on Software Verification Dirk Beyer Tue 11 March 2014
- muZ: An Efficient Engine for Fixed Points with Constraints Kryštof Hoder Nikolaj Bjørner Leonardo De Moura Tue 11 March 2014
- A Constraint-based Approach to Solving Games on Infinite Graphs Tewodros Beyene Swarat Chaudhuri Corneliu Popeea Andrey Rybalchenko Tue 11 March 2014
- Saturn: A Scalable Framework for Error Detection Using Boolean Satisfiability Yichen Xie Alex Aiken Tue 11 March 2014
- The SLAM Project: Debugging System Software via Static Analysis Thomas Ball Sriram K. Rajamani Tue 11 March 2014
- One-Counter Stochastic Games Tomáš Brázdil Václav Brożek Kousha Etessami Tue 11 March 2014
- Foldscope: Origami-based paper microscope James Cybulski James Clements Manu Prakash Tue 11 March 2014
- On the Complexity of Nash Equilibria and Other Fixed Points Kousha Etessami Mihalis Yannakakis Mon 10 March 2014
- A Swiss Pocket Knife for Computability Neil D. Jones Sat 08 March 2014
- A Proof System with Names for Modal Mu-calculus Colin Stirling Sat 08 March 2014
- A Comparison of Well-Quasi Orders on Trees Torben Æ. Mogensen Sat 08 March 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
