Guy Edward Gallasch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2003–2020
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECCV | A Plan for Developing an Auslan Communication Technologies Pipeline. | Jessica Korte, Axel Bender, Guy Edward Gallasch, Janet Wiles, Andrew D. Back |
| 2010 | ATVA | A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. | Guy Edward Gallasch, Jonathan Billington |
| 2010 | ICFEM | Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. | Jonathan Billington, Guy Edward Gallasch |
| 2008 | FORTE | Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. | Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch |
| 2005 | ATVA | Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. | Guy Edward Gallasch, Jonathan Billington |
| 2005 | ICFEM | Sweep-Line Analysis of TCP Connection Management. | Guy Edward Gallasch, Bing Han, Jonathan Billington |
| 2003 | FORTE | How Stop and Wait Protocols Can Fail over the Internet. | Jonathan Billington, Guy Edward Gallasch |