Research output per year
Research output per year
Fingerprint
Dive into the research topics where C. Pronk is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Displaying Decimal Numbers
Pronk, C., 2022, In: Maxwell-periodiek der electrotechnische vereeniging. 25, 2, p. 18-22 5 p.Research output: Contribution to journal › Article › Professional
Open AccessFile56 Downloads (Pure) -
The Esiac-10 Algebraic Computer: A theoretical decomposition by the Historic Collection
Pronk, C. & Trimp, P. J., 2022, In: Maxwell-periodiek der electrotechnische vereeniging. 25, 3, p. 6-11Research output: Contribution to journal › Article › Professional
Open AccessFile27 Downloads (Pure) -
Measurements on (standard) Capacitors
Pronk, K. & Trimp, P., 2020, In: Maxwell-periodiek der electrotechnische vereeniging. 23, 3, p. 26 - 29 4 p.Research output: Contribution to journal › Article › Professional
-
Model Checking, the Technology and the Tools
Pronk, C., 2012, Control and Computer Tecnology in the Future Application. sn (ed.). Los Alamitos: IEEE, p. 1-2 2 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open Access2 Link opens in a new tab Citations (Scopus) -
EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax
Vos de, B., Kats, L. & Pronk, C., 2011, 18th International Workshop on Model Checking Software (SPIN). Groce, A. & Musuvathi, M. (eds.). Berlin: Springer, p. 177-182 6 p. (Lecture Notes in Computer Science; vol. 6823).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
4 Link opens in a new tab Citations (Scopus)
Activities
- 2 Talk or presentation at a workshop, seminar, course or other meeting
-
The Esiac-10 Algebraic Computer
Pronk, C. (Speaker)
4 Oct 2021Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
-
De Rekenmachine van Hammer
Pronk, K. (Speaker)
25 Nov 2019Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting