Browsing publications by Agnes Madalinski

Newcastle AuthorsTitleYear
Agnes Madalinski
Dr Victor Khomenko
Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings2012
Agnes Madalinski
Dr Victor Khomenko
Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings2011
Agnes Madalinski
Dr Victor Khomenko
Diagnosability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings2010
Dr Victor Khomenko
Agnes Madalinski
Professor Alex Yakovlev
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings2008
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 environment2007
Agnes Madalinski
Dr Victor Khomenko
Professor Alex Yakovlev
Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings2006
Dr Victor Khomenko
Agnes Madalinski
Professor Alex Yakovlev
Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings2006
Dr Victor Khomenko
Agnes Madalinski
Professor Alex Yakovlev
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings2004
Agnes Madalinski
Dr Alex Bystrov
Dr Victor Khomenko
Professor Alex Yakovlev
Visualisation and resolution of encoding conflicts in asynchronous circuit design2003
Agnes Madalinski
Dr Alex Bystrov
Dr Victor Khomenko
Professor Alex Yakovlev
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design2003
12