Publications

Jacek Sroka

Number of publications: 55

2024

• Tomasz Pawłowski, Grzegorz Bokota, Georgia Lazarou, Andrzej M. Kierzek, Jacek Sroka , Emulation of Quantitative Systems Pharmacology models to accelerate virtual population inference in immuno-oncology, Methods, 2024. See in PBN

2023

• Jacek Sroka , Jerzy Tyszkiewicz , Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat Maps, 31st Annual European Symposium on Algorithms, Amsterdam, the Netherlands, 4 September 2023 - 8 September 2023. See in PBN
• Paulina Szymczak, Marcin Możejko, Tomasz Grzegorzek, Radosław Jurczak, Marta Bauer, Damian Neubauer, Karol Sikora, Michał Michalski, Piotr Setny, Wojciech Kamysz, Ewa Szczurek, Jacek Sroka , Discovering highly potent antimicrobial peptides with deep generative model HydrAMP, Nature Communications, 14 (art. ID 1453) 2023, p. 1-23. See in PBN

2022

• Agnieszka Motyka, Aleksandra Bartnik, Aleksandra Żurko, Marta Giziewska, Paweł Gora , Jacek Sroka , Using Cellular Automata to Compare SARS-CoV-2 Infectiousness in Different POIs and Under Different Conditions, International Conference on Frontiers in Computing and Systems, Shillong, India, 29 September 2021 - 1 October 2021. See in PBN

2021

• Grzegorz Bokota, Jacek Sroka , Subhadip Basu, Nirmal Das, Pawel Trzaskoma, Yana Yushkevich, Agnieszka Grabowska, ADRIANA MAGALSKA, Dariusz Plewczynski, PartSeg: a tool for quantitative feature extraction from 3D microscopy images for dummies, BMC Bioinformatics, 22 (1) 2021, p. 72:1-15. See in PBN

2020

• Soumyendu Sekhar Bandyopadhyay Bandyopadhyay, Piyali Chatterjee, Jacek Sroka , Mita Nasipuri, Subhadip Basu, Anup Kumar Halder, Analysis of Large-Scale Human Protein Sequences Using an Efficient Spark-Based DBSCAN Algorithm, International Conference on Frontiers in Computing and Systems 2020, Jalpaiguri, West Bengal, India, 13 January 2020 - 15 January 2020. See in PBN

2018

• Foto Afrati, Jacek Sroka , Ke Yi, Jan Hidders, BeyondMR'18: Proceedings of the 5th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, 2018. See in PBN
• Kamil Kedzia, Andrzej M. Kierzek, Wojtek Ptak, Jacek Sroka , Simulation of multicellular populations with Petri nets and genome scale intracellular networks, Science of Computer Programming, 157 2018, p. 3-16. See in PBN
• Grzegorz Bokota, Marek Grabowski, Andrzej M. Kierzek, Jacek Sroka , Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism, Fundamenta Informaticae, 160 (1-2) 2018, p. 199-219. See in PBN

2017

• Jacek Sroka , Foto Afrati, Jan Hidders, Paris Koutris, BeyondMR'17: Proceedings of the 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, 36th ACM SIGMOD-SIGACT-SIGART Conference on Principles of Database Systems, Chicago, the United States of America, 14 May 2017 - 19 May 2017. See in PBN
• Jan Hidders, Jacek Sroka , Finding AND-OR Hierarchies in Workflow Nets, arXiv, 2017. See in PBN
• Jan Hidders, Jacek Sroka , On Determining the AND-OR Hierarchy in Workflow Nets, Fundamenta Informaticae, 156 (1) 2017, p. 95-123. See in PBN
• Foto N. Afrati, Jacek Sroka , Proceedings of the 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, BeyondMR@SIGMOD 2017, Chicago, IL, USA, May 19, 2017, 2017. See in PBN
• Foto N. Afrati, Jan Hidders, Paraschos Koutris, Jacek Sroka , Jeffrey D. Ullman, Report from the Fourth Workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR’17), SIGMOD Record, 46 (4) 2017, p. 44-48. See in PBN
• Foto N. Afrati, Jan Hidders, Christopher Ré, Jacek Sroka , Jeffrey Ullman, Report from the third workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'16), SIGMOD Record, 46 (2) 2017, p. 43-48. See in PBN
• Krzysztof Lecki, Jerzy Tyszkiewicz , Jacek Sroka , Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems, CEUR Workshop Proceedings, 1847 2017, p. 55--70. See in PBN
• Aleksy Schubert , Jacek Sroka , Jerzy Tyszkiewicz , Systematic Programming in a Spreadsheet, 4th International Workshop on Software Engineering Methods in Spreadsheets, Eindhoven, the Netherlands, 13 June 2017 - 15 June 2017. See in PBN
• Mirosław Kowaluk , Artur Leśniewski, Jacek Sroka , Krzysztof Stencel , Jerzy Tyszkiewicz , Towards minimal algorithms for big data analytics with spreadsheets, 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, Chicago, the United States of America, 19 May 2017 - 19 May 2017, (1) 2017, p. 1-4. See in PBN

