Search the dblp DataBase
Cees Pierik: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Cees Pierik, Frank S. de Boer
Modularity and the Rule of Adaptation. [Citation Graph (0, 0)][DBLP]
AMAST, 2004, pp:394-408 [Conf] - Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer
Coordinating Agents in OO. [Citation Graph (0, 0)][DBLP]
Objects, Agents, and Features, 2003, pp:8-25 [Conf] - Cees Pierik, Dave Clarke, Frank S. de Boer
Controlling Object Allocation Using Creation Guards. [Citation Graph (0, 0)][DBLP]
FM, 2005, pp:59-74 [Conf] - Frank S. de Boer, Cees Pierik
How to Cook a Complete Hoare Logic for Your Pet OO Language. [Citation Graph (0, 0)][DBLP]
FMCO, 2003, pp:111-133 [Conf] - Frank S. de Boer, Cees Pierik
Computer-aided Specification and Verification of Annotated Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
FMOODS, 2002, pp:163-177 [Conf] - Cees Pierik, Frank S. de Boer
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. [Citation Graph (0, 0)][DBLP]
FMOODS, 2003, pp:64-78 [Conf] - Cees Pierik, Frank S. de Boer
A proof outline logic for object-oriented programming. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2005, v:343, n:3, pp:413-442 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002