No photo of Pieter Collins

Pieter Collins

 https://orcid.org/0000-0002-8896-9603
19992023

Research activity per year

Filter
Conference article in proceeding

Search results

  • A computable and compositional semantics for hybrid automata

    Bresolin, D., Collins, P., Geretti, L., Segala, R., Villa, T. & Zivanovic Gonzalez, S., 2020, HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control. New York: The Association for Computing Machinery, p. 1-11 11 p. 18

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

    Open Access
    File
    84 Downloads (Pure)

  • Applying novel identication protocols to Markov models of INa

    Clerx, M., Collins, P. & Volders, P., 2015, COMPUTING IN CARDIOLOGY CONFERENCE. 2015. (CinC 2015): Proceedings of the 42nd Annual Conference on Computing in Cardiology. p. 889-892 4 p.

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

  • ARCH-COMP20 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Dit Sandretto, J. A., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Collins, P., Forets, M., Freire, D., Immler, F., Kochdumper, N., Sanders, D. P. & Schilling, C., 1 Jan 2020, ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20). Vol. 74. p. 49-75 27 p. (EPiC Series in Computing).

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

    Open Access
    File
    27 Downloads (Pure)

  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Alexandre dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Linares, U., Sanders, D. P., Schilling, C. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EPiC, Vol. 80. p. 32–54 (EPiC Series in Computing, Vol. 80).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic

    Open Access
    File
    88 Downloads (Pure)

  • ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Mitsch, S., Schilling, C. & Wetzlinger, M., 1 Jan 2022, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Vol. 90. p. 86-112 27 p. (EPiC Series in Computing).

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

    Open Access
    File
    47 Downloads (Pure)

  • Computability of the Behaviour of Impacting Systems Beyond Zeno Times

    Collins, P. & Konecny, M., 2022, IFAC PAPERSONLINE. 30 ed. Elsevier, Vol. 55. p. 85-90 6 p.

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

    Open Access

  • Explainable AI through the Learning of Arguments

    Bei, J., Pomerenke, D., Schreiner, L., Sharbaf, S., Collins, P. & Roos, N., 2021, Proceedings of BNAIC/BeneLearn 2021: 33rd Benelux Conference on Artificial Intelligence and the 30th Belgian Dutch Conference on Machine Learning BNAIC/BENELEARN. p. 241-255 15 p.

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

    Open Access
    File
    31 Downloads (Pure)

  • Monadic Systems

    Collins, P., 2022, IFAC PAPERSONLINE. 30 ed. Elsevier, Vol. 55. p. 486-491 6 p.

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

    Open Access

  • Semantics and computation of the evolution of hybrid systems with ariadne

    Collins, P., Bresolin, D., Gonzalez, S. Ž., Geretti, L. & Villa, T., 1 Jan 2017, 14th International Conference on Computability and Complexity in Analysis, CCA 2017 - Proceedings. KAIST School of Computing, p. 22-23 2 p.

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

    Open Access
    File
    10 Downloads (Pure)

  • Simultaneous Ensemble Generation and Hyperparameter Optimization for Regression

    Roschewitz, D., Driessens, K. & Collins, P., 2017, Artificial Intelligence: BNAIC 2017. Verheij, B. & Wiering, M. (eds.). Springer, Vol. 823. p. 116-130 (Communications in Computer and Information Science, Vol. 823).

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

    Open Access
    File
    63 Downloads (Pure)