Pieter Bos

According to our database, Pieter Bos authored at least 5 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The VerCors Verifier: A Progress Report.

Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2020

Context Matters: The Effect of Textual Tone on the Evaluation of Mediated Social Touch.

Sima Ipakchian Askari, Antal Haans, Pieter Bos, Maureen Eggink, Emily Mengfei Lu, Fenella Kwong, Wijnand A. IJsselsteijn

Proceedings of the Haptics: Science, Technology, Applications, 2020

2008

Temporal interaction between an artificial orchestra conductor and human musicians.

Dennis Reidsma, Anton Nijholt, Pieter Bos

Comput. Entertain., 2008

2006

Towards Bi-directional Dancing Interaction.

Dennis Reidsma, Herwin van Welbergen, Ronald Poppe, Pieter Bos, Anton Nijholt

Proceedings of the Entertainment Computing, 2006

Interacting with a Virtual Conductor.

Pieter Bos, Dennis Reidsma, Zsófia Ruttkay, Anton Nijholt

Proceedings of the Entertainment Computing, 2006