default search action
Search dblp for Publications
export results for "toc:db/conf/csp/csp2019.bht:"
@proceedings{DBLP:conf/csp/2019, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2571}, urn = {urn:nbn:de:0074-2571-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/AliG19, author = {Aliyu Tanko Ali and Damas P. Gruska}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Attack Protection Tree}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:14 +0100}, biburl = {https://dblp.org/rec/conf/csp/AliG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/ArtiemjewI19, author = {Piotr Artiemjew and Pawel Idzikowski}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Building an Ensemble of Naive Bayes Classifiers using Committee of Bootstraps and Monte Carlo splits for a various percentage of random objects from training set}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/ArtiemjewI19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/AzadCM19, author = {Mohammad Azad and Igor Chikalov and Mikhail Moshkov}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Decision Trees for Knowledge Representation (short paper)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/AzadCM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Czaja19, author = {Ludwik Czaja}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Computing with Natural Numbers in Cause-Effect Structures}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Czaja19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Czaus19, author = {Przemyslaw Czaus}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Unsupervised Graphical User Interface Learning (short paper)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Czaus19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/DrozdaTB19, author = {Pawel Drozda and Arkadiusz Talun and Leszek Bukowski}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Emplobot - Design of the System (short paper)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_19.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/DrozdaTB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/DuttaJS19, author = {Soma Dutta and Andrzej Jankowski and Andrzej Skowron}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Toward Data Science Computing Model: Interactive Granular Computing (IGrC) (short paper)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/DuttaJS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Grabowski19, author = {Adam Grabowski}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {RIFs as the Formal Tool of Measuring Similarity between Sets (short paper)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Grabowski19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/GruskaR19, author = {Damas P. Gruska and M. Carmen Ruiz}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Observations, Testing and Security}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/GruskaR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Krzywicki19, author = {Tomasz Krzywicki}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Application of Meta-Learning Methods in Recognition of Drums on the Basis of Short Soundsamples (short paper)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_20.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Krzywicki19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Nguyen19, author = {Hung Son Nguyen}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Applications of Tolerance Rough Set Model Semantic Text Analysis}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Nguyen19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/PancerzS19, author = {Krzysztof Pancerz and Jaromir Sarzynski}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {A Fuzzy Set Tool in the Classification and Prediction Software System {(CLAPSS)} (short paper)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/PancerzS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Polkowski19, author = {Lech Polkowski}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {On logical and mereological renderings of the Bayes theorem (short paper)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Polkowski19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/PreoteasaLV19, author = {Viorel Preoteasa and Timo Latvala and Kimmo Varpaaniemi}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/PreoteasaLV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/ReissnerW19, author = {Antonia Rei{\ss}ner and Matthias Werner}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {A New Definition of Composition of {LTIHA}}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/ReissnerW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Ropiak19, author = {Krzysztof Ropiak}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Rules from Granules vs. Granulated Rules (short paper)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Ropiak19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/SurajOB19, author = {Zbigniew Suraj and Oksana Olar and Yurii Bloshko}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Optimized Fuzzy Petri Nets and Their Application for Transport Logistics Problem}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/SurajOB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/ZbrzeznyZ19, author = {Agnieszka M. Zbrzezny and Andrzej Zbrzezny}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Checking {MTL} Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/ZbrzeznyZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Zmudzinski19, author = {Lukasz Zmudzinski}, editor = {Krzysztof Ropiak and Lech Polkowski and Piotr Artiemjew}, title = {Rough Mereology Based CFill Algorithm for Robotic Path Planning (short paper)}, booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2571}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Zmudzinski19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.