MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Maciej Koutny – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

30 documents found, showing 1 through 10. Next 10 →

ATOM

A Model of Behaviour Abstraction for Communicating Processes
by Maciej Koutny, Giuseppe Pappalardo — 1999
…A Model of Behaviour Abstraction for Communicating Processes Maciej Koutny 1 and Giuseppe…
Add To MetaCart

Operational and Denotational Semantics for the Box Algebra
by Maciej Koutny, Eike Best — 1997 — Theoretical Computer Science
…Operational and Denotational Semantics for the Box Algebra Maciej Koutny and Eike Best y…
Cited by 4 (0 self) – Add To MetaCart

A Refined View of the Box Algebra
by Eike Best, Maciej Koutny — 1995 — Proc. Application and Theory of Petri Nets
… A Refined View of the Box Algebra Eike Best # and Maciej Koutny ## Abstract. This paper…
Cited by 4 (3 self) – Add To MetaCart

Solving Recursive Net Equations
by Eike Best, Maciej Koutny — 1995 — Proc. ICALP-95, Springer-Verlag, Lecture Notes in Computer Science Vol.944
…Solving Recursive Net Equations Eike Best # and Maciej Koutny ## Abstract. This paper describes…
Cited by 5 (5 self) – Add To MetaCart

M.: Transition systems of elementary net systems with localities
by M. Koutny, M. Pietkiewicz-koutny, Maciej Koutny, Marta Pietkiewicz-koutny — CONCUR. Volume 4137 of Lecture
… Net Systems with Localities Maciej Koutny, Marta Pietkiewicz-Koutny Abstract In this paper, we…
Cited by 1 (1 self) – Add To MetaCart

Towards An Efficient Algorithm for Unfolding Petri Nets
by Victor Khomenko, Maciej Koutny — 2001 — CONCUR 2001, LECT. NOTES COMP. SCI. 2154
…��Towards An Efficient Algorithm for Unfolding Petri Nets Victor Khomenko and Maciej Koutny…
Cited by 9 (4 self) – Add To MetaCart

Branching processes of high-level petri nets
by Victor Khomenko, Maciej Koutny — 2003
…Branching Processes of High-Level Petri Nets Victor Khomenko and Maciej Koutny School of Computing…
Cited by 9 (0 self) – Add To MetaCart

LP Deadlock Checking Using Partial Order Dependencies
by Victor Khomenko, Maciej Koutny — 2000 — PROC. OF CONCUR'2000, PALAMIDESSI C. (ED.). SPRINGER-VERLAG, LECTURE NOTES IN COMPUTER SCIENCE 1877
…��LP Deadlock Checking Using Partial Order Dependencies Victor Khomenko and Maciej Koutny Department…
Cited by 11 (6 self) – Add To MetaCart

Synchrony and asynchrony in membrane systems
by Jetty Kleijn, Maciej Koutny — 2006 — Membrane Computing, WMC2006, Leiden, Revised, Selected and Invited Papers, LNCS 4361
…��Synchrony and Asynchrony in Membrane Systems Jetty Kleijn 1 and Maciej Koutny 2 1 LIACS, Leiden…
Cited by 4 (1 self) – Add To MetaCart

Processes of Membrane Systems with Promoters and Inhibitors
by Jetty Kleijn, Maciej Koutny, Jetty Kleijn, Maciej Koutny — 2006
… Systems with Promoters and Inhibitors Jetty Kleijn and Maciej Koutny TECHNICAL REPORT SERIES No. CS-TR-986…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB