| The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. | 0 | 0.34 | 2019 |
| An Abstract Interpretation Framework for Input Data Usage. | 0 | 0.34 | 2018 |
| Modular Product Programs. | 0 | 0.34 | 2018 |
| Automating Deductive Verification for Weak-Memory Programs. | 0 | 0.34 | 2018 |
| Precise Version Control of Trees with Line-Based Version Control Systems. | 0 | 0.34 | 2017 |
| Web Based Service for Embedded Devices | 12 | 1.06 | 2002 |
| On the Collineation Group of Cyclic Planes. | 0 | 0.34 | 1994 |
