Skip to content

Paul F. Hoogendijk

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

4

Active years

1992–2017

Best venue rank

C

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2017FMICSFormalising the Dezyne Modelling Language in mCRL2.Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse
2009ICFPMeeting a fanclub: a lattice of generic shape selectors.Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk
2000GECCOCode Compaction Using Genetic Algorithms.Keith E. Mathias, Larry J. Eshelman, J. David Schaffer, Lex Augusteijn, Paul F. Hoogendijk, Rik van de Wiel
1992MPC(Relational) Programming Laws in the Boom Hierarchy of Types.Paul F. Hoogendijk