According to our database1, Jacek Sroka authored at least 40 papers between 2005 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Simulation of multicellular populations with Petri nets and genome scale intracellular networks.
Sci. Comput. Program., 2018
Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism.
Fundam. Inform., 2018
Report from the third workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'16).
SIGMOD Record, 2017
Report from the Fourth Workshop on Algorithms andSystems for MapReduce and Beyond (BeyondMR '17).
SIGMOD Record, 2017
On Determining the AND-OR Hierarchy in Workflow Nets.
Fundam. Inform., 2017
Finding AND-OR Hierarchies in Workflow Nets.
Towards minimal algorithms for big data analytics with spreadsheets.
Proceedings of the 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, 2017
Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017
Programming Communication with the User in Multiplatform Spreadsheet Applications.
Proceedings of the Software Technologies: Applications and Foundations, 2016
DatalogRA: datalog with recursive aggregation in the spark RDD model.
Proceedings of the Fourth International Workshop on Graph Data Management Experiences and Systems, Redwood Shores, CA, USA, June 24, 2016
AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
Translating Relational Queries into Spreadsheets.
IEEE Trans. Knowl. Data Eng., 2015
On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality.
Fundam. Inform., 2015
Recent advances in Scalable Workflow Enactment Engines and Technologies.
Future Generation Comp. Syst., 2015
Spreadsheet as a Multi-platform Mobile Application.
Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015
A Datalog Engine for Iterative Graph Algorithms on Large Clusters.
Proceedings of the IEEE International Conference on Data Science and Data Intensive Systems, 2015
On generating ⁎-sound nets with substitution.
Inf. Syst., 2014
Report from the second workshop on scalable workflow enactment engines and technology (SWEET'13).
SIGMOD Record, 2013
Fundam. Inform., 2013
Translating Relational Queries into Spreadsheets
Representing MapReduce Optimisations in the Nested Relational Calculus.
Proceedings of the Big Data - 29th British National Conference on Databases, 2013
Report from the first workshop on scalable workflow enactment engines and technology (SWEET'12).
SIGMOD Record, 2012
On Generating *-Sound Nets with Substitution
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
CalcTav - integration of a spreadsheet and Taverna workbench.
Contextual Coalitional Games.
Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011
On Generating *-Sound Nets with Substitution.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
Constrained Coalition Formation.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
A formal semantics for the Taverna 2 workflow model.
J. Comput. Syst. Sci., 2010
JavaSpaces NetBeans: a linda workbench for distributed programming course.
Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2010
A Network Flow Approach to Coalitional Games.
Proceedings of the ECAI 2010, 2010
A distributed algorithm for anytime coalition structure generation.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II.
Fundam. Inform., 2009
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I.
Fundam. Inform., 2009
On representing coalitional games with externalities.
Proceedings of the Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), 2009
DFL: A dataflow language based on Petri nets and nested relational calculus.
Inf. Syst., 2008
Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008
A Formal Model of Dataflow Repositories.
Proceedings of the Data Integration in the Life Sciences, 4th International Workshop, 2007
XQTav: an XQuery processor for Taverna environment.
Petri Net + Nested Relational Calculus = Dataflow.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005