No photo of Wouter Kuijper

Wouter Kuijper

drs.

Calculated based on number of publications stored in Pure and citations from Scopus
20092012

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Wouter Kuijper is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint
  • 2 Conference contribution
  • 1 PhD Thesis - Research UT, graduation UT

  • Compositional Synthesis of Safety Controllers

    Kuijper, W., 7 Dec 2012, Enschede: University of Twente. 184 p.

    Research output: Thesis › PhD Thesis - Research UT, graduation UT

    Open Access
    File
    181 Downloads (Pure)

  • Compositional Control Synthesis for Partially Observable Systems

    Kuijper, W. & van de Pol, J. C., Sept 2009, CONCUR 2009 - Concurrency Theory. Bravetti, M. & Zavattaro, G. (eds.). Berlin / Heidelberg: Springer, p. 431-447 17 p. 10.1007/978-3-642-04081-8_29. (Lecture Notes in Computer Science; vol. 5710).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    8 Citations (Scopus)
    170 Downloads (Pure)

  • Computing Weakest Strategies for Safety Games of Imperfect Information

    Kuijper, W. & van de Pol, J., Mar 2009, Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings. Kowalewski, S. & Philippou, A. (eds.). Berlin, Heidelberg: Springer, p. 92-106 15 p. (Lecture Notes in Computer Science; vol. 5505)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    122 Downloads (Pure)