Agnes Madalinski Dr Victor Khomenko
| Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings | 2012 |
|
Agnes Madalinski Dr Victor Khomenko
| Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings | 2011 |
|
Agnes Madalinski Dr Victor Khomenko
| Diagnosability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings | 2010 |
|
Dr Victor Khomenko Agnes Madalinski Professor Alex Yakovlev
| Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings | 2008 |
|
Dr Peter Andras Robert Gwyther Agnes Madalinski Steve Lynden Dr Alina Andras et al. | Ecological network analysis: An application to the evaluation of effects of pesticide use in an agricultural environment | 2007 |
|
Agnes Madalinski Dr Victor Khomenko Professor Alex Yakovlev
| Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings | 2006 |
|
Dr Victor Khomenko Agnes Madalinski Professor Alex Yakovlev
| Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings | 2006 |
|
Dr Victor Khomenko Agnes Madalinski Professor Alex Yakovlev
| Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings | 2004 |
|
Agnes Madalinski Dr Alex Bystrov Dr Victor Khomenko Professor Alex Yakovlev
| Visualisation and resolution of encoding conflicts in asynchronous circuit design | 2003 |
|
Agnes Madalinski Dr Alex Bystrov Dr Victor Khomenko Professor Alex Yakovlev
| Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design | 2003 |
|
Agnes Madalinski Dr Alex Bystrov Professor Alex Yakovlev
| ICU: A tool for Identifying State Coding Conflicts using STG unfoldings | 2002 |
|
Agnes Madalinski Dr Alex Bystrov Professor Alex Yakovlev
| ICU: A tool for Identifying State Coding Conflicts using STG unfoldings | 2002 |
|
Agnes Madalinski Dr Alex Bystrov Professor Alex Yakovlev
| Visualisation of Coding Conflicts in Asynchronous Circuit Design | 2002 |
|
Agnes Madalinski Dr Fei Xia Professor Alex Yakovlev
| Relative Data Freshness of Asynchronous Communication Mechanisms | 2000 |
|
Agnes Madalinski Dr Alex Bystrov Professor Alex Yakovlev
| Statistical Fairness of Ordered Arbiters | 2000 |
|