Publications

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

Below we list some of the books and journal special issues that members of staff have authored or edited.


Categories for Types, by Roy Crole Roy Crole is the author of this well known book on Categories for Types published by Cambridge University Press in 1994.
Algorithms - ESA 2002, ed. by R. Möhring and R. Raman 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.
Recent Trends in Algebraic Development Techniques, ed. by J. L. Fiadeiro, P.Mosses and F. Orejas 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.
Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (Workshops in Computing), ed. by M. Z. Kwiatkowska, M. W. Shields, and R. M. Thomas 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.
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.
Feature Interactions in Telecommunications and Software Systems VIII, ed. by S. Reiff-Marganiec and M.D. Ryan 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.
Categories for Software Engineering by J. L. Fiaderio J. L. Fiadeiro has published this book on Category Theory with Springer in 2004.
Software Design Using Java 2, by Kevin Lano, Jose Luiz Fiadeiro, and Luis Filipe De Andrade J.L.Fiadeiro is a co-author of this book on Software Design published by Palgrave McMillan in 2002.
Recent Trends in Algebraic Development Techniques, ed. by J. L. Fiadeiro 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.
Formal Methods in Standards: A Report from the BCS Working Group, ed. by Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff, David Duce, Patrick Hall, Robert Neely, Clive Ruggles, Nik Tetteh-Lartey, Rick Thomas, Ann Wrightson Report from the BCS Working Group, published by Springer-Verlag in 1990.
Theoretical Computer Science, ed. by J. L. Fiadeiro J. L. Fiadeiro was the editor of this special issue of Theoretical Computer Science (vol 286(2), 2002) on Algebraic Development Techniques.
Information Processing Letters, ed. by J. L. Fiadeiro 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).
Feature interaction in policies, ed. by M. D. Ryan and S. Reiff-Marganiec Feature Interaction. Special Issue of Computer Networks. Volume 51, Issue 2, Pages 357-558, 7 February 2007.
Feature Interactions in Software and Communication Systems X, ed. by M. Nakamura and S. Reiff-Marganiec Feature Interactions in Software and Communications Systems. IOS Press, June 2009. ISBN 978-1-60750-014-8.

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

Algorithms - ESA 2002, ed. by R. Möhring and R. Raman

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.

Recent Trends in Algebraic Development Techniques, ed. by J. L. Fiadeiro, P.Mosses and F. Orejas

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.

Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (Workshops in Computing), ed. by M. Z. Kwiatkowska, M. W. Shields, and R. M. Thomas

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.

proof theory 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.

Feature Interactions in Telecommunications and Software Systems VIII, ed. by S. Reiff-Marganiec and M.D. Ryan

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.

Categories for Software Engineering by J. L. Fiaderio

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

Software Design Using Java 2, by Kevin Lano, Jose Luiz Fiadeiro, and Luis Filipe De Andrade

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

Recent Trends in Algebraic Development Techniques, ed. by J. L. Fiadeiro

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.

Formal Methods in Standards: A Report from the BCS Working Group, ed. by Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff, David Duce, Patrick Hall, Robert Neely, Clive Ruggles, Nik Tetteh-Lartey, Rick Thomas, Ann Wrightson

Report from the BCS Working Group, published by Springer-Verlag in 1990.

Theoretical Computer Science, ed. by J. L. Fiadeiro

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

Information Processing Letters, ed. by J. L. Fiadeiro

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).

Feature interaction in policies, ed. by M. D. Ryan and S. Reiff-Marganiec