BibTeX records: Lukasz Mikulski

download as .bib file

@article{DBLP:journals/cuza/JanickiKM18,
  author    = {Ryszard Janicki and
               Jetty Kleijn and
               Lukasz Mikulski},
  title     = {A Precise Characterisation of Step Traces and Their Concurrent Histories},
  journal   = {Sci. Ann. Comp. Sci.},
  volume    = {28},
  number    = {2},
  pages     = {237--267},
  year      = {2018},
  url       = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&\#38;a=3},
  timestamp = {Tue, 25 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cuza/JanickiKM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BarylskaEKMP18,
  author    = {Kamila Barylska and
               Evgeny Erofeev and
               Maciej Koutny and
               Lukasz Mikulski and
               Marcin Piatkowski},
  title     = {Reversing Transitions in Bounded Petri Nets},
  journal   = {Fundam. Inform.},
  volume    = {157},
  number    = {4},
  pages     = {341--357},
  year      = {2018},
  url       = {https://doi.org/10.3233/FI-2018-1631},
  doi       = {10.3233/FI-2018-1631},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/BarylskaEKMP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BarylskaKMP18,
  author    = {Kamila Barylska and
               Maciej Koutny and
               Lukasz Mikulski and
               Marcin Piatkowski},
  title     = {Reversible computation vs. reversibility in Petri nets},
  journal   = {Sci. Comput. Program.},
  volume    = {151},
  pages     = {48--60},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.scico.2017.10.008},
  doi       = {10.1016/j.scico.2017.10.008},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scp/BarylskaKMP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/GogolinskaMP18,
  author    = {Anna Gogolinska and
               Lukasz Mikulski and
               Marcin Piatkowski},
  title     = {{GPU} Computations and Memory Access Model Based on Petri Nets},
  journal   = {T. Petri Nets and Other Models of Concurrency},
  volume    = {13},
  pages     = {136--157},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_7},
  doi       = {10.1007/978-3-662-58381-4\_7},
  timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/GogolinskaMP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarylskaGMPPP18,
  author    = {Kamila Barylska and
               Anna Gogolinska and
               Lukasz Mikulski and
               Anna Philippou and
               Marcin Piatkowski and
               Kyriaki Psara},
  title     = {Reversing Computations Modelled by Coloured Petri Nets},
  booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
               for the Analysis of Event Data 2018 Satellite event of the conferences:
               39th International Conference on Application and Theory of Petri Nets
               and Concurrency Petri Nets 2018 and 18th International Conference
               on Application of Concurrency to System Design {ACSD} 2018, Bratislava,
               Slovakia, June 25, 2018.},
  pages     = {91--111},
  year      = {2018},
  crossref  = {DBLP:conf/apn/2018ataed},
  url       = {http://ceur-ws.org/Vol-2115/ATAED2018-91-111.pdf},
  timestamp = {Mon, 18 Jun 2018 16:19:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/BarylskaGMPPP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Frutos-EscrigKM18,
  author    = {David de Frutos{-}Escrig and
               Maciej Koutny and
               Lukasz Mikulski},
  title     = {An Efficient Characterization of Petri Net Solvable Binary Words},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
               Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
               2018, Proceedings},
  pages     = {207--226},
  year      = {2018},
  crossref  = {DBLP:conf/apn/2018},
  url       = {https://doi.org/10.1007/978-3-319-91268-4\_11},
  doi       = {10.1007/978-3-319-91268-4\_11},
  timestamp = {Tue, 29 May 2018 12:36:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/Frutos-EscrigKM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KleijnKMR18,
  author    = {Jetty Kleijn and
               Maciej Koutny and
               Lukasz Mikulski and
               Grzegorz Rozenberg},
  title     = {Reaction Systems, Transition Systems, and Equivalences},
  booktitle = {Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated
               to Juraj Hromkovi{\v{c}} on the Occasion of His 60th Birthday},
  pages     = {63--84},
  year      = {2018},
  crossref  = {DBLP:conf/birthday/2018hromkovic},
  url       = {https://doi.org/10.1007/978-3-319-98355-4\_5},
  doi       = {10.1007/978-3-319-98355-4\_5},
  timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/KleijnKMR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JanickiKKM17,
  author    = {Ryszard Janicki and
               Jetty Kleijn and
               Maciej Koutny and
               Lukasz Mikulski},
  title     = {Alphabets of Acyclic Invariant Structures},
  journal   = {Fundam. Inform.},
  volume    = {154},
  number    = {1-4},
  pages     = {207--224},
  year      = {2017},
  url       = {https://doi.org/10.3233/FI-2017-1562},
  doi       = {10.3233/FI-2017-1562},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/JanickiKKM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JanickiKKM17a,
  author    = {Ryszard Janicki and
               Jetty Kleijn and
               Maciej Koutny and
               Lukasz Mikulski},
  title     = {Invariant Structures and Dependence Relations},
  journal   = {Fundam. Inform.},
  volume    = {155},
  number    = {1-2},
  pages     = {1--29},
  year      = {2017},
  url       = {https://doi.org/10.3233/FI-2017-1574},
  doi       = {10.3233/FI-2017-1574},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/JanickiKKM17a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/KoutnyMP17,
  author    = {Maciej Koutny and
               Lukasz Mikulski and
               Marta Pietkiewicz{-}Koutny},
  title     = {An extension of the taxonomy of persistent and nonviolent steps},
  journal   = {Inf. Sci.},
  volume    = {394},
  pages     = {299--314},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.ins.2017.01.037},
  doi       = {10.1016/j.ins.2017.01.037},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/isci/KoutnyMP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MikulskiMP17,
  author    = {Lukasz Mikulski and
               Andrey Mokhov and
               Marcin Piatkowski},
  title     = {Reduction of Order Structures},
  booktitle = {17th International Conference on Application of Concurrency to System
               Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  pages     = {96--105},
  year      = {2017},
  crossref  = {DBLP:conf/acsd/2017},
  url       = {https://doi.org/10.1109/ACSD.2017.17},
  doi       = {10.1109/ACSD.2017.17},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/MikulskiMP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JanickiKKM17,
  author    = {Ryszard Janicki and
               Jetty Kleijn and
               Maciej Koutny and
               Lukasz Mikulski},
  title     = {On Synthesising Step Alphabets for Acyclic Invariant Structures},
  booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
               for the Analysis of Event Data 2017 Satellite event of the conferences:
               38th International Conference on Application and Theory of Petri Nets
               and Concurrency Petri Nets 2017 and 17th International Conference
               on Application of Concurrency to System Design {ACSD} 2017, Zaragoza,
               Spain, June 26-27, 2017.},
  pages     = {76--88},
  year      = {2017},
  crossref  = {DBLP:conf/apn/2017ataed},
  url       = {http://ceur-ws.org/Vol-1847/paper06.pdf},
  timestamp = {Wed, 25 Oct 2017 18:38:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/JanickiKKM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GogolinskaMP17,
  author    = {Anna Gogolinska and
               Lukasz Mikulski and
               Marcin Piatkowski},
  title     = {{GPU} Computations and Memory Access Model Based on Petri Nets},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering (PNSE'17), co-located with the38th International Conference
               on Application and Theory of Petri Nets and Concurrency Petri Nets
               2017 and the 17th International Conference on Application of Concurrency
               to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017.},
  pages     = {105--122},
  year      = {2017},
  crossref  = {DBLP:conf/apn/2017pnse},
  url       = {http://ceur-ws.org/Vol-1846/paper7.pdf},
  timestamp = {Wed, 02 May 2018 16:07:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/GogolinskaMP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JanickiKKM16,
  author    = {Ryszard Janicki and
               Jetty Kleijn and
               Maciej Koutny and
               Lukasz Mikulski},
  title     = {Step traces},
  journal   = {Acta Inf.},
  volume    = {53},
  number    = {1},
  pages     = {35--65},
  year      = {2016},
  url       = {https://doi.org/10.1007/s00236-015-0244-z},
  doi       = {10.1007/s00236-015-0244-z},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/acta/JanickiKKM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BarylskaBEMP16,
  author    = {Kamila Barylska and
               Eike Best and
               Evgeny Erofeev and
               Lukasz Mikulski and
               Marcin Piatkowski},
  title     = {Conditions for Petri Net Solvable Binary Words},
  journal   = {T. Petri Nets and Other Models of Concurrency},
  volume    = {11},
  pages     = {137--159},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_7},
  doi       = {10.1007/978-3-662-53401-4\_7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/BarylskaBEMP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BarylskaMPKE16,
  author    = {Kamila Barylska and
               Lukasz Mikulski and
               Marcin Piatkowski and
               Maciej Koutny and
               Evgeny Erofeev},
  title     = {Reversing Transitions in Bounded Petri Nets},
  booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
               and Programming, Rostock, Germany, September 28-30, 2016.},
  pages     = {74--85},
  year      = {2016},
  crossref  = {DBLP:conf/csp/2016},
  url       = {http://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_08\_Barylska\&\#38;Mikulski\&\#38;Piatkowski\&\#38;Koutny\&\#38;Erofeev\_Reversing-Transitions-in-Bounded-Petri-Nets.pdf},
  timestamp = {Mon, 10 Oct 2016 15:20:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csp/BarylskaMPKE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/BarylskaKMP16,
  author    = {Kamila Barylska and
               Maciej Koutny and
               Lukasz Mikulski and
               Marcin Piatkowski},
  title     = {Reversible Computation vs. Reversibility in Petri Nets},
  booktitle = {Reversible Computation - 8th International Conference, {RC} 2016,
               Bologna, Italy, July 7-8, 2016, Proceedings},
  pages     = {105--118},
  year      = {2016},
  crossref  = {DBLP:conf/rc/2016},
  url       = {https://doi.org/10.1007/978-3-319-40578-0\_7},
  doi       = {10.1007/978-3-319-40578-0\_7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rc/BarylskaKMP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/ErofeevBMP16,
  author    = {Evgeny Erofeev and
               Kamila Barylska and
               Lukasz Mikulski and
               Marcin Piatkowski},
  title     = {Generating All Minimal Petri Net Unsolvable Binary Words},
  booktitle = {Proceedings of the Prague Stringology Conference 2016, Prague, Czech
               Republic, August 29-31, 2016},
  pages     = {33--46},
  year      = {2016},
  crossref  = {DBLP:conf/stringology/2016},
  url       = {http://www.stringology.org/event/2016/p04.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/ErofeevBMP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FernandesKMPSY15,
  author    = {Johnson Fernandes and
               Maciej Koutny and
               Lukasz Mikulski and
               Marta Pietkiewicz{-}Koutny and
               Danil Sokolov and
               Alex Yakovlev},
  title     = {Persistent and Nonviolent Steps and the Design of {GALS} Systems},
  journal   = {Fundam. Inform.},
  volume    = {137},
  number    = {1},
  pages     = {143--170},
  year      = {2015},
  url       = {https://doi.org/10.3233/FI-2015-1173},
  doi       = {10.3233/FI-2015-1173},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/FernandesKMPSY15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JanickiKKM15,
  author    = {Ryszard Janicki and
               Jetty Kleijn and
               Maciej Koutny and
               Lukasz Mikulski},
  title     = {Characterising Concurrent Histories},
  journal   = {Fundam. Inform.},
  volume    = {139},
  number    = {1},
  pages     = {21--42},
  year      = {2015},
  url       = {https://doi.org/10.3233/FI-2015-1224},
  doi       = {10.3233/FI-2015-1224},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/JanickiKKM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarylskaBEMP15,
  author    = {Kamila Barylska and
               Eike Best and
               Evgeny Erofeev and
               Lukasz Mikulski and
               Marcin Piatkowski},
  title     = {On Binary Words Being Petri Net Solvable},
  booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
               for the Analysis of Event Data, {ATAED} 2015, Satellite event of the
               conferences: 36th International Conference on Application and Theory
               of Petri Nets and Concurrency Petri Nets 2015 and 15th International
               Conference on Application of Concurrency to System Design {ACSD} 2015,
               Brussels, Belgium, June 22-23, 2015.},
  pages     = {1--15},
  year      = {2015},
  crossref  = {DBLP:conf/apn/2015ataed},
  url       = {http://ceur-ws.org/Vol-1371/paper01.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/BarylskaBEMP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/BarylskaM15,
  author    = {Kamila Barylska and
               Lukasz Mikulski},
  title     = {On Decidability of Persistence Notions},
  booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
               and Programming, Rzeszow, Poland, September 28-30, 2015.},
  pages     = {44--56},
  year      = {2015},
  crossref  = {DBLP:conf/csp/2015},
  url       = {http://ceur-ws.org/Vol-1492/Paper\_05.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csp/BarylskaM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/MikulskiPR15,
  author    = {Lukasz Mikulski and
               Marcin Piatkowski and
               Wojciech Rytter},
  title     = {Square-Free Words over Partially Commutative Alphabets},
  booktitle = {Language and Automata Theory and Applications - 9th International
               Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  pages     = {424--435},
  year      = {2015},
  crossref  = {DBLP:conf/lata/2015},
  url       = {https://doi.org/10.1007/978-3-319-15579-1\_33},
  doi       = {10.1007/978-3-319-15579-1\_33},
  timestamp = {Wed, 24 May 2017 08:29:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lata/MikulskiPR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/JanickiKKM15,
  author    = {Ryszard Janicki and
               Jetty Kleijn and
               Maciej Koutny and
               Lukasz Mikulski},
  title     = {Order Structures for Subclasses of Generalised Traces},
  booktitle = {Language and Automata Theory and Applications - 9th International
               Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  pages     = {689--700},
  year      = {2015},
  crossref  = {DBLP:conf/lata/2015},
  url       = {https://doi.org/10.1007/978-3-319-15579-1\_54},
  doi       = {10.1007/978-3-319-15579-1\_54},
  timestamp = {Wed, 24 May 2017 08:29:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lata/JanickiKKM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MikulskiK14,
  author    = {Lukasz Mikulski and
               Maciej Koutny},
  title     = {Folded Hasse diagrams of combined traces},
  journal   = {Inf. Process. Lett.},
  volume    = {114},
  number    = {4},
  pages     = {208--216},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.ipl.2013.11.009},
  doi       = {10.1016/j.ipl.2013.11.009},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/MikulskiK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MikulskiNPS14,
  author    = {Lukasz Mikulski and
               Artur Niewiadomski and
               Marcin Piatkowski and
               Sebastian Smyczynski},
  title     = {Generating CA-Plans from Multisets of Services},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering, co-located with 35th International Conference on Application
               and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
               International Conference on Application of Concurrency to System Design
               {(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014.},
  pages     = {347--348},
  year      = {2014},
  crossref  = {DBLP:conf/apn/2014pnse},
  url       = {http://ceur-ws.org/Vol-1160/paper25.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/MikulskiNPS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MikulskiNPS14,
  author    = {Lukasz Mikulski and
               Artur Niewiadomski and
               Marcin Piatkowski and
               Sebastian Smyczynski},
  title     = {On Generation of Context-Abstract Plans},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
               HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
               1-2, 2014, Revised Selected Papers},
  pages     = {376--388},
  year      = {2014},
  crossref  = {DBLP:conf/sefm/2014w},
  url       = {https://doi.org/10.1007/978-3-319-15201-1\_25},
  doi       = {10.1007/978-3-319-15201-1\_25},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/MikulskiNPS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Mikulski13,
  author    = {Lukasz Mikulski},
  title     = {Algebraic Structure of Combined Traces},
  journal   = {Logical Methods in Computer Science},
  volume    = {9},
  number    = {3},
  year      = {2013},
  url       = {https://doi.org/10.2168/LMCS-9(3:8)2013},
  doi       = {10.2168/LMCS-9(3:8)2013},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Mikulski13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MikulskiPS13,
  author    = {Lukasz Mikulski and
               Marcin Piatkowski and
               Sebastian Smyczynski},
  title     = {Algorithmics of Posets Generated by Words Over Partially Commutative
               Alphabets (Extended)},
  journal   = {Sci. Ann. Comp. Sci.},
  volume    = {23},
  number    = {2},
  pages     = {229--249},
  year      = {2013},
  url       = {https://doi.org/10.7561/SACS.2013.2.229},
  doi       = {10.7561/SACS.2013.2.229},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cuza/MikulskiPS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BarylskaMO13,
  author    = {Kamila Barylska and
               Lukasz Mikulski and
               Edward Ochmanski},
  title     = {On persistent reachability in Petri nets},
  journal   = {Inf. Comput.},
  volume    = {223},
  pages     = {67--77},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.ic.2012.11.004},
  doi       = {10.1016/j.ic.2012.11.004},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/BarylskaMO13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MikulskiPS13,
  author    = {Lukasz Mikulski and
               Marcin Piatkowski and
               Sebastian Smyczynski},
  title     = {Lexicographical Generations of Combined Traces},
  booktitle = {13th International Conference on Application of Concurrency to System
               Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
  pages     = {196--205},
  year      = {2013},
  crossref  = {DBLP:conf/acsd/2013},
  url       = {https://doi.org/10.1109/ACSD.2013.24},
  doi       = {10.1109/ACSD.2013.24},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/MikulskiPS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KoutnyMP13,
  author    = {Maciej Koutny and
               Lukasz Mikulski and
               Marta Pietkiewicz{-}Koutny},
  title     = {A Taxonomy of Persistent and Nonviolent Steps},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
               Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
  pages     = {210--229},
  year      = {2013},
  crossref  = {DBLP:conf/apn/2013},
  url       = {https://doi.org/10.1007/978-3-642-38697-8\_12},
  doi       = {10.1007/978-3-642-38697-8\_12},
  timestamp = {Thu, 01 Jun 2017 18:57:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/KoutnyMP13},
  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},
  title     = {Causal Structures for General Concurrent Behaviours},
  booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
               and Programming, Warsaw, Poland},
  pages     = {193--205},
  year      = {2013},
  crossref  = {DBLP:conf/csp/2013},
  url       = {http://ceur-ws.org/Vol-1032/paper-17.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csp/JanickiKKM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MikulskiK12,
  author    = {Lukasz Mikulski and
               Maciej Koutny},
  title     = {Hasse Diagrams of Combined Traces},
  booktitle = {12th International Conference on Application of Concurrency to System
               Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
  pages     = {92--101},
  year      = {2012},
  crossref  = {DBLP:conf/acsd/2012},
  url       = {https://doi.org/10.1109/ACSD.2012.9},
  doi       = {10.1109/ACSD.2012.9},
  timestamp = {Thu, 14 Mar 2019 18:02:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/MikulskiK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Mikulski12,
  author    = {Lukasz Mikulski},
  title     = {Algebraic Structure of Combined Traces},
  booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
               {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  pages     = {456--470},
  year      = {2012},
  crossref  = {DBLP:conf/concur/2012},
  url       = {https://doi.org/10.1007/978-3-642-32940-1\_32},
  doi       = {10.1007/978-3-642-32940-1\_32},
  timestamp = {Tue, 23 May 2017 01:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/Mikulski12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/MikulskiPS11,
  author    = {Lukasz Mikulski and
               Marcin Piatkowski and
               Sebastian Smyczynski},
  title     = {Algorithmics of Posets Generated by Words over Partially Commutative
               Alphabets},
  booktitle = {Proceedings of the Prague Stringology Conference 2011, Prague, Czech
               Republic, August 29-31, 2011},
  pages     = {209--219},
  year      = {2011},
  crossref  = {DBLP:conf/stringology/2011},
  url       = {http://www.stringology.org/event/2011/p18.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/MikulskiPS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BarylskaMO10,
  author    = {Kamila Barylska and
               Lukasz Mikulski and
               Edward Ochmanski},
  title     = {On Persistent Reachability in Petri Nets},
  booktitle = {Proceedings of the Workshops of the 31st International Conference
               on Application and Theory of Petri Nets and Other Models of Concurrency
               {(PETRI} {NETS} 2010) and of the 10th International Conference on
               Application of Concurrency to System Design {(ACSD} 2010), Braga,
               Portugal, June, 2010},
  pages     = {373--384},
  year      = {2010},
  crossref  = {DBLP:conf/acsd/2010w},
  url       = {http://ceur-ws.org/Vol-827/29\_KamilaBarylska\_article.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/BarylskaMO10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/umcs/Mikulski09,
  author    = {Lukasz Mikulski},
  title     = {Transposition Rearrangement: Linear Algorithm for Length-Cost Model},
  journal   = {Annales UMCS, Informatica},
  volume    = {9},
  number    = {1},
  pages     = {7--13},
  year      = {2009},
  url       = {https://doi.org/10.2478/v10065-009-0001-4},
  doi       = {10.2478/v10065-009-0001-4},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/umcs/Mikulski09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/umcs/KluszczynskiMNB09,
  author    = {Rafal Kluszczynski and
               Lukasz Mikulski and
               Marek Nowicki and
               Piotr Bala},
  title     = {Contests Hosting Service as a tool to teach programming},
  journal   = {Annales UMCS, Informatica},
  volume    = {9},
  number    = {1},
  pages     = {213--224},
  year      = {2009},
  url       = {https://doi.org/10.2478/v10065-009-0017-9},
  doi       = {10.2478/v10065-009-0017-9},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/umcs/KluszczynskiMNB09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmmi/Mikulski09,
  author    = {Lukasz Mikulski},
  title     = {Internal Conflict-Free Projection Sets},
  booktitle = {Man-Machine Interactions, Proceedings of the first International Conference
               on Man-Machine Interactions, {ICMMI} 2009, The Beskids, Poland, September
               25-27, 2009},
  pages     = {497--504},
  year      = {2009},
  crossref  = {DBLP:conf/icmmi/2009},
  url       = {https://doi.org/10.1007/978-3-642-00563-3\_52},
  doi       = {10.1007/978-3-642-00563-3\_52},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icmmi/Mikulski09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Mikulski08,
  author    = {Lukasz Mikulski},
  title     = {Projection Representation of Mazurkiewicz Traces},
  journal   = {Fundam. Inform.},
  volume    = {85},
  number    = {1-4},
  pages     = {399--408},
  year      = {2008},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-27},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/Mikulski08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/MederskiMB07,
  author    = {Jaroslaw Mederski and
               Lukasz Mikulski and
               Piotr Bala},
  title     = {Asynchronous Parallel Molecular Dynamics Simulations},
  booktitle = {Parallel Processing and Applied Mathematics, 7th International Conference,
               {PPAM} 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected
               Papers},
  pages     = {439--446},
  year      = {2007},
  crossref  = {DBLP:conf/ppam/2007},
  url       = {https://doi.org/10.1007/978-3-540-68111-3\_46},
  doi       = {10.1007/978-3-540-68111-3\_46},
  timestamp = {Mon, 21 Aug 2017 16:43:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppam/MederskiMB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2018-13,
  editor    = {Maciej Koutny and
               Lars Michael Kristensen and
               Wojciech Penczek},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XIII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11090},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-662-58381-4},
  doi       = {10.1007/978-3-662-58381-4},
  isbn      = {978-3-662-58380-7},
  timestamp = {Fri, 23 Nov 2018 13:41:24 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2018-13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2018ataed,
  editor    = {Wil M. P. van der Aalst and
               Robin Bergenthum and
               Josep Carmona},
  title     = {Proceedings of the International Workshop on Algorithms {\&} Theories
               for the Analysis of Event Data 2018 Satellite event of the conferences:
               39th International Conference on Application and Theory of Petri Nets
               and Concurrency Petri Nets 2018 and 18th International Conference
               on Application of Concurrency to System Design {ACSD} 2018, Bratislava,
               Slovakia, June 25, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2115},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2115},
  urn       = {urn:nbn:de:0074-2115-7},
  timestamp = {Mon, 18 Jun 2018 16:19:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2018ataed},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2018,
  editor    = {Victor Khomenko and
               Olivier H. Roux},
  title     = {Application and Theory of Petri Nets and Concurrency - 39th International
               Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
               2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10877},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-91268-4},
  doi       = {10.1007/978-3-319-91268-4},
  isbn      = {978-3-319-91267-7},
  timestamp = {Tue, 29 May 2018 12:36:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018hromkovic,
  editor    = {Hans{-}Joachim B{\"{o}}ckenhauer and
               Dennis Komm and
               Walter Unger},
  title     = {Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated
               to Juraj Hromkovi{\v{c}} on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11011},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-98355-4},
  doi       = {10.1007/978-3-319-98355-4},
  isbn      = {978-3-319-98354-7},
  timestamp = {Wed, 05 Sep 2018 17:30:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2018hromkovic},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2017,
  title     = {17th International Conference on Application of Concurrency to System
               Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8100276},
  isbn      = {978-1-5386-2867-6},
  timestamp = {Thu, 11 Jan 2018 09:09:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2017ataed,
  editor    = {Wil M. P. van der Aalst and
               Robin Bergenthum and
               Josep Carmona},
  title     = {Proceedings of the International Workshop on Algorithms {\&} Theories
               for the Analysis of Event Data 2017 Satellite event of the conferences:
               38th International Conference on Application and Theory of Petri Nets
               and Concurrency Petri Nets 2017 and 17th International Conference
               on Application of Concurrency to System Design {ACSD} 2017, Zaragoza,
               Spain, June 26-27, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1847},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1847},
  urn       = {urn:nbn:de:0074-1847-5},
  timestamp = {Wed, 25 Oct 2017 18:38:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2017ataed},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2017pnse,
  editor    = {Daniel Moldt and
               Lawrence Cabac and
               Heiko R{\"{o}}lke},
  title     = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering (PNSE'17), co-located with the38th International Conference
               on Application and Theory of Petri Nets and Concurrency Petri Nets
               2017 and the 17th International Conference on Application of Concurrency
               to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1846},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1846},
  urn       = {urn:nbn:de:0074-1846-1},
  timestamp = {Wed, 02 May 2018 16:07:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2017pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2016-11,
  editor    = {Maciej Koutny and
               J{\"{o}}rg Desel and
               Jetty Kleijn},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9930},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53401-4},
  doi       = {10.1007/978-3-662-53401-4},
  isbn      = {978-3-662-53400-7},
  timestamp = {Thu, 18 May 2017 09:51:21 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2016-11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2016,
  editor    = {Bernd{-}Holger Schlingloff},
  title     = {Proceedings of the 25th International Workshop on Concurrency, Specification
               and Programming, Rostock, Germany, September 28-30, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1698},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1698},
  urn       = {urn:nbn:de:0074-1698-4},
  timestamp = {Mon, 10 Oct 2016 15:20:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rc/2016,
  editor    = {Simon J. Devitt and
               Ivan Lanese},
  title     = {Reversible Computation - 8th International Conference, {RC} 2016,
               Bologna, Italy, July 7-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9720},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-40578-0},
  doi       = {10.1007/978-3-319-40578-0},
  isbn      = {978-3-319-40577-3},
  timestamp = {Fri, 19 May 2017 01:26:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2016,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2016, Prague, Czech
               Republic, August 29-31, 2016},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2016},
  url       = {http://www.stringology.org/event/2016/},
  isbn      = {978-80-01-05996-8},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2015ataed,
  editor    = {Wil M. P. van der Aalst and
               Robin Bergenthum and
               Josep Carmona},
  title     = {Proceedings of the International Workshop on Algorithms {\&} Theories
               for the Analysis of Event Data, {ATAED} 2015, Satellite event of the
               conferences: 36th International Conference on Application and Theory
               of Petri Nets and Concurrency Petri Nets 2015 and 15th International
               Conference on Application of Concurrency to System Design {ACSD} 2015,
               Brussels, Belgium, June 22-23, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1371},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1371},
  urn       = {urn:nbn:de:0074-1371-7},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2015ataed},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2015,
  editor    = {Zbigniew Suraj and
               Ludwik Czaja},
  title     = {Proceedings of the 24th International Workshop on Concurrency, Specification
               and Programming, Rzeszow, Poland, September 28-30, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1492},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1492},
  urn       = {urn:nbn:de:0074-1492-5},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lata/2015,
  editor    = {Adrian{-}Horia Dediu and
               Enrico Formenti and
               Carlos Mart{\'{\i}}n{-}Vide and
               Bianca Truthe},
  title     = {Language and Automata Theory and Applications - 9th International
               Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8977},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15579-1},
  doi       = {10.1007/978-3-319-15579-1},
  isbn      = {978-3-319-15578-4},
  timestamp = {Wed, 24 May 2017 08:29:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lata/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014pnse,
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke},
  title     = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering, co-located with 35th International Conference on Application
               and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
               International Conference on Application of Concurrency to System Design
               {(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1160},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1160},
  urn       = {urn:nbn:de:0074-1160-3},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2014pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2014w,
  editor    = {Carlos Canal and
               Akram Idani},
  title     = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
               HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
               1-2, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15201-1},
  doi       = {10.1007/978-3-319-15201-1},
  isbn      = {978-3-319-15200-4},
  timestamp = {Mon, 05 Jun 2017 12:40:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2014w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2013,
  editor    = {Josep Carmona and
               Mihai T. Lazarescu and
               Marta Pietkiewicz{-}Koutny},
  title     = {13th International Conference on Application of Concurrency to System
               Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6597648},
  isbn      = {978-0-7695-5035-0},
  timestamp = {Fri, 08 May 2015 15:30:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2013,
  editor    = {Jos{\'{e}} Manuel Colom and
               J{\"{o}}rg Desel},
  title     = {Application and Theory of Petri Nets and Concurrency - 34th International
               Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7927},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38697-8},
  doi       = {10.1007/978-3-642-38697-8},
  isbn      = {978-3-642-38696-1},
  timestamp = {Thu, 01 Jun 2017 18:57:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2013},
  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       = {http://ceur-ws.org/Vol-1032},
  urn       = {urn:nbn:de:0074-1032-7},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2012,
  editor    = {Jens Brandt and
               Keijo Heljanko},
  title     = {12th International Conference on Application of Concurrency to System
               Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6253058},
  isbn      = {978-0-7695-4709-1},
  timestamp = {Thu, 14 Mar 2019 18:02:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2012,
  editor    = {Maciej Koutny and
               Irek Ulidowski},
  title     = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
               {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7454},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32940-1},
  doi       = {10.1007/978-3-642-32940-1},
  isbn      = {978-3-642-32939-5},
  timestamp = {Tue, 23 May 2017 01:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2011,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2011, Prague, Czech
               Republic, August 29-31, 2011},
  publisher = {Prague Stringology Club, Department of Theoretical Computer Science,
               Faculty of Information Technology, Czech Technical University in Prague},
  year      = {2011},
  url       = {http://www.stringology.org/event/2011/},
  isbn      = {978-80-01-04870-2},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2010w,
  editor    = {Susanna Donatelli and
               Jetty Kleijn and
               Ricardo Jorge Machado and
               Jo{\~{a}}o M. Fernandes},
  title     = {Proceedings of the Workshops of the 31st International Conference
               on Application and Theory of Petri Nets and Other Models of Concurrency
               {(PETRI} {NETS} 2010) and of the 10th International Conference on
               Application of Concurrency to System Design {(ACSD} 2010), Braga,
               Portugal, June, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {827},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-827},
  urn       = {urn:nbn:de:0074-827-8},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2010w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmmi/2009,
  editor    = {Krzysztof A. Cyran and
               Stanislaw Kozielski and
               James F. Peters and
               Urszula Stanczyk and
               Alicja Wakulicz{-}Deja},
  title     = {Man-Machine Interactions, Proceedings of the first International Conference
               on Man-Machine Interactions, {ICMMI} 2009, The Beskids, Poland, September
               25-27, 2009},
  series    = {Advances in Intelligent and Soft Computing},
  volume    = {59},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00563-3},
  doi       = {10.1007/978-3-642-00563-3},
  isbn      = {978-3-642-00562-6},
  timestamp = {Fri, 26 May 2017 00:48:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icmmi/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppam/2007,
  editor    = {Roman Wyrzykowski and
               Jack J. Dongarra and
               Konrad Karczewski and
               Jerzy Wasniewski},
  title     = {Parallel Processing and Applied Mathematics, 7th International Conference,
               {PPAM} 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4967},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68111-3},
  doi       = {10.1007/978-3-540-68111-3},
  isbn      = {978-3-540-68105-2},
  timestamp = {Mon, 21 Aug 2017 16:43:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppam/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier