I agree that this site is using cookies. You can find further informations here.
X
Gallasch, Guy
7  results:
Search for persons X
?
1

A Plan for Developing an Auslan Communication Technologies ..:

, In: Computer Vision – ECCV 2020 Workshops; Lecture Notes in Computer Science,
Korte, Jessica ; Bender, Axel ; Gallasch, Guy.. - p. 264-277 , 2020
Link: https://doi.org/10.1007/..
 
?
2

Equivalence class verification of the contract net protocol..:

Gupta, Amar Kumar ; Gallasch, Guy Edward
International Journal on Software Tools for Technology Transfer.  18 (2015)  6 - p. 685-706 , 2015
Link: https://doi.org/10.1007/..
 
?
3

Parametric Language Analysis of the Class of Stop-and-Wait ..:

, In: Applications and Theory of Petri Nets; Lecture Notes in Computer Science,
Gallasch, Guy Edward ; Billington, Jonathan - p. 191-210 , 2008
Link: https://doi.org/10.1007/..
 
?
4

Modelling defence logistics networks:

Gallasch, Guy Edward ; Lilith, Nimrod ; Billington, Jonathan...
International Journal on Software Tools for Technology Transfer.  10 (2007)  1 - p. 75-93 , 2007
Link: https://doi.org/10.1007/..
 
?
5

Model-based development of a course of action scheduling to..:

Kristensen, Lars M. ; Mechlenborg, Peter ; Zhang, Lin..
International Journal on Software Tools for Technology Transfer.  10 (2007)  1 - p. 5-14 , 2007
Link: https://doi.org/10.1007/..
 
?
6

Checking safety properties on-the-fly with the sweep-line m..:

Gallasch, Guy Edward ; Billington, Jonathan ; Vanit-Anunchai, Somsak.
International Journal on Software Tools for Technology Transfer.  9 (2007)  3-4 - p. 371-391 , 2007
Link: https://doi.org/10.1007/..
 
?
7

Analysis of the Datagram Congestion Control Protocol's conn..:

Vanit-Anunchai, Somsak ; Billington, Jonathan ; Gallasch, Guy Edward
International Journal on Software Tools for Technology Transfer.  10 (2007)  1 - p. 29-56 , 2007
Link: https://doi.org/10.1007/..
 
1-7