default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th 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.
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.
last updated on 2024-12-22 19:08 CET 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:
