Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Models, languages and systems for reliable and scalable distributed computing

2012/07/D/ST6/02492

Keywords:

distributed systems cloud computing bioinformatics mapreduce

Descriptors:

  • ST6_10: Web and information systems, database systems, internet technologies, including information retrieval and digital libraries
  • ST6_12: Scientific computing, simulation and modelling tools
  • ST6_3: Software engineering, operating systems, software development methods, programming languages

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Jacek Sroka 

Number of co-investigators in the project: 4

Call: SONATA 4 - announced on 2012-09-15

Amount awarded: 399 600 PLN

Project start date (Y-m-d): 2013-07-11

Project end date (Y-m-d): 2017-07-10

Project duration:: 48 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. serwer obliczeniowy (8 000 PLN)
  2. komputer przenośny (8 878 PLN)

Information in the final report

  • Publication in academic press/journals (5)
  • Articles in post-conference publications (5)
  1. MUFINS: Multi-Formalism Interaction Network Simulator
    Authors:
    Huihai Wu, Axel von Kamp, Vytautas Leoncikas, Wataru Mori, Nilgun Sahin, Albert Gevorgyan, Catherine Linley, Marek Grabowski, Ahmad A. Mannan, Nicholas Stoy, Graham R. Stewart, Lara T. Ward, David J.M. Lewis, Jacek Sroka, Hiroshi Matsuno, Steffen Klamt, Hans V. Westerhoff, Johnjoe McFadden, Nicholas J. Plant, Andrzej M. Kierzek
    Academic press:
    Systems Biology and Applications (rok: 2016, tom: 2, strony: 0), Wydawca: Nature Publishing Group
    Status:
    Published
    DOI:
    10.1038/npjsba.2016.32 - link to the publication
  2. On Determining the Hierarchical Structure of AND-OR nets
    Authors:
    Jacek Sroka, Jan Hidders
    Academic press:
    Fundamenta Informaticae (rok: 2017, tom: 156, strony: 95-123), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2017-1599 - link to the publication
  3. Verification of dynamic behaviour existence in molecular networks describing gene regulation, signalling and whole-cell metabolism
    Authors:
    Marek Grabowski, Grzegorz Bokota, Jacek Sroka, Andrzej Kierzek
    Academic press:
    Fundamenta Informaticae (rok: 2018, tom: 160, strony: 199-219), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2018-1681 - link to the publication
  4. Simulation of multicellular populations with Petri nets and genome scale intracellular networks
    Authors:
    Kamil Kędzia, Wojtek Ptak, Jacek Sroka
    Academic press:
    Science of Computer Programming (rok: 2018, tom: 157, strony: 45367), Wydawca: Elsevier
    Status:
    Published
  5. On Generating and Verifying Hierarchical Workflow Nets and their Extensions and Veryfing Hierarchicality
    Authors:
    Jacek Sroka, Piotr Chrząstowski-Wachtel, Jan Hidders
    Academic press:
    Fundamenta Informaticae (rok: 2015, tom: 141, strony: 367-398), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2015-1280 - link to the publication
  1. Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems
    Authors:
    Krzysztof Łęcki, Jerzy Tyszkiewicz, Jacek Sroka
    Conference:
    Algorithms & Theories for the Analysis of Event Data (ATAED) (rok: 2017, ), Wydawca: Wil van der Aalst, Robin Bergenthum, Josep Carmona
    Data:
    konferencja 42912
    Status:
    Published
  2. Towards minimal algorithms for big data analytics with spreadsheets
    Authors:
    Jacek Sroka, Artur Leśniewski, Mirosław Kowaluk, Krzysztof Stencel, Jerzy Tyszkiewicz
    Conference:
    Algorithms and Systems for MapReduce and Beyond (BeyondMR) (rok: 2017, ), Wydawca: ACM Digital Library
    Data:
    konferencja May
    Status:
    Published
  3. AB-QSSPN: Integration of agent-based simulation of cellular populations with quasi- steady state simulation of genome scale intracellular networks
    Authors:
    Wojciech Ptak, Andrzej M. Kierzek, Jacek Sroka
    Conference:
    International Conference on Applications and Theory of Petri Nets and Concurrency (rok: 2016, ), Wydawca: Springer - Verlag, Lecture Notes in Computer Science.
    Data:
    konferencja Jun 19 - 24
    Status:
    Published
  4. DatalogRA: datalog with recursive aggregation in the spark RDD model
    Authors:
    Marek Rogala, Jan Hidders, Jacek Sroka
    Conference:
    Fourth International Workshop on Graph Data Management Experiences and Systems (GRADES) (rok: 2016, ), Wydawca: ACM Digital Library
    Data:
    konferencja 45467
    Status:
    Published
  5. A Datalog Engine for Iterative Graph Algorithms on Large Clusters
    Authors:
    Jacek Sroka, Marek Rogala, Michal Adamczyk, Jan Hidders
    Conference:
    IEEE International Conference on Data Science and Data Intensive Systems (rok: 2015, ), Wydawca: IEEE CS Press
    Data:
    konferencja Dec 11-13
    Status:
    Published