Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/csp/csp2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/csp/BakKS13,
author = {Kamil Bak and
Adam Krasuski and
Marcin S. Szczuka},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Searching for Concepts in Natural Language Part of Fire Service Reports},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {39--48},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/BakKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BelliaO13,
author = {Marco Bellia and
M. Eugenia Occhiuto},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {{DNA} Tiles, Wang Tiles and Combinators},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {1--14},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-01.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BelliaO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BettsM13,
author = {Jack Betts and
Berndt M{\"{u}}ller},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Engineering {MAS} - {A} Device Integration Framework for Smart Home
Environments},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {15--26},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BettsM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BurkhardD13,
author = {Hans{-}Dieter Burkhard and
Monika Domanska},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Experiments with Simulated Humanoid Robots},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {27--38},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-03.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/BurkhardD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/CastiglioniLT13,
author = {Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Rule Format for Rooted Branching Bisimulation},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {49--60},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/CastiglioniLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/ChaiS13,
author = {Ming Chai and
Holger Schlingloff},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Rewriting Based Monitoring Algorithm for {TPTL}},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {61--72},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/ChaiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Chrzastowski-WachtelGL13,
author = {Piotr Chrzastowski{-}Wachtel and
Pawel Golab and
Bartosz Lewinski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Sound Recoveries of Structural Workflows with Synchronization},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {73--87},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Chrzastowski-WachtelGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja13,
author = {Ludwik Czaja},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Floating Channels Between Communicating Nets},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {88--98},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/DolinskaMR13,
author = {Iwona Dolinska and
Antoni Masiukiewicz and
Grzegorz Rzadkowski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {The Mathematical Model for Interference Simulation and Optimization
in 802.11n Networks},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {99--110},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/DolinskaMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/DubtsovOV13,
author = {Roman S. Dubtsov and
Elena S. Oshevskaya and
Irina B. Virbitskaite},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Domain View of Timed Behaviors},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {111--121},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/DubtsovOV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GaraninaSB13,
author = {Natalia Olegovna Garanina and
Elena A. Sidorova and
Evgeny V. Bodin},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific
Onthology},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {122--132},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GaraninaSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Gerlach13,
author = {Jens Gerlach},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {An Explicit Formula for Sorting and its Application to Sorting in
Lattices},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {133--144},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Gerlach13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GomolinskaW13,
author = {Anna Gomolinska and
Marcin Wolski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Rough Inclusion Functions and Similarity Indices},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {145--156},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/GomolinskaW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Grabowski13,
author = {Adam Grabowski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Efficient Rough Set Theory Merging},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {157--168},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Grabowski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Gruska13,
author = {Damas P. Gruska},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Opacity Testing},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {169--180},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Gruska13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/HeitmannK13,
author = {Frank Heitmann and
Michael K{\"{o}}hler{-}Bu{\ss}meier},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Structural and Dynamic Restrictions of Elementary Object Systems},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {181--192},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/HeitmannK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/JanickiKKM13,
author = {Ryszard Janicki and
Jetty Kleijn and
Maciej Koutny and
Lukasz Mikulski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Causal Structures for General Concurrent Behaviours},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {193--205},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/JanickiKKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/JankowskiSS13,
author = {Andrzej Jankowski and
Andrzej Skowron and
Roman W. Swiniarski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Interactive Complex Granules},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {206--218},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/JankowskiSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KacprzakS13,
author = {Magdalena Kacprzak and
Anna Sawicka},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Identification of Formal Fallacies in a Natural Dialogue},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {219--231},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KacprzakS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KalenkovaL13,
author = {Anna A. Kalenkova and
Irina A. Lomazova},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Discovery of Cancellation Regions within Process Mining Techniques},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {232--244},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-20.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KalenkovaL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Karbowska-ChilinskaZ13,
author = {Joanna Karbowska{-}Chilinska and
Pawel Zabielski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Genetic Algorithm with Path Relinking for the Orienteering Problem
with Time Windows},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {245--258},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-21.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Karbowska-ChilinskaZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/KnapikP13,
author = {Michal Knapik and
Wojciech Penczek},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Parameter Synthesis for Timed Kripke Structures},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {259--270},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-22.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/KnapikP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MellmannKSB13,
author = {Heinrich Mellmann and
Steffen Kaden and
Marcus Scheunemann and
Hans{-}Dieter Burkhard},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Voronoi Based Strategic Positioning for Robot Soccer},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {271--282},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-23.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/MellmannKSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MellmannSS13,
author = {Heinrich Mellmann and
Marcus Scheunemann and
Oliver Stadie},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Adaptive Grasping for a Small Humanoid Robot Utilizing Force- and
Electric Current Sensors},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {283--293},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-24.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/MellmannSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MitrovicIB13,
author = {Dejan Mitrovic and
Mirjana Ivanovic and
Hans{-}Dieter Burkhard},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Towards a Jason Infrastructure for Soccer Playing Agents},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {294--295},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-25.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/MitrovicIB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/NguyenG13,
author = {Linh Anh Nguyen and
Joanna Golinska{-}Pilarek},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {An ExpTime Tableau Method for Dealing with Nominals and Quantified
Number Restrictions in Deciding the Description Logic {SHOQ}},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {296--308},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-26.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/NguyenG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/NiewiadomskiPS13,
author = {Artur Niewiadomski and
Wojciech Penczek and
Jaroslaw Skaruz},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {{SMT} vs Genetic Algorithms: Concrete Planning in PlanICS Framework},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {309--321},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/NiewiadomskiPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PlaczekA13,
author = {Stanislaw Placzek and
Bijaya Adhikari},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Analysis of Multilayer Neural Networks with Direct and Cross-Forward
Connection},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {355--370},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-31.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PlaczekA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PolkowskiS13,
author = {Lech Polkowski and
Maria Semeniuk{-}Polkowska},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Granular Mereotopology: {A} First Sketch},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {322--331},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-28.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PolkowskiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PolrolaCM13,
author = {Agata P{\'{o}}lrola and
Piotr Cybula and
Artur Meski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {SMT-Based Reachability Checking for Bounded Time Petri Nets},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {332--341},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-29.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PolrolaCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/PrzymusSK13,
author = {Piotr Przymus and
Krzysztof Kaczmarski and
Krzysztof Stencel},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Bi-objective Optimization Framework for Heterogeneous {CPU/GPU}
Query Plans},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {342--354},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-30.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/PrzymusSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Rataj13,
author = {Artur Rataj},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Fractional Genetic Programming for a More Gradual Evolution},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {371--382},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-32.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Rataj13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Redziejowski13,
author = {Roman R. Redziejowski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {From {EBNF} to {PEG}},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {383--388},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-33.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Redziejowski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SchumannP13,
author = {Andrew Schumann and
Krzysztof Pancerz},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Towards an Object-Oriented Programming Language for Physarum Polycephalum
Computing},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {389--397},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-34.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SchumannP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SurajG13,
author = {Zbigniew Suraj and
Piotr Grochowalski},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {About New Version of {RSDS} System},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {398--408},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-35.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SurajG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/SzpyrkaMW13,
author = {Marcin Szpyrka and
Piotr Matyasik and
Michal Wypych},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Generation of Labelled Transition Systems for Alvis Models using Haskell
Model Representation},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {409--420},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-36.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/SzpyrkaMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/TranHHNN13,
author = {Thanh{-}Luong Tran and
Quang{-}Thuy Ha and
Thi{-}Lan{-}Giao Hoang and
Linh Anh Nguyen and
Hung Son Nguyen},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Bisimulation-Based Concept Learning in Description Logics},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {421--433},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-37.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/TranHHNN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WaglerW13,
author = {Annegret Katrin Wagler and
Jan{-}Thierry Wegener},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Preprocessing for Network Reconstruction: Feasibility Test and Handling
Infeasibility},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {434--447},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-38.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WaglerW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WernerPHP13,
author = {Matthias Werner and
Louchka Popova{-}Zeugmann and
Mario Haustein and
Elisabeth Pelz},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Holistic State Equation for Timed Petri Nets},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {448--456},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-39.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WernerPHP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/WisniewskiS13,
author = {Piotr Wisniewski and
Krzysztof Stencel},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Query Rewriting Based on Meta-Granular Aggregation},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {457--468},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-40.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/WisniewskiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Wozna-SzczesniakZ13,
author = {Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Checking {MTL} Properties of Discrete Timed Automata via Bounded Model
Checking},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {469--477},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-41.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Wozna-SzczesniakZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Zbrzezny13,
author = {Andrzej Zbrzezny},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {On Boolean Encodings of Transition Relation for Parallel Compositions
of Transition Systems},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {478--489},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-42.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/Zbrzezny13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2013,
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032},
urn = {urn:nbn:de:0074-1032-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 06:53 CEST from data curated 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:
