computer science

• PROSPECTIVE STUDENTS
• BSc
• MSc
• MPhil/PhD

• FOR EXISTING
• STUDENTS
• STAFF
• ALUMNI

• ABOUT
• PUBLICATIONS
• RESEARCH
• INDUSTRY
• EVENTS
• PEOPLE

Publications

• Members of staff keep their own list of papers; please refer to their individual webpages.

 

• Details of Technical Reports are available for:

  • 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, and 2010

 

• Below we list some of the books/journals that members of staff have authored or edited.
  

Roy Crole is the author of this well known book on Categories for Types published by Cambridge University Press in 1994.

J.L.Fiadeiro has published this book on Category Theory with Springer in 2004.





This volume of Springer's LNCS series was edited R. Möhring and R. Raman with papers from the 10th Annual European Symposium on Algorithms 2002.

J.L.Fiadeiro is a co-author of this book on Software Design published by Palgrave McMillan in 2002.





J.L.Fiadeiro is one of the editors of his volume of Springer's LNCS series, which contains selected papers from the 2004 Workshop on Algebraic Development Techniques.

This volume of Springer's LNCS series was edited by J.L.Fiadeiro and contains selected papers from the 1998 Workshop on Algebraic Development Techniques.






Rick Thomas is co-editor with M. Z. Kwiatkowska and M. W. Shields of the proceedings of this international BCS-FACS Workshop, published by Springer-Verlag in 1990.

Rick Thomas is co-editor with D. J. Andrews, D. Blyth, C. Boldyreff, D. Duce, P. Hall, R. Neely, C. L. N. Ruggles, N. Tetteh-Lartey and A. Wrightson of this report from the BCS Working Group, published by Springer-Verlag in 1990.

 

J. L. Fiadeiro was co-editor with J. P. Bahsoun and D. Galmiche of this special issue of Mathematical Structures in Computer Science (vol 9(3), 1999) on Proof Theory of Concurrent Object-Oriented Programming.

J. L. Fiadeiro was the editor of this special issue of Theoretical Computer Science (vol 286(2), 2002) on Algebraic Development Techniques.

J. L. Fiadeiro was co-editor with J.Madey and A.Tarlecki of this special issue of Information processing Letters dedicated to the 65th birthday of Wlad Turski (vol 88, 1-2, October 17, 2003).

 

S. Reiff-Marganiec and M. D. Ryan (eds). Feature Interactions in Telecommunications and Software Systems VIII. IOS Press, June 2005. ISBN 1-58603-524-X.

M. D. Ryan and S. Reiff-Marganiec(eds). Feature Interaction. Special Issue of Computer Networks. Volume 51, Issue 2, Pages 357-558, 7 February 2007.

M. Nakamura and S. Reiff-Marganiec (eds). Feature Interactions in Software and Communications Systems. IOS Press, June 2009. ISBN 978-1-60750-014-8.

 

Combinatorial Algorithms

Rajeev Raman is co-editor with R. J. Simpson of the Proceedings of Tenth Australasian Workshop on Combinatorial Algorithms, published by Curtin University Press in 1999.

 

• Members of our staff belong to the following editorial boards and welcome your own submissions!
  

R. Raman is Associate Managing Director of the Journal of Discrete Algorithms.		J.L.Fiadeiro is on the editorial board of Information Processing Letters, a journal published by Elsevier for short papers only (max 9 pages) but ensuring a very short decision delay. Electronic submissions (pdf preferred) are strongly encouraged.		J.L.Fiadeiro is on the editorial board of the Journal of the Brazilian Computer Society. Submissions are in English please!

 

Rick Thomas is on the editorial board of Groups, Complexity and Cryptology, a journal published by de Gruyter. This is a journal for the speedy publication of articles in the areas of combinatorial and computational group theory, complexity theory, and cryptology. See here for further details.		Rick Thomas is on the editorial board of Groups, Complexity and Cryptology, a journal published by de Gruyter. This is a journal for the speedy publication of articles in the areas of combinatorial and computational group theory, complexity theory, and cryptology. See here for further details.

 

Author: Webmaster (webmaster@mcs.le.ac.uk).
© University of Leicester. Last modified: Wed 05 May 2010.
CS Web Maintainer. This document has been approved by the Head of Department.