Sharing Data Collections and Models for Ionosphere, Thermosphere and Plasmasphere Research

Kiss, T., Pierantoni, G., Kagialis, D., Bolotov, A., Chan You Fee, D., Belehaki, A. and Galkin, I. 2022. Sharing Data Collections and Models for Ionosphere, Thermosphere and Plasmasphere Research. IWSG 2022. Trento, Italy 15 - 17 Jun 2022

TitleSharing Data Collections and Models for Ionosphere, Thermosphere and Plasmasphere Research
AuthorsKiss, T., Pierantoni, G., Kagialis, D., Bolotov, A., Chan You Fee, D., Belehaki, A. and Galkin, I.
TypeConference paper
Abstract

PITHIA-NRF (Plasmasphere Ionosphere Thermosphere Integrated Research Environment and Access services: a Network of Research Facilities) is a project funded by the European Commission’s H2020 programme to build a distributed network of observing facilities, data processing tools and prediction models dedicated to ionosphere, thermosphere and plasmasphere research. One of the core components of PITHIA-NRF is the PITHIA e-Science Centre that supports access to distributed data resources and facilitates the execution of various models on local infrastructures and remote cloud computing resources.
There are two major types of resources to be registered with the e-Science Centre: Data Collections and Models. Data Collections are either generated as direct outcome of an observation facility (e.g. radars, radio telescopes, meteor cameras, etc.) or can also be generated by various scientific Models. Models are scientific applications that take either raw or cleaned data from observation facilities and produce higher level datasets with predicted characteristics to facilitate further scientific research.
Both Data Collections and Models are registered with the PITHIA e-Science Centre using a rich set of metadata that is based on the ISO 19156 standard on Observations and Measurements (O&M), and specifically augmented and tailored for the requirements of space physics. The metadata structure and the related ontology were originally developed in the FP7 ESPAS project [1] and are currently being modified for the specific requirements of PITHIA. PITHIA-NRF decided to describe and register data collections only, instead of the central registration of every individual data granule, as in previous projects such as ESPAS. Such simplification enables easier management of the e-Science Centre and can lead to longer term sustainability with feasible amount of maintenance effort required. On the other hand, local searchability of individual data pieces still remains, not restricting the scientists to access the required details at the necessary granularity.
When it comes to the execution of models, the PITHIA e-Science Centre supports three types of model execution and access scenarios, all provided from a single entry-point. Models can be executed on local resources of the various PITHIA nodes (institutions sharing Data Collections and Models). Additionally, some Models can be deployed and executed on cloud computing resources on-demand. Finally, nodes can also offer Models to be downloaded and executed on the users’ own resources. Model providers can select the most suitable execution mechanism, based on the specific characteristics of the models and the resources (both human and computational resources) they have.
The implementation of the PITHIA e-Science Centre is work in progress. This presentation will report on the current state of this development work. The ESPAS metadata structure and ontology, tailored for the specific requirements of the project, have already been demonstrated to the research community on the example of some Data Collections and Models. Based on this metadata structure, work is currently ongoing to enable the registration and the ontology-based search facility of both Models and Data Collections. Proof of concept implementations [2] of the various Model access and execution mechanisms have also been implemented and demonstrated to the research community.
Acknowledgement
This work was funded by the PITHIA-NRF - Plasmasphere Ionosphere Thermosphere Integrated Research Environment and Access services: a Network of Research Facilities (No. 101007599) EU H2020 project.
Keywords – e-Science Centre, ontology, metadata, Data Collection, Model execution.
REFERENCES
[1] Anna Belehaki, Sarah James, Mike Hapgood, Spiros Ventouras, Ivan Galkin, Antonis Lembesis, Ioanna Tsagouri, Anna Charisi, Luca Spogli, Jens Berdermann, Ingemar Häggström, The ESPAS e-infrastructure: Access to data from near-Earth space, Advances in Space Research, Volume 58, Issue 7, 2016, Pages 1177-1200, ISSN 0273-1177, https://doi.org/10.1016/j.asr.2016.06.014.
[2] Gabriele Pierantoni, Tamas Kiss, Alexander Bolotov, Dimitrios Kagialis, James DesLauriers, Amjad Ullah, Huankai Chen, David Chan You Fee, Hai-Van Dang, Jozsef Kovacs, Anna Belehaki, Themistocles Herekakis, Ioanna Tsagouri, Sandra Gesing: Towards a Reference Architecture based Science Gateway Framework with Embedded E-Learning Support, Concurrency and Computation, Practice and Experience, Wiley, 2022, https://doi.org/10.1002/cpe.6872

Keywordse-Science Centre
ontology
metadata
Data Collection
Model execution
Year2022
ConferenceIWSG 2022
Accepted author manuscript
File Access Level
Open (open metadata and files)
ProjectPlasmasphere Ionosphere Thermosphere Integrated Research Environment and Access services: a Network of Research Facilities (PITHIA-NRF)
FunderEuropean Commission
Web address (URL) of conference proceedingshttps://iwsgateways.github.io/iwsg2022/
Web address (URL)https://iwsgateways.github.io/iwsg2022/
File
File Access Level
Open (open metadata and files)

Related outputs

Automated Generation of Deployment Descriptors for Managing Microservices-based Applications in the Cloud to Edge Continuum
Deslauriers, J., Kovács, J., Kiss, T., Stork, A., Pena Serna, S. and Ullah, A. 2024. Automated Generation of Deployment Descriptors for Managing Microservices-based Applications in the Cloud to Edge Continuum. Future Generation Computer Systems. Advanced online publication. https://doi.org/10.1016/j.future.2024.107628

An experimental study on the performance of post-Quantum lightweight cryptosystems in the context of IoT/NFC
Alonso India, J., El Hajjar, A. and Kiss, T. 2024. An experimental study on the performance of post-Quantum lightweight cryptosystems in the context of IoT/NFC. The 25th International Web Information Systems Engineering Conference (WISE 2024). Doha, Qatar 02 - 05 Dec 2024 Springer.

Decentralised Orchestration of Microservices in the Cloud-to-Edge Continuum
Kiss, T., Ullah, A., Kovacs, J., Deslauriers, J., Terstyanszky, G. and Tusa, F. 2024. Decentralised Orchestration of Microservices in the Cloud-to-Edge Continuum. 16th International Workshop on Science Gateways (IWSG2024). Tolouse, France 18 - 20 Jun 2024 Zenodo. https://doi.org/10.5281/zenodo.13863564

Preprint: A foggy minefield: Experiences of regulation among developers of AI and other medical software in the UK, survey and focus group study
Henry W.W. Potts, Paulina Bondaronek, Ana Luisa Neves, Alex Bolotov, Lucie Burgess, Jona Shehu, Gabriella Spinellli, Emanuela Volpi and Austen El-Osta 2024. Preprint: A foggy minefield: Experiences of regulation among developers of AI and other medical software in the UK, survey and focus group study. medRxiv. https://doi.org/10.1101/2024.08.25.24312551

A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification
Oca, Josu, Hermo, Montserrat and Bolotov, Alexander 2024. A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification. 2024 Design, Automation & Test in Europe Conference & Exhibition. Valencia, Spain 25 - 27 Mar 2024 IEEE . pp. 1-2 https://doi.org/10.23919/date58400.2024.10546630

Applications Model: A High-Level Design Model for Rich Web-Based Applications
Dissanayake, Nalaka and Bolotov, Alexander 2024. Applications Model: A High-Level Design Model for Rich Web-Based Applications. 19th International Conference on Evaluation of Novel Approaches to Software Engineering. Angers, France 28 - 29 Apr 2024 SCITEPRESS – Science and Technology Publications. https://doi.org/10.5220/0012605600003687

Hybrid homomorphic encryption: the future of privacy-preserving data analytics and machine learning in sleep medicine? (HARPOCRATES)
Salanitro, M., Penzel, T., Rosenblum, L., Bowden, J., Krefting, D., Leppänen, T., Michalas, A. and Kiss, T. 2024. Hybrid homomorphic encryption: the future of privacy-preserving data analytics and machine learning in sleep medicine? (HARPOCRATES). Sleep Medicine. 115 (Supplement 1), pp. 107-108. https://doi.org/10.1016/j.sleep.2023.11.322

Swarmchestrate: Towards a Fully Decentralised Framework for Orchestrating Applications in the Cloud-to-Edge Continuum
Kiss, T., Ullah, A., Terstyanszky, G., Kao, O., Becker, S., Verginadis, Y., Michalas, A., Stankovski, V., Kertesz, A., Ricci, E, Altmann, J., Egger, B., Tusa, F., Kovacs, J. and Lovas, R. 2024. Swarmchestrate: Towards a Fully Decentralised Framework for Orchestrating Applications in the Cloud-to-Edge Continuum. AINA 2024 - 38th International Conference on Advanced Information Networking and Applications. Kitakyushu International Convention Center, Kitakyushu, Japan 17 - 19 Apr 2024 Springer. https://doi.org/10.1007/978-3-031-57931-8_9

Digital Health Evidence Generation Ontology Prototype
Bolotov, A. 2023. Digital Health Evidence Generation Ontology Prototype.

High-level Design Models for Rich Web-based Applications
Dissanayake, N.R., Bolotov, A. and Courtenage, S. 2023. High-level Design Models for Rich Web-based Applications. Showcasing Research at the School of Computer Science and Engineering. Regent cinema, Regent street, London 22 Nov 2023 University of Westminster.

Design Methodoolgy for Rich Web-based Appllications
Dissanayake, N.R., Bolotov, A. and Courtenage, S. 2023. Design Methodoolgy for Rich Web-based Appllications.

Live Demonstration of the PITHIA e-Science Centre
Kiss, T., Chan You Fee, D., Kagialis, D. and Pierantoni, G. 2023. Live Demonstration of the PITHIA e-Science Centre. iwsg 2023 - 15th International Workshop on Science Gateways (IWSG2023), 13-15 June 2023, Tubingen, Germany. Tubingen, Germany 13 - 15 Jun 2023

Easy Edges: Automating Connectivity and Scheduling at the Edge
Deslauriers, J. and Kiss, T. 2023. Easy Edges: Automating Connectivity and Scheduling at the Edge. IWSG 2023 - 15th International Workshop on Science Gateways (IWSG2023), 13-15 June 2023, Tubingen, Germany.. Tübingen, Germany 13 - 15 Jun 2023

Orchestration in the Cloud-to-Things Compute Continuum: Taxonomy, Survey and Future Directions
Ullah, A., Kiss, T., Kovacs, J., Tusa, F., Deslauriers, J., Dagdeviren, H., Arjun, R. and Hamzeh, H. 2023. Orchestration in the Cloud-to-Things Compute Continuum: Taxonomy, Survey and Future Directions. Journal of Cloud Computing: Advances, Systems and Applications. 12 (135). https://doi.org/10.1186/s13677-023-00516-5

Tableaux and Sequent Calculi for CTL and ECTL: Satisfiability Test with Certifying Proofs and Models
Bolotov, A., Garcia-Closas, M., Lucio, P. and Abuin, A. 2023. Tableaux and Sequent Calculi for CTL and ECTL: Satisfiability Test with Certifying Proofs and Models. Journal of Logical and Algebraic Methods in Programming. 130 100828. https://doi.org/10.1016/j.jlamp.2022.100828

