![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
27th CS&P 2018: Berlin, Germany
- Bernd-Holger Schlingloff, Samira Akili:
Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018. CEUR Workshop Proceedings 2240, CEUR-WS.org 2018
Invited Talk 1
- Matthias Weidlich:
Formal Analysis of Complex Event Processing - Potential and Challenges.
Session 1: Concurrent Systems
- Damas P. Gruska, M. Carmen Ruiz:
Opacity-enforcing for Process Algebras. - Ludwik Czaja:
Extensions of Elementary Cause-Effect Structures.
Session 2: Rough Sets
- Adam Grabowski:
Automated Comparative Study of Some Generalized Rough Approximations. - Lech Polkowski:
The Bayes Theorem Counterpart in Mass-Based Rough Mereology.
Session 3: Optimizing Computations
- Marcin Zimniak, Marta Burzanska, Bogdan Franczyk:
On Some Heuristic Method for Optimal Workload Reconstruction. - Przemyslaw Czaus:
Automated Validation of Big Data Classifiers on Multiple Diverse Datasets.
Session 4: Verification
- Teofil Sidoruk
:
Investigating Characteristics and Differences Between Easy and Hard SAT Instances. - Sinem Getir, Esteban Pavese, Lars Grunske:
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. - Roman R. Redziejowski:
More about Left Recursion in PEG.
Session 5: Reaction Systems
- Andrzej Skowron, Soma Dutta, Grzegorz Rozenberg:
Linking Exploration Systems with Local Logicsover Information Systems. - Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo:
Simulating Gene Regulatory Networks using Reaction Systems. - Roberta Gori, Damas P. Gruska, Paolo Milazzo:
Hidden States in Reaction Systems.
Invited Talk 2
- Wojciech Penczek:
Improving Efficiency of Model Checking for Variants of Alternating-time Temporal Logic.
Session 6: Specification
- Irina B. Virbitskaite, Nataliya Gribovskaya:
Preserving Behavior in Transition Systems from Event Structure Models. - Jafar Akhundov, Michael Reißner, Matthias Werner:
Compositional Expressiveness of Hybrid Models. - Linh Anh Nguyen:
The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics.
Session 7: Learning Systems
- Lukasz Zmudzinski:
Deep Learning Guinea Pig Image Classification Using Nvidia DIGITS and GoogLeNet. - Piotr Artiemjew, Krzysztof Ropiak:
A Novel Ensemble Model - The Random Granular Reflections. - Stanislaw Placzek, Aleksander Placzek:
The Hierarchical Learning Algorithm for Deep Neural Networks.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.