Maciej Koutny

Newcastle University

H-index: 36

Europe-United Kingdom

About Maciej Koutny

Maciej Koutny, With an exceptional h-index of 36 and a recent h-index of 16 (since 2020), a distinguished researcher at Newcastle University, specializes in the field of Computing Science, Petri Nets, Concurrency, Formal Methods.

His recent articles reflect a diverse array of research interests and contributions to the field:

Structured Acyclic Nets

Relational Structures for Interval Order Semantics of Concurrent Systems

Transactions on Petri Nets and Other Models of Concurrency XVII

Synthesising Elementary Net Systems with Interval Order Semantics

Interval Traces with Mutex Relation

Improving placement of CSA-nets

Confusion-tolerant computation of probability in acyclic nets

Slimming down Petri boxes: Compact Petri net models of control flows

Maciej Koutny Information

University	Newcastle University
Position	___
Citations(all)	5326
Citations(since 2020)	1196
Cited By	4584
hIndex(all)	36
hIndex(since 2020)	16
i10Index(all)	122
i10Index(since 2020)	28
Email	Access Email
University Profile Page	Newcastle University
Google Scholar	View Google Scholar Profile

Maciej Koutny Skills & Research Interests

Computing Science

Petri Nets

Concurrency

Formal Methods

Top articles of Maciej Koutny

Title	Journal	Author(s)	Publication Date
Structured Acyclic Nets	arXiv preprint arXiv:2401.07308	Mohammed Alahmadi Salma Alharbi Talal Alharbi Nadiyah Almutairi Tuwailaa Alshammari ...	2024/1/14
Relational Structures for Interval Order Semantics of Concurrent Systems	The 45th International Conference on Theory and Application of Petri Nets and Concurrency	R Janicki J Kleijn M Koutny L Mikulski	2024
Transactions on Petri Nets and Other Models of Concurrency XVII		Susanna Donatelli Kurt Jensen	2010
Synthesising Elementary Net Systems with Interval Order Semantics	Algorithms	Maciej Koutny Marta Pietkiewicz-Koutny	2023/6/26
Interval Traces with Mutex Relation		Ryszard Janicki Maciej Koutny Łukasz Mikulski	2023/5/28
Improving placement of CSA-nets		Mohammed Alahmadi Maciej Koutny	2023/2/5
Confusion-tolerant computation of probability in acyclic nets		Anirban Bhattacharyya Maciej Koutny	2023/11/1
Slimming down Petri boxes: Compact Petri net models of control flows		Victor Khomenko Maciej Koutny Alex Yakovlev	2022
Elementary Net Systems		Guanjun Liu	2022/11/4
Step Traces		Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski	2022/6/7
Concurrency Paradigms		Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski	2022/6/7
Semantical Domains		Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski	2022/6/7
Investigating Reversibility of Steps in Petri Nets	Fundamenta Informaticae	M Koutny L Mikulski	2022
General Structures		Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski	2022/6/7
Elementary Net Systems with Activator and Mutex Arcs		Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski	2022/6/7
Subclasses of Step Traces		Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski	2022/6/7
Paradigms of Concurrency: Observations, Behaviours, and Systems—a Petri Net View		Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski	2022/6/6
Synthesising elementary net systems with localities	Theoretical Computer Science	Aishah Ahmed Maciej Koutny Marta Pietkiewicz-Koutny	2022/3/24
Concurrency Traces		Ryszard Janicki Jetty Kleijn Maciej Koutny Łukasz Mikulski	2022/6/7
Avoiding exponential explosion in Petri net models of control flows		Victor Khomenko Maciej Koutny Alex Yakovlev	2022/6/13