- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c6 |      | Daphne Economou, Alex Keable-Crouch, Vassiliki Bouki, Artie Basukoski, Vladimir Getov: WMIN-MOBILE: A Mobile Learning Platform for Information and Service Provision. MOBILWARE 2011: 23-33 |
| 2008 | ||
| c5 | | Thomas Weigold, Peter Buhler, Jeyarajan Thiyagalingam, Artie Basukoski, Vladimir Getov: Advanced Grid Programming with Components: A Biometric Identification Case Study. COMPSAC 2008: 401-408 |
| 2007 | ||
| c4 | | Artie Basukoski, Vladimir Getov, Jeyarajan Thiyagalingam, Stavros Isaiadis: Component-Based Development Environment for Grid Systems: Design and Implementation. CoreGRID Workshop - Making Grids Work 2007: 119-128 |
| 2006 | ||
| j2 | | Alexander Bolotov, Artie Basukoski: A clausal resolution method for branching-time logic ECTL+. Ann. Math. Artif. Intell. 46(3): 235-263 (2006) |
| j1 | | Alexander Bolotov, Artie Basukoski: A clausal resolution method for extended computation tree logic ECTL. J. Applied Logic 4(2): 141-167 (2006) |
| c3 | | Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin: Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA 2006: 56-68 |
| 2005 | ||
| c2 | | Artie Basukoski, Alexander Bolotov: Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. TIME 2005: 195-197 |
| 2004 | ||
| c1 | | Alexander Bolotov, Artie Basukoski: A Clausal Resolution Method for Branching-Time Logic ECTL+. TIME 2004: 140-147 |
| 1 | Alexander Bolotov | |
| 2 | Vassiliki Bouki | |
| 3 | Peter Buhler | |
| 4 | Daphne Economou | |
| 5 | Vladimir Getov | |
| 6 | Oleg Grigoriev | |
| 7 | Stavros Isaiadis | |
| 8 | Alex Keable-Crouch | |
| 9 | Vasilyi Shangin | |
| 10 | Jeyarajan Thiyagalingam | |
| 11 | Thomas Weigold |
Data released under the ODC-BY 1.0 license — See also our legal information page