Skip navigation
LRA Home
Browse
Communities
& Collections
Browse Items by:
First published
Author
Title
Help
Sign on to:
My LRA
Receive email
updates
Edit Profile
Library
Leicester Research Archive
College of Science and Engineering
Search
Search:
All of LRA
College of Science and Engineering
Computer Science, Department of
Artefacts, Performances & Exhibitions, Dept. of Computer Science
Books & Book Chapters, Dept. of Computer Science
Compositions & Designs, Dept. of Computer Science
Computer Software, Dept. of Computer Science
Conference Papers & Presentations, Dept. of Computer Science
Other Items, Dept. of Computer Science
Patents, Dept. of Computer Science
Published Articles, Dept. of Computer Science
Reports, Dept. of Computer Science
Theses, Dept. of Computer Science
for
Full text only
Current filters:
Title
Author
Keyword
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Keyword
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 69 (Search time: 0.001 seconds).
previous
1
2
3
4
...
7
next
Item hits:
First Published
Title
Author(s)
Type
31-Jul-2012
Completeness for the coalgebraic cover modality
Kupke, Clemens
;
Kurz, Alexander
;
Venema, Yde
Journal Article
12-Sep-2012
Strongly complete logics for coalgebras
Kurz, Alexander
;
Rosicky, Jiri
Journal Article
Oct-2009
Computing the Structural Difference between State-Based Models
Bogdanov, Kirill
;
Walkinshaw, Neil
Conference Paper
Sep-2008
Evaluation and Comparison of Inferred Regular Grammars
Walkinshaw, Neil
;
Bogdanov, Kirill
;
Johnson, Ken
Conference Paper
Nov-2009
Incrementally Discovering Testable Specifications from Program Executions
Walkinshaw, Neil
;
Derrick, John
Conference Paper
Nov-2010
Increasing Functional Coverage by Inductive Testing: A Case Study
Walkinshaw, Neil
;
Bogdanov, Kirill
;
Derrick, John
;
Paris, Javier
Conference Paper
Nov-2009
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Walkinshaw, Neil
;
Derrick, John
;
Guo, Qiang
Conference Paper
1-Apr-2008
Converting to and from dilated integers
Raman, R
;
Wise, DS
Journal Article
1-Feb-2009
Generating priority rewrite systems for OSOS process languages
Ulidowski, I
;
Yuen, S
Journal Article
1-May-2003
Notions of automaticity in semigroups
Hoffmann, M
;
Thomas, RM
Journal Article
Filter
Author
3
CAMPBELL, CM
3
Derrick, John
3
Kurz, Alexander
3
Piterman, Nir
3
Raman, Rajeev
3
Ringert, Jan Oliver
3
ROBERTSON, EF
3
Ruskuc, N
2
Campbell, CM
2
Hong, Xin
.
< previous
next >
Keyword
56
Technology
50
Computer Science
24
Computer Science, Theory & Methods
18
Physical Sciences
17
Mathematics
12
Engineering
10
Engineering, Electrical & Electronic
9
Logic
9
Science & Technology - Other Topics
9
Theory & Methods
.
next >
Date issued
34
2010 - 2018
9
2000 - 2009
1
1998 - 1999