Computer Science and Engineering

Bolotov, A., Grigoriev, O. and Shangin, V. 2008. Automating natural deduction for temporal logic. in: Glymour, C., Wang, W. and Westerstahl, D. (ed.) Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science King's College Publications.

Bolotov, A., Basukoski, A., Gregoryev, O. and Shangin, V. 2008. Natural deduction system for linear time temporal logic. in: Logical Investigations Moscow Nauka.

Bolotov, A. 2008. Tackling ”until induction” in natural deduction for PLTL. in: Dennis, L.A. and Sorge, V. (ed.) Proceedings of the automated reasoning workshop 2008 University of Birmingham. pp. 12-13

Bolotov, A. 2008. Tackling "until induction" in natural deduction for PLTL. in: Proceedings of the 15th workshop on automated reasoning: bridging the gap between theory and practice: CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK Birmingham School of Computer Science.

Basukoski, A., Getov, Vladimir, Thiyagalingam, J. and Isaiadis, S. 2008. Design and implementation of a hybrid P2P-based Grid resource discovery system. in: Danelutto, M., Fragopoulou, P. and Getov, Vladimir (ed.) 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.

Basukoski, A., Buhler, P., Getov, Vladimir, Isaiadis, S. and Weigold, T. 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 New York, NY, USA ACM.

Basso, A., Bolotov, A. and Getov, Vladimir 2008. Behavioural model of component-based Grid environments. in: Priol, T. and Vanneschi, M. (ed.) From grids to service and pervasive computing Springer. pp. 19-30

Basso, A., Bolotov, A. and Getov, Vladimir 2008. Automata-based formal specification of stateful systems. in: Dennis, L.A. and Sorge, V. (ed.) Proceedings of the automated reasoning workshop 2008 University of Birmingham. pp. 6-7

Basso, A., Bolotov, A. and Getov, Vladimir 2008. Automata based formal specification of stateful systems. in: Proceedings of the 15th workshop on automated reasoning: bridging the gap between theory and practice: CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK Birmingham School of Computer Science.

Basso, A. and Bolotov, A. 2008. Towards GCM re-configuration – extending specification by norm. in: Danelutto, M., Fragopoulou, P. and Getov, Vladimir (ed.) 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 New York, NY, USA Springer. pp. 17-29

Balaton, Z., Gombas, G., Kacsuk, P., Kornafeld, A., Kovacs, J., Marosi, A.C., Podhorszki, N. and Vida, G. 2008. SZTAKI desktop grid: distributed computing in Hungary. in: Weber, M.H.W. (ed.) Distributed and grid computing: science made transparent for everyone. Principles, applications and supporting communities Berlin Rechenkraft.net.

Balaton, Z., Farkas, Z., Gombas, G., Kacsuk, P., Lovas, R., Marosi, A.C., Terstyanszky, G., Kiss, T., Lodygensky, O., Fedak, G., Emmen, E., Kelley, I., Taylor, I., Cardenas-Montes, M. and Araujo, F. 2008. EDGeS: the common boundary between service and desktop grids. in: Gorlatch, S., Fragopoulou, P. and Priol, T. (ed.) Grid computing: achievements and prospects Springer. pp. 37-48

Asaduzzaman, M. and Chaussalet, T.J. 2008. Modelling and performance measure of a perinatal network centre in the United Kingdom. in: Proceedings of the 21st IEEE International Symposium on Computer-Based Medical Systems, IEEE CBMS 2008, Jyväskylä, 17-19 June 2008 Los Alamitos, USA IEEE . pp. 506-511

Angelopoulou, A., Psarrou, A., Garcia Rodriguez, J. and Gupta, G. 2008. Active-GNG: model acquisition and tracking in cluttered backgrounds. in: VNBA '08: Proceeding of the 1st ACM workshop on vision networks for behavior analysis ACM. pp. 17-22

Adeyemi, S. and Chaussalet, T.J. 2008. A random effects sensitivity analysis for patient pathways model. in: Proceedings of the 21st IEEE International Symposium on Computer-Based Medical Systems, IEEE CBMS 2008, Jyväskylä, 17-19 June 2008 Los Alamitos, USA IEEE . pp. 536-538

Abrishambaf, R., Demirel, H. and Kale, I. 2008. A fully CNN based fingerprint recognition system. in: IEEE 11th Cellular Neural Networks and Their Applications (CNNA 2008) IEEE . pp. 146-149

Abrishambaf, R., Demirel, H. and Kale, I. 2008. Establishing the finite word-length parameters for a CNN based fingerprint recognition system. Proceedings of the 5th International Symposium on Electrical and Computer Systems (EECS'08). Gemikonagi, Cyprus 27 - 28 Nov 2008

Danelutto, M., Fragopoulou, P. and Getov, Vladimir (ed.) 2008. 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. Boston, MA Springer.

Kacsuk, P., Lovas, R. and Nemeth, Z. (ed.) 2008. Distributed and parallel systems: in focus, desktop grid computing. Springer.

Smith, R.J., MacLennan-Brown, K., Triantaphillidou, S., MacDonald, L.W., Tighe, J.F. and Cohen, N. 2008. Colour analysis and verification of CCTV images under different lighting conditions. in: Farnand, S.P. and Gaykema, F. (ed.) Image quality and system performance V : 28-30 January 2008, San Jose, California, USA IS&T - The Society for Imaging and Science and Technology and SPIE.

Orfanidou, M., Triantaphillidou, S. and Allen, E. 2008. Predicting image quality using a modular image difference model. in: Farnand, S.P. and Gaykema, F. (ed.) Image quality and system performance V : 28-30 January 2008, San Jose, California, USA IS&T - The Society for Imaging and Science and Technology and SPIE.

Liu, P., El-Darzi, E., Lei, L., Vasilakis, C., Chountas, P. and Huang, W. 2008. Applying data mining algorithms to inpatient dataset with missing values. Journal of Enterprise Information Management. 21 (1), pp. 81-92. https://doi.org/10.1108/17410390810842273

Kokla, V., Psarrou, A. and Konstantinou, V. 2008. Computational models for pigment analysis. Applied Physics A: Materials Science & Processing. 90 (1), pp. 15-22. https://doi.org/10.1007/s00339-007-4236-x

Patel, B., Chaussalet, T.J. and Millard, P.H. 2008. Balancing the NHS balanced scorecard! European Journal of Operational Research. 185 (3), pp. 905-914. https://doi.org/10.1016/j.ejor.2006.02.056

Kazazoglu, R., Cetin, E. and Kale, I. 2008. GNSScope: a toolbox for end-to-end modeling, simulation and analysis of GNSS. The Navigation Exhibition. The Royal Institute of Navigation, London Jun 2008

Baker, R.D., Chaussalet, T.J. and Utley, M. 2008. Editorial: IMA Health 2007. Health Care Management Science. 11 (2), pp. 87-88. https://doi.org/10.1007/s10729-008-9065-8

Tarczynski, A., Kiss, T., Terstyanszky, G., Delaitre, T., Qu, D. and Winter, S. 2008. Application of Grid computing for designing a class of optimal periodic nonuniform sampling sequences. Future Generation Computer Systems. 24 (7), pp. 763-773. https://doi.org/10.1016/j.future.2008.02.005

Kacsuk, P., Kiss, T. and Sipos, G. 2008. Solving the grid interoperability problem by P-GRADE portal at workflow level. Future Generation Computer Systems. 24 (7), pp. 744-751. https://doi.org/10.1016/j.future.2008.02.008

Kacsuk, P. and Kiss, T. 2007. Towards a scientific workflow-oriented computational World Wide Grid. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0115

Courtenage, S., Lewis, D. and Tiropanis, T. 2007. Innovations in Web communications infrastructure. Computer Networks. 51 (16), pp. 4511-4513. https://doi.org/10.1016/j.comnet.2007.07.002

Kertesz, A., Kacsuk, P., Rodero, I., Guim, F. and Corbalan, J. 2007. Meta-Brokering requirements and research directions in state-of-the-art Grid Resource Management. CoreGRID. https://doi.org/TR-0116

Plankensteiner, K., Prodan, R., Fahringer, T., Kertesz, A. and Kacsuk, P. 2007. Fault-tolerant behavior in state-of-the-art grid workflow management systems. CoreGRID. https://doi.org/TR-0091

Zouganelis, G. and Budimir, D. 2007. Effective dielectric constant and design of sliced Lüneberg lens. Microwave and Optical Technology Letters. 49 (10), pp. 2332-2337. https://doi.org/10.1002/mop.22751

Badia, R.M., Baude, F., Getov, Vladimir, Kielmann, T. and Taylor, I. 2007. Proceedings of the CoreGRID Workshop on Grid Systems, Tools and Environments, 1st December 2006, Sophia-Antipolis, France. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0103

Rycerz, K., Bubak, M., Sloot, P.M.A. and Getov, Vladimir 2007. Problem solving environment for distributed interactive applications. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0107

Marosi, A.C., Gombas, G., Balaton, Z., Kacsuk, P. and Kiss, T. 2007. SZTAKI desktop grid: building a scalable, secure platform for desktop grid computing. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0100

Shelkovnikov, A.B. and Budimir, D. 2007. Miniaturised rectangular waveguide filters. International Journal of RF and Microwave Computer-Aided Engineering. 17 (4), pp. 398-403. https://doi.org/10.1002/mmce.20238

Triantaphillidou, S., Allen, E. and Jacobson, R.E. 2007. Image quality comparison between JPEG and JPEG2000. II. Scene dependency, scene analysis, and classification. Journal of Imaging Science and Technology. 51 (3), pp. 259-270.

Allen, E., Triantaphillidou, S. and Jacobson, R.E. 2007. Image quality comparison between JPEG and JPEG2000. I. Psychophysical investigation. Journal of Imaging Science and Technology. 51 (3), pp. 248-258. https://doi.org/10.2352/J.ImagingSci.Technol.(2007)51:3(248)

Taskaldiran, M., Morling, R.C.S. and Kale, I. 2007. A comparative study on the modified Max-Log-MAP turbodecoding by extrinsic information scaling. IEEE 5th Annual Wireless Telecommunication Symposium (WTS 2007). https://doi.org/10.1109/WTS.2007.4563294