Gebruikersprofielen voor "Hooimeijer, P. "

Pieter Hooimeijer

- Geverifieerd e-mailadres voor uu.nl - Geciteerd door 4536

Pieter Hooimeijer

- Geverifieerd e-mailadres voor virginia.edu - Geciteerd door 2287

[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 …

[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 …

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 …

HAMPI: a solver for string constraints

A Kiezun, V Ganesh, PJ Guo, P Hooimeijer… - Proceedings of the …, 2009 - dl.acm.org
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 …

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. …

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 …

Residential experience and residential environment choice over the life-course

P Feijten, P Hooimeijer, CH Mulder - Urban studies, 2008 - journals.sagepub.com
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…

Fast and precise sanitizer analysis with {BEK}

P Hooimeijer, B Livshits, D Molnar, P Saxena… - 20th USENIX Security …, 2011 - usenix.org
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 …

Symbolic finite state transducers: Algorithms and applications

M Veanes, P Hooimeijer, B Livshits, D Molnar… - Proceedings of the 39th …, 2012 - dl.acm.org
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 …

Spatial analyses of the urban village development process in Shenzhen, China

P Hao, S Geertman, P Hooimeijer… - International Journal of …, 2013 - Wiley Online Library
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 …