Toward a reference architecture based science gateway framework with embedded e‐learning support
Pierantoni, G., Kiss, T., Bolotov, A., Kagialis, D., James DesLauriers, Ullah, A., Chen, H., Chan You Fee, D., Dang, H., Kovacs, J., Belehaki, A., Herekakis, T., Tsagouri, I. and Gesing, S. 2023. Toward a reference architecture based science gateway framework with embedded e‐learning support. Concurrency and Computation: Practice and Experience. 35 (18) e6872. https://doi.org/10.1002/cpe.6872

The Digital Health Evidence Generator
Bolotov, A., Volpi, E. and Chan You Fee, D. 2022. The Digital Health Evidence Generator. University of Westminster. https://doi.org/10.34737/w6866

Edge-Cloud Synergy: Unleashing the Potential of Parallel Processing for Big Data Analytics
Singh, R. and Kiss, T. 2022. Edge-Cloud Synergy: Unleashing the Potential of Parallel Processing for Big Data Analytics. IEEE IEMCON 2022 - 13th IEEE Annual Information Technology, Electronics and Mobile Communication Conference. on-line event 12 - 15 Oct 2022 IEEE . https://doi.org/10.1109/IEMCON56893.2022.9946590

Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction Purposes
Yerashenia, N., Chan You Fee, D. and Bolotov, A. 2022. Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction Purposes. 24th IEEE International Conference on Business Informatics (IEEE CBI 2022). Amsterdam 15 - 17 Jun 2022 IEEE . https://doi.org/10.1109/CBI54897.2022.00013

To Offload or Not? An Analysis of Big Data Offloading Strategies from Edge to Cloud
Singh, R., Kovacs, J. and Kiss, T. 2022. To Offload or Not? An Analysis of Big Data Offloading Strategies from Edge to Cloud. IEEE World AI IoT Congress 2022. Seattle, USA 06 - 09 Jun 2022 IEEE . https://doi.org/10.1109/AIIoT54504.2022.9817276

Supply chain simulation as a service to increase adaptation capability in manufacturing
Kiss, T., Terstyanszky, G., Arjun, R., Sardesai, S., Goertz, M. D. and Wangenheim, M. 2022. Supply chain simulation as a service to increase adaptation capability in manufacturing. ANNSIM 2022 - Annual Modeling and Simulation Conference. San Diego, California, USA 17 - 20 Jul 2022 IEEE . https://doi.org/10.23919/ANNSIM55834.2022.9859375

An Industry Gateway for Rapid Reconfiguration of Manufacturing Processes
Kiss, T., Terstyanszky, G. and Arjun, R. 2022. An Industry Gateway for Rapid Reconfiguration of Manufacturing Processes. IWSG 2022. Trento, Italy 15 - 17 Jun 2022

Everyday orchestration with Docker on Kubernetes
Deslauriers, J., Arjun, R., Kovács, J. and Kiss, T. 2022. Everyday orchestration with Docker on Kubernetes. IWSG 2022. Trento, Italy 15 - 17 Jun 2022

Industrial Digitalization in the Industry 4.0 era: Classification, Reuse and Authoring of Digital Models on Digital Twin Platforms
Zambrano, V., Mueller-Roemer, J., Sandberg, M., Talasila, P., Zanin, D, Larsen, P., Loeschner, E., Thronicke, W., Pietraroia, D., Landolfi, G., Fontana, A., Laspalas, M., Antony, J., Poser, V., Kiss, T., Bergweiler, S., Pena Serna, S., Izquierdo, S., Viejo, I., Juan, A., Serrano, F. and Stork, A. 2022. Industrial Digitalization in the Industry 4.0 era: Classification, Reuse and Authoring of Digital Models on Digital Twin Platforms. Array. 14 100176. https://doi.org/10.1016/j.array.2022.100176

Interoperable Data Analytics Reference Architectures Empowering Digital-Twin-Aided Manufacturing
Marosi, A.C., Márk Emodi, Hajnal, A., Lovas, R., Kiss, T., Valerie Poser, Antony, J., Bergweiler, S., Hamzeh, H., Deslauriers, J. and Kovacs, J. 2022. Interoperable Data Analytics Reference Architectures Empowering Digital-Twin-Aided Manufacturing. Future Internet. 14 (4) e114. https://doi.org/10.3390/fi14040114

Proceedings of the 5th Student-STAFF Research Conference
Bolotov, A. Bolotov, A. (ed.) 2022. Proceedings of the 5th Student-STAFF Research Conference. University of Westminster.

On the Expressive Power of the Normal Form for Branching-Time Temporal Logics
Bolotov, Alexander 2022. On the Expressive Power of the Normal Form for Branching-Time Temporal Logics. Electronic Proceedings in Theoretical Computer Science. 358, pp. 254-269. https://doi.org/10.4204/eptcs.358.19

Abstractions of Abstractions: Metadata to Infrastructure-as-Code
Deslauriers, J., Kovacs, J. and Kiss, T. 2022. Abstractions of Abstractions: Metadata to Infrastructure-as-Code. FIST 2022 - 1st International Workshop on the Foundations of Infrastructure Specification and Testing, In conjunction with the 19TH IEEE International Conference on Software Architecture (ICSA 2022). On-line 12 - 15 Mar 2022 IEEE . https://doi.org/10.1109/icsa-c54293.2022.00051

MiCADO-Edge: Towards an Application-level Orchestrator for the Cloud-to-Edge Computing Continuum
Ullah, A., Dagdeviren, H., Arjun, R., Deslauriers, J., Kiss, T. and Bowden, J. 2021. MiCADO-Edge: Towards an Application-level Orchestrator for the Cloud-to-Edge Computing Continuum. Journal of Grid Computing. 19 47 (2021). https://doi.org/10.1007/s10723-021-09589-5

Dynamic Composition and Automated Deployment of Digital Twins for Manufacturing
Deslauriers, J., Kiss, T. and Kovacs, J. 2021. Dynamic Composition and Automated Deployment of Digital Twins for Manufacturing. 13th International Workshop on Science Gateways. Virtual event 10 - 11 Jun 2021 CEUR Workshop Proceedings.

PITHIA-NRF e-Science Centre – A Science Gateway based on Cloud-based Reference Architectures
Pierantoni, G., Kiss, T. and Bolotov, A. 2021. PITHIA-NRF e-Science Centre – A Science Gateway based on Cloud-based Reference Architectures. 13th International Workshop on Science Gateways. Virtual event 10 - 11 Jun 2021 CEUR Workshop Proceedings.

Measuring Success for a Future Vision: Defining Impact in Science Gateways/Virtual Research Environments
Calyam, P., Wilkins-Diehr, N., Miller, M., Brookes, E. H., Arora, R., Chourasia, A., Jennewein, D. M., Nandigam, V., LaMar, M. D., Cleveland, S. B., Newman, G., Wang, S., Zaslavsky, I., Cianfrocco, M. A., Ellett, K., Tarboton, D., Jeffery, K. G., Zhao, Z., González-Aranda, J., Perri, M. J., Tucker, G., Candela, L., Kiss, T. and Gesing, S. 2021. Measuring Success for a Future Vision: Defining Impact in Science Gateways/Virtual Research Environments. Concurrency and Computation: Practice and Experience. 33 (19) e6099. https://doi.org/10.1002/cpe.6099

SMARTEST - knowledge and learning repository
Bolotov, A., Pierantoni, G., Chan You Fee, D., Wojtunik, D., Ivanauskaite, G., Tait, C., Makadicy, W., Wasowski, T., Kulczynska, A. and Yerashenia, N. 2020. SMARTEST - knowledge and learning repository . University of Westminster.

Proceedings of the 4th Student-STAFF Research Conference 2020 School of Computer Science and Engineering SSRC2020
Bolotov, A. Bolotov, A. (ed.) 2020. Proceedings of the 4th Student-STAFF Research Conference 2020 School of Computer Science and Engineering SSRC2020. University of Westminster.

Cloud apps to‐go: Cloud portability with TOSCA and MiCADO
Deslauriers, J., Kiss, T., Ariyattu, R.C., Dang, H., Ullah, A., Bowden, J., Krefting, D., Pierantoni, G. and Terstyanszky, G. 2020. Cloud apps to‐go: Cloud portability with TOSCA and MiCADO. Concurrency and Computation: Practice and Experience. 33 (19). https://doi.org/10.1002/cpe.6093

Innovations in Simulation: Experiences with Cloud-based Simulation Experimentation
Taylor, S.J.E., Anagnostou, A., Abubakar, N.T., Kiss, T., Deslauriers, J., Terstyanszky, G., Kacsuk, P., Kovacs, J., Kite, S., Pattison, G. and Petry, J. 2020. Innovations in Simulation: Experiences with Cloud-based Simulation Experimentation. Bae, K. H., Feng, B., Kim, S., Lazarova-Molnar, S., Zheng, Z., Roeder, T. and Thiesing, R. (ed.) Winter Simulation Conference 2020. Orlando, Florida, USA 13 - 16 Dec 2020 IEEE . https://doi.org/10.1109/WSC48552.2020.9383971

One-pass Context-based Tableaux Systems for CTL and ECTL
Abuin, A., Bolotov, A., Hermo, M. and Lucio, P. 2020. One-pass Context-based Tableaux Systems for CTL and ECTL. 27th International Symposium on Temporal Representation and Reasoning. Bozen-Bolzano, Italy 23 - 25 Sep 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. https://doi.org/10.4230/LIPIcs.TIME.2020.14

Towards a Cloud Native Big Data Platform using MiCADO
MOSA, A., Kiss, T., Pierantoni, G., Deslauriers, J., Kagialis, D. and Terstyanszky, G. 2020. Towards a Cloud Native Big Data Platform using MiCADO. ISPDC 2020. on-line event (originally Warsaw, Poland) 05 - 08 Jul 2020 IEEE . https://doi.org/10.1109/ISPDC51135.2020.00025

Building Science Gateways for Analysing Molecular Docking Results Using a Generic Framework and Methodology
Temelkovski, D., Kiss, T., Terstyanszky, G. and Greenwell, P. 2020. Building Science Gateways for Analysing Molecular Docking Results Using a Generic Framework and Methodology. Journal of Grid Computing. 18, pp. 529-546. https://doi.org/10.1007/s10723-020-09529-9

Science Gateways with Embedded Ontology-based E-learning Support
Kiss, T., Bolotov, A., Pierantoni, G., Deslauriers, J., MOSA, A., Kagialis, D., Terstyanszky, G. and Chan You Fee, D. 2020. Science Gateways with Embedded Ontology-based E-learning Support. Gesing, S., Taylor, I. and Barclay, I (ed.) 12th International Workshop on Science Gateways. On-line 10 - 11 Jun 2020 CEUR Workshop Proceedings.

Industry Simulation Gateway on a Scalable Cloud
Kovacs, J., Kiss, T., Taylor, S.J.E., Farkas, A, Anagnostou, A., Pattison, G, Emodi, M, Kite, S., Petry, J, Snookes, G, Kacsuk, P. and Lovas, R. 2020. Industry Simulation Gateway on a Scalable Cloud. Gesing, S., Taylor, I. and Barclay, I (ed.) 12th International Workshop on Science Gateways. On-line 10 - 11 Jun 2020 CEUR Workshop Proceedings.

Describing and Processing Topology and Quality of Service Parameters of Applications in the Cloud
Pierantoni, G., Kiss, T., Terstyanszky, G., Deslauriers, J., Gesmier, G. and Dang, H. 2020. Describing and Processing Topology and Quality of Service Parameters of Applications in the Cloud. Journal of Grid Computing. 18, p. 761–778. https://doi.org/10.1007/s10723-020-09524-0

Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model
Yerashenia, N., Bolotov, A., Chan You Fee, D. and Pierantoni, G. 2020. Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model. 22nd IEEE International Conference on Business Informatics (IEEE CBI 2020) . Antwerp, Belgium 22 - 24 Jun 2020 IEEE . https://doi.org/10.1109/CBI49978.2020.00015

Charlie and the CryptoFactory: Towards Secure and Trusted Manufacturing Environments
Michalas, A. and Kiss, T. 2020. Charlie and the CryptoFactory: Towards Secure and Trusted Manufacturing Environments. IEEE MELECON 2020. Palermo, Italy 16 - 18 Jun 2020 IEEE . https://doi.org/10.1109/MELECON48756.2020.9140712

Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+
Bolotov, A., Hermo, M. and Lucio, P. 2020. Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+. Theoretical Computer Science. 813, pp. 428-451. https://doi.org/10.1016/j.tcs.2020.02.015

Towards Architectural Design Method for Rich Web-based Applications
Dissanayake, N.R., Bolotov, A. and Courtenage, S. 2019. Towards Architectural Design Method for Rich Web-based Applications. 2019 CSE Doctoral Conference. University of Westminster May 2019

Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach
Bolotov, A., Hermo, M. and Lucio, P. 2019. Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. 19th Spanish Conference on Programming and Computer Languages. Sep 2019 Spanish Society of Software Engineering and Software Development Technologies.

Proceedings of the Automated Reasoning Workshop (ARW 2019)
Bolotov, A. and Kammueller, F. 2019. Proceedings of the Automated Reasoning Workshop (ARW 2019). London

Creating an Intelligent System for Bankruptcy Detection: Semantic data Analysis Integrating Graph Database and Financial Ontology
Yerashenia, N. and Bolotov, A. 2019. Creating an Intelligent System for Bankruptcy Detection: Semantic data Analysis Integrating Graph Database and Financial Ontology. Automated Reasoning Workshop 2019: Bridging the Gap between Theory and Practice. University of Middlesex 02 - 03 Sep 2019 Middlesex University.

Bevezetés az üzleti informatikába
Bruckner, L.K. and Kiss, T. 2019. Bevezetés az üzleti informatikába. Akadémiai Kiadó.

Towards Certified Model Checking for PLTL using One-pass Tableaux
Abuin, A., Bolotov, A., de Cerio, U., Hermo, M. and Lucio, P. 2019. Towards Certified Model Checking for PLTL using One-pass Tableaux. 26th International Symposium on Temporal Representation and Reasoning, TIME 2019. Malaga, Spain 16 - 19 Oct 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. https://doi.org/10.4230/LIPIcs.TIME.2019.12

Towards a Deadline-Based Simulation Experimentation Framework Using Micro-Services Auto-Scaling Approach
Anagnostou, A., Taylor, S.J.E., Abubakar, N.T., Kiss, T., Deslauriers, J., Gesmier, G., Terstyanszky, G., Kacsuk, P. and Kovacs, J. 2019. Towards a Deadline-Based Simulation Experimentation Framework Using Micro-Services Auto-Scaling Approach. Mustafee, N., Bae, K.-H.G., Lazarova-Molnar, S., Rabe, M., Szabo, C., Haas, P. and Son, Y-J. (ed.) Winter Simulation Conference 2019. Gaylord National Resort & Conference Center National Harbor, Maryland 08 - 11 Dec 2019 IEEE . https://doi.org/10.1109/wsc40007.2019.9004882

Computational Modelling for Bankruptcy Prediction: Semantic data Analysis Integrating Graph Database and Financial Ontology
Yerashenia, N. and Bolotov, A. 2019. Computational Modelling for Bankruptcy Prediction: Semantic data Analysis Integrating Graph Database and Financial Ontology. 21st IEEE Conference on Business Informatics. Moscow, Russian Federation 15 - 17 Jul 2019 IEEE . https://doi.org/10.1109/CBI.2019.00017

A Cloud-agnostic Queuing System to Support the Implementation of Deadline-based Application Execution Policies
Kiss, T., Deslauriers, J., Gesmier, G., Terstyanszky, G., Pierantoni, G., Abu Oun, O., Taylor, S.J.E., Anagnostou, A. and Kovacs, J. 2019. A Cloud-agnostic Queuing System to Support the Implementation of Deadline-based Application Execution Policies. Future Generation Computer Systems. 101, pp. 99-111. https://doi.org/10.1016/j.future.2019.05.062

High Speed Simulation Analytics
Taylor, S.J.E., Anagnostou, A. and Kiss, T. 2019. High Speed Simulation Analytics. in: Gunal, M.M. (ed.) Simulation for Industry 4.0: Past, Present and Future Springer. pp. 167-189

A Secure Cloud-based Platform to Host Healthcare Applications
Pierantoni, G., Kiss, T., Terstyanszky, G., Dang, H.V., Delgado Olabarriaga, S., Tuler de Olivera, M., Yigzaw, K. Y., Belika, J. G., Krefting, D. and Penzel, T. 2019. A Secure Cloud-based Platform to Host Healthcare Applications. Gesing, S. (ed.) 11th International Workshop on Science Gateways, IWSG 2019. Ljubljana, Slovenia 12 - 14 Jun 2019

A Cloud/HPC Platform and Marketplace for Manufacturing SMEs
Kiss, T. 2019. A Cloud/HPC Platform and Marketplace for Manufacturing SMEs. 11th International Workshop on Science Gateways, IWSG 2019. Ljubljana, Slovenia 12 - 14 Jun 2019

Enabling modular design of an application-level auto-scaling and orchestration framework using tosca-based application description templates
Deslauriers, J., Kiss, T., Pierantoni, G., Gesmier, G. and Terstyanszky, G. 2019. Enabling modular design of an application-level auto-scaling and orchestration framework using tosca-based application description templates. Stankovski, V and Gesing, S. (ed.) 11th International Workshop on Science Gateways, IWSG 2019. Ljubljana, Slovenia 12 - 14 Jun 2019 CEUR Workshop Proceedings.

Extending Molecular Docking Desktop Applications with Cloud Computing Support and Analysis of Results
Temelkovski, D., Kiss, T., Terstyanszky, G. and Greenwell, P. 2019. Extending Molecular Docking Desktop Applications with Cloud Computing Support and Analysis of Results. Future Generation Computer Systems. 97, p. 814–824. https://doi.org/10.1016/j.future.2019.03.017

Enabling Cloud-based Computational Fluid Dynamics with a Platform-as-a-Service Solution
Taylor, S.J.E., Anagnostou, A., Kiss, T., Terstyanszky, G., Kacsuk, P., Fantini, N., Lakehal, D. and Costes, J 2019. Enabling Cloud-based Computational Fluid Dynamics with a Platform-as-a-Service Solution. IEEE Transactions on Industrial Informatics. 15 (1), pp. 85-94. https://doi.org/10.1109/TII.2018.2849558

MiCADO -Microservice-based Cloud Application-level Dynamic Orchestrator
Kiss, T., Kacsuk, P., Kovacs, J., Rakoczi, B., Hajnal, A., Farkas, A., Gesmier, G. and Terstyanszky, G. 2019. MiCADO -Microservice-based Cloud Application-level Dynamic Orchestrator. Future Generation Computer Systems. 94, pp. 937-946. https://doi.org/10.1016/j.future.2017.09.050

Enabled: Educational Network Amplifying Learning Experience (EnAbled)
Bolotov, A., Pierantoni, G., Chan You Fee, D., Wisudha, A. and Abduraimova, Z. 2018. Enabled: Educational Network Amplifying Learning Experience (EnAbled). Kensington Olimpia 12 Oct 2018

Tuning Natural Deduction Proof Search by Analytic Methods
Bolotov, A. and Gorchakov, A. 2018. Tuning Natural Deduction Proof Search by Analytic Methods. The 25th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Cambridge Apr 2018 University of Cambridge.

A tree-style one-pass tableau for an extension of ECTL+
Bolotov, A., Hermo, M. and Lucio, P. 2018. A tree-style one-pass tableau for an extension of ECTL+. The 25th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Cambridge Apr 2018 University of Cambridge.

EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths
Bolotov, A., Pierantoni, G., Wisudha, A., Abduraimova, Z. and Chan You Fee, D. 2018. EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths. EC-TEL Practitioner Proceedings 2018: 13th European Conference On Technology Enhanced Learning. Leeds, UK 03 - 06 Sep 2018 CEUR.

Extending fairness expressibility of ECTL+: a tree-style one-pass tableau approach
Bolotov, A., Hermo, M. and Lucio, P. 2018. Extending fairness expressibility of ECTL+: a tree-style one-pass tableau approach. 25th International Symposium on Temporal Representation and Reasoning, TIME-2018. Warsaw, Poland 15 - 17 Oct 2018 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.TIME.2018.5

The CloudSME Simulation Platform and its Applications: A Generic Multi-cloud Platform for Developing and Executing Commercial Cloud-based Simulations
Taylor, S.J.E., Kiss, T., Anagnostou, A., Terstyanszky, G., Kacsuk, P., Costes J. and Fantini, N. 2018. The CloudSME Simulation Platform and its Applications: A Generic Multi-cloud Platform for Developing and Executing Commercial Cloud-based Simulations. Future Generation Computer Systems. 88, pp. 524-539. https://doi.org/10.1016/j.future.2018.06.006

Job-queuing and Auto-scaling in Container-based Cloud Environments
Abu Oun, O. and Kiss, T. 2018. Job-queuing and Auto-scaling in Container-based Cloud Environments. Gesing, S. and Atkinson, M. (ed.) 10th International Workshop on Science Gateways, IWSG 2018. Edinburgh UK 13 - 15 Jun 2018 CEUR Workshop Proceedings.

Automated Scalability of Cloud Services and Jobs
Kiss, T., Terstyanszky, G., Abu Oun, O., Deslauriers, J., Gesmier, G., Pierantoni, G., Kovacs, J., Kacsuk, P., Nagy, E and Farkas, A 2018. Automated Scalability of Cloud Services and Jobs. Gesing, S. and Atkinson, M. (ed.) 10th International Workshop on Science Gateways, IWSG 2018. Edinburgh UK 13 - 15 Jun 2018

Flexible Deployment of Social Media Analysis Tools, Flexible, Policy-Oriented and Multi-Cloud deployment of Social Media Analysis Tools in the COLA Project
Pierantoni, G., Kiss, T., Gesmier, G., Deslauriers, J., Terstyanszky, G. and Martin Rapun, J.M. 2018. Flexible Deployment of Social Media Analysis Tools, Flexible, Policy-Oriented and Multi-Cloud deployment of Social Media Analysis Tools in the COLA Project. Gesing, S. and Atkinson, M. (ed.) 10th International Workshop on Science Gateways, IWSG 2018. Edinburgh UK 13 - 15 Jun 2018 CEUR Workshop Proceedings.

High-level Description of Cloud Applications using TOSCA
Terstyanszky, G., Kiss, T., Gesmier, G. and Pierantoni, G. 2018. High-level Description of Cloud Applications using TOSCA. Gesing, S. and Atkinson, M. (ed.) 10th International Workshop on Science Gateways, IWSG 2018. Edinburgh UK 13 - 15 Jun 2018

