Search dblp for Publications

export results for "toc:db/conf/csp/csp2019.bht:"

 download as .bib file

@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.