[HTML][HTML] The association between neighbourhoods and educational achievement, a systematic review and meta-analysis
J Nieuwenhuis, P Hooimeijer - Journal of Housing and the Built …, 2016 - Springer
Many studies have examined the effects of neighbourhoods on educational outcomes. The
results of these studies are often conflicting, even if the same independent variables (such as …
results of these studies are often conflicting, even if the same independent variables (such as …
[PDF][PDF] Kwaliteit in meervoud
P Hooimeijer, H Kroon, J Luttik - … en operationalisering van …, 2001 - ruimtexmilieu.nl
Het doel van deze studie is om het begrip ruimtelijke kwaliteit te verhelderen in de context
van meervoudig ruimtegebruik. De studie levert een bijdrage aan de conceptualisering en …
van meervoudig ruimtegebruik. De studie levert een bijdrage aan de conceptualisering en …
Moving fast with software verification
C Calcagno, D Distefano, J Dubreil, D Gabi… - NASA Formal Methods …, 2015 - Springer
For organisations like Facebook, high quality software is important. However, the pace of
change and increasing complexity of modern code makes it difficult to produce error-free …
change and increasing complexity of modern code makes it difficult to produce error-free …
HAMPI: a solver for string constraints
Many automatic testing, analysis, and verification techniques for programs can be effectively
reduced to a constraint generation phase followed by a constraint-solving phase. This …
reduced to a constraint generation phase followed by a constraint-solving phase. This …
Residential relocations in the life course
CH Mulder, P Hooimeijer - Population issues: An interdisciplinary focus, 1999 - Springer
The life course perspective has proved to be a powerful instrument in developing a general
theoretical framework to interpret a variety of phenomena pertaining to residential relocation. …
theoretical framework to interpret a variety of phenomena pertaining to residential relocation. …
Modeling bug report quality
P Hooimeijer, W Weimer - Proceedings of the 22nd IEEE/ACM …, 2007 - dl.acm.org
Software developers spend a significant portion of their resources handling user-submitted
bug reports. For software that is widely deployed, the number of bug reports typically outstrips …
bug reports. For software that is widely deployed, the number of bug reports typically outstrips …
Residential experience and residential environment choice over the life-course
The study reported in this article answers the question: how does experience with a certain
type of residential environment contribute to the explanation of residential environment choice…
type of residential environment contribute to the explanation of residential environment choice…
Fast and precise sanitizer analysis with {BEK}
Web applications often use special string-manipulating sanitizers on untrusted user data, but
it is difficult to reason manually about the behavior of these functions, leading to errors. For …
it is difficult to reason manually about the behavior of these functions, leading to errors. For …
Symbolic finite state transducers: Algorithms and applications
Finite automata and finite transducers are used in a wide range of applications in software
engineering, from regular expressions to specification languages. We extend these classic …
engineering, from regular expressions to specification languages. We extend these classic …
Spatial analyses of the urban village development process in Shenzhen, China
Urban villages are widespread in many Chinese cities, providing affordable and accessible
housing for rural migrants. These urban villages develop rapidly over time to create more …
housing for rural migrants. These urban villages develop rapidly over time to create more …