Browse by People

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

Economou, Daphne, Keable-Crouch, Alex, Bouki, Vassiliki, Basukoski, Artie and Getov, Vladimir (2012) WMIN-MOBILE: a mobile learning platform for information and service provision. In: 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, Thomas, Buhler, Peter, Thiyagalingam, Jeyarajan, 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
[img]

Basukoski, Artie, Getov, Vladimir, Thiyagalingam, Jeyarajan and Isaiadis, Stavros (2008) Design and implementation of a hybrid P2P-based Grid resource discovery system. In: 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, Buhler, Peter, Getov, Vladimir, 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, Alexander, Basukoski, Artie, Gregoryev, O. and Shangin, Vasilyi (2008) Natural deduction system for linear time temporal logic. In: Logical Investigations. Nauka, Moscow, pp. 17-95. ISBN 5020351520

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

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

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, Basukoski, Artie, Grigoriev, Oleg and Shangin, Vasilyi (2006) Natural deduction calculus for linear-time temporal logic. In: 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

Basso, Alessandro, Bolotov, Alexander, Basukoski, Artie, Getov, Vladimir, 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
[img]

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
[img]

Bolotov, Alexander and Basukoski, Artie (2004) A clausal resolution method for branching-time logic ECTL+. In: 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
[img]

This list was generated on Wed Jun 29 23:41:28 2016 BST.