(original) (raw)

@comment{It is strongly recommended to use BibLaTeX for these entries. The language-specific characters are in UTF-8 encoding} @inproceedings{BelliaOcchiuto:CSP2013, title = {DNA Tiles, Wang Tiles and Combinators}, author = {Marco Bellia and Maria Eugenia Occhiuto}, pages = {1--14}, url = {http://ceur-ws.org/Vol-1032/paper-01.pdf}, crossref = {CSP2013}, } @inproceedings{BettsMoeller:CSP2013, title = {Engineering MAS – A Device Integration Framework for Smart Home Environments}, author = {Jack Betts and Berndt Müller}, pages = {15--26}, url = {http://ceur-ws.org/Vol-1032/paper-02.pdf}, crossref = {CSP2013}, } @inproceedings{BurkhardDomanska:CSP2013, title = {Experiments with Simulated Humanoid Robots}, author = {Hans-Dieter Burkhard and Monika Domańska}, pages = {27--38}, url = {http://ceur-ws.org/Vol-1032/paper-03.pdf}, crossref = {CSP2013}, } @inproceedings{BakEtAl:CSP2013, title = {Searching for Concepts in Natural Language Part of Fire Service Reports}, author = {Kamil Bąk and Adam Krasuski and Marcin Szczuka}, pages = {39--48}, url = {http://ceur-ws.org/Vol-1032/paper-04.pdf}, crossref = {CSP2013}, } @inproceedings{CastiglioniEtAl:CSP2013, title = {A Rule Format for Rooted Branching Bisimulation}, author = {Valentina Castiglioni and Ruggero Lanotte and Simone Tini}, pages = {49--60}, url = {http://ceur-ws.org/Vol-1032/paper-05.pdf}, crossref = {CSP2013}, } @inproceedings{ChaiSchlingloff:CSP2013, title = {A Rewriting Based Monitoring Algorithm for TPTL}, author = {Ming Chai and Holger Schlingloff}, pages = {61--72}, url = {http://ceur-ws.org/Vol-1032/paper-06.pdf}, crossref = {CSP2013}, } @inproceedings{Chrzastowski-WachtelEtAl:CSP2013, title = {Sound Recoveries of Structural Workflows with Synchronization}, author = {Piotr Chrząstowski-Wachtel and Paweł Gołąb and Bartosz Lewiński}, pages = {73--87}, url = {http://ceur-ws.org/Vol-1032/paper-07.pdf}, crossref = {CSP2013}, } @inproceedings{Czaja:CSP2013, title = {Floating Channels Between Communicating Nets}, author = {Ludwik Czaja}, pages = {88--98}, url = {http://ceur-ws.org/Vol-1032/paper-08.pdf}, crossref = {CSP2013}, } @inproceedings{DolinskaEtAl:CSP2013, title = {The Mathematical Model for Interference Simulation and Optimization in 802.11n Networks}, author = {Iwona Dolińska and Antoni Masiukiewicz and Grzegorz Rządkowski}, pages = {99--110}, url = {http://ceur-ws.org/Vol-1032/paper-09.pdf}, crossref = {CSP2013}, } @inproceedings{DubtsovEtAl:CSP2013, title = {A Domain View of Timed Behaviors}, author = {Roman Dubtsov and Elena Oshevskaya and Irina Virbitskaite}, pages = {111--121}, url = {http://ceur-ws.org/Vol-1032/paper-10.pdf}, crossref = {CSP2013}, } @inproceedings{GaraninaEtAl:CSP2013, title = {A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology}, author = {Natalia Garanina and Elena Sidorova and Evgeny Bodin}, pages = {122--132}, url = {http://ceur-ws.org/Vol-1032/paper-11.pdf}, crossref = {CSP2013}, } @inproceedings{Gerlach:CSP2013, title = {An Explicit Formula for Sorting and its Application to Sorting in Lattices}, author = {Jens Gerlach}, pages = {133--144}, url = {http://ceur-ws.org/Vol-1032/paper-12.pdf}, crossref = {CSP2013}, } @inproceedings{GomolinskaWolski:CSP2013, title = {Rough Inclusion Functions and Similarity Indices}, author = {Anna Gomolińska and Marcin Wolski}, pages = {145--156}, url = {http://ceur-ws.org/Vol-1032/paper-13.pdf}, crossref = {CSP2013}, } @inproceedings{Grabowski:CSP2013, title = {Efficient Rough Set Theory Merging}, author = {Adam Grabowski}, pages = {157--168}, url = {http://ceur-ws.org/Vol-1032/paper-14.pdf}, crossref = {CSP2013}, } @inproceedings{Gruska:CSP2013, title = {Opacity Testing }, author = {Damas Gruska}, pages = {169--180}, url = {http://ceur-ws.org/Vol-1032/paper-15.pdf}, crossref = {CSP2013}, } @inproceedings{HeitmannKohler-Bussmeier:CSP2013, title = {Structural and Dynamic Restrictions of Elementary Object Systems}, author = {Frank Heitmann and Michael Köhler-Bußmeier}, pages = {181--192}, url = {http://ceur-ws.org/Vol-1032/paper-16.pdf}, crossref = {CSP2013}, } @inproceedings{JanickiEtAl:CSP2013, title = {Causal Structures for General Concurrent Behaviours}, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Łukasz Mikulski}, pages = {193--205}, url = {http://ceur-ws.org/Vol-1032/paper-17.pdf}, crossref = {CSP2013}, } @inproceedings{JankowskiEtAl:CSP2013, title = {Interactive Complex Granules}, author = {Andrzej Jankowski and Andrzej Skowron and Roman Swiniarski}, pages = {206--218}, url = {http://ceur-ws.org/Vol-1032/paper-18.pdf}, crossref = {CSP2013}, } @inproceedings{KacprzakSawicka:CSP2013, title = {Identification of Formal Fallacies in a Natural Dialogue}, author = {Magdalena Kacprzak and Anna Sawicka}, pages = {219--231}, url = {http://ceur-ws.org/Vol-1032/paper-19.pdf}, crossref = {CSP2013}, } @inproceedings{KalenkovaLomazova:CSP2013, title = {Discovery of Cancellation Regions within Process Mining Techniques}, author = {Anna Kalenkova and Irina A. Lomazova}, pages = {232--244}, url = {http://ceur-ws.org/Vol-1032/paper-20.pdf}, crossref = {CSP2013}, } @inproceedings{Karbowska-ChilinskaZabielski:CSP2013, title = {Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows}, author = {Joanna Karbowska-Chilinska and Paweł Zabielski}, pages = {245--258}, url = {http://ceur-ws.org/Vol-1032/paper-21.pdf}, crossref = {CSP2013}, } @inproceedings{KnapikPenczek:CSP2013, title = {Parameter Synthesis for Timed Kripke Structures}, author = {Michał Knapik and Wojciech Penczek}, pages = {259--270}, url = {http://ceur-ws.org/Vol-1032/paper-22.pdf}, crossref = {CSP2013}, } @inproceedings{MellmannEtAl:CSP2013, title = {Voronoi Based Strategic Positioning for Robot Soccer}, author = {Heinrich Mellmann and Steffen Kaden and Marcus Scheunemann and Hans-Dieter Burkhard}, pages = {271--282}, url = {http://ceur-ws.org/Vol-1032/paper-23.pdf}, crossref = {CSP2013}, } @inproceedings{MellmannEtAl:CSP2013, title = {Adaptive Grasping for a Small Humanoid Robot Utilizing Force- and Electric Current Sensors}, author = {Heinrich Mellmann and Marcus Scheunemann and Oliver Stadie}, pages = {283--293}, url = {http://ceur-ws.org/Vol-1032/paper-24.pdf}, crossref = {CSP2013}, } @inproceedings{MitrovicEtAl:CSP2013, title = {Towards a Jason Infrastructure for Soccer Playing Agents}, author = {Dejan Mitrović and Mirjana Ivanović and Hans-Dieter Burkhard}, pages = {294--295}, url = {http://ceur-ws.org/Vol-1032/paper-25.pdf}, crossref = {CSP2013}, } @inproceedings{NguyenGolinska-Pilarek:CSP2013, title = {An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ}, author = {Linh Anh Nguyen and Joanna Golińska-Pilarek}, pages = {296--308}, url = {http://ceur-ws.org/Vol-1032/paper-26.pdf}, crossref = {CSP2013}, } @inproceedings{NiewiadomskiEtAl:CSP2013, title = {SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework}, author = {Artur Niewiadomski and Wojciech Penczek and Jarosław Skaruz}, pages = {309--321}, url = {http://ceur-ws.org/Vol-1032/paper-27.pdf}, crossref = {CSP2013}, } @inproceedings{PolkowskiSemeniuk-Polkowska:CSP2013, title = {Granular Mereotopology:A First Sketch}, author = {Lech Polkowski and Maria Semeniuk-Polkowska}, pages = {322--331}, url = {http://ceur-ws.org/Vol-1032/paper-28.pdf}, crossref = {CSP2013}, } @inproceedings{PolrolaEtAl:CSP2013, title = {SMT-Based Reachability Checking for Bounded Time Petri Nets}, author = {Agata Półrola and Piotr Cybula and Artur Męski}, pages = {332--341}, url = {http://ceur-ws.org/Vol-1032/paper-29.pdf}, crossref = {CSP2013}, } @inproceedings{PrzymusEtAl:CSP2013, title = {A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans}, author = {Piotr Przymus and Krzysztof Stencel and Krzysztof Kaczmarski}, pages = {342--354}, url = {http://ceur-ws.org/Vol-1032/paper-30.pdf}, crossref = {CSP2013}, } @inproceedings{PlaczekAdhikari:CSP2013, title = {Analysis of Multilayer Neural Networks with Direct and Cross-Forward Connection}, author = {Stanisław Płaczek and Bijaya Adhikari}, pages = {355--370}, url = {http://ceur-ws.org/Vol-1032/paper-31.pdf}, crossref = {CSP2013}, } @inproceedings{Rataj:CSP2013, title = {Fractional Genetic Programming for a More Gradual Evolution}, author = {Artur Rataj}, pages = {371--382}, url = {http://ceur-ws.org/Vol-1032/paper-32.pdf}, crossref = {CSP2013}, } @inproceedings{Redziejowski:CSP2013, title = {From EBNF to PEG}, author = {Roman Redziejowski}, pages = {383--388}, url = {http://ceur-ws.org/Vol-1032/paper-33.pdf}, crossref = {CSP2013}, } @inproceedings{SchumannPancerz:CSP2013, title = {Towards an Object-Oriented Programming Language for Physarum Polycephalum Computing}, author = {Andrew Schumann and Krzysztof Pancerz}, pages = {389--397}, url = {http://ceur-ws.org/Vol-1032/paper-34.pdf}, crossref = {CSP2013}, } @inproceedings{SurajGrochowalski:CSP2013, title = {About New Version of RSDS System}, author = {Zbigniew Suraj and Piotr Grochowalski}, pages = {398--408}, url = {http://ceur-ws.org/Vol-1032/paper-35.pdf}, crossref = {CSP2013}, } @inproceedings{SzpyrkaEtAl:CSP2013, title = {Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation}, author = {Marcin Szpyrka and Piotr Matyasik and Michał Wypych}, pages = {409--420}, url = {http://ceur-ws.org/Vol-1032/paper-36.pdf}, crossref = {CSP2013}, } @inproceedings{TranEtAl:CSP2013, title = {Bisimulation-Based Concept Learning in Description Logics}, author = {Thanh-Luong Tran and Quang-Thuy Ha and Thi-Lan-Giao Hoang and Linh Anh Nguyen and Hung Son Nguyen}, pages = {421--433}, url = {http://ceur-ws.org/Vol-1032/paper-37.pdf}, crossref = {CSP2013}, } @inproceedings{WaglerWegener:CSP2013, title = {Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility}, author = {Annegret K. Wagler and Jan-Thierry Wegener}, pages = {434--447}, url = {http://ceur-ws.org/Vol-1032/paper-38.pdf}, crossref = {CSP2013}, } @inproceedings{WernerEtAl:CSP2013, title = {A Holistic State Equation for Timed Petri Nets}, author = {Matthias Werner and Louchka Popova-Zeugmann and Mario Haustein and Elisabeth Pelz}, pages = {448--456}, url = {http://ceur-ws.org/Vol-1032/paper-39.pdf}, crossref = {CSP2013}, } @inproceedings{WisniewskiStencel:CSP2013, title = {Query Rewriting Based on Meta-Granular Aggregation}, author = {Piotr Wiśniewski and Krzysztof Stencel}, pages = {457--468}, url = {http://ceur-ws.org/Vol-1032/paper-40.pdf}, crossref = {CSP2013}, } @inproceedings{Wozna-SzczesniakZbrzezny:CSP2013, title = {Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking}, author = {Bozena Woźna-Szcześniak and Andrzej Zbrzezny}, pages = {469--477}, url = {http://ceur-ws.org/Vol-1032/paper-41.pdf}, crossref = {CSP2013}, } @inproceedings{Zbrzezny:CSP2013, title = {On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems}, author = {Andrzej Zbrzezny}, pages = {478--489}, url = {http://ceur-ws.org/Vol-1032/paper-42.pdf}, crossref = {CSP2013}, } @proceedings{CSP2013, booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming (C\&SP)}, title = {Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming (CS\&P)}, year = 2013, editor = {Marcin Szczuka and Ludwik Czaja and Magdalena Kacprzak}, number = 1032, series = {CEUR Workshop Proceedings}, address = {Aachen}, issn = {1613-0073}, url = {http://ceur-ws.org/Vol-1032/}, venue = {Warsaw, Poland}, eventdate = {25-27.09.2013}, }