A Generic Framework and Methodology for Implementing Science Gateways for Analysing Molecular Docking Results
Kiss, T., Temelkovski, D. and Terstyanszky, G. 2018. A Generic Framework and Methodology for Implementing Science Gateways for Analysing Molecular Docking Results. Gesing, S. and Atkinson, M. (ed.) 10th International Workshop on Science Gateways. Edinburgh UK 13 - 15 Jun 2018 CEUR Workshop Proceedings.

Scalable Multi-cloud Platform to Support Industry and Scientific Applications
Kiss, T. 2018. Scalable Multi-cloud Platform to Support Industry and Scientific Applications. International Conference on Data and Life Sciences Supported by Distributed Computing ,MIPRO 2018, 41st International Convention. Opatija, Croatia 21 - 25 May 2018 IEEE . https://doi.org/10.23919/MIPRO.2018.8400029

Enabled: Educational Network Amplifying Learning Experience (EnAbled)
Bolotov, A., Pierantoni, G., Wisudha, A., Abduraimova, Z. and Chan You Fee, D. 2018. Enabled: Educational Network Amplifying Learning Experience (EnAbled).

Paracomplete logic Kl: natural deduction, its automation, complexity and applications
Bolotov, A., Kozhemiachenko, D. and Shangin, V. 2018. Paracomplete logic Kl: natural deduction, its automation, complexity and applications. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 5 (1), pp. 221-261.

Molecular docking with Raccoon2 on clouds: extending desktop applications with cloud computing
Temelkovski, D., Kiss, T. and Terstyanszky, G. 2017. Molecular docking with Raccoon2 on clouds: extending desktop applications with cloud computing. 9th International Workshop on Science Gateways, IWSG 2017. Poznan, Poland 19 - 21 Jun 2017 CEUR Workshop Proceedings.

Towards Cloud Application Description Templates Supporting Quality of Service
Pierantoni, G., Kiss, T. and Terstyanszky, G. 2017. Towards Cloud Application Description Templates Supporting Quality of Service. 9th International Workshop on Science Gateways, IWSG 2017. Poznan, Poland 19 - 21 Jun 2017 CEUR Workshop Proceedings.

On the Complexity of the Natural Deduction Proof Search Algorithm
Bolotov, A., Shangin, V. and Kozhemiachenko, D. 2017. On the Complexity of the Natural Deduction Proof Search Algorithm. ARW2017 - 24th Automated Reasoning Workshop. Bristol 03 - 04 Apr 2017 University of Bristol Technical Report.

A model for information and action flows connecting science gateways to distributed computing infrastructures
Pierantoni, G., Frost, G., Gesing, S., Olabarriaga, S., Jaghoori, M., Terstyanski, G. and Arshad, J. 2016. A model for information and action flows connecting science gateways to distributed computing infrastructures. Gesing, S. and Krüger, J. (ed.) 8th International Workshop on Science Gateways. Rome 08 - 10 Jun 2016 CEUR Workshop Proceedings.

MiCADO – Towards a Microservice-based Cloud Application-level Dynamic Orchestrator
Visti, H., Kiss, T., Terstyanszky, G., Gesmier, G. and Winter, S. 2016. MiCADO – Towards a Microservice-based Cloud Application-level Dynamic Orchestrator. Gesing, S. and Krüger, J. (ed.) 8th International Workshop on Science Gateways, IWSG 2016. Rome, Italy 08 - 10 Jun 2016 CEUR Workshop Proceedings.

Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩
Bolotov, A. and Shangin, V. 2016. Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩. Hustadt, U. (ed.) Automated Reasoning Workshop 2016: Bridging the Gap between Theory and Practice (ARW 2016). Liverpool 19 - 20 May 2016 Automated Reasoning Workshop.

Discovering of System’s Invariants by Temporal Reasoning
Bolotov, A. 2016. Discovering of System’s Invariants by Temporal Reasoning. The International Conference on Innovations in Info-business and Technology (ICIIT). Colombo, Sri Lanka 04 - 04 Mar 2016 Informatics Institute of Technology.

Multi-level Meta-workflows: New Concept for Regularly Occurring Tasks in Quantum Chemistry
Arshad, J., Hoffmann, A, Gesing, S., Grunzke, R., Kruger, J., Kiss, T., Herres-Pawlis, S. and Terstyanszky, G. 2016. Multi-level Meta-workflows: New Concept for Regularly Occurring Tasks in Quantum Chemistry. Journal of Cheminformatics. 8, p. 58 58. https://doi.org/10.1186/s13321-016-0169-8

A Formal Approach to Support Interoperability in Scientific Meta-workflows
Arshad, J., Terstyanszky, G., Kiss, T., Weingarten, N. and Taffoni, G. 2016. A Formal Approach to Support Interoperability in Scientific Meta-workflows. Journal of Grid Computing. 14 (4), pp. 655-671. https://doi.org/10.1007/s10723-016-9383-x

Simulating Business Processes of Manufacturing SMEs on the Cloud
Terstyanszky, G., Kiss, T., Ozkok, A. and Isler, V. 2016. Simulating Business Processes of Manufacturing SMEs on the Cloud. PeerJ. 4 e2509v1. https://doi.org/10.7287/peerj.preprints.2509v1

From science gateways to commercial solutions
Kiss, T. and Terstyanszky, G. 2016. From science gateways to commercial solutions. PeerJ . 4 e2504v1. https://doi.org/10.7287/peerj.preprints.2504v1

Validating Scanned Foot Images and Designing Customized Insoles on the Cloud
Terstyanszky, G., Kiss, T., Taylor, S.J.E., Anagnostou, A., Subira, M., Padula, G., Alonson, E.D.M. and Rapun, J.M.M. 2016. Validating Scanned Foot Images and Designing Customized Insoles on the Cloud. HICSS-49 2016, Hawaii International Conference on System Sciences. Havaii, USA 05 - 08 Jan 2016 IEEE . https://doi.org/10.1109/HICSS.2016.411

Extending Science Gateway Frameworks to Support Big Data Applications in the Cloud
Gugnani, S., Blanco, J., Kiss, T. and Terstyanszky, G. 2016. Extending Science Gateway Frameworks to Support Big Data Applications in the Cloud. Journal of Grid Computing. 14 (4), pp. 589-601. https://doi.org/10.1007/s10723-016-9369-8

Sensor Intelligence for Tackling Energy-Drain Attacks on Wireless Sensor Networks
Udoh, E., Getov, Vladimir and Bolotov, A. 2016. Sensor Intelligence for Tackling Energy-Drain Attacks on Wireless Sensor Networks. The 23rd Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Liverpool 19 - 20 May 2016 Automated Reasoning Workshop.

The Digital Repository of Ireland
Pierantoni, G., Frost, D., Cassidy, K., Kenny, S., O'Neill, J., Tiernan, P. and Kilfeather, E. 2015. The Digital Repository of Ireland. 7th International Workshop on Science Gateways. Budapest 03 - 05 Jun 2015 IEEE . https://doi.org/10.1109/IWSG.2015.17

Distributed Agent-Based Load Balancer for Cloud Computing
Sliwko, L., Getov, Vladimir and Bolotov, A. 2015. Distributed Agent-Based Load Balancer for Cloud Computing. The 22nd Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Birmingham 09 Apr 2015 Automated Reasoning Workshop.

The CloudSME One-stop-shop – European Marketplace for HPC supported Simulation
Ocklenburg, A., Fantini, N., Taylor, S.J.E., Anagnostou, A., Reboux, S., Kiss, T., Terstyanszky, G. and Kacsuk, P. 2015. The CloudSME One-stop-shop – European Marketplace for HPC supported Simulation. NAFEMS World Congress . San Diego, USA 23 Jun 2015 NAFEMS.

Extending Scientific Workflow Systems to Support MapReduce Based Applications in the Cloud
Gugnani, S. and Kiss, T. 2015. Extending Scientific Workflow Systems to Support MapReduce Based Applications in the Cloud. 7th International Workshop on Science Gateways, IWSG 2015. Budapest, Hungary 03 Jun 2015 IEEE . https://doi.org/10.1109/IWSG.2015.15

A Definition and Analysis of the Role of Metaworkflows in Workflow Interoperability
Arshad, J., Terstyanszky, G., Kiss, T. and Weingarten, N. 2015. A Definition and Analysis of the Role of Metaworkflows in Workflow Interoperability. 7th International Workshop on Science Gateways, IWSG 2015. Budapest, Hungary 03 Jun 2015 IEEE . https://doi.org/10.1109/IWSG.2015.18

Business Models for Cloud Computing: Experiences from Developing Modeling & Simulation as a Service Applications in Industry
Kiss, T., Dagdeviren, H., Taylor, S.J.E., Anagnostou, A. and Fantini, N. 2015. Business Models for Cloud Computing: Experiences from Developing Modeling & Simulation as a Service Applications in Industry. Winter Simulation Conference. Huntington Beach, CA, USA 06 - 09 Dec 2015 IEEE . https://doi.org/10.1109/WSC.2015.7408373

Science gateway workshops 2013 special issue conference publications
Wilkins-Diehr, N., Gesing, S. and Kiss, T. 2015. Science gateway workshops 2013 special issue conference publications. Concurrency and Computation: Practice and Experience. 27 (2), pp. 253-257. https://doi.org/10.1002/cpe.3362

AutoDock gateway for user friendly execution of molecular docking simulations in cloud systems
Farkas, Z., Kacsuk, P., Kiss, T., Borsody, P., Hajnal, A., Balasko, A. and Karoczkai, K. 2015. AutoDock gateway for user friendly execution of molecular docking simulations in cloud systems. in: Terzo, O. and Mossucca, L. (ed.) Cloud Computing with E-science Applications Boca Raton, Florida CRC Press. pp. 217-236

Metaworkflows and Workflow Interoperability for Heliophysics
Pierantoni, G. and Carley, E. 2014. Metaworkflows and Workflow Interoperability for Heliophysics. 6th International Workshop on Science Gateways. Dublin 03 - 05 Jun 2014 IEEE . https://doi.org/10.1109/IWSG.2014.19

HELIOGate: a Portal for the Heliophysics Community
Pierantoni, G. and Carley, E. 2014. HELIOGate: a Portal for the Heliophysics Community. in: Kacsuk, P. (ed.) Science Gateways for Distributed Computing Infrastructures Cham Springer. pp. 195-207

A Workflow-Oriented Approach to Propagation Models
Pierantoni, G. and Perez Suarez, D. 2014. A Workflow-Oriented Approach to Propagation Models. Krakow Grid Workshop. Krakow 27 - 29 Oct 2014

Socratic Proofs for Propositional Linear-Time Logic
Urbanski, M., Bolotov, A., Shangin, V. and Grigoriev, O. 2014. Socratic Proofs for Propositional Linear-Time Logic. Bolotov, A. (ed.) Joint Automated Reasoning Workshop and Deduktionstreffen. Vienna 23 - 24 Jul 2014 IJCAR.

Tackling Incomplete System Specifcations Using Natural Deduction in the Paracomplete Setting
Bolotov, A. and Shangin, V. 2014. Tackling Incomplete System Specifcations Using Natural Deduction in the Paracomplete Setting. COMPSAC 2014. Vasteras, Sweden Jul 2014 IEEE . https://doi.org/10.1109/COMPSAC.2014.15

Natural Deduction in a Paracomplete Setting
Bolotov, A. and Shangin, V. 2014. Natural Deduction in a Paracomplete Setting. Logical Investigations. 20, pp. 224-247.

Analyzing and Modeling Medical Data on Distributed Computing Infrastructures
Terstyanszky, G., Kiss, T., Korkhov, V., Olabarriaga, S.D. and Delgado Olabarriaga, S. 2014. Analyzing and Modeling Medical Data on Distributed Computing Infrastructures. Hawaii International Conference on System Sciences. Hawaii, USA 06 Jan 2014 IEEE . https://doi.org/10.1109/HICSS.2014.364

Cloud Computing for Simulation in Manufacturing and Engineering: Introducing the CloudSME Simulation Platform
Taylor, S.J.E., Kiss, T., Terstyanszky, G., Kacsuk, P. and Fantini, N. 2014. Cloud Computing for Simulation in Manufacturing and Engineering: Introducing the CloudSME Simulation Platform. ANSS 14, Annual Simulation Symposium 2014, in conjunction with 2014 Spring Simulation Multi-Conference (SpringSim'14). Tampa, FL, USA 13 Apr 2014 Society for Modeling & Simulation International ( SCS ).

Developing a Cloud Computing Based Platform for Simulation in Manufacturing and Engineering
Taylor, S.J.E., Kiss, T., Kacsuk, P., Terstyanszky, G. and Fantini, N. 2014. Developing a Cloud Computing Based Platform for Simulation in Manufacturing and Engineering. SW14, 7th Simulation Workshop. The Abbey Hotel Golf and Country Club, Worcestershire, England, UK 01 Apr 2014

Cloudsme Project Opens New Gateway to HPC Support for Simulation Software
Taylor, S.J.E., Reboux, S., Anagnostou, A., Kiss, T., Kacsuk, P., Terstyanszky, G. and Fantini, N. 2014. Cloudsme Project Opens New Gateway to HPC Support for Simulation Software. NAFEMS UK Conference 2014. Oxford UK 10 Jun 2014 NAFEMS.

A tutorial on cloud computing for agent-based modeling and simulation with Repast
Taylor, S.J.E., Kiss, T., Anagnostou, A., Terstyanszky, G., Fantini, N. and Kacsuk, P. 2014. A tutorial on cloud computing for agent-based modeling and simulation with Repast. 2014 Winter Simulation Conference. Savanah, USA 08 Dec 2014 IEEE . https://doi.org/10.1109/WSC.2014.7019888

Investigating the Speedup of Systems Biology Simulation Using a SZTAKI Desktop Grid
Taylor, S.J.E., Ghrobani, M., Mustafee, N., Kiss, T., Borsody, P., Payne, A. and Gilbert, D. 2014. Investigating the Speedup of Systems Biology Simulation Using a SZTAKI Desktop Grid. 2014 Winter Simulation Conference. Savanah, USA 08 Dec 2014 IEEE . https://doi.org/10.1109/WSC.2014.7020120

Science Gateways Applying Clouds, Grids and HPC
Gesing, S., Kiss, T. and Pierantoni, G. 2014. Science Gateways Applying Clouds, Grids and HPC. 6th International Workshop on Science Gateways, IWSG 2014. Dublin, Ireland 03 Jun 2014 IEEE . https://doi.org/10.1109/IWSG.2014.5

Enabling Scientific Workflow Sharing through Coarse-Grained Interoperability
Terstyanszky, G., Kukla, T., Kiss, T., Kacsuk, P., Balasko, A. and Farkas, Z. 2014. Enabling Scientific Workflow Sharing through Coarse-Grained Interoperability. Future Generation Computing Systems: The International Journal of Grid Computing and eScience. 37, pp. 46-59. https://doi.org/10.1016/j.future.2014.02.016

Commercial Use of WS-PGRADE/gUSE
Kiss, T., Kacsuk, P., Takács, É., Szabó, Á., Tihanyi, P. and Taylor, S.J.E. 2014. Commercial Use of WS-PGRADE/gUSE. in: Kacsuk, P. (ed.) Science Gateways for Distributed Computing Infrastructures, Development Framework and Exploitation by Scientific User Communities Springer. pp. 271-286

WS-PGRADE/gUSE in European Projects
Kiss, T., Kacsuk, P., Lovas, R., Balasko, A., Spinuso, A., Atkinson, M., D’Agostino, D., Danovaro, E. and Schiffers, M. 2014. WS-PGRADE/gUSE in European Projects. in: Kacsuk, P. (ed.) Science Gateways for Distributed Computing Infrastructures, Development Framework and Exploitation by Scientific User Communities Springer. pp. 235-254

WS-PGRADE/gUSE-Based Science Gateways in Teaching
Sílvia Delgado Olabarriaga, Ammar Benabdelkader Matthan WA Caan, Mohammad Mahdi Jaghoori, Jens Krüger, Luis de la Garza, Christopher Mohr, Benjamin Schubert Anatoli Danezi and Kiss, T. 2014. WS-PGRADE/gUSE-Based Science Gateways in Teaching. in: Peter Kacsuk (ed.) Science Gateways for Distributed Computing Infrastructures, Development Framework and Exploitation by Scientific User Communities US Springer. pp. 223-234

Sharing science gateway artefacts through repositories
Terstyanszky, G., Michniak, E., Kiss, T. and Balasko, A. 2014. Sharing science gateway artefacts through repositories. in: Kacsuk, P. (ed.) Science gateways for distributed computing infrastructures, development framework and exploitation by scientific user communities Springer. pp. 123-138

Developing Science Gateways at Various Levels of Granularity Using WS-PGRADE/gUSE
Kiss, T., Terstyanszky, G., Borsody, P., Kacsuk, P. and Balasko, A. 2014. Developing Science Gateways at Various Levels of Granularity Using WS-PGRADE/gUSE. in: Kacsuk, P. (ed.) Science Gateways for Distributed Computing Infrastructures, Development Framework and Exploitation by Scientific User Communities Springer. pp. 111-122

Developing science gateways at various levels of granularity using WS-PGRADE/gUSE in science gateways for distributed computing infrastructures
Kiss, T., Terstyanszky, G., Borsody, P., Kacsuk, P. and Balasko, A. 2014. Developing science gateways at various levels of granularity using WS-PGRADE/gUSE in science gateways for distributed computing infrastructures. in: Kacsuk, P. (ed.) Development framework and exploitation by scientific user communities Springer. pp. 111-122

Buttressing volatile desktop grids with cloud resources within a reconfigurable environment service for workflow orchestration
Winter, S., Reynolds, C.J., Kiss, T., Terstyanszky, G., Greenwell, P., McEldowney, S., Acs, S. and Kacsuk, P. 2014. Buttressing volatile desktop grids with cloud resources within a reconfigurable environment service for workflow orchestration. Journal of Cloud Computing: Advances, Systems and Applications. 3 (1), p. 1. https://doi.org/10.1186/2192-113X-3-1

Large-scale virtual screening experiments on Windows Azure-based cloud resources
Kiss, T., Borsody, P., Terstyanszky, G., Winter, S., Greenwell, P., McEldowney, S. and Heindl, H. 2014. Large-scale virtual screening experiments on Windows Azure-based cloud resources. Concurrency and Computation: Practice and Experience. 26 (10), pp. 1760-1770. https://doi.org/10.1002/cpe.3113

The Demand for Consistent Web-Based Workflow Editors
Gesing, S., Atkinson, M., Klampanos, I., Galea, M., Berthold, M., Barbera, R., Scardaci, D., Terstyanszky, G., Kiss, T. and Kacsuk, P. 2013. The Demand for Consistent Web-Based Workflow Editors. 8th Workshop on Workflows in Support of Large-Scale Science. Denver, Colorado, USA 17 Nov 2013 ACM. https://doi.org/10.1145/2534248.2534260

Making distributed computing infrastructures interoperable and accessible for e-scientists at the level of computational workflows
Kiss, T. 2012. Making distributed computing infrastructures interoperable and accessible for e-scientists at the level of computational workflows. PhD thesis University of Westminster School of Electronics and Computer Science https://doi.org/10.34737/8z351

Programming applications for desktop grids
Kiss, T. and Terstyanszky, G. 2012. Programming applications for desktop grids. in: Cerin, C. and Fedak, G. (ed.) Desktop grid computing CRC Press. pp. 309-332

Natural deduction system in paraconsistent setting: proof search for PCont
Bolotov, A. and Shangin, V. 2012. Natural deduction system in paraconsistent setting: proof search for PCont. Journal of Intelligent Systems. 21 (1), pp. 1-24. https://doi.org/10.1515/jisys-2011-0021

Science Gateways for the Broader Take-up of Distributed Computing Infrastructures
Kiss, T. 2012. Science Gateways for the Broader Take-up of Distributed Computing Infrastructures. Journal of Grid Computing. 10 (4), pp. 599-600. https://doi.org/10.1007/s10723-012-9245-0

Application repository and science gateway for running molecular docking and dynamics simulations
Terstyanszky, G., Kiss, T., Kukla, T., Lichtenberger, Z., Winter, S., Greenwell, P., McEldowney, S. and Heindl, H. 2012. Application repository and science gateway for running molecular docking and dynamics simulations. in: Gesing, S., Glatard, T., Kruger, J., Delgado Olabarriaga, S., Solomonides, T., Silverstein, J.C., Montagnat, J., Gaignard, A. and Krefting, D. (ed.) Healthgrid applications and technologies meet science gateways for life sciences IOS Press.

Investigating volunteer computing for Simul8, a feasibility study
Taylor, S.J.E., Ghrobani, M., Kiss, T. and Elder, M. 2012. Investigating volunteer computing for Simul8, a feasibility study. Operational research society simulation workshop 2012 (SW12). Worcestershire, England 27th - 28th March 2012

Cation-π interactions induce kinking of a molecular hinge in the RNA polymerase bridge-helix domain
Heindl, H., Greenwell, P., Weingarten, N., Kiss, T., Terstyanszky, G. and Weinzierl, R.O.J. 2011. Cation-π interactions induce kinking of a molecular hinge in the RNA polymerase bridge-helix domain. Biochemical Society Transactions. 39 (1), pp. 31-35. https://doi.org/10.1042/BST0390031

Distributed computing and modelling and simulation: speeding up simulations and creating large models
Taylor, S.J.E., Ghrobani, M., Mustafee, N., Turner, S.J., Kiss, T., Farkas, D., Strasberger, S. and Kite, S. 2011. Distributed computing and modelling and simulation: speeding up simulations and creating large models. in: Jain, S., Creasey, R.R., Himmelspach, J., White, K.P. and Fu, M. (ed.) Proceedings of the 2011 Winter Simulation Conference IEEE .

Scientific workflow makespan reduction through cloud augmented desktop grids
Reynolds, C.J., Winter, S., Terstyanszky, G., Kiss, T., Greenwell, P., Acs, S. and Kacsuk, P. 2011. Scientific workflow makespan reduction through cloud augmented desktop grids. in: 2011 IEEE 3rd International Conference on Cloud Computing Technology and Science IEEE . pp. 18-23

Porting computation and data intensive applications to distributed computing infrastructures incorporating desktop grids
Kiss, T., Kelley, I. and Kacsuk, P. 2011. Porting computation and data intensive applications to distributed computing infrastructures incorporating desktop grids. in: Conference Proceedings of ISGC 2011, International Symposium on Grids and Clouds, 19-25 March, Academia Sinica, Taipei, Taiwan Proceedings of Science.

Development of user-friendly, high throughput screening for ligands and inhibitors of carbohydrate modifying enzymes
Heindl, H., Greenwell, P., Kiss, T., Reynolds, C.J., Farkas, D., Terstyanszky, G. and Winter, S. 2011. Development of user-friendly, high throughput screening for ligands and inhibitors of carbohydrate modifying enzymes. 2nd glyco-bioinformatics Beilstein-Institut symposium. Potsdam, Germany 27th June – 1st July 2011

Natural deduction system in paraconsistent setting: proof search for PCont
Bolotov, A. and Shangin, V. 2011. Natural deduction system in paraconsistent setting: proof search for PCont. In the Proceedings of the 5th Indian International Conference on Artificial Intelligence (IICAI-2011). Tumkur, Karnataka State, India 14th - 16th December 2011 pp. 630-638

Natural deduction in the setting of paraconsistent logic
Bolotov, A. 2011. Natural deduction in the setting of paraconsistent logic. 18th Automated Reasoning Workshop 2011 (ARW2011). University of Glasgow 11th - 12th April 2011

Handling periodic properties: deductive verification for quantified temporal logic specifications
Bolotov, A. 2011. Handling periodic properties: deductive verification for quantified temporal logic specifications. in: 2011 5th international conference on secure software integration and reliability improvement companion IEEE . pp. 179-186

From grid islands to a world wide grid
Kacsuk, P. and Kiss, T. 2010. From grid islands to a world wide grid. in: Davoli, F., Meyer, N., Pugliese, R. and Zappatore, S. (ed.) Remote instrumentation and virtual laboratories: service architecture and networking New York Springer. pp. 109-122

Safety and liveness of component-oriented protocols: a feasibility study
Paurobally, S., Bolotov, A. and Getov, Vladimir 2010. Safety and liveness of component-oriented protocols: a feasibility study. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.

Molecular docking simulations on a combined desktop and service grid infrastructure
Kiss, T., Szmetanko, G., Terstyanszky, G., Greenwell, P. and Heindl, H. 2010. Molecular docking simulations on a combined desktop and service grid infrastructure. in: Proceedings: Third AlmereGrid Desktop Experience workshop: desktop grid applications for eScience and eBusiness, 30 March 2010, Almere, The Netherlands EnterTheGrid. pp. 23-27

Parameter sweep workflows for modelling carbohydrate recognition
Kiss, T., Greenwell, P., Heindl, H., Terstyanszky, G. and Weingarten, N. 2010. Parameter sweep workflows for modelling carbohydrate recognition. Journal of Grid Computing. 8 (4), pp. 587-601. https://doi.org/10.1007/s10723-010-9166-8

A desktop grid based solution for the optimisation of X-ray diffraction profiles
Kiss, T., Farkas, D., Terstyanszky, G., Santos, S.P., Gomez-Pulido, J.A. and Vega-Rodriguez, M.A. 2010. A desktop grid based solution for the optimisation of X-ray diffraction profiles. in: Proceedings: Third AlmereGrid Desktop Experience workshop: desktop grid applications for eScience and eBusiness, 30 March 2010, Almere, The Netherlands EnterTheGrid. pp. 28-32

ProSim: development of a user-friendly molecular modelling package
Heindl, H., Kiss, T., Terstyanszky, G., Weingarten, N., Afrough, B. and Greenwell, P. 2010. ProSim: development of a user-friendly molecular modelling package. in: Hicks, M.G. and Kettner, C. (ed.) Proceedings of the International Beilstein Symposium on Glyco-Bioinformatics: Bits ‘n’ Bytes of Sugars, October 4th – 8th, 2009, Potsdam, Germany Beilstein-Institut zur Fo¨rderung der Chemischen Wissenschaften. pp. 61-85

Towards symbolic reasoning from subsymbolic sensory information
Bolotov, A., Gupta, G. and Psarrou, A. 2010. Towards symbolic reasoning from subsymbolic sensory information. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.

Invariant-free deduction for CTL*: the tableau method
Bolotov, A., Gaintzarain, J. and Lucio, P. 2010. Invariant-free deduction for CTL*: the tableau method. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.

Integrated service and desktop grids for scientific computing
Lovas, R. and Kiss, T. 2009. Integrated service and desktop grids for scientific computing. in: Conference proceddings of DCABES 2009. The 8th international symposium on distributed computing and applications to business, engineering and science. Wuhan, China, 16-19, October, 2009 DCABES. pp. 251-255

Porting applications to a combined desktop Grid/service Grid platform using the EDGeS application development methodology
Kiss, T., Szmetanko, G., Farkas, D., Terstyanszky, G. and Kacsuk, P. 2009. Porting applications to a combined desktop Grid/service Grid platform using the EDGeS application development methodology. Proceedings of the INGRID 09, 4th International Workshop on Distributed Cooperative Laboratories: Instrumenting the Grid. Alghero, Sardinia, Italy 01 - 03 Apr 2009

Grid interoperability by multiple broker utilization and meta-brokering
Kertesz, A., Farkas, Z., Kacsuk, P. and Kiss, T. 2009. Grid interoperability by multiple broker utilization and meta-brokering. in: Davoli, F., Meyer, N., Pugliese, R. and Zappatore, S. (ed.) Grid Enabled Remote Instrumentation Springer. pp. 303-312

A Grid implementation for profiling hospitals based on patient readmissions
Demir, E., Chaussalet, T.J., Weingarten, N. and Kiss, T. 2009. A Grid implementation for profiling hospitals based on patient readmissions. in: McClean, S.I., Millard, P.H., El-Darzi, E. and Nugent, C. (ed.) Intelligent patient management Springer.

Multi-agent systems as instrumentation tools for e-business and e-society
Bolotov, A. and Maltseva, S. 2009. Multi-agent systems as instrumentation tools for e-business and e-society. Russian Internet Week. Moscow, Russia December 2009

Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL)
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.

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

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

Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus
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

