Articles in Scholarly Journals [Incomplete List]

1. Algorithm for NO$_2$Vertical Column Retrieval From the Ozone Monitoring Instrument
   IEEE Transactions on Geoscience and Remote Sensing, vol. 44, no. 5, pp. 1245–1258, 2006
2. Total Ozone From the Ozone Monitoring Instrument (OMI) Using the DOAS Technique
   IEEE Transactions on Geoscience and Remote Sensing, vol. 44, no. 5, pp. 1239–1244, 2006
3. Guest Editorial Design, Implementation, and Analysis of Communication Protocols
   IEEE Journal on Selected Areas in Communications, vol. 22, no. 10, pp. 1917–1919, 2004
4. Managing the verification trajectory
   International Journal on Software Tools for Technology Transfer (STTT), vol. 4, no. 2, pp. 246–259, 2003
5. International Journal on Software Tools for Technology Transfer, vol. 4, no. 1, pp. 21–33, 2002
6. Design of a PLC Control Program for a Batch Plant VHS Case Study
   European Journal of Control, vol. 7, no. 4, pp. 416–439, 2001
7. Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997
   IEEE Transactions on Software Engineering, vol. 26, no. 7, pp. 577–578, 2000
8. Cache consistency by design
   Distributed Computing, vol. 12, no. 2-3, pp. 61–74, 1999
9. Partial order models for quantitative extensions of LOTOS
   Computer Networks and ISDN Systems, vol. 30, no. 9-10, pp. 925–950, 1998
10. Formal Methods in System Design, vol. 12, no. 2, pp. 189–216, 1998
11. Specification styles in distributed systems design and verification
    Theoretical Computer Science, vol. 89, no. 1, pp. 179–206, 1991
12. Introduction to the ISO specification language LOTOS
    Computer Networks and ISDN Systems, vol. 14, no. 1, pp. 25–59, 1987