default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21. CS&P 2012: Berlin, Germany
- Louchka Popova-Zeugmann:
Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012. CEUR Workshop Proceedings 928, CEUR-WS.org 2012 - Talha Amin, Igor Chikalov, Mikhail Moshkov, Beata Zielosko:
Relationships Between Length and Coverage of Exact Decision Rules. 1-12 - Mohammad Azad, Igor Chikalov, Mikhail Moshkov, Beata Zielosko:
Greedy Algorithm for Construction of Decision Trees for Tables with Many-Valued Decisions. 13-24 - Vladimir A. Bashkin:
One-counter Circuits. 25-36 - Marek A. Bednarczyk, Piotr Józwiak, Wieslaw Pawlowski:
A Class of Hypernets with Token Creation and Decidable Reachability Problem. 37-48 - Marco Bellia, M. Eugenia Occhiuto:
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures. 49-60 - Ludwik Czaja:
Equations for Asynchronous Message Passing. 61-72 - Marta Czyzewska, Jaroslaw Szkola, Krzysztof Pancerz:
Self-Organizing Feature Maps in Correlating Groups of Time Series: Experiments with Indicators Describing Entrepreneurship. 73-78 - Robert Dabrowski, Krzysztof Stencel, Grzegorz Timoszuk:
One Graph to Rule Them All - Software Measurment and Management. 79-90 - Nils Erik Flick, Manfred Kudlek:
Properties of Languages with Catenation and Shuffle. 91-102 - Nils Erik Flick, Manfred Kudlek:
A Hierarchy of Languages with Catenation and Shuffle. 103-114 - Adam Grabowski:
Computer-Driven Searching for Axiomatization of Rough Sets. 115-122 - Damas P. Gruska
:
Information Flow and Concurrent Imperative Languages. 123-134 - Damas P. Gruska:
Test Based Security. 135-146 - Mostafa Herajy, Monika Heiner:
Towards a Computational Steering and Petri Nets Framework for the Modelling of Biochemical Reaction Networks. 147-159 - Igor Chikalov, Shahid Hussain, Mikhail Moshkov:
Average Depth and Number of Misclassifications for Decision Trees. 160-169 - Grzegorz Jaskiewicz:
Prolog-Based Reasoning Layer for Counter-Strike Agents. 170-181 - Adam Krasuski, Marcin S. Szczuka:
Knowledge Driven Query Sharding. 182-190 - Olga Siedlecka-Lamch, Miroslaw Kurkowski, Henryk Piech:
A New Effective Approach for Modelling and Verification of Security Protocols. 191-202 - Michael Köhler-Bußmeier:
On the Complexity of Safe, Elementary Hornets. 203-214 - Michael Köhler-Bußmeier:
Negotiating Inter-Organisational Processes. 215-226 - Didier Lime, Olivier H. Roux, Claude Jard:
Clock Transition Systems. 227-238 - Irina A. Lomazova, Ivan V. Romanov:
Analyzing Web Service Resource Compatibility. 239-250 - Hung Son Nguyen, Wojciech Swieboda:
Rough Set Methods and Submodular Functions. 251-260 - Matthias Niemann, Danilo Schmidt, Gabriela Lindemann von Trzebiatowski, Carl Hinrichs:
First Steps towards a Frequent Pattern Mining with Nephrology Data in the Medical Domain. 261-268 - Krzysztof Pancerz, Arkadiusz Lewicki, Ryszard Tadeusiewicz, Jan Warchol:
Rough Set Flow Graphs and Ant Based Clustering in Classification of Disturbed Periodic Biosignals. 269-279 - Krzysztof Pancerz, Wieslaw Paja, Mariusz Wrzesien, Jan Warchol:
Classification of Voice Signals through Mining Unique Episodes in Temporal Information Systems: A Rough Set Approach. 280-291 - James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk:
Nearness of Objects. Approximation Space Model Revisited. 292-302 - Lech Polkowski, Maria Semeniuk-Polkowska:
On a Notion of Extensionality for Artifacts. 303-311 - Lukasz Pulawski:
Automatic Forecasting of Design Anti-patterns in Software Source Code. 312-323 - Roman R. Redziejowski:
From EBNF to PEG. 324-335 - Martin C. Schneider, Hans-Dieter Burkhard:
Creating driving behavior for artificial agents in a social augmented micro-world. 336-342 - Martin Schwarick:
Symbolic Model Checking of Stochastic Reward Nets. 343-357 - Andrzej Skowron, Andrzej Jankowski, Piotr Wasilewski:
Interactive Computational Systems: Rough Granular Approach. 358-369 - Zbigniew Suraj:
Generalised Fuzzy Petri Nets for Approximate Reasoning in Decision Support Systems. 370-381 - Annegret Wagler, Jan-Thierry Wegener:
On Minimality and Equivalence of Petri Nets. 382-393 - Piotr Wisniewski, Krzysztof Stencel:
Universal Query Language. 394-403 - Marcin Wolski, Anna Gomolinska:
Elements of Representation Theory for Pawlak Information Systems. 404-415 - Olena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska:
Rules for Formal and Natural Dialogues in Agent Communication. 416-427 - Olena Yatsenko:
On Parameter-Driven Generation of Algorithm Schemes. 428-438
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 2025-12-12 01: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:
