Publications

Some of recent publications can be found in the Leicester Research Archive. Members of staff also 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.

CALCO2013Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, ed. by Reiko Heckel and Stefan Milius

Lecture Notes in Computer Science 8089, Springer 2013, ISBN 978-3-642-40205-0

WAOA2012Approximation and Online Algorithms - 10th International Workshop, WAOA 2012, ed. by Thomas Erlebach and Giuseppe Persiano

Lecture Notes in Computer Science 7846, Springer 2013, ISBN 978-3-642-38015-0

ALGOSENSORS2011

Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS 2011), ed. by Thomas Erlebach, Sotiris E. Nikoletseas, and Pekka Orponen

LNCS 7111, Springer, 2012.

ATMOS2010Proceedings of the 10th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2010), ed. by Thomas Erlebach and Marco Lübbecke

Dagstuhl OpenAccess Series in Informatics (OASIcs), Vol. 14, 2010.

Feature Interactions in Software and Communications SystemsFeature 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.

computer networks 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.

ESA2006Algorithms - ESA 2006, 14th Annual European Symposium, ed. by Yossi Azar and Thomas Erlebach

Lecture Notes in Computer Science 4168, Springer 2006, ISBN 3-540-38875-3

Network AnalysisNetwork Analysis: Methodological Foundations, ed. by Ulrik Brandes and Thomas Erlebach

Lecture Notes in Computer Science 3418, Springer 2005, ISBN 3-540-24979-6.

Feature Interactions in Telecommunications and Software SystemsFeature 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.

Category TheoryCategories for Software Engineering by J. L. Fiaderio

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

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

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

information processing lettersInformation 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).

LNCS seriesAlgorithms - 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.

Theoretical computer science.jpgTheoretical 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.

software design using java 2.jpgSoftware 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.

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

Algebraic Development TechniquesRecent 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.

Categories for typesCategories 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.

semantics for concurrencySemantics 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.

formal methods in standards.jpgFormal 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.

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc  seadmissions@le.ac.uk
E: MSc  pgadmissions@le.ac.uk

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604
E: csadmin@mcs.le.ac.uk

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom

Accessibility

DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.