Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/csp:"
download as .bib file
@proceedings{DBLP:conf/csp/2021r,
editor = {Bernd{-}Holger Schlingloff and
Thomas Vogel and
Andrzej Skowron},
title = {Concurrency, Specification and Programming - Revised Selected Papers
from the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P'21), Berlin, Germany},
series = {Studies in Computational Intelligence},
volume = {1091},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26651-5},
doi = {10.1007/978-3-031-26651-5},
isbn = {978-3-031-26650-8},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/2021r.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/AliG21,
author = {Aliyu Tanko Ali and
Damas P. Gruska},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Attack Trees with Time Constraints},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {93--105},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/AliG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/AzadC0M21,
author = {Mohammad Azad and
Igor Chikalov and
Shahid Hussain and
Mikhail Moshkov},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Sorting by Decision Trees with Hypotheses (extended abstract)},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {126--130},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/AzadC0M21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BorutaGK21,
author = {Agnieszka Boruta and
Pawel Gburzynski and
Ewa Kuznicka},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {On Reliable Wireless Streaming of Real-time Sensor Data},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {131--144},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BorutaGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BorutaGK21a,
author = {Agnieszka Boruta and
Pawel Gburzynski and
Ewa Kuznicka},
editor = {Bernd{-}Holger Schlingloff and
Thomas Vogel and
Andrzej Skowron},
title = {A Protocol for Reliable Delivery of Streamed Sensor Data over a Low-Bandwidth
Wireless Channel},
booktitle = {Concurrency, Specification and Programming - Revised Selected Papers
from the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P'21), Berlin, Germany},
series = {Studies in Computational Intelligence},
volume = {1091},
pages = {175--201},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-26651-5\_8},
doi = {10.1007/978-3-031-26651-5\_8},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/BorutaGK21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BozhenkovaV21,
author = {Elena N. Bozhenkova and
Irina B. Virbitskaite},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {On Semantics for Testing in Time Petri Nets},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {60--71},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BozhenkovaV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BozhenkovaV21a,
author = {Elena N. Bozhenkova and
Irina B. Virbitskaite},
editor = {Bernd{-}Holger Schlingloff and
Thomas Vogel and
Andrzej Skowron},
title = {Extended Future in Testing Semantics for Time Petri Nets},
booktitle = {Concurrency, Specification and Programming - Revised Selected Papers
from the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P'21), Berlin, Germany},
series = {Studies in Computational Intelligence},
volume = {1091},
pages = {65--89},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-26651-5\_4},
doi = {10.1007/978-3-031-26651-5\_4},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/BozhenkovaV21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja21,
author = {Ludwik Czaja},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Cause-Effect Structures Behaving like Reaction Systems},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {31--45},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Dutta21,
author = {Soma Dutta},
editor = {Bernd{-}Holger Schlingloff and
Thomas Vogel and
Andrzej Skowron},
title = {An Example of Computation in Interactive Granular Computing},
booktitle = {Concurrency, Specification and Programming - Revised Selected Papers
from the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P'21), Berlin, Germany},
series = {Studies in Computational Intelligence},
volume = {1091},
pages = {47--63},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-26651-5\_3},
doi = {10.1007/978-3-031-26651-5\_3},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/Dutta21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/DuttaS21,
author = {Soma Dutta and
Andrzej Skowron},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Interactive Granular Computing Connecting Abstract and Physical Worlds:
An Example},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {46--59},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/DuttaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GroplerSGB21,
author = {Robin Gr{\"{o}}pler and
Viju Sudhi and
Emilio Jos{\'{e}} Calleja Garc{\'{\i}}a and
Andre Bergmann},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {NLP-Based Requirements Formalization for Automatic Test Case Generation},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {18--30},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GroplerSGB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Gruska21,
author = {Damas P. Gruska},
editor = {Bernd{-}Holger Schlingloff and
Thomas Vogel and
Andrzej Skowron},
title = {Security Enforcing},
booktitle = {Concurrency, Specification and Programming - Revised Selected Papers
from the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P'21), Berlin, Germany},
series = {Studies in Computational Intelligence},
volume = {1091},
pages = {123--143},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-26651-5\_6},
doi = {10.1007/978-3-031-26651-5\_6},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/Gruska21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GruskaR21,
author = {Damas P. Gruska and
M. Carmen Ruiz},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Process Opacity and Insertion Functions},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {83--92},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GruskaR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KannoutGN21,
author = {Eyad Kannout and
Marek Grzegorowski and
Hung Son Nguyen},
editor = {Bernd{-}Holger Schlingloff and
Thomas Vogel and
Andrzej Skowron},
title = {Toward Recommender Systems Scalability and Efficacy},
booktitle = {Concurrency, Specification and Programming - Revised Selected Papers
from the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P'21), Berlin, Germany},
series = {Studies in Computational Intelligence},
volume = {1091},
pages = {91--121},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-26651-5\_5},
doi = {10.1007/978-3-031-26651-5\_5},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/KannoutGN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Knapp21,
author = {Alexander Knapp},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Specifying Event/Data-based Systems (keynote)},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {1},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/keynote1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Knapp21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MellmannTH21,
author = {Heinrich Mellmann and
Volha Taliaronak and
Verena V. Hafner},
editor = {Bernd{-}Holger Schlingloff and
Thomas Vogel and
Andrzej Skowron},
title = {Towards an Anticipatory Mechanism for Complex Decisions in a Bio-Hybrid
Beehive},
booktitle = {Concurrency, Specification and Programming - Revised Selected Papers
from the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P'21), Berlin, Germany},
series = {Studies in Computational Intelligence},
volume = {1091},
pages = {145--173},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-26651-5\_7},
doi = {10.1007/978-3-031-26651-5\_7},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/MellmannTH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MilewskiHG21,
author = {Roman Milewski and
Simon Heiden and
Lars Grunske},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Evaluating Fault Localization Techniques with Bug Signatures and Joined
Predicates},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {2--17},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/MilewskiHG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/NestorukS21,
author = {Roman Nestoruk and
Grzegorz Slowinski},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Prediction of Football Games Results},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {156--165},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/NestorukS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Nguyen21,
author = {Hung Son Nguyen},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Efficient Machine Learning Methods over Pairwise Space (keynote)},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {117--119},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/keynote2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Nguyen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PuzyninMH21,
author = {Eugen Puzynin and
Heinrich Mellmann and
Verena V. Hafner},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Extended Abstract: {A} Novel Mobile App for the Next Generation of
Beekeepers},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {113--116},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PuzyninMH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Redziejowski21,
author = {Roman R. Redziejowski},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Left Recursion by Recursive Ascent},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {72--82},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Redziejowski21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Redziejowski21a,
author = {Roman R. Redziejowski},
editor = {Bernd{-}Holger Schlingloff and
Thomas Vogel and
Andrzej Skowron},
title = {Left Recursion by Recursive Ascent},
booktitle = {Concurrency, Specification and Programming - Revised Selected Papers
from the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P'21), Berlin, Germany},
series = {Studies in Computational Intelligence},
volume = {1091},
pages = {29--46},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-26651-5\_2},
doi = {10.1007/978-3-031-26651-5\_2},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/Redziejowski21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SkowronekGMK21,
author = {Lukasz Skowronek and
Pawel G{\'{o}}ra and
Marcin Mozejko and
Arkadiusz Klemenko},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Graph-based Sparse Neural Networks for Traffic Signal Optimization},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {145--155},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SkowronekGMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SkowronekGMK21a,
author = {Lukasz Skowronek and
Pawel G{\'{o}}ra and
Marcin Mozejko and
Arkadiusz Klemenko},
editor = {Bernd{-}Holger Schlingloff and
Thomas Vogel and
Andrzej Skowron},
title = {Graph-Based Sparse Neural Networks for Traffic Signal Optimization},
booktitle = {Concurrency, Specification and Programming - Revised Selected Papers
from the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P'21), Berlin, Germany},
series = {Studies in Computational Intelligence},
volume = {1091},
pages = {203--227},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-26651-5\_9},
doi = {10.1007/978-3-031-26651-5\_9},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/SkowronekGMK21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Slowinski21,
author = {Grzegorz Slowinski},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Influence of Data Dimension Reduction, Feature Scaling and Activation
Function on Machine Learning Performance},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {120--125},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Slowinski21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Slowinski21a,
author = {Grzegorz Slowinski},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Dry Beans Classification Using Machine Learning},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {166--173},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Slowinski21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SudhiKG21,
author = {Viju Sudhi and
Libin Kutty and
Robin Gr{\"{o}}pler},
editor = {Bernd{-}Holger Schlingloff and
Thomas Vogel and
Andrzej Skowron},
title = {Natural Language Processing for Requirements Formalization: How to
Derive New Approaches?},
booktitle = {Concurrency, Specification and Programming - Revised Selected Papers
from the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P'21), Berlin, Germany},
series = {Studies in Computational Intelligence},
volume = {1091},
pages = {1--27},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-26651-5\_1},
doi = {10.1007/978-3-031-26651-5\_1},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/SudhiKG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/TaliaronakMH21,
author = {Volha Taliaronak and
Heinrich Mellmann and
Verena V. Hafner},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Extended Abstract: Simulation of Interactions between Beehives},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {106--112},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/TaliaronakMH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2021,
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951},
urn = {urn:nbn:de:0074-2951-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/csp/AkhundovR018,
author = {Jafar Akhundov and
Michael Rei{\ss}ner and
Matthias Werner},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Compositional Expressiveness of Hybrid Models},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/AkhundovR018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ArtiemjewR18,
author = {Piotr Artiemjew and
Krzysztof Ropiak},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {A Novel Ensemble Model - The Random Granular Reflections},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ArtiemjewR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BarbutiBGLM18,
author = {Roberto Barbuti and
Pasquale Bove and
Roberta Gori and
Francesca Levi and
Paolo Milazzo},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Simulating Gene Regulatory Networks using Reaction Systems},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BarbutiBGLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja18,
author = {Ludwik Czaja},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Extensions of Elementary Cause-Effect Structures},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaus18,
author = {Przemyslaw Czaus},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Automated Validation of Big Data Classifiers on Multiple Diverse Datasets},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaus18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GetirPG18,
author = {Sinem Getir and
Esteban Pavese and
Lars Grunske},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Formal Semantics for Probabilistic Verification of Stochastic Regular
Expressions},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GetirPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GoriGM18,
author = {Roberta Gori and
Damas P. Gruska and
Paolo Milazzo},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Hidden States in Reaction Systems},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GoriGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Grabowski18,
author = {Adam Grabowski},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Automated Comparative Study of Some Generalized Rough Approximations},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Grabowski18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GruskaR18,
author = {Damas P. Gruska and
M. Carmen Ruiz},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Opacity-enforcing for Process Algebras},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GruskaR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Nguyen18,
author = {Linh Anh Nguyen},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {The Influence of the Test Operator on the Expressive Powers of PDL-Like
Logics},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Nguyen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Penczek18,
author = {Wojciech Penczek},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Improving Efficiency of Model Checking for Variants of Alternating-time
Temporal Logic},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Penczek18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PlaczekP18,
author = {Stanislaw Placzek and
Aleksander Placzek},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {The Hierarchical Learning Algorithm for Deep Neural Networks},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PlaczekP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Polkowski18,
author = {Lech Polkowski},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {The Bayes Theorem Counterpart in Mass-Based Rough Mereology},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Polkowski18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Redziejowski18,
author = {Roman R. Redziejowski},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {More about Left Recursion in {PEG}},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Redziejowski18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Sidoruk18,
author = {Teofil Sidoruk},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Investigating Characteristics and Differences Between Easy and Hard
{SAT} Instances},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Sidoruk18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SkowronDR18,
author = {Andrzej Skowron and
Soma Dutta and
Grzegorz Rozenberg},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Linking Exploration Systems with Local Logicsover Information Systems},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SkowronDR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/VirbitskaiteG18,
author = {Irina B. Virbitskaite and
Nataliya Gribovskaya},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Preserving Behavior in Transition Systems from Event Structure Models},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/VirbitskaiteG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Weidlich18,
author = {Matthias Weidlich},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Formal Analysis of Complex Event Processing - Potential and Challenges},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/invited1.pdf},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csp/Weidlich18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ZimniakBF18,
author = {Marcin Zimniak and
Marta Burzanska and
Bogdan Franczyk},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {On Some Heuristic Method for Optimal Workload Reconstruction},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ZimniakBF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Zmudzinski18,
author = {Lukasz Zmudzinski},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Deep Learning Guinea Pig Image Classification Using Nvidia {DIGITS}
and GoogLeNet},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Zmudzinski18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2018,
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240},
urn = {urn:nbn:de:0074-2240-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/AbdullahiM16,
author = {Ismaila Jihad Abdullahi and
Berndt M{\"{u}}ller},
editor = {Bernd{-}Holger Schlingloff},
title = {Towards Efficient Verification of Elementary Object Systems},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {86--100},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_09\_Abdullahi\&Mueller\_Towards-Efficient-Verification-of-Elementary-Object-Systems.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/AbdullahiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/AkhundovTW16,
author = {Jafar Akhundov and
Peter Tr{\"{o}}ger and
Matthias Werner},
editor = {Bernd{-}Holger Schlingloff},
title = {Considering Superposition in the Composable Hybrid Automata},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {125--140},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_12\_Akhundov\&Troeger\&Werner\_Considering-Superposition-in-the-Composable-Hybrid-Automata.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/AkhundovTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BarylskaMPKE16,
author = {Kamila Barylska and
Lukasz Mikulski and
Marcin Piatkowski and
Maciej Koutny and
Evgeny Erofeev},
editor = {Bernd{-}Holger Schlingloff},
title = {Reversing Transitions in Bounded Petri Nets},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {74--85},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_08\_Barylska\&Mikulski\&Piatkowski\&Koutny\&Erofeev\_Reversing-Transitions-in-Bounded-Petri-Nets.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BarylskaMPKE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Chrzastowski-Wachtel16,
author = {Piotr Chrzastowski{-}Wachtel},
editor = {Bernd{-}Holger Schlingloff},
title = {Shapes of Concurrency},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {269--273},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_25\_Chrzastowski-Wachtel\_Shapes-of-Concurrency.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Chrzastowski-Wachtel16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/CopikRW16,
author = {Marcin Copik and
Artur Rataj and
Bozena Wozna{-}Szczesniak},
editor = {Bernd{-}Holger Schlingloff},
title = {A GPGPU-based Simulator for Prism: Statistical Verification of Results
of {PMC} (extended abstract)},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {199--208},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_19\_Copik\&Rataj\&Wozna-Szczesniak\_A-GPGPU-based-Simulator-for-Prism-Statistical-Verification-of-Results-of-PMC.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/CopikRW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja16,
author = {Ludwik Czaja},
editor = {Bernd{-}Holger Schlingloff},
title = {A Protocol of Mutual Exclusion for {DSM} Based on Vectors of Global
Timestamps},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {274--285},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_26\_Czaja\_A-Protocol-of-Mutual-Exclusion-for-DSM-Based-on-Vectors-of-Global-Timestamps.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GaraninaS16,
author = {Natalia Olegovna Garanina and
Elena A. Sidorova},
editor = {Bernd{-}Holger Schlingloff},
title = {Context-dependent Lexical and Syntactic Disambiguation in Ontology
Population},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {101--112},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_10\_Garanina\&Sidorova\_Context-dependent-Lexical-and-Syntactic-Disambiguation-in-Ontology-Population.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GaraninaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GrochowalskiPS16,
author = {Piotr Grochowalski and
Krzysztof Pancerz and
Tomasz Szul},
editor = {Bernd{-}Holger Schlingloff},
title = {Rough Set Based Approximations of Classes in the {OWL} Ontology of
Places in Poland (extended abstract)},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {68--73},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_07\_Grochowalski\&Pancerz\&Szul\_Rough-Set-Based-Approximations-of-Classes-in-the-OWL-Ontology-of-Places-in-Poland.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GrochowalskiPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Gruska16,
author = {Damas P. Gruska},
editor = {Bernd{-}Holger Schlingloff},
title = {Process Environment Opacity},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {209--220},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_20\_Gruska\_Process-Environment-Opacity.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Gruska16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/JankowskiSW16,
author = {Andrzej Jankowski and
Andrzej Skowron and
Piotr Wasilewski},
editor = {Bernd{-}Holger Schlingloff},
title = {Rough Sets and Sorites Paradox},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {49--60},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_05\_Jankowski\&Skowron\&Wasilewski\_Rough-Sets-and-Sorites-Paradox.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/JankowskiSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KacprzakSZ16,
author = {Magdalena Kacprzak and
Anna Sawicka and
Andrzej Zbrzezny},
editor = {Bernd{-}Holger Schlingloff},
title = {Towards Model Checking Argumentative Dialogues with Emotional Reasoning
(extended abstract)},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {257--268},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_24\_Kacprzak\&Sawicka\&Zbrzezny\_Towards-model-checking-argumentative-dialogues-with-emotional-reasoning.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KacprzakSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KozlovaZ16,
author = {Darya Kozlova and
Vladimir Zakharov},
editor = {Bernd{-}Holger Schlingloff},
title = {On the Model Checking of Sequential Reactive Systems},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {233--244},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_22\_Kozlova\&Zakharov\_On-the-model-checking-of-sequential-reactive-systems.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KozlovaZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/LanotteT16,
author = {Ruggero Lanotte and
Simone Tini},
editor = {Bernd{-}Holger Schlingloff},
title = {Extending Taylor Approximation to Hybrid Systems with Integrals},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {141--152},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_13\_Lanotte\&Tini\_Extending-Taylor-Approximation-to-Hybrid-Systems-with-Integrals.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/LanotteT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Nguyen16,
author = {Linh Anh Nguyen},
editor = {Bernd{-}Holger Schlingloff},
title = {Computing Bisimulation-Based Comparisons},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {245--256},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_23\_Nguyen\_Computing-Bisimulation-Based-Comparisons.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Nguyen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/NiewiadomskiP16,
author = {Artur Niewiadomski and
Wojciech Penczek},
editor = {Bernd{-}Holger Schlingloff},
title = {TripICS - a Web Service Composition System for Planning Trips and
Travels (extended abstract)},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {171--179},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_16\_Niewiadomski\&Penczek\_TripICS-a-Web-Service-Composition-System-for-Planning-Trips-and-Travels.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/NiewiadomskiP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PatakyG16,
author = {Mikul{\'{a}}s Pataky and
Damas P. Gruska},
editor = {Bernd{-}Holger Schlingloff},
title = {Analysing of {M-AHIDS} with Future States on {DARPA} and {KDD99} Benchmarks},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {153--164},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_14\_Pataky\&Gruska\_Analysing-of-M-AHIDS-with-future-states-on-DARPA-and-KDD99-benchmarks.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PatakyG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Pelz16,
author = {Elisabeth Pelz},
editor = {Bernd{-}Holger Schlingloff},
title = {Timed Processes of Interval-Timed Petri Nets},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {13--24},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_02\_Pelz\_Timed-Processes-of-Interval-Timed-Petri-Nets.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Pelz16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Placzek16,
author = {Stanislaw Placzek},
editor = {Bernd{-}Holger Schlingloff},
title = {Coordinator Synthesis for Hierarchical Structure of Artificial Neural
Network},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {221--232},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_21\_Placzek\_Coordinator-Synthesis-for-Hierarchical-Structure-of-Artificial-Neural-Network.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Placzek16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Polkowski16,
author = {Lech Polkowski},
editor = {Bernd{-}Holger Schlingloff},
title = {A Version of Rough Mereology Suitable for Rough Sets},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {61--67},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_06\_Polkowski\_A-version-of-rough-mereology-suitable-for-rough-sets.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Polkowski16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/RatajW16,
author = {Artur Rataj and
Bozena Wozna{-}Szczesniak},
editor = {Bernd{-}Holger Schlingloff},
title = {Extrapolation of an Optimal Policy using Statistical Probabilistic
Model Checking},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {189--198},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_18\_Rataj\&Wozna-Szczesniak\_Extrapolation-of-an-Optimal-Policy-using-Statistical-Probabilistic-Model-Checking.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/RatajW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Redziejowski16,
author = {Roman R. Redziejowski},
editor = {Bernd{-}Holger Schlingloff},
title = {Trying to Understand {PEG}},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {1--12},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_01\_Redziejowski\_Trying-to-understand-PEG.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Redziejowski16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/RykaczewskiWS16,
author = {Krzysztof Rykaczewski and
Piotr Wisniewski and
Krzysztof Stencel},
editor = {Bernd{-}Holger Schlingloff},
title = {An Algorithmic Way to Generate Simplexes for Topological Data Analysis},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {180--188},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_17\_Rykaczewski\&Wisniewski\&Stencel\_An-Algorithmic-Way-to-Generate-Simplexes-for-Topological-Data-Analysis.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/RykaczewskiWS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Szreter16,
author = {Maciej Szreter},
editor = {Bernd{-}Holger Schlingloff},
title = {A Graph-based Reduction in Planics Abstract Planning, Based on Partial
Orders of Services (extended abstract)},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {165--170},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_15\_Szreter\_A-graph-based-reduction-in-Planics-abstract-planning-based-on-partial-orders-of-services.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Szreter16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/TaxASH16,
author = {Niek Tax and
Emin Alasgarov and
Natalia Sidorova and
Reinder Haakma},
editor = {Bernd{-}Holger Schlingloff},
title = {On Generation of Time-based Label Refinements},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {25--36},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_03\_Tax\&Alasgarov\&Sidorova\&Haakma\_On-Generation-of-Time-based-Label-Refinements.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/TaxASH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WolskiG16,
author = {Marcin Wolski and
Anna Gomolinska},
editor = {Bernd{-}Holger Schlingloff},
title = {Semantic Rendering of Data Tables - Multivalued Information Systems
Revisited},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {113--124},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_11\_Wolski\&Gomolinska\_Semantic-Rendering-of-Data-Tables-Multivalued-Information-Systems-Revisited.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WolskiG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ZbrzeznyZ16,
author = {Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Bernd{-}Holger Schlingloff},
title = {Simple Bounded {MTL} Model Checking for Discrete Timed Automata (extended
abstract)},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {37--48},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&P2016\_04\_Zbrzezny\&Zbrzezny\_Simple-Bounded-MTL-Model-Checking-for-Discrete-Timed-Automata.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ZbrzeznyZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2016,
editor = {Bernd{-}Holger Schlingloff},
title = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698},
urn = {urn:nbn:de:0074-1698-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/AkhundovTW15,
author = {Jafar Akhundov and
Peter Tr{\"{o}}ger and
Matthias Werner},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Considering Concurrency in Early Spacecraft Design Studies},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {22--30},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/AkhundovTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/AlsolamiACMZ15,
author = {Fawaz Alsolami and
Talha Amin and
Igor Chikalov and
Mikhail Moshkov and
Beata Zielosko},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Dynamic Programming Approach for Construction of Association Rule
Systems},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {12--21},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/AlsolamiACMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/AlsolamiAMZ15,
author = {Fawaz Alsolami and
Talha Amin and
Mikhail Moshkov and
Beata Zielosko},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Comparison of Heuristics for Optimization of Association Rules},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {4--11},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_01.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/AlsolamiAMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BarbutiGLM15,
author = {Roberto Barbuti and
Roberta Gori and
Francesca Levi and
Paolo Milazzo},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Specialized Predictor for Reaction Systems with Context Properties},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {31--43},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_04.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BarbutiGLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BarylskaM15,
author = {Kamila Barylska and
Lukasz Mikulski},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {On Decidability of Persistence Notions},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {44--56},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BarylskaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Benke15,
author = {Marcin Benke},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Specifying Functional Programs with Intuitionistic First Order Logic},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {57--63},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Benke15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Buregwa-CzumaBZ15,
author = {Sylwia Buregwa{-}Czuma and
Jan G. Bazan and
Lech Zareba and
Stanislawa Bazan{-}Socha and
Przemyslaw Wiktor Pardel and
Barbara Sokolowska and
Lukasz Dydo},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {The Method for Describing Changes in the Perception of Stenosis in
Blood Vessels Caused by an Additional Drug},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {115--125},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Buregwa-CzumaBZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ChaiS15,
author = {Ming Chai and
Bernd{-}Holger Schlingloff},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Monitoring with Parametrized Extended Life Sequence Charts},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {88--102},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ChaiS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja15,
author = {Ludwik Czaja},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Remarks on Memory Consistency Description},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {103--114},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/DuttaW15,
author = {Soma Dutta and
Piotr Wasilewski},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Dialogue in Hierarchical Learning of a Concept Using Prototypes and
Counterexamples},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {126--133},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/DuttaW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GaraninaS15,
author = {Natalia Olegovna Garanina and
Elena A. Sidorova},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {An Approach to Ambiguity Resolution for Ontology Population},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {134--145},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GaraninaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GoraP15,
author = {Pawel G{\'{o}}ra and
Przemyslaw Wiktor Pardel},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Application of Genetic Algorithms and High-Performance Computing to
the Traffic Signal Setting Problem},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {146--157},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GoraP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Grabowski15,
author = {Adam Grabowski},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Lattice Theory for Rough Sets - An Experiment in Mizar},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {158--169},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Grabowski15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Gruska15,
author = {Damas P. Gruska},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Gained and Excluded Classified Actions by Dynamic Security Policies},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {170--181},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Gruska15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/HajderKK15,
author = {Miroslaw Hajder and
Janusz Kolbusz and
Roman Korostenskyi},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Designing Reliable Communication for Heterogeneous Computer Systems},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {182--190},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/HajderKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/JanuszSSR15,
author = {Andrzej Janusz and
Dominik Slezak and
Sebastian Stawicki and
Mariusz Rosiak},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Knowledge Pit - {A} Data Challenge Platform},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {191--195},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/JanuszSSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/JaskulaPS15,
author = {Boleslaw Jaskula and
Krzysztof Pancerz and
Jaroslaw Szkola},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Toward Synchronization of {EEG} and Eye-tracking Data Using an Expert
System},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {196--198},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/JaskulaPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/JaszukMF15,
author = {Marek Jaszuk and
Teresa Mroczek and
Barbara Fryc},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Data Integration through Clustering and Finding Statistical Relations
- Validation of Approach},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {199--210},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_20.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/JaszukMF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Kohler-Bussmeier15,
author = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
Frank Heitmann},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Complexity Studies for Safe and Fan-Bounded Elementary Hornets},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {76--87},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Kohler-Bussmeier15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KolbuszR15,
author = {Janusz Kolbusz and
Pawel R{\'{o}}zycki},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Outliers Elimination for Error Correction Algorithm Improvement},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {223--234},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_22.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KolbuszR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KopczynskiGS15,
author = {Maciej Kopczynski and
Tomasz Grzes and
Jaroslaw Stepaniuk},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Core for Large Datasets: Rough Sets on {FPGA}},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {235--246},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_23.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KopczynskiGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KovacG15,
author = {Michal Kov{\'{a}}c and
Damas P. Gruska},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Sequential {P} Systems with Active Membranes Working on Sets},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {247--257},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_24.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KovacG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KurachP15,
author = {Karol Kurach and
Krzysztof Pawlowski},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Detecting Hazardous Events from Sequential Data with Multilayer Architectures},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {1--10},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_25.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KurachP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Lasek15,
author = {Piotr Lasek},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Instance-Level Constraints in Density-Based Clustering},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {11--18},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_26.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Lasek15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/LomazovaP15,
author = {Irina A. Lomazova and
Louchka Popova{-}Zeugmann},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Controlling Petri Net Behavior Using Time Constraints},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {19--33},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/LomazovaP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MachnickaP15,
author = {Zofia Machnicka and
Marek Palasinski},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Information Systems and Soft Sets},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {69--72},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_31.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/MachnickaP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MankowskiLJ15,
author = {Michal Mankowski and
Tadeusz Luba and
Cezary Jankowski},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Evaluation of Decision Table Decomposition Using Dynamic Programming
Classifiers},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {34--43},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_28.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/MankowskiLJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Moshkov15,
author = {Mikhail Moshkov},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Dynamic Programming Approach for Study of Decision Trees},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {1},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Invited\_01.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Moshkov15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Nguyen15,
author = {Linh Anh Nguyen},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {ExpTime Tableaux with Global Caching for Graded Propositional Dynamic
Logic},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {44--56},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_29.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Nguyen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Nowak-Brzezinska15,
author = {Agnieszka Nowak{-}Brzezinska and
Alicja Wakulicz{-}Deja},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Exploration of Knowledge Bases Inspired by Rough Set Theory},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {64--75},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Nowak-Brzezinska15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PajaP15,
author = {Wieslaw Paja and
Krzysztof Pancerz},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Estimation and Feature Selection by Application of Knowledge Mined
from Decision Rules Models},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {57--68},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_30.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PajaP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PardelBZB15,
author = {Przemyslaw Wiktor Pardel and
Jan G. Bazan and
Jacek Zarychta and
Stanislawa Bazan{-}Socha},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {An Approach for Resolving Conflicts in Automatic Medical Objects Classification},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {73--84},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_32.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PardelBZB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Podymov15,
author = {Vladislav V. Podymov},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {An Afficient Equivalence-Checking Algorithm for a Model of Programs
with Commutative and Absorptive Statements},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {85--96},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_33.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Podymov15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Polkowski15,
author = {Lech T. Polkowski},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Betweenness, Lukasiewicz Rough Inclusions, Euclidean Representations
in Information Systems, Hyper-granules, Conflict Resolution},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {97--110},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_34.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Polkowski15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Popova-Zeugmann15,
author = {Louchka Popova{-}Zeugmann},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Time and Concurrency - Three Approaches for Intertwining Time and
Petri Nets},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {3},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Invited\_03.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Popova-Zeugmann15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Provotar15,
author = {Oleksandr Provotar},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Fuzzy Systems of Logical Inference and Their Applications},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {111--119},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_35.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Provotar15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Przybyla-Kasperek15,
author = {Malgorzata Przybyla{-}Kasperek},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Selected Methods of Combining Classifiers, when Predictions Are Stored
in Probability Vectors, in a Dispersed Decision-Making System},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {211--222},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_21.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Przybyla-Kasperek15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/RozyckiK15,
author = {Pawel R{\'{o}}zycki and
Janusz Kolbusz},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Enhanced Error Correction Algorithm for {RBF} Neural Networks},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {120--129},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_36.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/RozyckiK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Rytsar15,
author = {Bohdan Rytsar},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {The Minimization Method of Boolean Functions in Polynomial Set-theoretical
Format},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {130--146},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_37.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Rytsar15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SchmidtNT15,
author = {Danilo Schmidt and
Matthias Niemann and
Gabriela Lindemann von Trzebiatowski},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {The Handling of Missing Values in Medical Domains with Respect to
Pattern Mining Algorithms},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {147--154},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_38.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SchmidtNT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SchumannP15,
author = {Andrew Schumann and
Krzysztof Pancerz},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Petri Net Models of Simple Rule-Based Systems for Programming Physarum
Machines},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {155--160},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_39.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SchumannP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SiminskiW15,
author = {Roman Siminski and
Alicja Wakulicz{-}Deja},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Rough Sets Inspired Extension of Forward Inference Algorithm},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {161--172},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_40.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SiminskiW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SkaruzNP15,
author = {Jaroslaw Skaruz and
Artur Niewiadomski and
Wojciech Penczek},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Hybrid Planning by Combining {SMT} and Simulated Annealing},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {173--176},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_41.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SkaruzNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Skowron15,
author = {Andrzej Skowron},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Rough Sets in Interactive Granular Computing},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {2},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Invited\_02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Skowron15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SurajGB15,
author = {Zbigniew Suraj and
Piotr Grochowalski and
Sibasis Bandyopadhyay},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Optimization of Backward Fuzzy Reasoning Based on Rule Knowledge},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {177--186},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_42.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SurajGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SurajL15,
author = {Zbigniew Suraj and
Agnieszka Lasek},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Inverted Fuzzy Implications in Backward Reasoning Without Yager Implication},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {187--195},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_43.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SurajL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SwiebodaN15,
author = {Wojciech Swieboda and
Hung Son Nguyen},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Reduct Calculation and Discretization of Numeric Attributes in Sparse
Decision Systems},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {207--210},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_45.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SwiebodaN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Terletskyi15,
author = {Dmytro Terletskyi},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Exploiters-Based Knowledge Extraction in Object-Oriented Knowledge
Representation},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {211--221},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_46.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Terletskyi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/VirbitskaiteBE15,
author = {Irina B. Virbitskaite and
Elena N. Bozhenkova and
Evgeny Erofeev},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Space-Time Viewpoints for Concurrent Processes Represented by Relational
Structures},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {222--233},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_47.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/VirbitskaiteBE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Wasilewski15,
author = {Piotr Wasilewski},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {From Free Will Debate to Embodiment of Fuzzy Logic into Washing Machines:
On Fuzzy and Rough Sets Approaches to Vagueness Modeling},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {234--236},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_48.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Wasilewski15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Wozna-Szczesniak15,
author = {Bozena Wozna{-}Szczesniak and
Agnieszka M. Zbrzezny and
Andrzej Zbrzezny},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {196--206},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_44.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Wozna-Szczesniak15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Zielosko15,
author = {Beata Zielosko},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Global Optimization of Exact Association Rules Relative to Length},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {237--247},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_49.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Zielosko15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2015,
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492},
urn = {urn:nbn:de:0074-1492-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Balicki14,
author = {Krzysztof Balicki},
editor = {Louchka Popova{-}Zeugmann},
title = {{XCCS} Diagram to {CCS} Script Conversion Algorithm},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {1--12},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Balicki14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BazanBBDRS14,
author = {Jan G. Bazan and
Stanislawa Bazan{-}Socha and
Sylwia Buregwa{-}Czuma and
Lukasz Dydo and
Wojciech Rzasa and
Andrzej Skowron},
editor = {Louchka Popova{-}Zeugmann},
title = {A Classifier Based on a Decision Tree with Verifying Cuts},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {13--21},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BazanBBDRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BazanSSDW14,
author = {Jan G. Bazan and
Marcin Szpyrka and
Adam Szczur and
Lukasz Dydo and
Hubert Wojtowicz},
editor = {Louchka Popova{-}Zeugmann},
title = {Classifiers for Behavioral Patterns Identification Induced from Huge
Temporal Data},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {22--33},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper22.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BazanSSDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BelliaO14,
author = {Marco Bellia and
M. Eugenia Occhiuto},
editor = {Louchka Popova{-}Zeugmann},
title = {Programming Self-Assembly of {DNA} Tiles},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {34--45},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper34.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BelliaO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BushinV14,
author = {Dmitriy Bushin and
Irina B. Virbitskaite},
editor = {Louchka Popova{-}Zeugmann},
title = {Time Process Equivalences for Time Petri Nets},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {257--268},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper257.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BushinV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/CastiglioniLT14,
author = {Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini},
editor = {Louchka Popova{-}Zeugmann},
title = {A Function Elimination Method for Checking Satisfiability of Arithmetical
Logics},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {46--57},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper46.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/CastiglioniLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ChromiakWS14,
author = {Michal Chromiak and
Piotr Wisniewski and
Krzysztof Stencel},
editor = {Louchka Popova{-}Zeugmann},
title = {Exploiting Order Dependencies on Primary Keys for Optimization},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {58--68},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper58.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ChromiakWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja14,
author = {Ludwik Czaja},
editor = {Louchka Popova{-}Zeugmann},
title = {Two Problems with Distributed Systems: Data Access Control and Memory
Shering},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {311--319},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper311.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GaraninaB14,
author = {Natalia Olegovna Garanina and
Evgeny V. Bodin},
editor = {Louchka Popova{-}Zeugmann},
title = {Distributed Termination Detection by Counting Agent},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {69--79},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper69.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GaraninaB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Gruska14,
author = {Damas P. Gruska},
editor = {Louchka Popova{-}Zeugmann},
title = {Differential Privacy and Security},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {80--91},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper80.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Gruska14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KacprzakSBD14,
author = {Magdalena Kacprzak and
Anna Sawicka and
Katarzyna Budzynska and
Marcin Dziubinski},
editor = {Louchka Popova{-}Zeugmann},
title = {Verifying Strategies in Dialogue Games},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {92--100},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper92.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KacprzakSBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Kohler-BussmeierH14,
author = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
Frank Heitmann},
editor = {Louchka Popova{-}Zeugmann},
title = {An Upper Bound for the Reachability Problem of Safe, Elementary Hornets},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {101--112},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper101.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Kohler-BussmeierH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Lasek14,
author = {Piotr Lasek},
editor = {Louchka Popova{-}Zeugmann},
title = {{C-NBC:} Neighborhood-Based Clustering with Constraints},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {113--120},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper113.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Lasek14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/LasekL14,
author = {Piotr Lasek and
Krzysztof Lasek},
editor = {Louchka Popova{-}Zeugmann},
title = {Relative Constraints as Features},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {121--125},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper121.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/LasekL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/LomazovaP14,
author = {Irina A. Lomazova and
Louchka Popova{-}Zeugmann},
editor = {Louchka Popova{-}Zeugmann},
title = {Controlling Petri Net Behavior Using Priorities for Transitions},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {126--137},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper126.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/LomazovaP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MullerB14,
author = {Berndt M{\"{u}}ller and
Jack Betts},
editor = {Louchka Popova{-}Zeugmann},
title = {Incorporating BDI-Agent Concepts into Object-Oriented Programming},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {138--149},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper138.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/MullerB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Nguyen14,
author = {Linh Anh Nguyen},
editor = {Louchka Popova{-}Zeugmann},
title = {A Tractable Rule Language in the Modal and Description Logics that
Combine {CPDL} with Regular Grammar Logic},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {150--163},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper150.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Nguyen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Nowak-BrzezinskaS14,
author = {Agnieszka Nowak{-}Brzezinska and
Roman Siminski},
editor = {Louchka Popova{-}Zeugmann},
title = {New Inference Algorithms Based on Rules Partition},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {164--175},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper164.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Nowak-BrzezinskaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PancerzM14,
author = {Krzysztof Pancerz and
Olga Mich},
editor = {Louchka Popova{-}Zeugmann},
title = {Mining Real-Estate Listings Based on Decision Systems over Ontological
Graphs},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {176--179},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper176.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PancerzM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PancerzS14,
author = {Krzysztof Pancerz and
Andrew Schumann},
editor = {Louchka Popova{-}Zeugmann},
title = {Timed Transition System Models for Programming Physarum Machines},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {180--183},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper180.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PancerzS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PatakyG14,
author = {Mikul{\'{a}}s Pataky and
Damas P. Gruska},
editor = {Louchka Popova{-}Zeugmann},
title = {Multi-Agent Heterogeneous Intrusion Detection System},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {184--195},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper184.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PatakyG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PlaczekA14,
author = {Stanislaw Placzek and
Bijaya Adhikari},
editor = {Louchka Popova{-}Zeugmann},
title = {Coordination Algorithm in Hierarchical Structure of the Learning Process
of Artificial Neural Network},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {196--207},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper196.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PlaczekA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Przybyla-KasperekW14,
author = {Malgorzata Przybyla{-}Kasperek and
Alicja Wakulicz{-}Deja},
editor = {Louchka Popova{-}Zeugmann},
title = {Methods of Calculating the Strength of Coalition in a Dispersed Decision
Support System with the Stage of Negotiations - a Study of Medical
Data},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {208--219},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper208.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Przybyla-KasperekW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Rataj14,
author = {Artur Rataj},
editor = {Louchka Popova{-}Zeugmann},
title = {Fractional Genetic Programming with Probability Density Data},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {220--231},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper220.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Rataj14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Redziejowski14,
author = {Roman R. Redziejowski},
editor = {Louchka Popova{-}Zeugmann},
title = {Cut Points in {PEG}},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {232--236},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper232.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Redziejowski14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SurajLL14,
author = {Zbigniew Suraj and
Agnieszka Lasek and
Piotr Lasek},
editor = {Louchka Popova{-}Zeugmann},
title = {Inverted Fuzzy Implications in Approximate Reasoning},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {237--244},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper237.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SurajLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SwiebodaTN14,
author = {Wojciech Swieboda and
Van Mai Nguyen Thi and
Hung Son Nguyen},
editor = {Louchka Popova{-}Zeugmann},
title = {Granular Floor Plan Representation for Evacuation Modeling},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {308--310},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper308.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SwiebodaTN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SzpyrkaBB14,
author = {Marcin Szpyrka and
Agnieszka Biernacka and
Jerzy Biernacki},
editor = {Louchka Popova{-}Zeugmann},
title = {Methods of Translation of Petri Nets to NuSMV Language},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {245--256},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper245.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SzpyrkaBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WasilewskiG14,
author = {Piotr Wasilewski and
Pawel G{\'{o}}ra},
editor = {Louchka Popova{-}Zeugmann},
title = {Traffic-Related Knowledge Acquired by Interaction with Experts},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {269--280},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper269.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WasilewskiG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Wozna-Szczesniak14,
author = {Bozena Wozna{-}Szczesniak},
editor = {Louchka Popova{-}Zeugmann},
title = {SAT-Based Bounded Model Checking for Weighted Deontic Interpreted
Systems (Extended Abstract)},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {281--292},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper281.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Wozna-Szczesniak14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ZbrzeznyZ14,
author = {Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Louchka Popova{-}Zeugmann},
title = {A Comparison of SAT-Based and SMT-Based Bounded Model Checking Methods
for {ECTL}},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {293--300},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper293.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ZbrzeznyZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ZbrzeznyZ14a,
author = {Agnieszka Zbrzezny and
Andrzej Zbrzezny},
editor = {Louchka Popova{-}Zeugmann},
title = {System Monitoring with Extended Message Sequence Chart (Extended Abstract)},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {301--307},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper301.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ZbrzeznyZ14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2014,
editor = {Louchka Popova{-}Zeugmann},
title = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269},
urn = {urn:nbn:de:0074-1269-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BakKS13,
author = {Kamil Bak and
Adam Krasuski and
Marcin S. Szczuka},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Searching for Concepts in Natural Language Part of Fire Service Reports},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {39--48},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/BakKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BelliaO13,
author = {Marco Bellia and
M. Eugenia Occhiuto},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {{DNA} Tiles, Wang Tiles and Combinators},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {1--14},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-01.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BelliaO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BettsM13,
author = {Jack Betts and
Berndt M{\"{u}}ller},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Engineering {MAS} - {A} Device Integration Framework for Smart Home
Environments},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {15--26},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BettsM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BurkhardD13,
author = {Hans{-}Dieter Burkhard and
Monika Domanska},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Experiments with Simulated Humanoid Robots},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {27--38},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-03.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BurkhardD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/CastiglioniLT13,
author = {Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Rule Format for Rooted Branching Bisimulation},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {49--60},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/CastiglioniLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ChaiS13,
author = {Ming Chai and
Holger Schlingloff},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Rewriting Based Monitoring Algorithm for {TPTL}},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {61--72},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ChaiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Chrzastowski-WachtelGL13,
author = {Piotr Chrzastowski{-}Wachtel and
Pawel Golab and
Bartosz Lewinski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Sound Recoveries of Structural Workflows with Synchronization},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {73--87},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Chrzastowski-WachtelGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja13,
author = {Ludwik Czaja},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Floating Channels Between Communicating Nets},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {88--98},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/DolinskaMR13,
author = {Iwona Dolinska and
Antoni Masiukiewicz and
Grzegorz Rzadkowski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {The Mathematical Model for Interference Simulation and Optimization
in 802.11n Networks},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {99--110},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/DolinskaMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/DubtsovOV13,
author = {Roman S. Dubtsov and
Elena S. Oshevskaya and
Irina B. Virbitskaite},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Domain View of Timed Behaviors},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {111--121},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/DubtsovOV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GaraninaSB13,
author = {Natalia Olegovna Garanina and
Elena A. Sidorova and
Evgeny V. Bodin},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific
Onthology},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {122--132},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GaraninaSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Gerlach13,
author = {Jens Gerlach},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {An Explicit Formula for Sorting and its Application to Sorting in
Lattices},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {133--144},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Gerlach13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GomolinskaW13,
author = {Anna Gomolinska and
Marcin Wolski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Rough Inclusion Functions and Similarity Indices},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {145--156},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GomolinskaW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Grabowski13,
author = {Adam Grabowski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Efficient Rough Set Theory Merging},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {157--168},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Grabowski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Gruska13,
author = {Damas P. Gruska},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Opacity Testing},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {169--180},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Gruska13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/HeitmannK13,
author = {Frank Heitmann and
Michael K{\"{o}}hler{-}Bu{\ss}meier},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Structural and Dynamic Restrictions of Elementary Object Systems},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {181--192},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/HeitmannK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/JanickiKKM13,
author = {Ryszard Janicki and
Jetty Kleijn and
Maciej Koutny and
Lukasz Mikulski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Causal Structures for General Concurrent Behaviours},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {193--205},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/JanickiKKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/JankowskiSS13,
author = {Andrzej Jankowski and
Andrzej Skowron and
Roman W. Swiniarski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Interactive Complex Granules},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {206--218},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/JankowskiSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KacprzakS13,
author = {Magdalena Kacprzak and
Anna Sawicka},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Identification of Formal Fallacies in a Natural Dialogue},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {219--231},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KacprzakS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KalenkovaL13,
author = {Anna A. Kalenkova and
Irina A. Lomazova},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Discovery of Cancellation Regions within Process Mining Techniques},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {232--244},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-20.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KalenkovaL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Karbowska-ChilinskaZ13,
author = {Joanna Karbowska{-}Chilinska and
Pawel Zabielski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Genetic Algorithm with Path Relinking for the Orienteering Problem
with Time Windows},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {245--258},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-21.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Karbowska-ChilinskaZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KnapikP13,
author = {Michal Knapik and
Wojciech Penczek},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Parameter Synthesis for Timed Kripke Structures},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {259--270},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-22.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KnapikP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MellmannKSB13,
author = {Heinrich Mellmann and
Steffen Kaden and
Marcus Scheunemann and
Hans{-}Dieter Burkhard},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Voronoi Based Strategic Positioning for Robot Soccer},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {271--282},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-23.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/MellmannKSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MellmannSS13,
author = {Heinrich Mellmann and
Marcus Scheunemann and
Oliver Stadie},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Adaptive Grasping for a Small Humanoid Robot Utilizing Force- and
Electric Current Sensors},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {283--293},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-24.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/MellmannSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MitrovicIB13,
author = {Dejan Mitrovic and
Mirjana Ivanovic and
Hans{-}Dieter Burkhard},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Towards a Jason Infrastructure for Soccer Playing Agents},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {294--295},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-25.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/MitrovicIB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/NguyenG13,
author = {Linh Anh Nguyen and
Joanna Golinska{-}Pilarek},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {An ExpTime Tableau Method for Dealing with Nominals and Quantified
Number Restrictions in Deciding the Description Logic {SHOQ}},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {296--308},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-26.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/NguyenG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/NiewiadomskiPS13,
author = {Artur Niewiadomski and
Wojciech Penczek and
Jaroslaw Skaruz},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {{SMT} vs Genetic Algorithms: Concrete Planning in PlanICS Framework},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {309--321},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/NiewiadomskiPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PlaczekA13,
author = {Stanislaw Placzek and
Bijaya Adhikari},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Analysis of Multilayer Neural Networks with Direct and Cross-Forward
Connection},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {355--370},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-31.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PlaczekA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PolkowskiS13,
author = {Lech Polkowski and
Maria Semeniuk{-}Polkowska},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Granular Mereotopology: {A} First Sketch},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {322--331},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-28.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PolkowskiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PolrolaCM13,
author = {Agata P{\'{o}}lrola and
Piotr Cybula and
Artur Meski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {SMT-Based Reachability Checking for Bounded Time Petri Nets},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {332--341},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-29.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PolrolaCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PrzymusSK13,
author = {Piotr Przymus and
Krzysztof Kaczmarski and
Krzysztof Stencel},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Bi-objective Optimization Framework for Heterogeneous {CPU/GPU}
Query Plans},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {342--354},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-30.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PrzymusSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Rataj13,
author = {Artur Rataj},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Fractional Genetic Programming for a More Gradual Evolution},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {371--382},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-32.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Rataj13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Redziejowski13,
author = {Roman R. Redziejowski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {From {EBNF} to {PEG}},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {383--388},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-33.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Redziejowski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SchumannP13,
author = {Andrew Schumann and
Krzysztof Pancerz},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Towards an Object-Oriented Programming Language for Physarum Polycephalum
Computing},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {389--397},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-34.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SchumannP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SurajG13,
author = {Zbigniew Suraj and
Piotr Grochowalski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {About New Version of {RSDS} System},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {398--408},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-35.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SurajG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SzpyrkaMW13,
author = {Marcin Szpyrka and
Piotr Matyasik and
Michal Wypych},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Generation of Labelled Transition Systems for Alvis Models using Haskell
Model Representation},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {409--420},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-36.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SzpyrkaMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/TranHHNN13,
author = {Thanh{-}Luong Tran and
Quang{-}Thuy Ha and
Thi{-}Lan{-}Giao Hoang and
Linh Anh Nguyen and
Hung Son Nguyen},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Bisimulation-Based Concept Learning in Description Logics},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {421--433},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-37.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/TranHHNN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WaglerW13,
author = {Annegret Katrin Wagler and
Jan{-}Thierry Wegener},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Preprocessing for Network Reconstruction: Feasibility Test and Handling
Infeasibility},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {434--447},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-38.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WaglerW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WernerPHP13,
author = {Matthias Werner and
Louchka Popova{-}Zeugmann and
Mario Haustein and
Elisabeth Pelz},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Holistic State Equation for Timed Petri Nets},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {448--456},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-39.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WernerPHP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WisniewskiS13,
author = {Piotr Wisniewski and
Krzysztof Stencel},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Query Rewriting Based on Meta-Granular Aggregation},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {457--468},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-40.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WisniewskiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Wozna-SzczesniakZ13,
author = {Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Checking {MTL} Properties of Discrete Timed Automata via Bounded Model
Checking},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {469--477},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-41.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Wozna-SzczesniakZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Zbrzezny13,
author = {Andrzej Zbrzezny},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {On Boolean Encodings of Transition Relation for Parallel Compositions
of Transition Systems},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {478--489},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-42.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Zbrzezny13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2013,
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032},
urn = {urn:nbn:de:0074-1032-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/AminCMZ12,
author = {Talha Amin and
Igor Chikalov and
Mikhail Moshkov and
Beata Zielosko},
editor = {Louchka Popova{-}Zeugmann},
title = {Relationships Between Length and Coverage of Exact Decision Rules},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {1--12},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0001.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/AminCMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/AzadCMZ12,
author = {Mohammad Azad and
Igor Chikalov and
Mikhail Moshkov and
Beata Zielosko},
editor = {Louchka Popova{-}Zeugmann},
title = {Greedy Algorithm for Construction of Decision Trees for Tables with
Many-Valued Decisions},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {13--24},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0013.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/AzadCMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Bashkin12,
author = {Vladimir A. Bashkin},
editor = {Louchka Popova{-}Zeugmann},
title = {One-counter Circuits},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {25--36},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0025.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Bashkin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BednarczykJP12,
author = {Marek A. Bednarczyk and
Piotr J{\'{o}}zwiak and
Wieslaw Pawlowski},
editor = {Louchka Popova{-}Zeugmann},
title = {A Class of Hypernets with Token Creation and Decidable Reachability
Problem},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {37--48},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0037.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BednarczykJP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BelliaO12,
author = {Marco Bellia and
M. Eugenia Occhiuto},
editor = {Louchka Popova{-}Zeugmann},
title = {Inference, Targeting and Compatibility in a Type System for Java with
{SAM} Typed Closures},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {49--60},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0049.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BelliaO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ChikalovHM12,
author = {Igor Chikalov and
Shahid Hussain and
Mikhail Moshkov},
editor = {Louchka Popova{-}Zeugmann},
title = {Average Depth and Number of Misclassifications for Decision Trees},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {160--169},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0160.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ChikalovHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja12,
author = {Ludwik Czaja},
editor = {Louchka Popova{-}Zeugmann},
title = {Equations for Asynchronous Message Passing},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {61--72},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0061.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/CzyzewskaSP12,
author = {Marta Czyzewska and
Jaroslaw Szkola and
Krzysztof Pancerz},
editor = {Louchka Popova{-}Zeugmann},
title = {Self-Organizing Feature Maps in Correlating Groups of Time Series:
Experiments with Indicators Describing Entrepreneurship},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {73--78},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0073.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/CzyzewskaSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/DabrowskiST12,
author = {Robert Dabrowski and
Krzysztof Stencel and
Grzegorz Timoszuk},
editor = {Louchka Popova{-}Zeugmann},
title = {One Graph to Rule Them All - Software Measurment and Management},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {79--90},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0079.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/DabrowskiST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/FlickK12,
author = {Nils Erik Flick and
Manfred Kudlek},
editor = {Louchka Popova{-}Zeugmann},
title = {Properties of Languages with Catenation and Shuffle},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {91--102},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0091.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/FlickK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/FlickK12a,
author = {Nils Erik Flick and
Manfred Kudlek},
editor = {Louchka Popova{-}Zeugmann},
title = {A Hierarchy of Languages with Catenation and Shuffle},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {103--114},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0103.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/FlickK12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Grabowski12,
author = {Adam Grabowski},
editor = {Louchka Popova{-}Zeugmann},
title = {Computer-Driven Searching for Axiomatization of Rough Sets},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {115--122},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0115.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Grabowski12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Gruska12,
author = {Damas P. Gruska},
editor = {Louchka Popova{-}Zeugmann},
title = {Information Flow and Concurrent Imperative Languages},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {123--134},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0123.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Gruska12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Gruska12a,
author = {Damas P. Gruska},
editor = {Louchka Popova{-}Zeugmann},
title = {Test Based Security},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {135--146},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0135.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Gruska12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/HerajyH12,
author = {Mostafa Herajy and
Monika Heiner},
editor = {Louchka Popova{-}Zeugmann},
title = {Towards a Computational Steering and Petri Nets Framework for the
Modelling of Biochemical Reaction Networks},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {147--159},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0147.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/HerajyH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Jaskiewicz12,
author = {Grzegorz Jaskiewicz},
editor = {Louchka Popova{-}Zeugmann},
title = {Prolog-Based Reasoning Layer for Counter-Strike Agents},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {170--181},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0170.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Jaskiewicz12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Kohler-Bussmeier12,
author = {Michael K{\"{o}}hler{-}Bu{\ss}meier},
editor = {Louchka Popova{-}Zeugmann},
title = {On the Complexity of Safe, Elementary Hornets},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {203--214},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0203.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Kohler-Bussmeier12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Kohler-Bussmeier12a,
author = {Michael K{\"{o}}hler{-}Bu{\ss}meier},
editor = {Louchka Popova{-}Zeugmann},
title = {Negotiating Inter-Organisational Processes},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {215--226},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0215.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Kohler-Bussmeier12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KrasuskiS12,
author = {Adam Krasuski and
Marcin S. Szczuka},
editor = {Louchka Popova{-}Zeugmann},
title = {Knowledge Driven Query Sharding},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {182--190},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0182.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KrasuskiS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/LimeRJ12,
author = {Didier Lime and
Olivier H. Roux and
Claude Jard},
editor = {Louchka Popova{-}Zeugmann},
title = {Clock Transition Systems},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {227--238},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0227.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/LimeRJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/LomasovaR12,
author = {Irina A. Lomazova and
Ivan V. Romanov},
editor = {Louchka Popova{-}Zeugmann},
title = {Analyzing Web Service Resource Compatibility},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {239--250},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0239.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/LomasovaR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/NguyenS12,
author = {Hung Son Nguyen and
Wojciech Swieboda},
editor = {Louchka Popova{-}Zeugmann},
title = {Rough Set Methods and Submodular Functions},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {251--260},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0251.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/NguyenS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/NiemannSTH12,
author = {Matthias Niemann and
Danilo Schmidt and
Gabriela Lindemann von Trzebiatowski and
Carl Hinrichs},
editor = {Louchka Popova{-}Zeugmann},
title = {First Steps towards a Frequent Pattern Mining with Nephrology Data
in the Medical Domain},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {261--268},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0261.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/NiemannSTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PancerzLTW12,
author = {Krzysztof Pancerz and
Arkadiusz Lewicki and
Ryszard Tadeusiewicz and
Jan Warchol},
editor = {Louchka Popova{-}Zeugmann},
title = {Rough Set Flow Graphs and Ant Based Clustering in Classification of
Disturbed Periodic Biosignals},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {269--279},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0269.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PancerzLTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PancerzPWW12,
author = {Krzysztof Pancerz and
Wieslaw Paja and
Mariusz Wrzesien and
Jan Warchol},
editor = {Louchka Popova{-}Zeugmann},
title = {Classification of Voice Signals through Mining Unique Episodes in
Temporal Information Systems: {A} Rough Set Approach},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {280--291},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0280.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PancerzPWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PetersSS12,
author = {James F. Peters and
Andrzej Skowron and
Jaroslaw Stepaniuk},
editor = {Louchka Popova{-}Zeugmann},
title = {Nearness of Objects. Approximation Space Model Revisited},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {292--302},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0292.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PetersSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PolkowskiS12,
author = {Lech Polkowski and
Maria Semeniuk{-}Polkowska},
editor = {Louchka Popova{-}Zeugmann},
title = {On a Notion of Extensionality for Artifacts},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {303--311},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0303.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PolkowskiS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Pulawski12,
author = {Lukasz Pulawski},
editor = {Louchka Popova{-}Zeugmann},
title = {Automatic Forecasting of Design Anti-patterns in Software Source Code},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {312--323},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0312.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Pulawski12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Redziejowski12,
author = {Roman R. Redziejowski},
editor = {Louchka Popova{-}Zeugmann},
title = {From {EBNF} to {PEG}},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {324--335},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0324.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Redziejowski12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SchneiderB12,
author = {Martin C. Schneider and
Hans{-}Dieter Burkhard},
editor = {Louchka Popova{-}Zeugmann},
title = {Creating driving behavior for artificial agents in a social augmented
micro-world},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {336--342},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0336.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SchneiderB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Schwarick12,
author = {Martin Schwarick},
editor = {Louchka Popova{-}Zeugmann},
title = {Symbolic Model Checking of Stochastic Reward Nets},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {343--357},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0343.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Schwarick12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Siedlecka-LamchKP12,
author = {Olga Siedlecka{-}Lamch and
Miroslaw Kurkowski and
Henryk Piech},
editor = {Louchka Popova{-}Zeugmann},
title = {A New Effective Approach for Modelling and Verification of Security
Protocols},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {191--202},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0191.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Siedlecka-LamchKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SkowronJW12,
author = {Andrzej Skowron and
Andrzej Jankowski and
Piotr Wasilewski},
editor = {Louchka Popova{-}Zeugmann},
title = {Interactive Computational Systems: Rough Granular Approach},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {358--369},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0358.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SkowronJW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Suraj12,
author = {Zbigniew Suraj},
editor = {Louchka Popova{-}Zeugmann},
title = {Generalised Fuzzy Petri Nets for Approximate Reasoning in Decision
Support Systems},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {370--381},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0370.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Suraj12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WaglerW12,
author = {Annegret Wagler and
Jan{-}Thierry Wegener},
editor = {Louchka Popova{-}Zeugmann},
title = {On Minimality and Equivalence of Petri Nets},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {382--393},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0382.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WaglerW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WisniewskiS12,
author = {Piotr Wisniewski and
Krzysztof Stencel},
editor = {Louchka Popova{-}Zeugmann},
title = {Universal Query Language},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {394--403},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0394.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WisniewskiS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WolskiG12,
author = {Marcin Wolski and
Anna Gomolinska},
editor = {Louchka Popova{-}Zeugmann},
title = {Elements of Representation Theory for Pawlak Information Systems},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {404--415},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0404.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WolskiG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/YaskorskaKB12,
author = {Olena Yaskorska and
Magdalena Kacprzak and
Katarzyna Budzynska},
editor = {Louchka Popova{-}Zeugmann},
title = {Rules for Formal and Natural Dialogues in Agent Communication},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {416--427},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0416.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/YaskorskaKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Yatsenko12,
author = {Olena Yatsenko},
editor = {Louchka Popova{-}Zeugmann},
title = {On Parameter-Driven Generation of Algorithm Schemes},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {428--438},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0428.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Yatsenko12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2012,
editor = {Louchka Popova{-}Zeugmann},
title = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928},
urn = {urn:nbn:de:0074-928-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/2012.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.
retrieved on 2024-04-28 16:00 CEST from data curated 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:
