| ApproxSymate: path sensitive program approximation using symbolic execution | 0 | 0.34 | 2019 |
| Computing end-to-end delays in stream query processing | 0 | 0.34 | 2015 |
| Comparing Weakest Precondition and Weakest Liberal Precondition | 0 | 0.34 | 2015 |
| Curracurrong: a stream programming environment for wireless sensor networks. | 3 | 0.40 | 2014 |
| Path-Sensitive backward slicing | 7 | 0.44 | 2012 |
| Migrating operator placement for compositional stream graphs | 0 | 0.34 | 2012 |
| TRACER: a symbolic execution tool for verification | 46 | 1.23 | 2012 |
| Symbolic Execution for Verification | 2 | 0.36 | 2011 |
| Unbounded symbolic execution for program verification | 14 | 0.61 | 2011 |
| Abstraction learning | 0 | 0.34 | 2010 |
| Recursive Abstractions for Parameterized Systems | 3 | 0.39 | 2009 |
| An Interpolation Method for CLP Traversal | 30 | 1.01 | 2009 |
| A Coinduction Rule for Entailment of Recursively Defined Properties | 4 | 0.43 | 2008 |
| Efficient memoization for dynamic programming with ad-hoc constraints | 12 | 1.02 | 2008 |
| A Framework for Separation of Concerns in Concurrent Programming | 1 | 0.36 | 2007 |
| A CLP method for compositional and intermittent predicate abstraction | 1 | 0.53 | 2006 |
| A Constraint-Based Framework for Concurrent and Distributed Programming | 0 | 0.34 | 2006 |
| Formal Verification of Concurrent and Distributed Constraint-Based Java Programs | 0 | 0.34 | 2005 |
| Concurrent and distributed programming using constraint logic programs | 0 | 0.34 | 2004 |
| A CLP proof method for timed automata | 14 | 0.81 | 2004 |
| Scalable Distributed Depth-First Search with Greedy Work Stealing | 9 | 0.69 | 2004 |
| A Methodology for Concurrent and Distributed Java Applications | 0 | 0.34 | 2003 |
| Distributed Programming Using Constraint Logic Programs | 0 | 0.34 | 2002 |
| A Meeting Scheduling System Based on Open Constraint Programming | 0 | 0.34 | 2002 |
| Event Logic Programming | 0 | 0.34 | 2001 |
| Reactive Web Agents with Open Constraint Programming | 0 | 0.34 | 2001 |
| A Declarative Approach to Concurrency in Java | 0 | 0.34 | 2000 |
| Implementing Declarative Concurrency in Java | 0 | 0.34 | 2000 |