2016

• Andrzej M. Kierzek, Wojciech Ptak, Jacek Sroka , AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks, 37th International Conference on International Conference on Application and Theory of Petri Nets and Concurrency, 2016. See in PBN
• Jan Hidders, Marek Rogala, Jacek Sroka , DatalogRA: datalog with recursive aggregation in the spark RDD model, 4th International Workshop on Graph Data Management Experiences and Systems, 2016. See in PBN
• Albert Gevorgyan, Marek Grabowski, Wu Huihai, Andrzej M Kierzek, Steffen Klamt, Vytautas Leoncikas, David J M Lewis, Catherine Linley, Ahmad A Mannan, Hiroshi Matsuno, Johnjoe McFadden, Wataru Mori, Nicholas J Plant, Nilgun Sahin, Jacek Sroka , Graham R Stewart, Nicholas Stoy, Lara T Ward, Hans V Westerhoff, Axel von Kamp, MUFINS: multi-formalism interaction network simulator, npj Systems Biology and Applications, 2016. See in PBN
• Foto N. Afrati, Jan Hidders, Jacek Sroka , Proceedings of the 3rd ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, BeyondMR@SIGMOD 2016, San Francisco, CA, USA, July 1, 2016, 2016. See in PBN
• Jerzy Sikora, Jacek Sroka , Jerzy Tyszkiewicz , Programming Communication with the User in Multiplatform Spreadsheet Applications, Software Technologies: Applications and Foundations, Wiedeń, Austria, 2016. See in PBN
• Jerzy Sikora, Jacek Sroka , Jerzy Tyszkiewicz , Strati5 - Open Mobile Software for Harris Matrix, 43rd conference on Computer Applications and Quantitative Methods in Archaeology, Siena, Italy, 31 March 2015 - 2 April 2015. See in PBN

2015

• Piotr Chrząstowski-Wachtel, Jan Hidders, Jacek Sroka , On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality, Fundamenta Informaticae, 2015. See in PBN
• Jan Hidders, Paolo Missier, Jacek Sroka , Recent advances in Scalable Workflow Enactment Engines and Technologies, Future Generation Computer Systems, 2015. See in PBN
• Jerzy Sikora, Jacek Sroka , Jerzy Tyszkiewicz , Spreadsheet As a Multi-platform Mobile Application, ACM International Conference on Mobile Software Engineering and Systems, Florence, Italy, 16 May 2015 - 17 May 2015. See in PBN
• Adrian Panasiuk, Jacek Sroka , Krzysztof Stencel , Jerzy Tyszkiewicz , Translating Relational Queries into Spreadsheets, IEEE Transactions on Knowledge and Data Engineering, 2015. See in PBN

2014

• Jacek Sroka , Jan Hidders, On generating *-sound nets with substitution, Information Systems, 40 2014, p. 32-46. See in PBN

2013