On the "until induction" in natural deduction for PLTL
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.

Temporal specification and deductive verification of a distributed component model and its environment
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

State-based behavior specification for GCM systems
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.

Integrating Open Grid Services Architecture Data Access and Integration with computational Grid workflows
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

Achieving interoperation of grid data resources via workflow level integration
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

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

EDGeS, the common boundary between service and desktop grids
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

SZTAKI desktop grid: building a scalable, secure platform for desktop grid computing
Marosi, A.C., Gombas, G., Balaton, Z., Kacsuk, P. and Kiss, T. 2008. SZTAKI desktop grid: building a scalable, secure platform for desktop grid computing. 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. 365-376

A general and scalable solution for heterogeneous workflow invocation and nesting
Kukla, T., Kiss, T., Terstyanszky, G. and Kacsuk, P. 2008. A general and scalable solution for heterogeneous workflow invocation and nesting. in: Proceedings of the 3rd Workshop on Workflows in Support of Large-Scale Science, in conjunction with SC 2008, Austin, TX, USA, November 17 2008 IEEE . pp. 1-8

Utilizing heterogeneous data sources in computational grid workflows
Kiss, T., Tudose, A., Terstyanszky, G., Kacsuk, P. and Sipos, G. 2008. Utilizing heterogeneous data sources in computational grid workflows. 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. pp. 225-236

Towards Grid data interoperation: OGSA-DAI data resources in computational Grid workflows
Kiss, T., Kukla, T., Terstyanszky, G., Kacsuk, P. and Sipos, G. 2008. Towards Grid data interoperation: OGSA-DAI data resources in computational Grid workflows. in: Proc. of the CoreGRID Workshop “Integrated Research in Grid Computing”, Heraklion-Crete, Greece, 2-4 April 2008 Crete University Press.

High-level user interface for accessing database resources on the Grid
Kiss, T. and Kukla, T. 2008. High-level user interface for accessing database resources on the Grid. in: Kacsuk, P., Lovas, R. and Nemeth, Z. (ed.) Distributed and parallel systems: in focus: desktop grid computing Boston, MA Springer. pp. 155-163

Workflow level interoperation of grid data resources
Kiss, T., Kacsuk, P., Terstyanszky, G. and Winter, S. 2008. Workflow level interoperation of grid data resources. in: Priol, T., Lefevre, L. and Buyya, R. (ed.) CCGrid 2008 8th IEEE International Symposium on Cluster Computing and the Grid IEEE . pp. 194-201

Automatic service deployment using virtualisation
Kecskemeti, G., Kacsuk, P., Terstyanszky, G., Kiss, T. and Delaitre, T. 2008. Automatic service deployment using virtualisation. in: Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), Toulouse, France, February 13-15, 2008 Los Alamitos, USA IEEE . pp. 628-635

Can we connect existing production grids into a world wide grid?
Kacsuk, P., Kertesz, A. and Kiss, T. 2008. Can we connect existing production grids into a world wide grid? in: High Performance Computing for Computational Science - VECPAR 2008 Springer. pp. 109-122

EDGeS: a bridge between desktop grids and service grids
Fedak, G., He, H., Lodygensky, O., Balaton, Z., Farkas, Z., Gombas, G., Kacsuk, P., Lovas, R., Marosi, A.C., Kelley, I., Taylor, I., Terstyanszky, G., Kiss, T., Cardenas-Montes, M., Emmen, E. and Araujo, F. 2008. EDGeS: a bridge between desktop grids and service grids. in: 3rd ChinaGrid Annual Conference, ChinaGrid2008 IEEE . pp. 3-9

EDGeS: bridging desktop and service grids
Cárdenas-Montes, M., Emmen, E., Marosi, A.C., Araujo, F., Gombas, G., Kiss, T., Fedak, G., Kelley, I., Taylor, I., Lodygensky, O., Kacsuk, P., Lovas, R., Balaton, Z. and Farkas, Z. 2008. EDGeS: bridging desktop and service grids. in: IBERGRID'2008, Iberian Grid Infrastructure Conference Netbiblo. pp. 212-224

Automating natural deduction for temporal logic
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.

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

Tackling ”until induction” in natural deduction for PLTL
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

Tackling "until induction" in natural deduction for PLTL
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.

Behavioural model of component-based Grid environments
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

Automata-based formal specification of stateful systems
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

Automata based formal specification of stateful systems
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.

Towards GCM re-configuration – extending specification by norm
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

EDGeS: the common boundary between service and desktop grids
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

Application of Grid computing for designing a class of optimal periodic nonuniform sampling sequences
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

Solving the grid interoperability problem by P-GRADE portal at workflow level
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

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

SZTAKI desktop grid: building a scalable, secure platform for desktop grid computing
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

Utilising different data sources in computational grid workflows
Kiss, T., Tudose, A., Terstyanszky, G., Kacsuk, P. and Sipos, G. 2007. Utilising different data sources in computational grid workflows. CoreGRID Workshop on Grid Programming Model, Grid and P2P Systems Architecture and Grid Systems, Tools and Environments. Heraklion - Crete, Greece 12 - 13 Jun 2007

SRB data resources in computational grid workflows
Kiss, T., Tudose, A., Kacsuk, P. and Terstyanszky, G. 2007. SRB data resources in computational grid workflows. in: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2007, Nottingham UK, 10th - 13th September Edinburgh National e-Science Centre. pp. 643-650

