Search the dblp DataBase
Ian Bayley: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Ian Bayley, Sam Shiel
JVM Bytecode Verification Without Dataflow Analysis. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:203-220 [Journal] - Sam Shiel, Ian Bayley
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:35-52 [Journal] - Clare E. Martin, Jeremy Gibbons, Ian Bayley
Disciplined, efficient, generalised folds for nested datatypes. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 2004, v:16, n:1, pp:19-35 [Journal]
Specifying Behavioural Features of Design Patterns in First Order Logic. [Citation Graph (, )][DBLP]
Tool Support for Design Pattern Recognition at Model Level. [Citation Graph (, )][DBLP]
On the Composition of Design Patterns. [Citation Graph (, )][DBLP]
Formalising Design Patterns in Predicate Logic. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002