P.J. Collins

Gonzalez, S. Z., Geretti, L., Bresolin, D., Villa, T., & Collins, P. (2023). A higher order method for input-affine uncertain systems. Nonlinear Analysis-Hybrid Systems, 47, Article 101266. https://doi.org/10.1016/j.nahs.2022.101266

Meer informative over deze publicatie

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. (2022). ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (Vol. 90, pp. 86-112) https://doi.org/10.29007/fnzc

Meer informative over deze publicatie

Geretti, L., Collins, P., Bresolin, D., & Villa, T. (2022). Automating Numerical Parameters Along the Evolution of a Nonlinear System. In RUNTIME VERIFICATION (RV 2022) (Vol. 13498, pp. 336-345). Springer International Publishing AG. https://doi.org/10.1007/978-3-031-17196-3_22

Meer informative over deze publicatie

Collins, P., & Konecny, M. (2022). Computability of the Behaviour of Impacting Systems Beyond Zeno Times. In IFAC PAPERSONLINE (30 ed., Vol. 55, pp. 85-90). Elsevier. https://doi.org/10.1016/j.ifacol.2022.11.033

Meer informative over deze publicatie

Brausse, F., Collins, P., & Ziegler, M. (2022). Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System. In F. Boulier, M. England, T. M. Sadykov, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings: Conference proceedings (Vol. 13366, pp. 62-82). Springer International Publishing AG. https://doi.org/10.1007/978-3-031-14788-3_5

Meer informative over deze publicatie

Collins, P. (2022). Monadic Systems. In IFAC PAPERSONLINE (30 ed., Vol. 55, pp. 486-491). Elsevier. https://doi.org/10.1016/j.ifacol.2022.11.100

Meer informative over deze publicatie

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). ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In G. Frehse, & M. Althoff (Eds.), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) (Vol. 80, pp. 32–54). EPiC. https://doi.org/10.29007/2jw8

Meer informative over deze publicatie

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

Meer informative over deze publicatie

Collins, P. (2020). Computable analysis with applications to dynamic systems. Mathematical Structures in Computer Science, 30(2), 173-233. Article 096012952000002. https://doi.org/10.1017/S096012952000002X

Meer informative over deze publicatie

Ismailoglu, F., Cavill, R., Smirnov, E., Zhou, S., Collins, P., & Peeters, R. (2020). Heterogeneous Domain Adaptation for IHC Classification of Breast Cancer Subtypes. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 17(1), 347-353. https://doi.org/10.1109/TCBB.2018.2877755

Meer informative over deze publicatie

Zoekterm

Recente publicaties lees meer

P.J. Collins