Grid computing: the European business perspective
Kiss, T. 2007. Grid computing: the European business perspective. European Business Review.

Grid interoperability by multiple broker utilization and meta-brokering
Kertesz, A., Farkas, Z., Kacsuk, P. and Kiss, T. 2007. Grid interoperability by multiple broker utilization and meta-brokering. in: Proceedings of the 2nd International Workshop on Distributed Cooperative Laboratories: Instrumenting the GRID (INGRID 2007) Austria OCG Verlag. pp. 305-314

Automatic service deployment using virtualisation
Kecskemeti, G., Terstyanszky, G., Kiss, T., Delaitre, T. and Kacsuk, P. 2007. Automatic service deployment using virtualisation. in: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2007, Nottingham UK, 10th - 13th September Edinburgh National e-Science Centre. pp. 718-725

Supporting workflow-level parameter study applications by the P-GRADE grid portal
Kacsuk, P., Farkas, Z., Sipos, G., Hermann, G. and Kiss, T. 2007. Supporting workflow-level parameter study applications by the P-GRADE grid portal. in: Priol, T. and Vanneschi, M. (ed.) Towards next generation grids: proceedings of the CoreGRID Symposium 2007, August 27-28, Rennes, France New York, NY, USA Springer. pp. 253-263

Legacy code support for service-oriented production grids
Delaitre, T., Kiss, T., Terstyanszky, G., Winter, S. and Kacsuk, P. 2007. Legacy code support for service-oriented production grids. in: Kacsuk, P., Fahringer, T. and Nemeth, Z. (ed.) Distributed and parallel systems: cluster and grid computing (Proceedings of the 6th Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS)) Boston, MA Springer. pp. 103-112

A Simpler formulation of natural deduction calculus for linear-time temporal logic
Bolotov, A., Grigoriev, O. and Shangin, V. 2007. A Simpler formulation of natural deduction calculus for linear-time temporal logic. in: Bhanu, P. (ed.) Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. IICAI 2007 India IICAI. pp. 1253-1266

Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL
Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL. in: Proceedings of the "Smirnov's Readings", VI International Conference (in Russian) Moscow, Russia Moscow State University.

Automating natural deduction for linear-time temporal logic
Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Automating natural deduction for linear-time temporal logic. in: 14th International Symposium on Temporal Representation and Reasoning (TIME'07)), 28-30 June 2007, Alicante, Spain Los Alamitos, USA IEEE . pp. 47-58

SZTAKI desktop grid: a modular and scalable way of building large computing grids
Balaton, Z., Gombas, G., Kacsuk, P., Kornafeld, A., Kovacs, J., Marosi, A.C., Vida, G., Podhorszki, N. and Kiss, T. 2007. SZTAKI desktop grid: a modular and scalable way of building large computing grids. in: 21st International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA Los Alamitos, USA IEEE . pp. 1-8

Automating natural deduction for temporal logic
Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Automating natural deduction for temporal logic. in: Proceedings of the 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, ARW 2007. London Imperial College.

A clausal resolution method for extended computation tree logic ECTL
Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for extended computation tree logic ECTL. Journal of Applied Logic. 4 (2), pp. 141-167. https://doi.org/10.1016/j.jal.2005.06.003

Specification and verification of reconfiguration protocols in grid component systems
Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0042

A clausal resolution method for branching-time logic ECTL+
Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for branching-time logic ECTL+. Annals of Mathematics and Artificial Intelligence. 46 (3), pp. 235-263. https://doi.org/10.1007/s10472-006-9018-1

Specification and Verification of Reconfiguration Protocols in Grid Component Systems
Bolotov, A., Getov, Vladimir, Basso, A. and Basukoski, A. 2006. Specification and Verification of Reconfiguration Protocols in Grid Component Systems. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010 University of Bristol Technical Report.

Legacy code support for commercial production grids
Terstyanszky, G., Kiss, T., Kacsuk, P., Delaitre, T., Kecskemeti, G. and Winter, S. 2006. Legacy code support for commercial production grids. in: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2006: Nottingham UK, 18th - 21st September Edinburgh, UK National e-Science Centre. pp. 21-26

User support for next generation production grids
Terstyanszky, G., Kiss, T., Delaitre, T., Winter, S., Kacsuk, P. and Kecskemeti, G. 2006. User support for next generation production grids. Grid-Enabling Legacy Applications and Supporting End Users Workshop (GELA) within the framework of the 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'15). Paris, France 19-23 Jun 2006 pp. 35-43

Service-oriented production grids and user support
Terstyanszky, G., Kiss, T., Delaitre, T., Winter, S., Kacsuk, P. and Kecskemeti, G. 2006. Service-oriented production grids and user support. in: Gannon, D., Badia, R.M. and Buyya, R. (ed.) Proceedings of the 7th IEEE/ACM International Conference on Grid Computing, Barcelona, Spain, September 28-29, 2006 Los Alamitos, USA IEEE . pp. 323-324

Application of grid computing for designing a class of optimal periodic non-uniform sampling sequences
Tarczynski, A., Kiss, T., Qu, D., Terstyanszky, G., Delaitre, T. and Winter, S. 2006. Application of grid computing for designing a class of optimal periodic non-uniform sampling sequences. 15th IEEE International Symposium on High Performance Distributed Computing, HPDC'15. Paris, France 19 - 23 Jun 2006 pp. 86-94

Hidden access mechanism for demonstrating and teaching grid
Stancheva, R., Terstyanszky, G., Delaitre, T., Kiss, T., Kacsuk, P. and Winter, S. 2006. Hidden access mechanism for demonstrating and teaching grid. MIPRO 2006, 29th International Convention. Opatija, Croatia 22-26 May 2006 Croatia Croation Society for Information and Communications.

Executing parameter study workflows in the P-Grade portal
Sipos, G., Goyeneche, A., Kiss, T. and Kacsuk, P. 2006. Executing parameter study workflows in the P-Grade portal. CoreGRID Workshop on Grid Systems, Tools and Environments in Conjunction with GRIDS@work: CoreGRID Conference, Grid Plugtests and Contest. Sophia-Antipolis, France 01 Dec 2006

Solving grid interoperability between 2nd and 3rd generation grids by the integrated P-GRADE/GEMCLA portal
Kiss, T., Kacsuk, P., Terstyanszky, G., Delaitre, T., Kecskemeti, G. and Winter, S. 2006. Solving grid interoperability between 2nd and 3rd generation grids by the integrated P-GRADE/GEMCLA portal. in: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2006: Nottingham UK, 18th - 21st September Edinburgh, UK National e-Science Centre. pp. 389-392

Multiple broker support by grid portals
Kertesz, A., Farkas, Z., Kacsuk, P. and Kiss, T. 2006. Multiple broker support by grid portals. CoreGRID Workshop on Grid Systems, Tools and Environments in Conjunction with GRIDS@work: CoreGRID Conference, Grid Plugtests and Contest. Sophia-Antipolis, France 01 Dec 2006

Legacy code repository with broker-based job execution
Kecskemeti, G., Terstyanszky, G., Kiss, T. and Kacsuk, P. 2006. Legacy code repository with broker-based job execution. CoreGRID Workshop on Grid Systems, Tools and Environments in Conjunction with GRIDS@work: CoreGRID Conference, Grid Plugtests and Contest. Sophia-Antipolis, France 01 Dec 2006

Scalable desktop grid system
Kacsuk, P., Podhorszki, N. and Kiss, T. 2006. Scalable desktop grid system. in: Daydt, M. (ed.) High Performance Computing for Computational Science - VECPAR 2006: 7th international conference, Rio de Janeiro, Brazil, June 10-13, 2006: revised selected and invited papers Berlin, Germany Springer. pp. 27-38

Solving the grid interoperability problem by P-GRADE portal at workflow level
Kacsuk, P., Kiss, T. and Sipos, G. 2006. Solving the grid interoperability problem by P-GRADE portal at workflow level. Grid-Enabling Legacy Applications and Supporting End Users Workshop (GELA) within the framework of the 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'15). Paris, France 19-23 Jun 2006

User friendly environment to grid enabled legacy codes
Kacsuk, P., Kiss, T., Delaitre, T., Goyeneche, A., Winter, S., Terstyanszky, G., Farkas, Z., Nemeth, C. and Boczko, T. 2006. User friendly environment to grid enabled legacy codes. in: Di Martino, B., Dongarra, J., Hoisie, A., Yang, L.T. and Zima, H. (ed.) Engineering the grid: status and perspective Valencia, California, USA ASP Press. pp. 205-217

Search and Check: problem solving by problem reduction
Bolotov, A., Lupkowski, P. and Urbanski, M. 2006. Search and Check: problem solving by problem reduction. in: Artificial Intelligence and Soft Computing ICAISC 2006: 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings Polish Neural Networks Society.

Natural deduction calculus for computation tree logic
Bolotov, A., Grigoriev, O. and Shangin, V. 2006. Natural deduction calculus for computation tree logic. in: IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06) Los Alamitos, USA IEEE . pp. 175-183

Natural deduction calculus for linear-time temporal logic
Bolotov, A., Basukoski, A., Grigoriev, O. and Shangin, V. 2006. Natural deduction calculus for linear-time temporal logic. in: Fisher, M., van der Hoek, W., Konev, B. and Lisitsa, A. (ed.) Logics in artificial intelligence: 10th European conference, JELIA 2006: Liverpool, UK September 13-15 2006: proceedings Berlin, Germany Springer.

Dynamic testing of legacy code resources on the grid
Bitonti, L., Kiss, T., Terstyanszky, G., Delaitre, T., Winter, S. and Kacsuk, P. 2006. Dynamic testing of legacy code resources on the grid. in: Proceedings of the 3rd Conference on Computing Frontiers New York, USA ACM. pp. 261-268

Specification and verification of reconfiguration protocols in grid component systems
Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. in: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006) Los Alamitos, USA IEEE . pp. 450-455

Alternating automata and temporal logic normal forms
Dixon, C., Bolotov, A. and Fisher, M. 2005. Alternating automata and temporal logic normal forms. Annals of Pure and Applied Logic. 135 (1-3), pp. 263-285. https://doi.org/10.1016/j.apal.2005.03.002

Legacy code support for production grids
Kiss, T., Terstyanszky, G., Kecskemeti, G., Illes, S., Delaitre, T., Winter, S., Kacsuk, P. and Sipos, G. 2005. Legacy code support for production grids. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0011

Scalable desktop grid system
Kacsuk, P., Podhorszki, N. and Kiss, T. 2005. Scalable desktop grid system. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0006

Deployment and interoperability of legacy code services
Zetuny, Y., Kecskemeti, G., Kiss, T., Sipos, G., Kacsuk, P., Terstyanszky, G. and Winter, S. 2005. Deployment and interoperability of legacy code services. in: Gorlatch, S. and Danelutto, M. (ed.) Proceedings of the CoreGRID Integration Workshop, Pisa, Italy Pisa, Italy Universit di Pisa, Dipartimento di Informatica.

Security mechanisms for legacy code applications in GT3 environment
Terstyanszky, G., Delaitre, T., Goyeneche, A., Kiss, T., Sajadah, K., Winter, S. and Kacsuk, P. 2005. Security mechanisms for legacy code applications in GT3 environment. in: 13th Euromicro Conference on Parallel, Distributed, and Network-Based Processing proceedings: Lugano, Switzerland, February 9-11, 2005 Los Alamitos, USA IEEE . pp. 220-226

Legacy code support for production grids
Kiss, T., Terstyanszky, G., Kecskemeti, G., Illes, S., Delaitre, T., Winter, S., Kacsuk, P. and Sipos, G. 2005. Legacy code support for production grids. in: Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing: November 13-14 2005. Seattle, Washington, USA USA IEEE . pp. 278-283

User friendly legacy code support for different grid environments and middleware
Kiss, T., Sipos, G., Terstyanszky, G., Podhorszki, N. and Winter, S. 2005. User friendly legacy code support for different grid environments and middleware. in: Gorlatch, S. and Danelutto, M. (ed.) Proceedings of the CoreGRID Integration Workshop, Pisa, Italy Pisa, Italy Universit di Pisa, Dipartimento di Informatica.

Integration of GEMLCA and the P-GRADE portal
Kiss, T., Sipos, G., Kacsuk, P., Karoczkai, K., Terstyanszky, G. and Delaitre, T. 2005. Integration of GEMLCA and the P-GRADE portal. CoreGRID Workshop on Grid Systems, Tools and Environments (WP7 Workshop) (in conjunction with GRIDS@Work). Sophia Antipolis, France 12-14 Oct 2005

Automatic deployment and interoperability of grid services
Kecskemeti, G., Zetuny, Y., Terstyanszky, G., Winter, S., Kiss, T. and Kacsuk, P. 2005. Automatic deployment and interoperability of grid services. in: Cox, S.J. and Walker, D.W. (ed.) Proceedings UK e-Science All Hands Meeting 2005, Steering via the Image in Local, Distributed and Collaborative Settings Swindon, UK EPSRC. pp. 729-736

Automatic deployment of interoperable legacy code services
Kecskemeti, G., Zetuny, Y., Kiss, T., Sipos, G., Kacsuk, P., Terstyanszky, G. and Winter, S. 2005. Automatic deployment of interoperable legacy code services. CoreGRID Workshop on Grid Systems, Tools and Environments (WP7 Workshop) (in conjunction with GRIDS@Work). Sophia Antipolis, France 12-14 Oct 2005

Experiences with deploying legacy code applications as grid services using GEMLCA
Goyeneche, A., Kiss, T., Terstyanszky, G., Kecskemeti, G., Delaitre, T., Kacsuk, P. and Winter, S. 2005. Experiences with deploying legacy code applications as grid services using GEMLCA. in: Sloot, P.M.A., Hoekstra, A.G., Priol, T. and Reinefeld, A. (ed.) Advances in grid computing (EGC 2005): European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005: revised selected papers Berlin, Germany Springer. pp. 851-860

GEMLCA: running legacy code applications as grid services
Delaitre, T., Kiss, T., Goyeneche, A., Terstyanszky, G., Winter, S. and Kacsuk, P. 2005. GEMLCA: running legacy code applications as grid services. CoreGRID. https://doi.org/TR0004

Normative agents: formal analysis and applications
Bolotov, A. and Svigkos, I. 2005. Normative agents: formal analysis and applications. in: Proceedings of the International Conference Business at the Heart of Central Asia: Critical Issues of Competition and Competitiveness Westminster International University in Tashkent.

Proof-searching algorithm in first order classical natural deduction calculus
Bolotov, A., Bocharov, V., Gorchakov, A. and Shangin, V. 2005. Proof-searching algorithm in first order classical natural deduction calculus. in: Hajek, P., Valdes-Villanueva, L. and Westerstahl, D. (ed.) Logic, methodology and philosophy of science: proceedings of the twelfth international congress King's College Publications.

Automated first order natural deduction
Bolotov, A., Bocharov, V., Gorchakov, A. and Shangin, V. 2005. Automated first order natural deduction. in: Prasad, B. (ed.) Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22, 2005. IICAI 2005 ISCAI. pp. 1292-1311

Search strategies for resolution in CTL-type logics: extension and complexity
Basukoski, A. and Bolotov, A. 2005. Search strategies for resolution in CTL-type logics: extension and complexity. in: 12th International Symposium on Temporal Representation and Reasoning, 2005: TIME 2005 Los Alamitos, USA IEEE . pp. 195-197

Towards integration of legacy code deployment approaches
Balis, B., Bubak, M., Harrison, A., Kacsuk, P., Kiss, T., Sipos, G. and Taylor, I. 2005. Towards integration of legacy code deployment approaches. in: Gorlatch, S. and Danelutto, M. (ed.) Proceedings of the CoreGRID Integration Workshop, Pisa, Italy Pisa, Italy Universit di Pisa, Dipartimento di Informatica.

GEMLCA: running legacy code applications as grid services
Delaitre, T., Kiss, T., Goyeneche, A., Terstyanszky, G., Winter, S. and Kacsuk, P. 2005. GEMLCA: running legacy code applications as grid services. Journal of Grid Computing. 3 (1-2), pp. 75-90. https://doi.org/10.1007/s10723-005-9002-8

GEMLCA: a grid formula for re-starting applications
Winter, S. and Kiss, T. 2004. GEMLCA: a grid formula for re-starting applications. European CEO Magazine. November/December, pp. 64-66.

Electronic marketplaces based on OSGI grid services
Kiss, T., Terstyanszky, G. and Winter, S. 2004. Electronic marketplaces based on OSGI grid services. in: microCAD 2004: International Scientific Conference, 18-19 March 2004 UNKNOWN. pp. 43-48

Deploying application on a GT3 Grid
Kiss, T., Delaitre, T., Goyeneche, A., Winter, S., Kacsuk, P., Terstyanszky, G., Igbe, D., Maselino, P., Sajadah, K. and Weingarten, N. 2004. Deploying application on a GT3 Grid. London, UK University of Westminster.

Grid solution for e-marketplaces integrated with logistics
Kacsukne Bruckner, L. and Kiss, T. 2004. Grid solution for e-marketplaces integrated with logistics. in: Juhasz, Z., Kacsuk, P. and Kranzlmuller, D. (ed.) Distributed and parallel systems: cluster and grid computing New York, USA Springer.

High-level grid application environment to use legacy codes as OGSA grid services
Kacsuk, P., Goyeneche, A., Delaitre, T., Kiss, T., Farkas, Z. and Boczko, T. 2004. High-level grid application environment to use legacy codes as OGSA grid services. in: Buyya, R. (ed.) Fifth IEEE/ACM International Workshop on Grid Computing: Pittsburgh, Pennsylvania, 8 November, 2004 Las Alamitos, USA IEEE . pp. 428-435

A high-level grid application environment to grid-enable legacy code
Kacsuk, P., Farkas, Z., Boczko, T., Kiss, T., Goyeneche, A. and Delaitre, T. 2004. A high-level grid application environment to grid-enable legacy code. ERCIM News. 59, pp. 44-45.

Publishing and executing parallel legacy code using an OGSI grid service
Delaitre, T., Goyeneche, A., Kiss, T. and Winter, S. 2004. Publishing and executing parallel legacy code using an OGSI grid service. in: Lagana, A. (ed.) Computational science and its applications: ICCSA 2004, international conference, Assisi, Italy, May 14-17, 2004, proceedings Heidelberg, Germany Springer.

Experiences with publishing and executing parallel legacy code using an OGSI grid service
Delaitre, T., Goyeneche, A., Kiss, T., Terstyanszky, G., Winter, S., Kacsuk, P., Igbe, D., Maselino, P., Sajadah, K. and Weingarten, N. 2004. Experiences with publishing and executing parallel legacy code using an OGSI grid service. in: Proceedings of the UK E-Science All Hands Meeting, 31st Aug - 3rd Sep, 2004, Nottingham, UK EPSRC. pp. 999-1002

Traffic simulation in P-Grade as a grid service
Delaitre, T., Goyeneche, A., Kiss, T., Terstyanszky, G., Weingarten, N., Maselino, P., Gourgoulis, A. and Winter, S. 2004. Traffic simulation in P-Grade as a grid service. in: Zoltan, J., Kacsuk, P. and Kranzlmuller, D. (ed.) Distributed and parallel systems: cluster and grid computing New York, USA Springer.

GEMLCA: grid execution management for legacy code architecture design
Delaitre, T., Goyeneche, A., Kacsuk, P., Kiss, T., Terstyanszky, G. and Winter, S. 2004. GEMLCA: grid execution management for legacy code architecture design. in: Steinmetz, R., Mauthe, A. and Crnkovic, I. (ed.) 30th Euromicro Conference proceedings: 31 August-3 September, 2004, Rennes, France IEEE . pp. 477-483

Let the computer prove it
Bolotov, A., Bocharov, V., Gorchakov, A., Makarov, V. and Shangin, V. 2004. Let the computer prove it. Moscow, Russia Nauka.

A clausal resolution method for branching-time logic ECTL+
Bolotov, A. and Basukoski, A. 2004. A clausal resolution method for branching-time logic ECTL+. in: Combi, C. (ed.) 11th International Symposium on Temporal Representation and Reasoning: (TIME 2004), Tatihou, Normandie, France, 1-3 July 2004 IEEE . pp. 140-147

The relationship between Temporal Logic, Normal Form and Alternating Automata
Dixon, C., Bolotov, A. and Fisher, M. 2003. The relationship between Temporal Logic, Normal Form and Alternating Automata. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010

Web services and grid computing for e-business applications
Kiss, T., Terstyanszky, G. and Winter, S. 2003. Web services and grid computing for e-business applications. in: microCAD 2003: International Scientific Conference, 06-07 March 2003 UNKNOWN.

A clausal resolution for extended computation tree logic ECTL
Bolotov, A. 2003. A clausal resolution for extended computation tree logic ECTL. in: Reynolds, M. and Sattar, A. (ed.) Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003 USA IEEE . pp. 107-117

On the relationship between w-automata and temporal logic normal forms
Bolotov, A., Fisher, M. and Dixon, C. 2002. On the relationship between w-automata and temporal logic normal forms. Journal of Logic and Computation. 12 (4), pp. 561-581. https://doi.org/10.1093/logcom/12.4.561

Clausal resolution in a logic of rational agency
Dixon, C., Fisher, M. and Bolotov, A. 2002. Clausal resolution in a logic of rational agency. Artificial Intelligence: an international journal. 139 (1), pp. 47-89. https://doi.org/10.1016/S0004-3702(02)00196-0

Towards Automated Generation of Beliefs in BDI Logics.
Basukoski, A. and Bolotov, A. 2002. Towards Automated Generation of Beliefs in BDI Logics. Automated Reasoning Workshop ARW2002. Imperial College, London Imperial College.

Towards Automated Generation of Beliefs in BDI Logics
Basukoski, A. and Bolotov, A. 2002. Towards Automated Generation of Beliefs in BDI Logics. UK Automated Reasoning Workshop (ARW). Imperial College.

Teaching electronic commerce
Kacsukne Bruckner, L. and Kiss, T. 2002. Teaching electronic commerce. Informatics in Higher Education Conference. Debrecen, Hungary 27-29 Aug 2002

The scientist and his time
Bolotov, A. and Zaitzev, D. 1993. The scientist and his time. Moscow University Bulletin. 5, pp. 1-12.

Permalink - https://westminsterresearch.westminster.ac.uk/item/vw452/sharing-data-collections-and-models-for-ionosphere-thermosphere-and-plasmasphere-research


Share this

Usage statistics

178 total views
39 total downloads
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.