Computer Science and Engineering

Bolotov, A. and Grigoriev, O. 2009. Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL). in: Hustadt, U. (ed.) Proceedings of the Automated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdom University of Liverpool Department of Computer Science.

Bolotov, A. and Grigoriev, O. 2009. Natural deduction calculus for quantified propositional linear-time temporal logic. University of Westminster.

Bolotov, A. and Grigoriev, O. 2009. Combining computation tree logic and deontic logic in natural deduction style calculus. University of Westminster.

Bolotov, A., Basso, A. and Grigoriev, O. 2009. Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus. in: Proceedings of the 4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, SIT, Tumkur, India IICAI. pp. 166-185

Bolotov, A. 2009. On the "until induction" in natural deduction for PLTL. in: International conference "6th Smirnov's Readings in Logic" June 17-19, 2009, Moscow, Russia Faculty of Philosophy, Lomonosov Moscow State University.

Basso, A., Bolotov, A. and Getov, Vladimir 2009. Temporal specification and deductive verification of a distributed component model and its environment. in: Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009 (SSIRI 2009) IEEE . pp. 379-386

Basso, A., Bolotov, A. and Getov, Vladimir 2009. State-based behavior specification for GCM systems. in: Hustadt, U. (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon University of Liverpool Department of Computer Science.

Athukorala, L. and Budimir, D. 2009. Frequency tunable microstrip resonators and filters. in: European Microwave Week "Science, Progress and Quality at Radiofrequencies" Conference Proceedings, 28 September - 2 October 2009, Rome, Italy IEEE . pp. 1239-1242

Athukorala, L. and Budimir, D. 2009. Dual-mode closed-loop microstrip filters for wireless applications. in: 9th International Conference on Telecommunication in Modern Satellite, Cable, and Broadcasting Services (TELSIKS '09), 7-9 October 2009, Nis, Serbia IEEE . pp. 151-153

Atanasoff, J.V., Bell, G., Call, C., Chang, C.K., Geselowitz, M., Getov, Vladimir, Gowen, R.J., Gustafson, J. and Williams, M. 2009. Special roundtable discussion: 70 years electronic digital computing that changed the world. in: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference IEEE . pp. lvi-lvii

Araujo, F., Santiago, D., Ferreira, D., Farinha, J., Domingues, P., Silva, L.M., Urbah, E., Lodygensky, O., He, H., Marosi, A.C., Gombas, G., Balaton, Z., Farkas, Z. and Kacsuk, P. 2009. Monitoring the EDGeS project infrastructure. in: IEEE international symposium on parallel & distributed processing. IPDPS 2009 IEEE . pp. 1-8

Altinok, G., Al-Janabi, M., Kale, I. and Altinok, G. 2009. A GUI driven Σ-Δ modulator design, evaluation and measurement tool with a view to practical implementation. in: IEEE Intrumentation and Measurement Technology Conference, Singapore, May 2009. I2MTC '09 IEEE . pp. 1022-1025

Adeyemi, S., Chaussalet, T.J., Xie, H. and Asaduzzaman, M. 2009. The analyses of individual patient pathways: investigating regional variation in COPD readmissions. in: Sakalauskas, L., Skiadas, C. and Zavadskas, E.K. (ed.) Proceedings of the 13th International Conference "Applied Stochastic Models and Data Analysis", ASMDA 2009, 30 June – 3 July 2009, Vilnius, Lithuania ASMDA. pp. 316-319

Adeyemi, S. and Chaussalet, T.J. 2009. Models for extracting information on patient pathways. in: McClean, S.I., Millard, P.H., El-Darzi, E. and Nugent, C. (ed.) Intelligent patient management Springer.

Adane, Y. and Kale, I. 2009. RF front-end design for full constellation SDR based GNSS receivers. in: International GNSS conference, IGNSS 2009 Conference & Exhibition, Book of abstracts for Oral and Poster Presentations, Dec 1 - 3 2009, Holiday Inn Hotel, Gold Coast, Queensland, Australia International Global Navigation Satellite Systems. pp. 38

AbuTarboush, H.F., Nilavalan, R., Budimir, D. and Al-Raweshidy, H.S. 2009. Design of planar inverted-F antennas (PIFA) for multiband wireless applications. in: IEEE International Conference on Electromagnetics in Advanced Applications (ICEAA '09), Torino, Italy, 14 -18 September 2009 IEEE . pp. 78-81

AbuTarboush, H.F., Nilavalan, R., Budimir, D. and Al-Raweshidy, H.S. 2009. Compact planar inverted-F antenna (PIFA) for WiMAX application. in: IEEE Antennas and Propagation Society International Symposium (APSURSI '09), Charleston, South Carolina, USA, June 1-5 2009 IEEE .

AbuTarboush, H.F., Khan, S., Nilavalan, R., Al-Raweshidy, H.S. and Budimir, D. 2009. Reconfigurable wideband patch antenna for cognitive radio. in: IEEE Loughborough Antennas & Propagation Conference (LAPC 2009). Loughborough, UK, 16-17 November 2009 IEEE . pp. 141-144

Kapetanios, E., Badr, Y., Chbeir, R. and Traina, A. (ed.) 2009. Proceedings of the International Conference on Management of Emergent Digital EcoSystems, Lyon, France, October 27 - 30, 2009. ACM.

Ahamed, S.I., Bertino, E., Chang, C.K., Getov, Vladimir, Liu, L., Ming, H. and Subramanyan, R. (ed.) 2009. Proceedings of IEEE COMPSAC 2009. IEEE .

Park, J.Y., Triantaphillidou, S. and Jacobson, R.E. 2009. Identification of image attributes that are most affected with changes in displayed image size. in: Farnand, S.P. and Gaykema, F. (ed.) Image quality and system performance VI : 19-21 January 2009, San Jose, California, USA IS&T - The Society for Imaging and Science and Technology and SPIE.

Kukla, T., Kiss, T., Kacsuk, P. and Terstyanszky, G. 2009. Integrating Open Grid Services Architecture Data Access and Integration with computational Grid workflows. Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences. 367 (1897), pp. 2521-2532. https://doi.org/10.1098/rsta.2009.0040

Chahed, S., Marcon, E., Sahin, E., Feillet, D. and Dallery, Y. 2009. Exploring new operational research opportunities within the Home Care context: the chemotherapy at home. Health Care Management Science. 12 (2), pp. 179-191. https://doi.org/10.1007/s10729-009-9099-6

Kiss, T. and Kukla, T. 2009. Achieving interoperation of grid data resources via workflow level integration. Journal of Grid Computing. 7 (3), pp. 355-374. https://doi.org/10.1007/s10723-009-9136-1

Utley, M., Chaussalet, T.J. and Baker, R.D. 2009. Editorial: Applying mathematics to problems in health care: a call to pencils. IMA Journal of Management Mathematics. 20 (4), pp. 323-323. https://doi.org/10.1093/imaman/dpn036

Demir, E., Chaussalet, T.J., Xie, H. and Millard, P.H. 2009. Modelling risk of readmission with phase-type distribution and transition models. IMA Journal of Management Mathematics. 20 (4), pp. 357-367. https://doi.org/10.1093/imaman/dpn032

Kapetanios, E. 2008. Quo Vadis computer science: from Turing to personal computer, personal content and collective intelligence. Data & Knowledge Engineering. 67 (2), pp. 286-292. https://doi.org/10.1016/j.datak.2008.05.003

Getov, Vladimir 2008. e-Science: the added value for modern discovery. Computer. 41 (11), pp. 30-31. https://doi.org/10.1109/MC.2008.460

Tsekouras, G.E., Antonios, M., Anagnostopoulos, C., Gavalas, D. and Economou, D. 2008. Improved batch fuzzy learning vector quantization for image compression. Information Sciences. 178 (20), pp. 3895-3907. https://doi.org/10.1016/j.ins.2008.05.017

Zayniyev, D., Budimir, D. and Zouganelis, G. 2008. Miniaturised microstrip filters and diplexers for wireless communication systems. Microwave and Optical Technology Letters. 50 (10), pp. 2701-2702. https://doi.org/10.1002/mop.23733

Basso, A., Bolotov, A., Getov, Vladimir and Henrio, L. 2008. Dynamic reconfiguration of GCM components. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0173

Demir, E., Chaussalet, T.J., Xie, H. and Millard, P.H. 2008. Emergency readmission criterion: a technique for determining emergency readmission time window. IEEE Transactions on Information Technology in Biomedicine. 12 (5), pp. 644-649. https://doi.org/10.1109/TITB.2007.911311

Balaton, Z., Farkas, Z., Gombas, G., Kacsuk, P., Lovas, R., Marosi, A.C., Emmen, E., Terstyanszky, G., Kiss, T., Kelley, I., Taylor, I. and Araujo, F. 2008. EDGeS, the common boundary between service and desktop grids. Parallel Processing Letters. 18 (3), pp. 433-445. https://doi.org/10.1142/S012962640800348X

Bilissi, E., Jacobson, R.E. and Attridge, G.G. 2008. Just noticeable gamma differences and acceptability of sRGB images displayed on a CRT monitor. Imaging Science Journal. 56 (4), pp. 189-200. https://doi.org/10.1179/174313108X281362

Kapetanios, E., Sugumaran, V. and Tanase, D. 2008. A parametric linguistics based approach for cross-lingual web querying. Data & Knowledge Engineering. 66 (1), pp. 35-52. https://doi.org/10.1016/j.datak.2007.07.008

Kacsuk, P. and Terstyanszky, G. 2008. Special Section: Grid-enabling legacy applications and supporting end users. Future Generation Computer Systems. 24 (7), pp. 709-710. https://doi.org/10.1016/j.future.2008.04.002

Economou, D., Gavalas, D., Kenteris, M. and Tsekouras, G.E. 2008. Cultural applications for mobile devices: issues and requirements for authoring tools and development platforms. ACM SIGMOBILE Mobile Computing and Communications Review. 12 (3), pp. 18-33. https://doi.org/10.1145/1462141.1462145

Chountas, P., Petrounias, I. and Kacprzyk, J. (ed.) 2008. Intelligent techniques and tools for novel system architectures. Springer.

Attridge, G.G., Vagal, G., Allen, E., Triantaphillidou, S. and Pointer, M.R. 2008. Subjective and objective measures of colour hard copy images. Imaging Science Journal. 56 (3), pp. 163-174. https://doi.org/10.1179/174313108X281326

Rycerz, K., Bubak, M., Sloot, P.M.A. and Getov, Vladimir 2008. HLA component based environment for distributed multiscale simulations. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0137