Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems. - Paul Hennessey; Mohamed T. Ibrahim; Alexander M. Fedorec (DEXA, 1996)

Measuring the comprehensibility of Z specifications. - Kate Finney; Keith Rennolls; Alexander M. Fedorec (J. Syst. Softw., 1998)

Effects of structure on the comprehensivility of formal specifications. - Kate Finney; Norman E. Fenton; Alexander M. Fedorec (IEE Proc. Softw., 1999)

TREAT: A Reverse Engineering Method and Tool for Environmental Databases. - Mohamed T. Ibrahim; Alexander M. Fedorec; Keith Rennolls (DEXA, 2001)

Requirements and Design of an Integrated European Environmental Information Communication System (IEEICS). - Keith Rennolls; Tim Richards; Alexander M. Fedorec; Mohamed T. Ibrahim; Kevin McManus; Alun Butler (DEXA Workshops, 2004)

Models and Tools for an Integrated European Environmental Management and Decision Support System, (IEEMDSS). - Keith Rennolls; Tim Richards; Alexander M. Fedorec; Mohamed T. Ibrahim; Kevin McManus; Alun Butler (DEXA Workshops, 2004)

Events & Sightings. - Mary Croarken; Dorian James Rutter; Tony Mann; Alexander M. Fedorec; Brian A. Wichmann (IEEE Ann. Hist. Comput., 2004)

Towards a European Forest Information System. - Andreas Schuck; Tim Green; Gennady L. Andrienko; Natalia V. Andrienko; Alexander M. Fedorec; Aljoscha Requardt; Tim Richards; Roger Mills; Eero Mikkola; Risto Päivinen; Michael Köhl; Jesús San-Miguel-Ayanz (VSP, 2007)