default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23. CS&P 2014: Chemnitz, Germany
- Louchka Popova-Zeugmann:
Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014. CEUR Workshop Proceedings 1269, CEUR-WS.org 2014 - Krzysztof Balicki:
XCCS Diagram to CCS Script Conversion Algorithm. 1-12 - Jan G. Bazan, Stanislawa Bazan-Socha, Sylwia Buregwa-Czuma, Lukasz Dydo, Wojciech Rzasa, Andrzej Skowron:
A Classifier Based on a Decision Tree with Verifying Cuts. 13-21 - Jan G. Bazan, Marcin Szpyrka, Adam Szczur, Lukasz Dydo, Hubert Wojtowicz:
Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data. 22-33 - Marco Bellia, M. Eugenia Occhiuto:
Programming Self-Assembly of DNA Tiles. 34-45 - Valentina Castiglioni, Ruggero Lanotte, Simone Tini:
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. 46-57 - Michal Chromiak, Piotr Wisniewski, Krzysztof Stencel:
Exploiting Order Dependencies on Primary Keys for Optimization. 58-68 - Natalia Olegovna Garanina, Evgeny V. Bodin:
Distributed Termination Detection by Counting Agent. 69-79 - Damas P. Gruska
:
Differential Privacy and Security. 80-91 - Magdalena Kacprzak, Anna Sawicka, Katarzyna Budzynska, Marcin Dziubinski:
Verifying Strategies in Dialogue Games. 92-100 - Michael Köhler-Bußmeier, Frank Heitmann:
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets. 101-112 - Piotr Lasek:
C-NBC: Neighborhood-Based Clustering with Constraints. 113-120 - Piotr Lasek, Krzysztof Lasek:
Relative Constraints as Features. 121-125 - Irina A. Lomazova, Louchka Popova-Zeugmann:
Controlling Petri Net Behavior Using Priorities for Transitions. 126-137 - Berndt Müller, Jack Betts:
Incorporating BDI-Agent Concepts into Object-Oriented Programming. 138-149 - Linh Anh Nguyen:
A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic. 150-163 - Agnieszka Nowak-Brzezinska, Roman Siminski:
New Inference Algorithms Based on Rules Partition. 164-175 - Krzysztof Pancerz, Olga Mich:
Mining Real-Estate Listings Based on Decision Systems over Ontological Graphs. 176-179 - Krzysztof Pancerz, Andrew Schumann:
Timed Transition System Models for Programming Physarum Machines. 180-183 - Mikulás Pataky, Damas P. Gruska:
Multi-Agent Heterogeneous Intrusion Detection System. 184-195 - Stanislaw Placzek, Bijaya Adhikari:
Coordination Algorithm in Hierarchical Structure of the Learning Process of Artificial Neural Network. 196-207 - Malgorzata Przybyla-Kasperek, Alicja Wakulicz-Deja:
Methods of Calculating the Strength of Coalition in a Dispersed Decision Support System with the Stage of Negotiations - a Study of Medical Data. 208-219 - Artur Rataj:
Fractional Genetic Programming with Probability Density Data. 220-231 - Roman R. Redziejowski:
Cut Points in PEG. 232-236 - Zbigniew Suraj, Agnieszka Lasek, Piotr Lasek:
Inverted Fuzzy Implications in Approximate Reasoning. 237-244 - Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki:
Methods of Translation of Petri Nets to NuSMV Language. 245-256 - Dmitriy Bushin, Irina B. Virbitskaite:
Time Process Equivalences for Time Petri Nets. 257-268 - Piotr Wasilewski, Pawel Góra:
Traffic-Related Knowledge Acquired by Interaction with Experts. 269-280 - Bozena Wozna-Szczesniak:
SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract). 281-292 - Agnieszka Zbrzezny, Andrzej Zbrzezny:
A Comparison of SAT-Based and SMT-Based Bounded Model Checking Methods for ECTL. 293-300 - Agnieszka Zbrzezny, Andrzej Zbrzezny:
System Monitoring with Extended Message Sequence Chart (Extended Abstract). 301-307 - Wojciech Swieboda, Van Mai Nguyen Thi, Hung Son Nguyen:
Granular Floor Plan Representation for Evacuation Modeling. 308-310 - Ludwik Czaja:
Two Problems with Distributed Systems: Data Access Control and Memory Shering. 311-319
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-11-07 20:41 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:
