Marta Pietkiewicz-Koutny

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 12

Top Topics

Integer Arithmetic

Mechanical Systems

Top Venues

Theor. Comput. Sci.

Trans. Petri Nets Other Model. Concurr.

ACM Trans. Embed. Comput. Syst.

Publications

Marta Pietkiewicz-Koutny, Maciej Koutny
Synthesising Elementary Net Systems with Interval Order Semantics. ATAED/PN4TT@Petri Nets (2023)
Aishah Ahmed, Marta Pietkiewicz-Koutny
Strategies for Minimising the Synthesised ENL-Systems. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Aishah Ahmed, Marta Pietkiewicz-Koutny
Minimising the Synthesised ENL-Systems. ATAED@Petri Nets (2022)
Aishah Ahmed, Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesising elementary net systems with localities. Theor. Comput. Sci. 908 (2022)
Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev
Asynchrony and persistence in reaction systems. Theor. Comput. Sci. 881 (2021)
Aishah Ahmed, Marta Pietkiewicz-Koutny
Algorithms for the Synthesis of Elementary Net Systems with Localities. PNSE@Petri Nets (2020)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities. Sci. Ann. Comput. Sci. 27 (2) (2017)
Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
An extension of the taxonomy of persistent and nonviolent steps. Inf. Sci. 394 (2017)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Applying regions. Theor. Comput. Sci. 658 (2017)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Signal set tissue systems and overlapping localities. Theor. Comput. Sci. 701 (2017)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis of Petri Nets with Whole-Place Operations and Localities. ICTAC (2016)
Johnson Fernandes, Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
Persistent and Nonviolent Steps and the Design of GALS Systems. Fundam. Informaticae 137 (1) (2015)
Josep Carmona, Mihai Teodor Lazarescu, Marta Pietkiewicz-Koutny
Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13). ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Tissue Systems and Petri Net Synthesis. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Step semantics of boolean nets. Acta Informatica 50 (1) (2013)
Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
Step Persistence in the Design of GALS Systems. Petri Nets (2013)
Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
A Taxonomy of Persistent and Nonviolent Steps. Petri Nets (2013)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Regions of Petri nets with a/sync connections. Theor. Comput. Sci. 454 (2012)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis Problem for Petri Nets with Localities. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Membrane Systems and Petri Net Synthesis MeCBIC (2012)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Classifying Boolean Nets for Region-based Synthesis. ART @ Petri Nets (2011)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis of General Petri Nets with Localities. ACSD/Petri Nets Workshops (2010)
Maciej Koutny, Marta Pietkiewicz-Koutny
Minimal Regions of ENL-Transition Systems. Fundam. Informaticae 101 (1-2) (2010)
Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev
Synthesis of Nets with Step Firing Policies. Fundam. Informaticae 94 (3-4) (2009)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis of Petri Nets with Localities. Sci. Ann. Comput. Sci. 19 (2009)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities. Fundam. Informaticae 88 (3) (2008)
Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev
Synthesis of Nets with Step Firing Policies. Petri Nets (2008)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities. ICATPN (2007)
Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny
Towards an Algebra of Abstractions for Communicating Processes. ACSD (2006)
Maciej Koutny, Marta Pietkiewicz-Koutny
Transition Systems of Elementary Net Systems with Localities. CONCUR (2006)
Marta Pietkiewicz-Koutny
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems. Fundam. Informaticae 50 (2) (2002)
Marta Pietkiewicz-Koutny
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems. ACSD (2001)
Marta Pietkiewicz-Koutny
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs. Fundam. Informaticae 40 (2-3) (1999)
Marta Pietkiewicz-Koutny
Synthesis of ENI-systems Using Minimal Regions. CONCUR (1998)
Marta Pietkiewicz-Koutny
Transition Systems of Elementary Net Systems with Inhibitor Arcs. ICATPN (1997)
Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny
On the Models for Asynchronous Circuit Behaviour with OR Causality. Formal Methods Syst. Des. 9 (3) (1996)