1. Library
  2. Leicester Research Archive
  3. College of Science and Engineering

Search


 
Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 69 (Search time: 0.001 seconds).
Item hits:
First PublishedTitleAuthor(s)Type
31-Jul-2012Completeness for the coalgebraic cover modalityKupke, Clemens; Kurz, Alexander; Venema, YdeJournal Article
12-Sep-2012Strongly complete logics for coalgebrasKurz, Alexander; Rosicky, JiriJournal Article
Oct-2009Computing the Structural Difference between State-Based ModelsBogdanov, Kirill; Walkinshaw, NeilConference Paper
Sep-2008Evaluation and Comparison of Inferred Regular GrammarsWalkinshaw, Neil; Bogdanov, Kirill; Johnson, KenConference Paper
Nov-2009Incrementally Discovering Testable Specifications from Program ExecutionsWalkinshaw, Neil; Derrick, JohnConference Paper
Nov-2010Increasing Functional Coverage by Inductive Testing: A Case StudyWalkinshaw, Neil; Bogdanov, Kirill; Derrick, John; Paris, JavierConference Paper
Nov-2009Iterative Refinement of Reverse-Engineered Models by Model-Based TestingWalkinshaw, Neil; Derrick, John; Guo, QiangConference Paper
1-Apr-2008Converting to and from dilated integersRaman, R; Wise, DSJournal Article
1-Feb-2009Generating priority rewrite systems for OSOS process languagesUlidowski, I; Yuen, SJournal Article
1-May-2003Notions of automaticity in semigroupsHoffmann, M; Thomas, RMJournal Article

Filter