E-LIB Suche - Ergebnisse für: Collins, Pieter

1

A computable and compositional semantics for hybrid systems:

Bresolin, Davide ; Collins, Pieter ; Geretti, Luca...
Information and Computation. , 2024

2

A higher order method for input-affine uncertain systems:

Zivanovic Gonzalez, Sanja ; Geretti, Luca ; Bresolin, Davide..
Nonlinear Analysis: Hybrid Systems. 47 (2023) - p. 101266 , 2023

Link: https://doi.org/10.1016/..

3

Computer Science for Continuous Data: Survey, Vision, Theor..:

, In: Computer Algebra in Scientific Computing; Lecture Notes in Computer Science,

Brauße, Franz ; Collins, Pieter ; Ziegler, Martin - p. 62-82 , 2022

Link: https://doi.org/10.1007/..

4

Automating Numerical Parameters Along the Evolution of a No..:

, In: Runtime Verification; Lecture Notes in Computer Science,

Geretti, Luca ; Collins, Pieter ; Bresolin, Davide. - p. 336-345 , 2022

Link: https://doi.org/10.1007/..

5

Computable analysis with applications to dynamic systems:

Collins, Pieter
Mathematical Structures in Computer Science. 30 (2020) 2 - p. 173-233 , 2020

Link: https://doi.org/10.1017/..

6

A computable and compositional semantics for hybrid automat:

, In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control,

Bresolin, Davide ; Collins, Pieter ; Geretti, Luca... - p. 1-11 , 2020

Link: https://dl.acm.org/doi/1..

7

Graph Duality in Surface Dynamics:

Collins, Pieter ; Mitchell, Kevin A.
Journal of Nonlinear Science. 29 (2019) 5 - p. 2103-2135 , 2019

Link: https://doi.org/10.1007/..

8

Rigorous Continuous Evolution of Uncertain Systems:

, In: Numerical Software Verification; Lecture Notes in Computer Science,

Geretti, Luca ; Živanović Gonzalez, Sanja ; Collins, Pieter.. - p. 60-75 , 2019

Link: https://doi.org/10.1007/..

9

Heterogeneous Domain Adaptation for IHC Classification of B..:

Ismailoglu, Firat ; Cavill, Rachel ; Smirnov, Evgueni...
IEEE/ACM Transactions on Computational Biology and Bioinformatics. , 2018

Link: https://doi.org/10.1109/..

10

Predicting changes to INa from missense mutations in human ..:

Clerx, Michael ; Heijman, Jordi ; Collins, Pieter.
Scientific Reports. 8 (2018) 1 - p. , 2018

Link: https://doi.org/10.1038/..

11

Myokit: A simple interface to cardiac cellular electrophysi..:

Clerx, Michael ; Collins, Pieter ; de Lange, Enno.
Progress in Biophysics and Molecular Biology. 120 (2016) 1-3 - p. 100-114 , 2016

Link: https://doi.org/10.1016/..

12

Special issue on control, communication, and complexity:

Charalambous, Charalambos D. ; Collins, Pieter ; Colonius, Fritz
Mathematics of Control, Signals, and Systems. 25 (2013) 4 - p. 433-436 , 2013

Link: https://doi.org/10.1007/..

13

Assume–guarantee verification of nonlinear hybrid systems w..:

Benvenuti, Luca ; Bresolin, Davide ; Collins, Pieter...
International Journal of Robust and Nonlinear Control. 24 (2012) 4 - p. 699-724 , 2012

Link: https://doi.org/10.1002/..

14

Evolutionary Games and Periodic Fitness:

Uyttendaele, Philippe ; Thuijsman, Frank ; Collins, Pieter...
Dynamic Games and Applications. 2 (2012) 3 - p. 335-345 , 2012

Link: https://doi.org/10.1007/..

15

Semantics and Computability of the Evolution of Hybrid Syst..:

Collins, Pieter
SIAM Journal on Control and Optimization. 49 (2011) 2 - p. 890-925 , 2011

Link: https://doi.org/10.1137/..