Pieter Cuijpers

Identifiers

• name variant Pieter Cuijpers 0.60 · backfill

Papers (2)

1. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications cs.LO · 2009 · author #4
2. Design of asynchronous supervisors cs.LO · 2009 · author #2

Mentions

• 0912.2128 #4 · backfill · confidence 0.70 Pieter Cuijpers
• 0910.0868 #2 · backfill · confidence 0.70 Pieter Cuijpers

Frequent Coauthors

• Annabelle McIver 1 shared papers
• Caroll Morgan 1 shared papers
• Harsh Beohar 1 shared papers
• Jasen Markovski 1 shared papers
• Jos Baeten 1 shared papers
• Manuel N\'u\~nez 1 shared papers
• Pedro D'Argenio 1 shared papers
• Suzana Andova 1 shared papers