Petri Net + Nested Relational Calculus = Dataflow. - Jan Hidders; Natalia Kwasnikowska; Jacek Sroka; Jerzy Tyszkiewicz; Jan Van den Bussche (OTM Conferences (1), 2005)

XQTav: an XQuery processor for Taverna environment. - Jacek Sroka; Grzegorz Kaczor; Jerzy Tyszkiewicz; Andrzej M. Kierzek (Bioinform., 2006)

A Formal Model of Dataflow Repositories. - Jan Hidders; Natalia Kwasnikowska; Jacek Sroka; Jerzy Tyszkiewicz; Jan Van den Bussche (DILS, 2007)

Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects. - Jan Hidders; Jacek Sroka (OTM Conferences (1), 2008)

DFL: A dataflow language based on Petri nets and nested relational calculus. - Jan Hidders; Natalia Kwasnikowska; Jacek Sroka; Jerzy Tyszkiewicz; Jan Van den Bussche (Inf. Syst., 2008)

On representing coalitional games with externalities. - Tomasz P. Michalak; Talal Rahwan; Jacek Sroka; Andrew James Dowell; Michael J. Wooldridge; Peter McBurney; Nicholas R. Jennings (EC, 2009)

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I. - Jacek Sroka; Jan Hidders (Fundam. Informaticae, 2009)

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II. - Jacek Sroka; Jan Hidders (Fundam. Informaticae, 2009)

A distributed algorithm for anytime coalition structure generation. - Tomasz P. Michalak; Jacek Sroka; Talal Rahwan; Michael J. Wooldridge; Peter McBurney; Nicholas R. Jennings (AAMAS, 2010)

A Network Flow Approach to Coalitional Games. - Talal Rahwan; Tomasz P. Michalak; Madalina Croitoru; Jacek Sroka; Nicholas R. Jennings (ECAI, 2010)

JavaSpaces NetBeans: a linda workbench for distributed programming course. - Magdalena Dukielska; Jacek Sroka (ITiCSE, 2010)

A formal semantics for the Taverna 2 workflow model. - Jacek Sroka; Jan Hidders; Paolo Missier; Carole A. Goble (J. Comput. Syst. Sci., 2010)

Constrained Coalition Formation. - Talal Rahwan; Tomasz P. Michalak; Edith Elkind; Piotr Faliszewski; Jacek Sroka; Michael J. Wooldridge; Nicholas R. Jennings (AAAI, 2011)

On Generating *-Sound Nets with Substitution. - Jacek Sroka; Piotr Chrzastowski-Wachtel; Jan Hidders (ACSD, 2011)

Contextual Coalitional Games. - Patrick Doherty 001; Tomasz P. Michalak; Jacek Sroka; Andrzej Szalas (ICLA, 2011)

CalcTav - integration of a spreadsheet and Taverna workbench. - Jacek Sroka; Lukasz Krupa; Andrzej M. Kierzek; Jerzy Tyszkiewicz (Bioinform., 2011)

Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks via a web interface. - Jacek Sroka; Lukasz Bieniasz-Krzywiec; Szymon Gwozdz; Dariusz Leniowski; Jakub Lacki; Mateusz Markowski; Claudio Avignone-Rossa; Michael E. Bushell; Johnjoe McFadden; Andrzej M. Kierzek (BMC Bioinform., 2011)

Report from the first workshop on scalable workflow enactment engines and technology (SWEET'12). - Jan Hidders; Jacek Sroka; Paolo Missier (SIGMOD Rec., 2012)

Representing MapReduce Optimisations in the Nested Relational Calculus. - Marek Grabowski; Jan Hidders; Jacek Sroka (BNCOD, 2013)

Translating Relational Queries into Spreadsheets - Jacek Sroka; Krzysztof Stencel; Jerzy Tyszkiewicz (CoRR, 2013)

Preface. - Jan Hidders; Paolo Missier; Jacek Sroka; Jan Van den Bussche (Fundam. Informaticae, 2013)

Report from the second workshop on scalable workflow enactment engines and technology (SWEET'13). - Jacek Sroka; Jan Hidders; Paolo Missier (SIGMOD Rec., 2013)

On generating ⁎-sound nets with substitution. - Jacek Sroka; Jan Hidders (Inf. Syst., 2014)

A Datalog Engine for Iterative Graph Algorithms on Large Clusters. - Jacek Sroka; Marek Rogala; Michal Adamczyk; Jan Hidders (DSDIS, 2015)

Spreadsheet as a Multi-platform Mobile Application. - Jerzy Sikora; Jacek Sroka; Jerzy Tyszkiewicz (MOBILESoft, 2015)

Recent advances in Scalable Workflow Enactment Engines and Technologies. - Jan Hidders; Paolo Missier; Jacek Sroka (Future Gener. Comput. Syst., 2015)

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality. - Jacek Sroka; Piotr Chrzastowski-Wachtel; Jan Hidders (Fundam. Informaticae, 2015)

Translating Relational Queries into Spreadsheets. - Jacek Sroka; Adrian Panasiuk; Krzysztof Stencel; Jerzy Tyszkiewicz (IEEE Trans. Knowl. Data Eng., 2015)

AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks. - Wojciech Ptak; Andrzej M. Kierzek; Jacek Sroka (Petri Nets, 2016)

DatalogRA: datalog with recursive aggregation in the spark RDD model. - Marek Rogala; Jan Hidders; Jacek Sroka (GRADES, 2016)

Programming Communication with the User in Multiplatform Spreadsheet Applications. - Jerzy Sikora; Jacek Sroka; Jerzy Tyszkiewicz (STAF Workshops, 2016)

Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems. - Krzysztof Lecki; Jerzy Tyszkiewicz; Jacek Sroka (ATAED@Petri Nets/ACSD, 2017)

Towards minimal algorithms for big data analytics with spreadsheets. - Jacek Sroka; Artur Lesniewski; Miroslaw Kowaluk; Krzysztof Stencel; Jerzy Tyszkiewicz (BeyondMR@SIGMOD, 2017)

Finding AND-OR Hierarchies in Workflow Nets. - Jacek Sroka; Jan Hidders (CoRR, 2017)

On Determining the AND-OR Hierarchy in Workflow Nets. - Jacek Sroka; Jan Hidders (Fundam. Informaticae, 2017)

Report from the Fourth Workshop on Algorithms andSystems for MapReduce and Beyond (BeyondMR '17). - Foto N. Afrati; Jan Hidders; Paraschos Koutris; Jacek Sroka; Jeffrey D. Ullman (SIGMOD Rec., 2017)

Report from the third workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'16). - Foto N. Afrati; Jan Hidders; Christopher Ré; Jacek Sroka; Jeffrey D. Ullman (SIGMOD Rec., 2017)

Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism. - Marek Grabowski; Grzegorz Bokota; Jacek Sroka; Andrzej M. Kierzek (Fundam. Informaticae, 2018)

Simulation of multicellular populations with Petri nets and genome scale intracellular networks. - Kamil Kedzia; Wojtek Ptak; Jacek Sroka; Andrzej M. Kierzek (Sci. Comput. Program., 2018)

PartSeg: a tool for quantitative feature extraction from 3D microscopy images for dummies. - Grzegorz Bokota; Jacek Sroka; Subhadip Basu; Nirmal Das; Pawel Trzaskoma; Yana Yushkevich; Agnieszka Grabowska; Adriana Magalska; Dariusz Plewczynski (BMC Bioinform., 2021)

Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat Maps. - Jacek Sroka; Jerzy Tyszkiewicz (ESA, 2023)

FuzzyPPI: Large-Scale Interaction of Human Proteome at Fuzzy Semantic Space. - Anup Kumar Halder; Soumyendu Sekhar Bandyopadhyay; Witold Jedrzejewski; Subhadip Basu; Jacek Sroka (IEEE Trans. Big Data, 2025)