Jacek Sroka

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 14

Top Topics

Arithmetic Constraints

Complex Systems

Top Venues

Fundam. Informaticae

ATAED@Petri Nets/ACSD

Publications

Jacek Sroka, Jerzy Tyszkiewicz
Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat Maps. CoRR (2023)
Jacek Sroka, Jerzy Tyszkiewicz
Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat Maps. ESA (2023)
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 Bioinform. 22 (1) (2021)
Marek Grabowski, Grzegorz Bokota, Jacek Sroka, Andrzej M. Kierzek
Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism. Fundam. Informaticae 160 (1-2) (2018)
Kamil Kedzia, Wojtek Ptak, Jacek Sroka, Andrzej M. Kierzek
Simulation of multicellular populations with Petri nets and genome scale intracellular networks. Sci. Comput. Program. 157 (2018)
Jacek Sroka, Artur Lesniewski, Miroslaw Kowaluk, Krzysztof Stencel, Jerzy Tyszkiewicz
Towards minimal algorithms for big data analytics with spreadsheets. BeyondMR@SIGMOD (2017)
Foto N. Afrati, Jan Hidders, Paraschos Koutris, Jacek Sroka, Jeffrey D. Ullman
Report from the Fourth Workshop on Algorithms andSystems for MapReduce and Beyond (BeyondMR '17). SIGMOD Rec. 46 (4) (2017)
Krzysztof Lecki, Jerzy Tyszkiewicz, Jacek Sroka
Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems. ATAED@Petri Nets/ACSD (2017)
Jacek Sroka, Jan Hidders
Finding AND-OR Hierarchies in Workflow Nets. CoRR (2017)
Jacek Sroka, Jan Hidders
On Determining the AND-OR Hierarchy in Workflow Nets. Fundam. Informaticae 156 (1) (2017)
Foto N. Afrati, Jan Hidders, Christopher Ré, Jacek Sroka, Jeffrey D. Ullman
Report from the third workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'16). SIGMOD Rec. 46 (2) (2017)
Jerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz
Programming Communication with the User in Multiplatform Spreadsheet Applications. STAF Workshops (2016)
Marek Rogala, Jan Hidders, Jacek Sroka
DatalogRA: datalog with recursive aggregation in the spark RDD model. GRADES (2016)
Wojciech Ptak, Andrzej M. Kierzek, Jacek Sroka
AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks. Petri Nets (2016)
Jan Hidders, Paolo Missier, Jacek Sroka
Recent advances in Scalable Workflow Enactment Engines and Technologies. Future Gener. Comput. Syst. 46 (2015)
Jacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders
On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality. Fundam. Informaticae 141 (4) (2015)
Jacek Sroka, Adrian Panasiuk, Krzysztof Stencel, Jerzy Tyszkiewicz
Translating Relational Queries into Spreadsheets. IEEE Trans. Knowl. Data Eng. 27 (8) (2015)
Jerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz
Spreadsheet as a Multi-platform Mobile Application. MOBILESoft (2015)
Jacek Sroka, Marek Rogala, Michal Adamczyk, Jan Hidders
A Datalog Engine for Iterative Graph Algorithms on Large Clusters. DSDIS (2015)
Jacek Sroka, Jan Hidders
On generating ⁎-sound nets with substitution. Inf. Syst. 40 (2014)
Jacek Sroka, Jan Hidders, Paolo Missier
Report from the second workshop on scalable workflow enactment engines and technology (SWEET'13). SIGMOD Rec. 42 (4) (2013)
Marek Grabowski, Jan Hidders, Jacek Sroka
Representing MapReduce Optimisations in the Nested Relational Calculus. BNCOD (2013)
Jan Hidders, Paolo Missier, Jacek Sroka, Jan Van den Bussche
Preface. Fundam. Informaticae 128 (3) (2013)
Jacek Sroka, Krzysztof Stencel, Jerzy Tyszkiewicz
Translating Relational Queries into Spreadsheets CoRR (2013)
Jacek Sroka, Jan Hidders
On Generating *-Sound Nets with Substitution CoRR (2012)
Jan Hidders, Jacek Sroka, Paolo Missier
Report from the first workshop on scalable workflow enactment engines and technology (SWEET'12). SIGMOD Rec. 41 (4) (2012)
Patrick Doherty, Tomasz P. Michalak, Jacek Sroka, Andrzej Szalas
Contextual Coalitional Games. ICLA (2011)
Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael J. Wooldridge, Nicholas R. Jennings
Constrained Coalition Formation. AAAI (2011)
Jacek Sroka, Lukasz Krupa, Andrzej M. Kierzek, Jerzy Tyszkiewicz
workbench. Bioinform. 27 (18) (2011)
Jacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders
On Generating *-Sound Nets with Substitution. ACSD (2011)
Jacek Sroka, Lukasz Bieniasz-Krzywiec, Szymon Gwozdz, Dariusz Leniowski, Jakub Lacki, Mateusz Markowski, Claudio Avignone-Rossa, Michael E. Bushell, Johnjoe McFadden, Andrzej M. Kierzek
Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks via a web interface. BMC Bioinform. 12 (2011)
Jacek Sroka, Jan Hidders, Paolo Missier, Carole A. Goble
A formal semantics for the Taverna 2 workflow model. J. Comput. Syst. Sci. 76 (6) (2010)
Tomasz P. Michalak, Jacek Sroka, Talal Rahwan, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings
A distributed algorithm for anytime coalition structure generation. AAMAS (2010)
Magdalena Dukielska, Jacek Sroka
JavaSpaces NetBeans: a linda workbench for distributed programming course. ITiCSE (2010)
Talal Rahwan, Tomasz P. Michalak, Madalina Croitoru, Jacek Sroka, Nicholas R. Jennings
A Network Flow Approach to Coalitional Games. ECAI (2010)
Tomasz P. Michalak, Talal Rahwan, Jacek Sroka, Andrew James Dowell, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings
On representing coalitional games with externalities. EC (2009)
Jacek Sroka, Jan Hidders
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I. Fundam. Informaticae 92 (3) (2009)
Jacek Sroka, Jan Hidders
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II. Fundam. Informaticae 92 (4) (2009)
Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche
DFL: A dataflow language based on Petri nets and nested relational calculus. Inf. Syst. 33 (3) (2008)
Jan Hidders, Jacek Sroka
Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects. OTM Conferences (1) (2008)
Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche
A Formal Model of Dataflow Repositories. DILS (2007)
Jacek Sroka, Grzegorz Kaczor, Jerzy Tyszkiewicz, Andrzej M. Kierzek
XQTav: an XQuery processor for Taverna environment. Bioinform. 22 (10) (2006)
Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche
Petri Net + Nested Relational Calculus = Dataflow. OTM Conferences (1) (2005)