Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/apn/ataed2018.bht:"
@inproceedings{DBLP:conf/apn/Aalst18a, author = {Wil M. P. van der Aalst}, editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona}, title = {Relating Process Models and Event Logs - 21 Conformance Propositions}, 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}, series = {{CEUR} Workshop Proceedings}, volume = {2115}, pages = {56--74}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2115/ATAED2018-56-74.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/Aalst18a.bib}, 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}, editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona}, 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}, series = {{CEUR} Workshop Proceedings}, volume = {2115}, pages = {91--111}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2115/ATAED2018-91-111.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/BarylskaGMPPP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/BernardinelloFP18, author = {Luca Bernardinello and Carlo Ferigato and Lucia Pomello and Adri{\'{a}}n {Puerto Aubel}}, editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona}, title = {On the Decomposition of Regional Events in Elementary Systems}, 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}, series = {{CEUR} Workshop Proceedings}, volume = {2115}, pages = {39--55}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2115/ATAED2018-39-55.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/BernardinelloFP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/BernardinelloLN18, author = {Luca Bernardinello and Irina A. Lomazova and Roman Nesterov and Lucia Pomello}, editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona}, title = {Compositional Discovery of Workflow Nets from Event Logs Using Morphisms}, 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}, series = {{CEUR} Workshop Proceedings}, volume = {2115}, pages = {23--38}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2115/ATAED2018-23-38.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/BernardinelloLN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/DevillersEH18, author = {Raymond R. Devillers and Evgeny Erofeev and Thomas Hujsa}, editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona}, title = {Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems}, 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}, series = {{CEUR} Workshop Proceedings}, volume = {2115}, pages = {75--90}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2115/ATAED2018-75-90.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/DevillersEH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/KwantesK18, author = {Pieter M. Kwantes and Jetty Kleijn}, editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona}, title = {On the Synthesis of Industry Level Process Models from Enterprise Level Process Models}, 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}, series = {{CEUR} Workshop Proceedings}, volume = {2115}, pages = {6--22}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2115/ATAED2018-6-22.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/KwantesK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/LukyanovM18, author = {Georgy Lukyanov and Andrey Mokhov}, editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona}, title = {Concurrency Oracles for Free}, 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}, series = {{CEUR} Workshop Proceedings}, volume = {2115}, pages = {112--127}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2115/ATAED2018-112-127.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/LukyanovM18.bib}, 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 = {https://ceur-ws.org/Vol-2115}, urn = {urn:nbn:de:0074-2115-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/2018ataed.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.