Jane Hillston (University of Edinburgh)

Identifiers

• name variant Jane Hillston (University of Edinburgh) 0.60 · backfill

Papers (3)

1. Efficient Checking of Individual Rewards Properties in Markov Population Models cs.LO · 2015 · author #2
2. CARMA: Collective Adaptive Resource-sharing Markovian Agents cs.PL · 2015 · author #7
3. Hybrid performance modelling of opportunistic networks cs.SY · 2012 · author #3

Mentions

• 1207.0873 #3 · backfill · confidence 0.70 Jane Hillston (University of Edinburgh)

Frequent Coauthors

• Luca Bortolussi (University of Trieste) 2 shared papers
• Vashti Galpin (University of Edinburgh) 2 shared papers
• Diego Latella (ISTI-CNR) 1 shared papers
• IMT Lucca) 1 shared papers
• ISTI-CNR) 1 shared papers
• Luca Bortolussi (Saarland University 1 shared papers
• Michele Loreti (Universit\`a di Firenze 1 shared papers
• Mieke Massink (ISTI-CNR) 1 shared papers
• Rocco De Nicola (IMT Lucca) 1 shared papers
• Stephen Gilmore (University of Edinburgh) 1 shared papers
• University of Trieste 1 shared papers