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

Research Output

  • 14 Article
  • 4 Conference article in proceeding
  • 2 Chapter
  • 1 Doctoral Thesis
2020

Computable analysis with applications to dynamic systems

Collins, P., Feb 2020, In : Mathematical Structures in Computer Science. 30, 2, p. 173-233 61 p., 096012952000002.

Research output: Contribution to journalArticleAcademicpeer-review

Heterogeneous Domain Adaptation for IHC Classification of Breast Cancer Subtypes

Ismailoglu, F., Cavill, R., Smirnov, E., Zhou, S., Collins, P. & Peeters, R., Feb 2020, In : IEEE/ACM Transactions on Computational Biology and Bioinformatics. 17, 1, p. 347-353 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

2019

Graph duality in surface dynamics

Collins, P. & Mitchell, K., Oct 2019, In : Journal of Nonlinear Science. 29, 5, p. 2103-2135 33 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Rigorous Continuous Evolution of Uncertain Systems

Geretti, L., Zivanovic Gonzalez, S., Collins, P., Bresolin, D. & Villa, T., 2019, Numerical Software Verification. NSV 2019: International Workshop on Numerical Software Verification. Zamani, M. & Zufferey, D. (eds.). Springer, Vol. 11652. p. 60-75 (Lecture Notes in Computer Science, Vol. 11652).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

2018

Heterogeneous Domain Adaptation Based on Class Decomposition Schemes

Ismailoglu, F., Smirnov, E., Peeters, R., Zhou, S. & Collins, P., 19 Jun 2018, Advances in Knowledge Discovery and Data Mining: PAKDD 2018. Phung, D., Tseng, V., Webb, G., Ho, B., Ganji, M. & Rashidi, L. (eds.). Cham: Springer, p. 169-182 (Lecture Notes in Computer Science, Vol. 10937).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Predicting changes to I-Na from missense mutations in human SCN5A

Clerx, M., Heijman, J., Collins, P. & Volders, P. G. A., 24 Aug 2018, In : Scientific Reports. 8, 1, 13 p., 12797.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
2017

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

Geretti, L., Bresolin, D., Collins, P., Zivanovic Gonzalez, S. & Villa, T., 2017, IFIP International Conference on Testing Software and Systems. Springer, p. 313-319 (Lecture Notes in Computer Science, Vol. 10533).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

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 proceedingConference article in proceedingAcademicpeer-review

2016

Model checking dynamical systems

Collins, P., Sep 2016, In : Nieuw archief voor Wiskunde. 5/17, 3, p. 214-220

Research output: Contribution to journalArticlePopular

Myokit: A simple interface to cardiac cellular electrophysiology

Clerx, M., Collins, P., de lange, E. & Volders, P. G. A., Jan 2016, In : Progress in Biophysics & Molecular Biology. 120, 1-3, p. 100-114

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
2015

An Introduction to the Verification of Hybrid Systems Using Ariadne

Bresolin, D., Geretti, L., Villa, T. & Collins, P., 2015, Coordination Control of Distributed Systems. Vol. 75. p. 339-346 8 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Computing Reachable Sets of Differential Inclusions

Gonzalez, S. Z. & Collins, P., 2015, Coordination Control of Distributed Systems. Springer, p. 357-365 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2014

Assume-guarantee verification of nonlinear hybrid systems with Ariadne

Benvenuti, L., Bresolin, D., Collins, P., Ferrari, A., Geretti, L. & Villa, T., Mar 2014, In : International Journal of Robust and Nonlinear Control. 24, 4

Research output: Contribution to journalArticleAcademicpeer-review

2012

Control to facet by piecewise-affine output feedback

Habets, L., Collins, P. & Schuppen, J. H. V., 2012, In : IEEE Trans. Automatic Control. 57, 11, p. 2831-2843 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Evolutionary Games and Periodic Fitness

Uyttendaele, P., Thuijsman, F., Collins, P., Peeters, R., Schoenmakers, G. & Westra, R., Sep 2012, In : Dynamic Games and Applications. 2, 3, p. 335-345

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2011

A validated real function calculus

Collins, P., Niqui, M. & Revol, N., 2011, In : Mathematics in Computer Science. 5, p. 437-467 31 p.

Research output: Contribution to journalArticleAcademicpeer-review

Computable semantics for CTL* on discrete time and continuous space dynamic systems

Collins, P. & Zapreev, I. S., 2011, In : Int. J. Found. Comput. Sci.. 22, 4, p. 801-821 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

Computation of symbolic dynamics for two dimensional piecewise affine maps

Sella, L. & Collins, P., 2011, In : Discrete and Continuous Dynamical Systems-series B. 15, 3, p. 739-767 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

Semantics and computability of the evolution of hybrid systems

Collins, P., 2011, In : Siam Journal on Control and Optimization. 49, 2, p. 890-925 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

Tinkerbell is chaotic

Goldsztejn, A., Hayes, W. & Collins, P., 2011, In : Siam Journal on Applied Dynamical Systems. 10, 4, p. 1480-1501 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

1999

Surface Diffeomorphisms with Homoclinic and Heteroclinic Tangles

Collins, P., 1999

Research output: ThesisDoctoral ThesisExternal