E-LIB Suche - Ergebnisse für: Galpin, Vashti

1

Tracking and viewing modifications in digital calibration c..:

Galpin, Vashti ; Smith, Ian ; Hippolyte, Jean-Laurent
Acta IMEKO. 12 (2023) 1 - p. 1-7 , 2023

Link: https://doi.org/10.21014..

2

Language-Integrated Query for Temporal Data:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Fowler, Simon ; Galpin, Vashti ; Cheney, James - p. 5-19 , 2022

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

3

Curating Covid-19 Data in Links:

, In: Lecture Notes in Computer Science; Provenance and Annotation of Data and Processes,

Galpin, Vashti ; Cheney, James - p. 237-243 , 2021

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

4

Guest editors' foreword:

Galpin, Vashti ; Milazzo, Paolo ; Monreale, Anna
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100489 , 2019

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

5

Formal Modelling of Software Defined Networking:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Galpin, Vashti - p. 172-193 , 2018

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

6

Mesoscopic Modelling of Pedestrian Movement Using Carma and..:

Galpin, Vashti ; Zoń, Natalia ; Wilsdorf, Pia.
ACM Transactions on Modeling and Computer Simulation (TOMACS). 28 (2018) 2 - p. 1-26 , 2018

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

7

Statistical analysis of CARMA models : an advanced tutor..:

, In: Proceedings of the 2018 Winter Simulation Conference,

Galpin, Vashti ; Georgoulas, Anastasis ; Loreti, Michele. - p. 395-409 , 2018

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

8

Mesoscopic Modelling of Pedestrian Movement Using Carmaand ..:

Galpin, Vashti ; Zoń, Natalia ; Wilsdorf, Pia.
ACM Transactions on Modeling and Computer Simulation. 28 (2018) 2 - p. 1-26 , 2018

Link: https://doi.org/10.1145/..

9

Automatic Moment-Closure Approximation of Spatially Distrib..:

Feng, Cheng ; Hillston, Jane ; Galpin, Vashti
ACM Transactions on Modeling and Computer Simulation. 26 (2016) 4 - p. 1-22 , 2016

Link: https://doi.org/10.1145/..

10

Automatic Moment-Closure Approximation of Spatially Distrib..:

Feng, Cheng ; Hillston, Jane ; Galpin, Vashti
ACM Transactions on Modeling and Computer Simulation (TOMACS). 26 (2016) 4 - p. 1-22 , 2016

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

11

Hybrid semantics for Bio-PEPA:

Galpin, Vashti
Information and Computation. 236 (2014) - p. 122-145 , 2014

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

12

HYPE: Hybrid modelling by composition of flows:

Galpin, Vashti ; Bortolussi, Luca ; Hillston, Jane
Formal Aspects of Computing. 25 (2013) 4 - p. 503-541 , 2013

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

13

A semantic equivalence for Bio-PEPA based on discretisation..:

Galpin, Vashti ; Hillston, Jane
Theoretical Computer Science. 412 (2011) 21 - p. 2142-2161 , 2011

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

14

Equivalences for a biological process algebra:

Galpin, Vashti
Theoretical Computer Science. 412 (2011) 43 - p. 6058-6082 , 2011

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

15

HYPE Applied to the Modelling of Hybrid Biological Systems:

Galpin, Vashti ; Hillston, Jane ; Bortolussi, Luca
Electronic Notes in Theoretical Computer Science. 218 (2008) - p. 33-51 , 2008

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