Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Maciej
Last name:	Koutny
DBLP:	k/MaciejKoutny
Rating:	(4)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 135  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Gabriel Ciobanu, Maciej Koutny. Timed Migration and Interaction with Access Permissions.	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(1)	2011
	Conference paper Gabriel Ciobanu, Maciej Koutny. Timed Mobility in process algebra and Petri nets.	J. Log. Algebr. Program. 2011, Volume 80	(1)	2011
	Journal article Gabriel Ciobanu, Maciej Koutny. Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010	CoRR 2010, Volume 0	(1)	2010
	Conference paper Gabriel Ciobanu, Maciej Koutny. Modelling and Verification of Timed Interaction and Migration.	Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings 2008	(1)	2008
	Conference paper Zhenhua Duan, Hanna Klaudel, Maciej Koutny. ITL semantics of composite Petri nets.	J. Log. Algebr. Program. 2013, Volume 82	(0)	2013
	Journal article Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg. Step semantics of boolean nets.	Acta Inf. 2013, Volume 50	(0)	2013
	Journal article Jetty Kleijn, Maciej Koutny. Mutex Causality in Processes and Traces of General Elementary Nets.	Fundam. Inform. 2013, Volume 122	(0)	2013
	Journal article Maciej Koutny, Marta Pietkiewicz-Koutny. Synthesis Problem for Petri Nets with Localities.	Transactions on Petri Nets and Other Models of Concurrency V 2012, Volume 6900	(0)	2012
	Conference paper Jetty Kleijn, Maciej Koutny. Step coverability algorithms for communicating systems.	Sci. Comput. Program. 2012, Volume 77	(0)	2012
	Conference paper Bogdan Aman, Gabriel Ciobanu, Maciej Koutny. Behavioural Equivalences over Migrating Processes with Timers.	Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings 2012	(0)	2012
	Conference paper Lukasz Mikulski, Maciej Koutny. Hasse Diagrams of Combined Traces.	12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012 2012	(0)	2012
	Conference paper Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles. A Timed Mobility Semantics Based on Rewriting Strategies.	Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings 2012	(0)	2012
	Conference paper Paolo Missier, Brian Randell, Maciej Koutny. Modelling Provenance Using Structured Occurrence Networks.	Provenance and Annotation of Data and Processes - 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers 2012	(0)	2012
	Journal article Gabriel Ciobanu, Maciej Koutny. Modelling and analysis of biological systems: - Based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena).	Theor. Comput. Sci. 2012, Volume 431	(0)	2012
	Journal article Jetty Kleijn, Maciej Koutny. Localities in systems with a/sync communication.	Theor. Comput. Sci. 2012, Volume 429	(0)	2012
	Journal article Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny. Regions of Petri nets with a/sync connections.	Theor. Comput. Sci. 2012, Volume 454	(0)	2012
	Journal article Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg. Minimal Reaction Systems.	Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes 2012, Volume 7625	(0)	2012
	Journal article Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg. Membrane Systems and Petri Net Synthesis	Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi 2012, Volume 100	(0)	2012
	Conference paper Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg. Relevance of Entities in Reaction Systems.	Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday 2012	(0)	2012
	Conference paper Jetty Kleijn, Maciej Koutny. The Mutex Paradigm of Concurrency.	Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings 2011	(0)	2011
	Journal article Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg. Petri Nets and Bio-Modelling - and how to benefit from their synergy	CoRR 2011, Volume 0	(0)	2011
	Journal article Jetty Kleijn, Maciej Koutny. Membrane Systems with Qualitative Evolution Rules.	Fundam. Inform. 2011, Volume 110	(0)	2011
	Conference paper Jetty Kleijn, Maciej Koutny. Causality in Structured Occurrence Nets.	Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday 2011	(0)	2011
	Journal article Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg. Petri Nets for Biologically Motivated Computing.	Sci. Ann. Comp. Sci. 2011, Volume 21	(0)	2011
	Conference paper Jetty Kleijn, Maciej Koutny. Petri Nets with Localities and Testing.	Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings 2010	(0)	2010

Show item 1 to 10 of 135  

Your query returned 135 matches in the database.