Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Agnes Madalinski.

Newcastle AuthorsTitleYearFull text
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
Agnes Madalinski
Dr Alex Bystrov
Professor Alex Yakovlev
ICU: A tool for Identifying State Coding Conflicts using STG unfoldings2002
Agnes Madalinski
Dr Alex Bystrov
Professor Alex Yakovlev
ICU: A tool for Identifying State Coding Conflicts using STG unfoldings2002
Agnes Madalinski
Dr Alex Bystrov
Professor Alex Yakovlev
Visualisation of Coding Conflicts in Asynchronous Circuit Design2002
Agnes Madalinski
Dr Fei Xia
Professor Alex Yakovlev
Relative Data Freshness of Asynchronous Communication Mechanisms2000
Agnes Madalinski
Dr Alex Bystrov
Professor Alex Yakovlev
Statistical Fairness of Ordered Arbiters2000