Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Compositional Approach to Performance ModellingJane HillstonCambridge Cambridge University Press 1996Acesso online |
|
2 |
Material Type: Livro
|
Formal methods for performance evaluation 7th International School on Formal Methods for the Design of Computer Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 June 2, 2007 ; advanced lecturesInternational School on Formal Methods for the Design of Computer Communication, and Software Systems (7th 2007 Bertinoro, Italy) Marco Bernardo; J Hillston (Jane) 1963Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4486 )(Acessar) |
|
3 |
Material Type: Livro
|
7th UK Computer and Telecommunications Performance Engineering WorkshopC. J. Hillston, Jane Elizabeth King, Peter John Beaufoy van Rijsbergen Jane Elizabeth Hillston; Peter J. B King; Peter John Beaufoy King; Robert J PooleySpringer London 1992Acesso online |
|
4 |
Material Type: Livro
|
Formal Methods for the Quantitative Evaluation of Collective Adaptive SystemsRocco De Nicola, Jane Hillston Marco Bernardo Rocco De Nicola; Jane HillstonSpringer International Publishing 2016Acesso online |
|
5 |
Material Type: Artigo
|
Reviewers in 2023Hillston, JaneProceedings of the Royal Society. A, Mathematical, physical, and engineering sciences, 2024-03, Vol.480 (2286) [Periódico revisado por pares]Texto completo disponível |
|
6 |
Material Type: Artigo
|
Unbiased Bayesian inference for population Markov jump processes via random truncationsGeorgoulas, Anastasis ; Hillston, Jane ; Sanguinetti, GuidoStatistics and computing, 2017, Vol.27 (4), p.991-1002 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
7 |
Material Type: Artigo
|
Reviewers in 2022Hillston, JaneProceedings of the Royal Society. A, Mathematical, physical, and engineering sciences, 2023-03, Vol.479 (2271) [Periódico revisado por pares]Texto completo disponível |
|
8 |
Material Type: Artigo
|
Mission reliability of semi-Markov systems under generalized operational time requirementsWu, Xiaoyue ; Hillston, JaneReliability engineering & system safety, 2015-08, Vol.140, p.122-129 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
9 |
Material Type: Artigo
|
Stochastic properties of the plant circadian clockGuerriero, Maria Luisa ; Pokhilko, Alexandra ; Fernández, Aurora Piñas ; Halliday, Karen J. ; Millar, Andrew J. ; Hillston, JaneJournal of the Royal Society interface, 2012-04, Vol.9 (69), p.744-756 [Periódico revisado por pares]England: The Royal SocietyTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Persistent Stochastic Non-InterferenceHillston, Jane ; Piazza, Carla ; Rossi, SabinaElectronic proceedings in theoretical computer science, 2018, Vol.276 (Proc. EXPRESS/SOS 2018), p.53-68Open Publishing AssociationTexto completo disponível |