Sign in
CS&P
2012
2015
2018
2021
2012
2021
Keyphrases
Publications
2021
Hung Son Nguyen
Efficient Machine Learning Methods over Pairwise Space (keynote).
CS&P
(2021)
Roman Nestoruk
,
Grzegorz Slowinski
Prediction of Football Games Results.
CS&P
(2021)
Roman R. Redziejowski
Left Recursion by Recursive Ascent.
CS&P
(2021)
Eugen Puzynin
,
Heinrich Mellmann
,
Verena V. Hafner
Extended Abstract: A Novel Mobile App for the Next Generation of Beekeepers.
CS&P
(2021)
Volha Taliaronak
,
Heinrich Mellmann
,
Verena V. Hafner
Extended Abstract: Simulation of Interactions between Beehives.
CS&P
(2021)
Alexander Knapp
Specifying Event/Data-based Systems (keynote).
CS&P
(2021)
Grzegorz Slowinski
Dry Beans Classification Using Machine Learning.
CS&P
(2021)
Mohammad Azad
,
Igor Chikalov
,
Shahid Hussain
,
Mikhail Moshkov
Sorting by Decision Trees with Hypotheses (extended abstract).
CS&P
(2021)
Grzegorz Slowinski
Influence of Data Dimension Reduction, Feature Scaling and Activation Function on Machine Learning Performance.
CS&P
(2021)
Elena N. Bozhenkova
,
Irina B. Virbitskaite
On Semantics for Testing in Time Petri Nets.
CS&P
(2021)
Roman Milewski
,
Simon Heiden
,
Lars Grunske
Evaluating Fault Localization Techniques with Bug Signatures and Joined Predicates.
CS&P
(2021)
Robin Gröpler
,
Viju Sudhi
,
Emilio José Calleja García
,
Andre Bergmann
NLP-Based Requirements Formalization for Automatic Test Case Generation.
CS&P
(2021)
Aliyu Tanko Ali
,
Damas P. Gruska
Attack Trees with Time Constraints.
CS&P
(2021)
Lukasz Skowronek
,
Pawel Góra
,
Marcin Mozejko
,
Arkadiusz Klemenko
Graph-based Sparse Neural Networks for Traffic Signal Optimization.
CS&P
(2021)
Soma Dutta
,
Andrzej Skowron
Interactive Granular Computing Connecting Abstract and Physical Worlds: An Example.
CS&P
(2021)
Ludwik Czaja
Cause-Effect Structures Behaving like Reaction Systems.
CS&P
(2021)
Agnieszka Boruta
,
Pawel Gburzynski
,
Ewa Kuznicka
On Reliable Wireless Streaming of Real-time Sensor Data.
CS&P
(2021)
Damas P. Gruska
,
M. Carmen Ruiz
Process Opacity and Insertion Functions.
CS&P
(2021)
volume 2951, 2021
Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021.
CS&P
2951 (2021)
volume 2571, 2020
Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019.
CS&P
2571 (2020)
2019
Krzysztof Pancerz
,
Jaromir Sarzynski
A Fuzzy Set Tool in the Classification and Prediction Software System (CLAPSS) (short paper).
CS&P
(2019)
Hung Son Nguyen
Applications of Tolerance Rough Set Model Semantic Text Analysis.
CS&P
(2019)
Piotr Artiemjew
,
Pawel Idzikowski
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.
CS&P
(2019)
Adam Grabowski
RIFs as the Formal Tool of Measuring Similarity between Sets (short paper).
CS&P
(2019)
Lukasz Zmudzinski
Rough Mereology Based CFill Algorithm for Robotic Path Planning (short paper).
CS&P
(2019)
Damas P. Gruska
,
M. Carmen Ruiz
Observations, Testing and Security.
CS&P
(2019)
Aliyu Tanko Ali
,
Damas P. Gruska
Attack Protection Tree.
CS&P
(2019)
Ludwik Czaja
Computing with Natural Numbers in Cause-Effect Structures.
CS&P
(2019)
Tomasz Krzywicki
Application of Meta-Learning Methods in Recognition of Drums on the Basis of Short Soundsamples (short paper).
CS&P
(2019)
Lech Polkowski
On logical and mereological renderings of the Bayes theorem (short paper).
CS&P
(2019)
Agnieszka M. Zbrzezny
,
Andrzej Zbrzezny
Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract).
CS&P
(2019)
Antonia Reißner
,
Matthias Werner
A New Definition of Composition of LTIHA.
CS&P
(2019)
Krzysztof Ropiak
Rules from Granules vs. Granulated Rules (short paper).
CS&P
(2019)
Zbigniew Suraj
,
Oksana Olar
,
Yurii Bloshko
Optimized Fuzzy Petri Nets and Their Application for Transport Logistics Problem.
CS&P
(2019)
Pawel Drozda
,
Arkadiusz Talun
,
Leszek Bukowski
Emplobot - Design of the System (short paper).
CS&P
(2019)
Soma Dutta
,
Andrzej Jankowski
,
Andrzej Skowron
Toward Data Science Computing Model: Interactive Granular Computing (IGrC) (short paper).
CS&P
(2019)
Mohammad Azad
,
Igor Chikalov
,
Mikhail Moshkov
Decision Trees for Knowledge Representation (short paper).
CS&P
(2019)
Viorel Preoteasa
,
Timo Latvala
,
Kimmo Varpaaniemi
Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems.
CS&P
(2019)
Przemyslaw Czaus
Unsupervised Graphical User Interface Learning (short paper).
CS&P
(2019)
2018
Piotr Artiemjew
,
Krzysztof Ropiak
A Novel Ensemble Model - The Random Granular Reflections.
CS&P
(2018)
Jafar Akhundov
,
Michael Reißner
,
Matthias Werner
Compositional Expressiveness of Hybrid Models.
CS&P
(2018)
Wojciech Penczek
Improving Efficiency of Model Checking for Variants of Alternating-time Temporal Logic.
CS&P
(2018)
Irina B. Virbitskaite
,
Nataliya Gribovskaya
Preserving Behavior in Transition Systems from Event Structure Models.
CS&P
(2018)
Przemyslaw Czaus
Automated Validation of Big Data Classifiers on Multiple Diverse Datasets.
CS&P
(2018)
Lech Polkowski
The Bayes Theorem Counterpart in Mass-Based Rough Mereology.
CS&P
(2018)
Sinem Getir
,
Esteban Pavese
,
Lars Grunske
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.
CS&P
(2018)
Stanislaw Placzek
,
Aleksander Placzek
The Hierarchical Learning Algorithm for Deep Neural Networks.
CS&P
(2018)
Ludwik Czaja
Extensions of Elementary Cause-Effect Structures.
CS&P
(2018)
Lukasz Zmudzinski
Deep Learning Guinea Pig Image Classification Using Nvidia DIGITS and GoogLeNet.
CS&P
(2018)
volume 2240, 2018
Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018.
CS&P
2240 (2018)