Paul F. Hoogendijk
According to our database1,
Paul F. Hoogendijk
authored at least 14 papers
between 1991 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021
2017
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017
2009
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009
2003
Proceedings of the Generic Programming - Advanced Lectures, 2003
2000
Code Compaction Using Genetic Algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '00), 2000
1999
RAIRO Theor. Informatics Appl., 1999
1997
Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997
1996
1995
1994
Sci. Comput. Program., 1994
1993
Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993
1992
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992
1991
Polynomial Relators (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991