![]() ; Horne, Ross James ![]() in 28th International Conference on Concurrency Theory (CONCUR 2017). (2017) Detailed reference viewed: 46 (0 UL)![]() ; ; Horne, Ross James ![]() in Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings (2016) Detailed reference viewed: 89 (0 UL)![]() ; Horne, Ross James ![]() in Journal of Logical and Algebraic Methods in Programming (2016), 85(5), 681-706 Detailed reference viewed: 85 (0 UL)![]() Horne, Ross James ![]() in 27th International Conference on Concurrency Theory (CONCUR 2016) (2016) Detailed reference viewed: 32 (0 UL)![]() Horne, Ross James ![]() Book published by Springer (2015) Detailed reference viewed: 33 (1 UL)![]() Horne, Ross James ![]() in Scientific Annals of Computer Science (2015), 25(2), 245-316 Detailed reference viewed: 78 (3 UL)![]() ; Horne, Ross James ![]() in Journal of Logical and Algebraic Methods in Programming (2015), 84(4), 485-504 Detailed reference viewed: 74 (1 UL)![]() ; Horne, Ross James ![]() in In Perspectives of System Informatics, 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27 (2015) Detailed reference viewed: 99 (2 UL)![]() Horne, Ross James ![]() in Science of Computer Programming (2014), 89 Detailed reference viewed: 95 (1 UL)![]() ; Horne, Ross James ![]() in 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013 (2013) Detailed reference viewed: 88 (4 UL)![]() ; Horne, Ross James ![]() in Theoretical Computer Science (2012), 464 Detailed reference viewed: 92 (1 UL)![]() Horne, Ross James ![]() in The Semantic Web - Joint International Semantic Technology Conference JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings (2011) Detailed reference viewed: 87 (1 UL) |
||