Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jacek Sroka
@inproceedings{DBLP:conf/esa/SrokaT23,
author = {Jacek Sroka and
Jerzy Tyszkiewicz},
editor = {Inge Li G{\o}rtz and
Martin Farach{-}Colton and
Simon J. Puglisi and
Grzegorz Herman},
title = {Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat
Maps},
booktitle = {31st Annual European Symposium on Algorithms, {ESA} 2023, September
4-6, 2023, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {274},
pages = {96:1--96:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ESA.2023.96},
doi = {10.4230/LIPICS.ESA.2023.96},
timestamp = {Wed, 30 Aug 2023 15:40:45 +0200},
biburl = {https://dblp.org/rec/conf/esa/SrokaT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16751,
author = {Jacek Sroka and
Jerzy Tyszkiewicz},
title = {Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat
Maps},
journal = {CoRR},
volume = {abs/2305.16751},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16751},
doi = {10.48550/ARXIV.2305.16751},
eprinttype = {arXiv},
eprint = {2305.16751},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BokotaSBDTYGMP21,
author = {Grzegorz Bokota and
Jacek Sroka and
Subhadip Basu and
Nirmal Das and
Pawel Trzaskoma and
Yana Yushkevich and
Agnieszka Grabowska and
Adriana Magalska and
Dariusz Plewczynski},
title = {PartSeg: a tool for quantitative feature extraction from 3D microscopy
images for dummies},
journal = {{BMC} Bioinform.},
volume = {22},
number = {1},
pages = {72},
year = {2021},
url = {https://doi.org/10.1186/s12859-021-03984-1},
doi = {10.1186/S12859-021-03984-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/BokotaSBDTYGMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GrabowskiBSK18,
author = {Marek Grabowski and
Grzegorz Bokota and
Jacek Sroka and
Andrzej M. Kierzek},
title = {Verification of Dynamic Behaviour in Qualitative Molecular Networks
Describing Gene Regulation, Signalling and Whole-cell Metabolism},
journal = {Fundam. Informaticae},
volume = {160},
number = {1-2},
pages = {199--219},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1681},
doi = {10.3233/FI-2018-1681},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GrabowskiBSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KedziaPSK18,
author = {Kamil Kedzia and
Wojtek Ptak and
Jacek Sroka and
Andrzej M. Kierzek},
title = {Simulation of multicellular populations with Petri nets and genome
scale intracellular networks},
journal = {Sci. Comput. Program.},
volume = {157},
pages = {3--16},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.10.002},
doi = {10.1016/J.SCICO.2017.10.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/KedziaPSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2018beyondmr,
editor = {Foto N. Afrati and
Jacek Sroka and
Ke Yi and
Jan Hidders},
title = {Proceedings of the 5th {ACM} {SIGMOD} Workshop on Algorithms and Systems
for MapReduce and Beyond, BeyondMR@SIGMOD 2018, Houston, TX, USA,
June 15, 2018},
publisher = {{ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3206333},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/2018beyondmr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SrokaH17,
author = {Jacek Sroka and
Jan Hidders},
title = {On Determining the {AND-OR} Hierarchy in Workflow Nets},
journal = {Fundam. Informaticae},
volume = {156},
number = {1},
pages = {95--123},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1599},
doi = {10.3233/FI-2017-1599},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SrokaH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AfratiHRSU17,
author = {Foto N. Afrati and
Jan Hidders and
Christopher R{\'{e}} and
Jacek Sroka and
Jeffrey D. Ullman},
title = {Report from the third workshop on Algorithms and Systems for MapReduce
and Beyond (BeyondMR'16)},
journal = {{SIGMOD} Rec.},
volume = {46},
number = {2},
pages = {43--48},
year = {2017},
url = {https://doi.org/10.1145/3137586.3137596},
doi = {10.1145/3137586.3137596},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmod/AfratiHRSU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AfratiHKSU17,
author = {Foto N. Afrati and
Jan Hidders and
Paraschos Koutris and
Jacek Sroka and
Jeffrey D. Ullman},
title = {Report from the Fourth Workshop on Algorithms andSystems for MapReduce
and Beyond (BeyondMR '17)},
journal = {{SIGMOD} Rec.},
volume = {46},
number = {4},
pages = {44--48},
year = {2017},
url = {https://doi.org/10.1145/3186549.3186561},
doi = {10.1145/3186549.3186561},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/AfratiHKSU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LeckiTS17,
author = {Krzysztof Lecki and
Jerzy Tyszkiewicz and
Jacek Sroka},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {Structural Induction as a Method to Distribute the Generation of a
Trace Language Representation for Complex Systems},
booktitle = {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, Zaragoza,
Spain, June 26-27, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1847},
pages = {55--70},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1847/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/LeckiTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SrokaLKST17,
author = {Jacek Sroka and
Artur Lesniewski and
Miroslaw Kowaluk and
Krzysztof Stencel and
Jerzy Tyszkiewicz},
editor = {Foto N. Afrati and
Jacek Sroka},
title = {Towards minimal algorithms for big data analytics with spreadsheets},
booktitle = {Proceedings of the 4th {ACM} {SIGMOD} Workshop on Algorithms and Systems
for MapReduce and Beyond, BeyondMR@SIGMOD 2017, Chicago, IL, USA,
May 19, 2017},
pages = {1:1--1:4},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3070607.3075961},
doi = {10.1145/3070607.3075961},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/SrokaLKST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2017beyondmr,
editor = {Foto N. Afrati and
Jacek Sroka},
title = {Proceedings of the 4th {ACM} {SIGMOD} Workshop on Algorithms and Systems
for MapReduce and Beyond, BeyondMR@SIGMOD 2017, Chicago, IL, USA,
May 19, 2017},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3070607},
isbn = {978-1-4503-5019-8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/2017beyondmr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SrokaH17,
author = {Jacek Sroka and
Jan Hidders},
title = {Finding {AND-OR} Hierarchies in Workflow Nets},
journal = {CoRR},
volume = {abs/1701.02199},
year = {2017},
url = {http://arxiv.org/abs/1701.02199},
eprinttype = {arXiv},
eprint = {1701.02199},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SrokaH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PtakKS16,
author = {Wojciech Ptak and
Andrzej M. Kierzek and
Jacek Sroka},
editor = {Fabrice Kordon and
Daniel Moldt},
title = {{AB-QSSPN:} Integration of Agent-Based Simulation of Cellular Populations
with Quasi-Steady State Simulation of Genome Scale Intracellular Networks},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International
Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9698},
pages = {113--122},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39086-4\_8},
doi = {10.1007/978-3-319-39086-4\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PtakKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grades/RogalaHS16,
author = {Marek Rogala and
Jan Hidders and
Jacek Sroka},
editor = {Peter A. Boncz and
Josep Llu{\'{\i}}s Larriba{-}Pey},
title = {DatalogRA: datalog with recursive aggregation in the spark {RDD} model},
booktitle = {Proceedings of the Fourth International Workshop on Graph Data Management
Experiences and Systems, Redwood Shores, CA, USA, June 24 - 24, 2016},
pages = {3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2960414.2960417},
doi = {10.1145/2960414.2960417},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/grades/RogalaHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/SikoraST16,
author = {Jerzy Sikora and
Jacek Sroka and
Jerzy Tyszkiewicz},
editor = {Paolo Milazzo and
D{\'{a}}niel Varr{\'{o}} and
Manuel Wimmer},
title = {Programming Communication with the User in Multiplatform Spreadsheet
Applications},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2016
Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna,
Austria, July 4-8, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9946},
pages = {356--371},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50230-4\_27},
doi = {10.1007/978-3-319-50230-4\_27},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/SikoraST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2016beyondmr,
editor = {Foto N. Afrati and
Jacek Sroka and
Jan Hidders},
title = {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},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2926534},
doi = {10.1145/2926534},
isbn = {978-1-4503-4311-4},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/2016beyondmr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/HiddersMS15,
author = {Jan Hidders and
Paolo Missier and
Jacek Sroka},
title = {Recent advances in Scalable Workflow Enactment Engines and Technologies},
journal = {Future Gener. Comput. Syst.},
volume = {46},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.future.2015.01.003},
doi = {10.1016/J.FUTURE.2015.01.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/HiddersMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SrokaCH15,
author = {Jacek Sroka and
Piotr Chrzastowski{-}Wachtel and
Jan Hidders},
title = {On Generating Hierarchical Workflow Nets and their Extensions and
Verifying Hierarchicality},
journal = {Fundam. Informaticae},
volume = {141},
number = {4},
pages = {367--398},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1280},
doi = {10.3233/FI-2015-1280},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SrokaCH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/SrokaPST15,
author = {Jacek Sroka and
Adrian Panasiuk and
Krzysztof Stencel and
Jerzy Tyszkiewicz},
title = {Translating Relational Queries into Spreadsheets},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {27},
number = {8},
pages = {2291--2303},
year = {2015},
url = {https://doi.org/10.1109/TKDE.2015.2397440},
doi = {10.1109/TKDE.2015.2397440},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/SrokaPST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsdis/SrokaRAH15,
author = {Jacek Sroka and
Marek Rogala and
Michal Adamczyk and
Jan Hidders},
title = {A Datalog Engine for Iterative Graph Algorithms on Large Clusters},
booktitle = {{IEEE} International Conference on Data Science and Data Intensive
Systems, {DSDIS} 2015, Sydney, Australia, December 11-13, 2015},
pages = {113--114},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/DSDIS.2015.76},
doi = {10.1109/DSDIS.2015.76},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsdis/SrokaRAH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SikoraST15,
author = {Jerzy Sikora and
Jacek Sroka and
Jerzy Tyszkiewicz},
editor = {Aharon Abadi and
Danny Dig and
Yael Dubinsky},
title = {Spreadsheet as a Multi-platform Mobile Application},
booktitle = {2nd {ACM} International Conference on Mobile Software Engineering
and Systems, MOBILESoft 2015, Florence, Italy, May 16-17, 2015},
pages = {140--141},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MobileSoft.2015.34},
doi = {10.1109/MOBILESOFT.2015.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SikoraST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/SrokaH14,
author = {Jacek Sroka and
Jan Hidders},
title = {On generating {\unicode{8270}}-sound nets with substitution},
journal = {Inf. Syst.},
volume = {40},
pages = {32--46},
year = {2014},
url = {https://doi.org/10.1016/j.is.2013.10.004},
doi = {10.1016/J.IS.2013.10.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/SrokaH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HiddersMSB13,
author = {Jan Hidders and
Paolo Missier and
Jacek Sroka and
Jan Van den Bussche},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {128},
number = {3},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-945},
doi = {10.3233/FI-2013-945},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HiddersMSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/SrokaHM13,
author = {Jacek Sroka and
Jan Hidders and
Paolo Missier},
title = {Report from the second workshop on scalable workflow enactment engines
and technology (SWEET'13)},
journal = {{SIGMOD} Rec.},
volume = {42},
number = {4},
pages = {73--77},
year = {2013},
url = {https://doi.org/10.1145/2590989.2591003},
doi = {10.1145/2590989.2591003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmod/SrokaHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bncod/GrabowskiHS13,
author = {Marek Grabowski and
Jan Hidders and
Jacek Sroka},
editor = {Georg Gottlob and
Giovanni Grasso and
Dan Olteanu and
Christian Schallhart},
title = {Representing MapReduce Optimisations in the Nested Relational Calculus},
booktitle = {Big Data - 29th British National Conference on Databases, {BNCOD}
2013, Oxford, UK, July 8-10, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7968},
pages = {175--188},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39467-6\_17},
doi = {10.1007/978-3-642-39467-6\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bncod/GrabowskiHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2013sweet,
editor = {Jan Hidders and
Paolo Missier and
Jacek Sroka},
title = {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},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2499896},
doi = {10.1145/2499896},
isbn = {978-1-4503-2349-9},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/2013sweet.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-2103,
author = {Jacek Sroka and
Krzysztof Stencel and
Jerzy Tyszkiewicz},
title = {Translating Relational Queries into Spreadsheets},
journal = {CoRR},
volume = {abs/1305.2103},
year = {2013},
url = {http://arxiv.org/abs/1305.2103},
eprinttype = {arXiv},
eprint = {1305.2103},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-2103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/HiddersSM12,
author = {Jan Hidders and
Jacek Sroka and
Paolo Missier},
title = {Report from the first workshop on scalable workflow enactment engines
and technology (SWEET'12)},
journal = {{SIGMOD} Rec.},
volume = {41},
number = {4},
pages = {60--64},
year = {2012},
url = {https://doi.org/10.1145/2430456.2430473},
doi = {10.1145/2430456.2430473},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmod/HiddersSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2012sweet,
editor = {Jan Hidders and
Paolo Missier and
Jacek Sroka},
title = {Proceedings of the 1st {ACM} {SIGMOD} Workshop on Scalable Workflow
Execution Engines and Technologies, SWEET@SIGMOD 2012, Scottsdale,
AZ, USA, May 20, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2443416},
doi = {10.1145/2443416},
isbn = {978-1-4503-1876-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/2012sweet.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-2654,
author = {Jacek Sroka and
Jan Hidders},
title = {On Generating *-Sound Nets with Substitution},
journal = {CoRR},
volume = {abs/1208.2654},
year = {2012},
url = {http://arxiv.org/abs/1208.2654},
eprinttype = {arXiv},
eprint = {1208.2654},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SrokaKKT11,
author = {Jacek Sroka and
Lukasz Krupa and
Andrzej M. Kierzek and
Jerzy Tyszkiewicz},
title = {\emph{CalcTav} - integration of a spreadsheet and \emph{Taverna} workbench},
journal = {Bioinform.},
volume = {27},
number = {18},
pages = {2618--2619},
year = {2011},
url = {https://doi.org/10.1093/bioinformatics/btr425},
doi = {10.1093/BIOINFORMATICS/BTR425},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/SrokaKKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/SrokaBGLLMABMK11,
author = {Jacek Sroka and
Lukasz Bieniasz{-}Krzywiec and
Szymon Gwozdz and
Dariusz Leniowski and
Jakub Lacki and
Mateusz Markowski and
Claudio Avignone{-}Rossa and
Michael E. Bushell and
Johnjoe McFadden and
Andrzej M. Kierzek},
title = {Acorn: {A} grid computing system for constraint based modeling and
visualization of the genome scale metabolic reaction networks via
a web interface},
journal = {{BMC} Bioinform.},
volume = {12},
pages = {196},
year = {2011},
url = {https://doi.org/10.1186/1471-2105-12-196},
doi = {10.1186/1471-2105-12-196},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/SrokaBGLLMABMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RahwanMEFSWJ11,
author = {Talal Rahwan and
Tomasz P. Michalak and
Edith Elkind and
Piotr Faliszewski and
Jacek Sroka and
Michael J. Wooldridge and
Nicholas R. Jennings},
editor = {Wolfram Burgard and
Dan Roth},
title = {Constrained Coalition Formation},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {719--725},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7888},
doi = {10.1609/AAAI.V25I1.7888},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RahwanMEFSWJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SrokaCH11,
author = {Jacek Sroka and
Piotr Chrzastowski{-}Wachtel and
Jan Hidders},
editor = {Beno{\^{\i}}t Caillaud and
Josep Carmona and
Kunihiko Hiraishi},
title = {On Generating *-Sound Nets with Substitution},
booktitle = {11th International Conference on Application of Concurrency to System
Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ACSD.2011.26},
doi = {10.1109/ACSD.2011.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SrokaCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/DohertyMSS11,
author = {Patrick Doherty and
Tomasz P. Michalak and
Jacek Sroka and
Andrzej Szalas},
editor = {Mohua Banerjee and
Anil Seth},
title = {Contextual Coalitional Games},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {65--78},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_7},
doi = {10.1007/978-3-642-18026-2\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/DohertyMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/SrokaHMG10,
author = {Jacek Sroka and
Jan Hidders and
Paolo Missier and
Carole A. Goble},
title = {A formal semantics for the Taverna 2 workflow model},
journal = {J. Comput. Syst. Sci.},
volume = {76},
number = {6},
pages = {490--508},
year = {2010},
url = {https://doi.org/10.1016/j.jcss.2009.11.009},
doi = {10.1016/J.JCSS.2009.11.009},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/SrokaHMG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MichalakSRWMJ10,
author = {Tomasz P. Michalak and
Jacek Sroka and
Talal Rahwan and
Michael J. Wooldridge and
Peter McBurney and
Nicholas R. Jennings},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {A distributed algorithm for anytime coalition structure generation},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {1007--1014},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838342},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/MichalakSRWMJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/RahwanMCSJ10,
author = {Talal Rahwan and
Tomasz P. Michalak and
Madalina Croitoru and
Jacek Sroka and
Nicholas R. Jennings},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {A Network Flow Approach to Coalitional Games},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {1017--1018},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-1017},
doi = {10.3233/978-1-60750-606-5-1017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/RahwanMCSJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/DukielskaS10,
author = {Magdalena Dukielska and
Jacek Sroka},
editor = {Reyyan Ayfer and
John Impagliazzo and
Cary Laxer},
title = {JavaSpaces NetBeans: a linda workbench for distributed programming
course},
booktitle = {Proceedings of the 15th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara,
Turkey, June 26-30, 2010},
pages = {23--27},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1822090.1822099},
doi = {10.1145/1822090.1822099},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/DukielskaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SrokaH09,
author = {Jacek Sroka and
Jan Hidders},
title = {Towards a Formal Semantics for the Process Model of the Taverna Workbench.
Part {I}},
journal = {Fundam. Informaticae},
volume = {92},
number = {3},
pages = {279--299},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0075},
doi = {10.3233/FI-2009-0075},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SrokaH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SrokaH09a,
author = {Jacek Sroka and
Jan Hidders},
title = {Towards a Formal Semantics for the Process Model of the Taverna Workbench.
Part {II}},
journal = {Fundam. Informaticae},
volume = {92},
number = {4},
pages = {373--396},
year = {2009},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi92-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SrokaH09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/MichalakRSDWMJ09,
author = {Tomasz P. Michalak and
Talal Rahwan and
Jacek Sroka and
Andrew James Dowell and
Michael J. Wooldridge and
Peter McBurney and
Nicholas R. Jennings},
editor = {John Chuang and
Lance Fortnow and
Pearl Pu},
title = {On representing coalitional games with externalities},
booktitle = {Proceedings 10th {ACM} Conference on Electronic Commerce (EC-2009),
Stanford, California, USA, July 6--10, 2009},
pages = {11--20},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1566374.1566377},
doi = {10.1145/1566374.1566377},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigecom/MichalakRSDWMJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/HiddersKSTB08,
author = {Jan Hidders and
Natalia Kwasnikowska and
Jacek Sroka and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
title = {{DFL:} {A} dataflow language based on Petri nets and nested relational
calculus},
journal = {Inf. Syst.},
volume = {33},
number = {3},
pages = {261--284},
year = {2008},
url = {https://doi.org/10.1016/j.is.2007.09.002},
doi = {10.1016/J.IS.2007.09.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/HiddersKSTB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HiddersS08,
author = {Jan Hidders and
Jacek Sroka},
editor = {Robert Meersman and
Zahir Tari},
title = {Towards a Calculus for Collection-Oriented Scientific Workflows with
Side Effects},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2008, {OTM} 2008
Confederated International Conferences, CoopIS, DOA, GADA, IS, and
{ODBASE} 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5331},
pages = {374--391},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88871-0\_25},
doi = {10.1007/978-3-540-88871-0\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/HiddersS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dils/HiddersKSTB07,
author = {Jan Hidders and
Natalia Kwasnikowska and
Jacek Sroka and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
editor = {Sarah Cohen Boulakia and
Val Tannen},
title = {A Formal Model of Dataflow Repositories},
booktitle = {Data Integration in the Life Sciences, 4th International Workshop,
{DILS} 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4544},
pages = {105--121},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73255-6\_11},
doi = {10.1007/978-3-540-73255-6\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dils/HiddersKSTB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SrokaKTK06,
author = {Jacek Sroka and
Grzegorz Kaczor and
Jerzy Tyszkiewicz and
Andrzej M. Kierzek},
title = {XQTav: an XQuery processor for Taverna environment},
journal = {Bioinform.},
volume = {22},
number = {10},
pages = {1280--1281},
year = {2006},
url = {https://doi.org/10.1093/bioinformatics/btl101},
doi = {10.1093/BIOINFORMATICS/BTL101},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/SrokaKTK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HiddersKSTB05,
author = {Jan Hidders and
Natalia Kwasnikowska and
Jacek Sroka and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
editor = {Robert Meersman and
Zahir Tari and
Mohand{-}Said Hacid and
John Mylopoulos and
Barbara Pernici and
{\"{O}}zalp Babaoglu and
Hans{-}Arno Jacobsen and
Joseph P. Loyall and
Michael Kifer and
Stefano Spaccapietra},
title = {Petri Net + Nested Relational Calculus = Dataflow},
booktitle = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and
ODBASE, {OTM} Confederated International Conferences CoopIS, DOA,
and {ODBASE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3760},
pages = {220--237},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575771\_16},
doi = {10.1007/11575771\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/HiddersKSTB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
