المؤلفون: Koutny, Maciej, Mikulski, Lukasz

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, D.3.1

URL الوصول: http://arxiv.org/abs/2407.13406

المؤلفون: Męski, Artur^{Aff1, Aff2, IDs1104702409989y_cor1}, Koutny, Maciej, Mikulski, Łukasz^{Aff1, Aff4}, Penczek, Wojciech

المصدر: Natural Computing: An International Journal. 23(2):323-343

المؤلفون: Alahmadi, Mohammed, Koutny, Maciej

المصدر: 2023 International Conference on Smart Computing and Application (ICSCA) Smart Computing and Application (ICSCA), 2023 International Conference on. :1-8 Feb, 2023

Relation: 2023 International Conference on Smart Computing and Application (ICSCA)

المؤلفون: Bhattacharyya, Anirban^Aff10, Koutny, Maciej^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Koutny, Maciej, editor^Aff7, Bergenthum, Robin, editor^Aff8, Ciardo, Gianfranco, editor^Aff9

المصدر: Transactions on Petri Nets and Other Models of Concurrency XVII. 14150:212-245

المؤلفون: Janicki, Ryszard^Aff26, Kleijn, Jetty^Aff27, Koutny, Maciej^Aff28, Mikulski, Łukasz^Aff29

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Kristensen, Lars Michael, editor^Aff24, van der Werf, Jan Martijn, editor^Aff25

المصدر: Application and Theory of Petri Nets and Concurrency : 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings. 14628:153-174

المؤلفون: Escrig, David de Frutos, Koutny, Maciej, Mikulski, Łukasz

المصدر: Fundamenta Informaticae, Volume 183, Issues 1-2: Petri Nets 2019 (December 23, 2021) fi:8621

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Software Engineering, 68N30 (Primary) 68Q85 (Secondary), D.2.2

URL الوصول: http://arxiv.org/abs/2110.10535

المؤلفون: Janicki, Ryszard^Aff9, Koutny, Maciej^Aff10, Mikulski, Łukasz^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Gomes, Luis, editor^Aff7, Lorenz, Robert, editor^Aff8

المصدر: Application and Theory of Petri Nets and Concurrency : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings. 13929:145-166

المؤلفون: Li, Bowen, Randell, Brian, Bhattacharyya, Anirban, Alharbi, Talal, Koutny, Maciej

المصدر: 2018 18th International Conference on Application of Concurrency to System Design (ACSD) ACSD Application of Concurrency to System Design (ACSD), 2018 18th International Conference on. :70-74 Jun, 2018

Relation: 2018 18th International Conference on Application of Concurrency to System Design (ACSD)

المؤلفون: Janicki, Ryszard^Aff6, Kleijn, Jetty^Aff7, Koutny, Maciej^Aff8, Mikulski, Łukasz^Aff9

المساهمون: Kacprzyk, Janusz, Series Editor^Aff1, Janicki, Ryszard^Aff2, Kleijn, Jetty^Aff3, Koutny, Maciej^Aff4, Mikulski, Łukasz^Aff5

المصدر: Paradigms of Concurrency : Observations, Behaviours, and Systems — a Petri Net View. 1020:147-209

المؤلفون: Janicki, Ryszard^Aff6, Kleijn, Jetty^Aff7, Koutny, Maciej^Aff8, Mikulski, Łukasz^Aff9

المساهمون: Kacprzyk, Janusz, Series Editor^Aff1, Janicki, Ryszard^Aff2, Kleijn, Jetty^Aff3, Koutny, Maciej^Aff4, Mikulski, Łukasz^Aff5

المصدر: Paradigms of Concurrency : Observations, Behaviours, and Systems — a Petri Net View. 1020:211-241