Jacek Sroka

According to our database1, Jacek Sroka authored at least 40 papers between 2005 and 2018.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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

2017
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.
CoRR, 2017

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

2016
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

2015
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

2014
On generating ⁎-sound nets with substitution.
Inf. Syst., 2014

2013
Report from the second workshop on scalable workflow enactment engines and technology (SWEET'13).
SIGMOD Record, 2013

Preface.
Fundam. Inform., 2013

Translating Relational Queries into Spreadsheets
CoRR, 2013

Representing MapReduce Optimisations in the Nested Relational Calculus.
Proceedings of the Big Data - 29th British National Conference on Databases, 2013

2012
Report from the first workshop on scalable workflow enactment engines and technology (SWEET'12).
SIGMOD Record, 2012

On Generating *-Sound Nets with Substitution
CoRR, 2012

2011
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.
Bioinformatics, 2011

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

2010
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

2009
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

2008
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

2007
A Formal Model of Dataflow Repositories.
Proceedings of the Data Integration in the Life Sciences, 4th International Workshop, 2007

2006
XQTav: an XQuery processor for Taverna environment.
Bioinformatics, 2006

2005
Petri Net + Nested Relational Calculus = Dataflow.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005


  Loading...