Jacek Sroka
Orcid: 0000-0002-1714-9667
According to our database1,
Jacek Sroka
authored at least 42 papers
between 2005 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
IEEE Trans. Big Data, February, 2025
2023
Proceedings of the 31st Annual European Symposium on Algorithms, 2023
2021
PartSeg: a tool for quantitative feature extraction from 3D microscopy images for dummies.
BMC Bioinform., 2021
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. Informaticae, 2018
2017
Report from the third workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'16).
SIGMOD Rec., 2017
Report from the Fourth Workshop on Algorithms andSystems for MapReduce and Beyond (BeyondMR '17).
SIGMOD Rec., 2017
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
Proceedings of the Software Technologies: Applications and Foundations, 2016
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
On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality.
Fundam. Informaticae, 2015
Future Gener. Comput. Syst., 2015
Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015
Proceedings of the IEEE International Conference on Data Science and Data Intensive Systems, 2015
2014
2013
Report from the second workshop on scalable workflow enactment engines and technology (SWEET'13).
SIGMOD Rec., 2013
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 Rec., 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 Bioinform., 2011
Bioinform., 2011
Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
2009
Fundam. Informaticae, 2009
Fundam. Informaticae, 2009
Proceedings of the Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), 2009
2008
Inf. Syst., 2008
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008
2007
Proceedings of the Data Integration in the Life Sciences, 4th International Workshop, 2007
2006
2005
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005