Jacek Sroka

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