Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden

Source URL: www.nada.kth.se

ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden

Source URL: www.nada.kth.se

The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona

Source URL: proval.lri.fr

Program Models for Compositional Verification Marieke Huisman1 , Irem Aktug2 , and Dilian Gurov2 2 1 INRIA Sophia Antipolis, France

Source URL: www.nada.kth.se

THE EMERGENCE OF PROPORTIONAL REASONING FROM EMBODIED INTERACTION WITH A TABLET APPLICATION: AN EYETRACKING STUDY Shakila Shayan1, Dor Abrahamson2, Arthur Bakker1, Carolien Duijzer1, Marieke van der Schaaf1 1

Source URL: ccl.northwestern.edu

Neighbourhood Index of Socio–Economic Position and its Association with Deprivation and Mortality: The Swiss National Cohort Radoslaw Panczak, Bruna Galobardes, Adrian Spoerri, Marieke Voorpostel, Marcel Zwahlen, Matth

Source URL: sph11.organizers-congress.ch

Marten van den Berg1, Marieke Niemeijer2, Peter Rijnbeek1, Mark Eijgelsheim2,3 , Bruno Stricker2,3,4  and Jan Kors1  1) Department of Medical Informatics, Erasmus MC – University Medical Cente

Source URL: www.malt-meeting.net

Disagreements among cohabiting and married couples in 23 European countries Tanja van der Lippe (Utrecht University) Marieke Voorpostel (FORS, Lausanne) Belinda Hewitt (University of Queensland)

Source URL: www.pairfam.de

• Personal life
• Behavior
• Human behavior
• Intimate relationships
• Family
• Cohabitation
• Criticism of marriage
• Interpersonal relationships
• Divorce
• Woman
• Gender role

Infants’ use of phonological detail during foreign-accented word recognition Marieke van Heugten1*, Dena Krieger2, Melissa Paquette-Smith2, & Elizabeth K. Johnson2 1 University at Buffalo, State University of New York;

Source URL: labphon.org

• Linguistics
• Phonology
• Human communication
• Cognitive science
• Accent perception
• Accent
• Memory
• American English
• Van Heugten

Phonological emergence in Dutch: Relating perception and production in contact-induced change Alexander Martin1, Marieke van Heugten2, René Kager3, Sharon Peperkamp1

Source URL: labphon.org

• Epistemology
• Cognitive science
• Neuroscience
• G
• Perception