Alexander Wenner
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Using dynamic pushdown networks to automate a modular information-flow analysis Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
| Weighted dynamic pushdown networks | 2012-09-28 | Paper |
| Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation Lecture Notes in Computer Science | 2011-02-15 | Paper |
| Weighted dynamic pushdown networks Programming Languages and Systems | 2010-05-04 | Paper |
| Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints Computer Aided Verification | 2009-06-30 | Paper |
Research outcomes over time
This page was built for person: Alexander Wenner
