Journals

1. P. America and F.S. de Boer.
   Proving total correctness of recursive procedures.
   Information and Computation, Vol. 84, No. 2, 1990.

2. F.S. de Boer.
   Compositionality in the temporal logic of concurrent systems.
   Future Generation Computer Systems 6, North-Holland, pages 287-299, 1990.

3. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten.
   Semantic models for concurrent logic languages.
   Theoretical Computer Science, Vol. 86, No. 1, pages 3-34, 1991.

4. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten.
   From failure to success: comparing a denotational and a declarative semantics for Horn Clause Logic.
   Theoretical Computer Science, Vol. 101, pages 239-263, 1992.

5. P. America and F.S. de Boer.
   Reasoning about dynamically evolving process structures.
   Formal Aspects of Computing. Vol. 6, No. 3, 1994.

6. F.S. de Boer and C. Palamidessi.
   Embedding as a tool for language comparison.
   Information and Computation, Vol. 108, No. 1, 1994.

7. F.S. de Boer, A. Di Pierro, and C. Palamidessi.
   Non-determinism and infinite computation in constraint programming.
   Theoretical Computer Science, Vol. 151, pages 37-78, 1995.

8. F.S. de Boer, A. Di Pierro, and C. Palamidessi.
   An algebraic perspective of constraint logic programming.
   Journal of Logic and Computation, Vol 7, Nr. 1, 1997.

9. F.S. de Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi.
   Proving concurrent constraint programs correct.
   Journal of ACM TOPLAS, Vol. 19, No. 5, 1997.

10. K.V. Hindriks, F.S. de Boer, W. van der Hoek, J.-J. Ch. Meyer.
    Agent programming in 3APL.
    Autonomous Agents and Multi-Agent Systems, Vol. 2, 1999.

11. F.S. de Boer, M. Gabbrielli, and M.C. Meo.
    A timed concurrent constraint language.
    Information and Computation, Vol. 161, 2000.

12. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer.
    On Dynamically Generated Ontology Translators in Agent Communication.
    International Journal of Intelligent Systems, Vol. 16, Issue 5, 2001.

13. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer.
    Modal Logic with Bounded Quantification over Worlds.
    Journal of Logic and Computation; Special Issue on Hybrid Logics, 2001.

14. J.-J. Ch. Meyer, F.S. de Boer, R.M. van Eijk, K.V. Hindriks, and W. van der Hoek,
    On Programming KARO Agents.
    Logic Journal of the IGPL 9 (2), 2001, pp. 245-256.

15. F.S. de Boer.
    A Hoare logic for dynamic networks of asychronously communicating deterministic processes.
    Theoretical Computer Science, Vol. 274, no.1-2, 2002.

16. R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer.
    A verification framework for agent communication.
    Autonomous Agents and Multi-Agent Systems, Vol. 6, No. 2, pp. 185-219, 2003.

17. F.S. de Boer, R.M. van Eijk, W. van der Hoek, and J.-J.Ch. Meyer.
    A fully-abstract model for the exchange of information in multi-agent systems.
    Theoretical Computer Science, Vol. 290, no. 3, 2003.

18. F.S. de Boer, M. Gabbrielli, M. C. Meo.
    Proving Correctness of Timed Concurrent Constraint Pograms.
    ACM Transactions on Computational Logic (TOCL), Vol. 5, Nr. 4, 2004.

19. F.S. de Boer, M. Gabbrielli, M. C. Meo.
    A Timed Linda Language and its Denotational Semantics.
    Fundamenta Informaticae, Vol. 63, Nr. 4, 2004.

20. M. Sirjani, A. Movaghar, A. Shali, and F.S. de Boer.
    Modeling and Verification of Reactive Systems using Rebeca.
    Fundamenta Informaticae, Vol. 63, Nr. 4, 2004.

21. M. B. van Riemsdijk, J.-J. Ch. Meyer, and F.S. de Boer.
    Semantics of Plan Revision in Intelligent Agents.
    Theoretical Computer Science, 2005. To appear.

22. E. Abraham, F.S. de Boer, W.P. de Roever, and M. Steffen.
    An assertion-based proof system for mutithreaded Java.
    Theoretical Computer Science, Vol. 331, 2005.

23. C. Pierik and F.S. de Boer.
    A proof outline logic for object-oriented programming.
    Theoretical Computer Science, Vol. 343, Nr. 3, 2005.

24. J.V. Guillen-Scholten, F. Arbab, F. S. de Boer, and M. M. Bonsangue.
    A Component Coordination Model Based on Mobile Channels.
    Fundamenta Informaticae, IOS Press, vol. 72, pp. 1-22, 2006.