Marta Pietkiewicz-Koutny

According to our database1, Marta Pietkiewicz-Koutny
  • authored at least 28 papers between 1996 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Applying regions.
Theor. Comput. Sci., 2017

An extension of the taxonomy of persistent and nonviolent steps.
Inf. Sci., 2017

2016
Synthesis of Petri Nets with Whole-Place Operations and Localities.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015
Persistent and Nonviolent Steps and the Design of GALS Systems.
Fundam. Inform., 2015

2014
Tissue Systems and Petri Net Synthesis.
Trans. Petri Nets and Other Models of Concurrency, 2014

Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13).
ACM Trans. Embedded Comput. Syst., 2014

2013
Step semantics of boolean nets.
Acta Inf., 2013

A Taxonomy of Persistent and Nonviolent Steps.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Step Persistence in the Design of GALS Systems.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
Synthesis Problem for Petri Nets with Localities.
Trans. Petri Nets and Other Models of Concurrency, 2012

Regions of Petri nets with a/sync connections.
Theor. Comput. Sci., 2012

Membrane Systems and Petri Net Synthesis
Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

2011
Classifying Boolean Nets for Region-based Synthesis.
Proceedings of the Workshop Applications of Region Theory 2011, 2011

2010
Minimal Regions of ENL-Transition Systems.
Fundam. Inform., 2010

Synthesis of General Petri Nets with Localities.
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), 2010

2009
Synthesis of Nets with Step Firing Policies.
Fundam. Inform., 2009

Synthesis of Petri Nets with Localities.
Sci. Ann. Comp. Sci., 2009

2008
Synthesis of Elementary Net Systems with Context Arcs and Localities.
Fundam. Inform., 2008

Synthesis of Nets with Step Firing Policies.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007
Synthesis of Elementary Net Systems with Context Arcs and Localities.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Transition Systems of Elementary Net Systems with Localities.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Towards an Algebra of Abstractions for Communicating Processes.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2002
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems.
Fundam. Inform., 2002

2001
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

1999
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs.
Fundam. Inform., 1999

1998
Synthesis of ENI-systems Using Minimal Regions.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Transition Systems of Elementary Net Systems with Inhibitor Arcs.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996
On the Models for Asynchronous Circuit Behaviour with OR Causality.
Formal Methods in System Design, 1996


  Loading...