• Jan Van den Bussche, Jan Hidders, Paolo Missier, Jacek Sroka , Preface, Fundamenta Informaticae, 2013. See in PBN
• Jacek Sroka , Jan Van den Bussche, Jan Hidders, Paolo Missier, Preface, Fundamenta Informaticae, 128 (3) 2013. See in PBN
• Jacek Sroka , Jan Hidders, Paolo Missier, Report from the second workshop on scalable workflow enactment engines and technology (SWEET'13), SIGMOD Record, 42 (4) 2013, p. 73-77. See in PBN
• Marek Grabowski, Jan Hidders, Jacek Sroka , Representing MapReduce Optimisations in the Nested Relational Calculus, Big Data - 29th British National Conference on Databases, 2013, p. 175-188. See in PBN

2012

• Jan Hidders, Paolo Missier, Jacek Sroka , Report from the first workshop on scalable workflow enactment engines and technology (SWEET'12), SIAM Journal on Computing, 2012. See in PBN

2011

• Claudio Avignone-Rossa, Łukasz Bieniasz-Krzywiec, Michael Bushell, Szymon Gwozdz, Andrzej Kierzek, Dariusz Leniowski, Mateusz Markowski, Johnjoe McFadden, Jacek Sroka , Jakub Łącki, Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks via a web interface, BMC Bioinformatics, 2011. See in PBN
• Andrzej Kierzek, Łukasz Krupa, Jacek Sroka , Jerzy Tyszkiewicz , CalcTav - Integration of a Spreadsheet and Taverna Workbench, Bioinformatics, 2011. See in PBN
• Edith Elkind, Piotr Faliszewski, Nicolas Jennings, Tomasz Michalak , Talal Rahwan, Jacek Sroka , Michael Wooldridge, Constrained Coalition Formation, 2011. See in PBN
• Patrick Doherty, Tomasz Michalak , Jacek Sroka , Andrzej Szałas , Contextual Coalitional Games, Lecture Notes in Computer Science, 4th Indian Conference on Logic and its Applications, 2011. See in PBN
• Piotr Chrząstowski-Wachtel, Jan Hidders, Jacek Sroka , On generating *-sound nets with substitution, 2011. See in PBN

2010

• Nicholas R. Jennings, Peter McBurney, Tomasz P. Michałak, Talal Rahwan, Jacek Sroka , Michael Wooldridge, A distributed algorithm for anytime coalition structure generation, 2010. See in PBN
• Carole A. Goble, Jan Hidders, Paolo Missier, Jacek Sroka , A formal semantics for the Taverna 2 workflow model, Journal of Computer and System Sciences, 2010. See in PBN
• Madalina Croitoru, Nicholas R. Jennings, Tomasz P. Michałak, Talal Rahwan, Jacek Sroka , A Network Flow Approach to Coalitional Games, 2010. See in PBN
• J. Hidders, L. Krupa, Jacek Sroka , P. Włodarczyk, DFL designer: collection-oriented scientific workflows with Petri nets and nested relational calculus, 2010. See in PBN
• Magdalena Dukielska, Jacek Sroka , JavaSpaces NetBeans: a linda workbench for distributed programming course, 2010. See in PBN
• J. Hidders, Jacek Sroka , Systemy informatyczne zarządzania treścią, 2010. See in PBN

2009

• Peter McBurney, Tomasz Michalak , Jacek Sroka , Michael Wooldridge, On distributing coalition structure generation, 2009. See in PBN
• Andrew Dowell, Nicholas R. Jennings, Peter McBurney, Tomasz P. Michałak, Talal Rahwan, Jacek Sroka , Michael J. Wooldridge, On representing coalitional games with externalities, 2009. See in PBN
• J. Hidders, Jacek Sroka , Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I, Fundamenta Informaticae, 2009. See in PBN
• J. Hidders, Jacek Sroka , Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II, Fundamenta Informaticae, 2009. See in PBN

2008

• Jan Van den Bussche, Jan Hidders, Natalia Kwaśnikowska, Jacek Sroka , Jerzy Tyszkiewicz , DFL: A dataflow language based on Petri nets and nested relational calculus, Information Systems, 2008. See in PBN
• Jan Hidders, Jacek Sroka , Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects., 2008. See in PBN

2007

• Jan Hidders, Natalia Kwasnikowska, Jacek Sroka , Jerzy Tyszkiewicz , Jan Van den Bussche, A Formal Model of Dataflow Repositories, Lecture Notes in Computer Science, 2007. See in PBN

2006

• Grzegor Kaczor, Andrzej Kierzek, Jacek Sroka , Jerzy Tyszkiewicz , XQTav: an XQuery processor for Taverna environment, Bioinformatics, 2006. See in PBN

2005

• Jan Hidders, Natalia Kwasnikowska, Sławomir Lasota , Jacek Sroka , Jerzy Tyszkiewicz , Jan Van den Bussche, Petri Net + Nested Relational Calculus = Dataflow, Lecture Notes in Computer Science, 2005. See in PBN
• Jerzy Tyszkiewicz , Sławomir Lasota , Jan Van den Bussche, Anna Gambin , Natalia Kwaśnikowska, Jan Hidders, Jacek Sroka , Well Constructed Workflows in Bioinformatics, Workshop on Database Issues in Biological Databases (DBiBD 2005), 2005. See in PBN