WestminsterResearch

Items where Author is Basukoski, Artie

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Number of items: 12.

Basso, A

Basso, Alessandro and Bolotov, Alexander and Basukoski, Artie and Getov, Vladimir and Henrio, Ludovic and Urbanski, Mariusz (2006) Specification and verification of reconfiguration protocols in grid component systems. In: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006). IEEE, Los Alamitos, USA, pp. 450-455. ISBN 1424401968

Basso, Alessandro and Bolotov, Alexander and Basukoski, Artie and Getov, Vladimir and Henrio, Ludovic and Urbanski, Mariusz (2006) Specification and verification of reconfiguration protocols in grid component systems. Technical Report. CoreGRID.

Basukoski, A

Basukoski, Artie and Bolotov, Alexander (2005) Search strategies for resolution in CTL-type logics: extension and complexity. In: 12th International Symposium on Temporal Representation and Reasoning, 2005: TIME 2005. IEEE Computer Society, Los Alamitos, USA, pp. 195-197. ISBN 0769523706

Basukoski, Artie and Getov, Vladimir and Thiyagalingam, Jeyarajan and Isaiadis, Stavros (2008) Design and implementation of a hybrid P2P-based Grid resource discovery system. In: Danelutto, Marco and Fragopoulou, Paraskevi and Getov, Vladimir, (eds.) Making grids work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece. Springer, pp. 118-129. ISBN 9780387784472

Basukoski, Artie and Buhler, Peter and Getov, Vladimir and Isaiadis, Stavros and Weigold, Thomas (2008) Methodology for component-based development of grid applications. In: Compframe/Hpc-Geco Workshop: Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance. ACM, New York, NY, USA. ISBN 9781605583112

Bolotov, A

Bolotov, Alexander and Basukoski, Artie (2004) A clausal resolution method for branching-time logic ECTL+. In: Combi, Carlo, (ed.) 11th International Symposium on Temporal Representation and Reasoning: (TIME 2004), Tatihou, Normandie, France, 1-3 July 2004. IEEE Computer Society, pp. 140-147. ISBN 076952155X

Bolotov, Alexander and Basukoski, Artie (2006) A clausal resolution method for branching-time logic ECTL+. Annals of Mathematics and Artificial Intelligence, 46 (3). pp. 235-263. ISSN 1012-2443

Bolotov, Alexander and Basukoski, Artie and Grigoriev, Oleg and Shangin, Vasilyi (2006) Natural deduction calculus for linear-time temporal logic. In: Fisher, Michael and van der Hoek, W. and Konev, B. and Lisitsa, A., (eds.) Logics in artificial intelligence: 10th European conference, JELIA 2006: Liverpool, UK September 13-15 2006: proceedings. Lecture notes in computer science. Lecture notes in artificial intelligence (4160). Springer, Berlin, Germany, pp. 56-68. ISBN 354039625X

Bolotov, Alexander and Basukoski, Artie (2006) A clausal resolution method for extended computation tree logic ECTL. Journal of Applied Logic, 4 (2). pp. 141-167. ISSN 1570-8683

Bolotov, Alexander and Basukoski, Artie and Gregoryev, O. and Shangin, Vasilyi (2008) Natural deduction system for linear time temporal logic. In: Logical Investigations. Nauka, Moscow, pp. 17-95. ISBN 5020351520

Economou, D

Economou, Daphne and Keable-Crouch, Alex and Bouki, Vassiliki and Basukoski, Artie and Getov, Vladimir (2012) WMIN-MOBILE: a mobile learning platform for information and service provision. In: Venkatasubramanian, Nalini and Getov, Vladimir and Steglich, Stephan, (eds.) Mobile wireless middleware, operating systems and applications: 4th international ICST conference, Mobilware 2011. London, UK, June 2011. Revised selected papers. Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, LNICST (93). Springer, pp. 23-33. ISBN 9783642306075

Weigold, T

Weigold, Thomas and Buhler, Peter and Thiyagalingam, Jeyarajan and Basukoski, Artie and Getov, Vladimir (2008) Advanced Grid programming with components: a biometric identification case study. In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 28 July - 1 August 2008, Turku, Finland: COMPSAC 2008. IEEE, Los Alamitos, USA, pp. 401-408. ISBN 9780769532622

This list was generated on Tue Sep 2 02:24:08 2014 BST.