 | 2008 |
|---|
| 44 |       | Józef Winkowski:
An Algebraic Framework for Defining Random Concurrent Behaviours.
Fundam. Inform. 85(1-4): 481-496 (2008) |
| 2007 |
|---|
| 43 | | Józef Winkowski:
Behaviour Algebras.
Fundam. Inform. 75(1-4): 537-560 (2007) |
| 42 | | Józef Winkowski:
Towards a Framework for Modelling Behaviours of Hybrid Systems.
Fundam. Inform. 80(1-3): 311-332 (2007) |
| 2006 |
|---|
| 41 | | Józef Winkowski:
An Axiomatic Characterization of Algebras of Processes of Petri Nets.
Fundam. Inform. 72(1-3): 407-420 (2006) |
| 2005 |
|---|
| 40 | | Józef Winkowski:
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes.
Fundam. Inform. 68(1-2): 175-206 (2005) |
| 2003 |
|---|
| 39 | | Józef Winkowski:
An algebraic characterization of independence of Petri net processes.
Inf. Process. Lett. 88(1-2): 73-81 (2003) |
| 2002 |
|---|
| 38 |  | Józef Winkowski:
Reachability in Contextual Nets.
Fundam. Inform. 51(1-2): 235-250 (2002) |
| 2000 |
|---|
| 37 | | Józef Winkowski:
An Algebra of Data Flows.
Fundam. Inform. 42(1): 75-104 (2000) |
| 36 | | Józef Winkowski:
Processes of timed Petri nets.
Theor. Comput. Sci. 243(1-2): 1-34 (2000) |
| 1998 |
|---|
| 35 | | Józef Winkowski:
Processes of Contextual Nets and their Characteristics.
Fundam. Inform. 36(1): 71-101 (1998) |
| 1997 |
|---|
| 34 | | Antoni W. Mazurkiewicz,
Józef Winkowski:
CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
Springer 1997 |
| 33 | | Józef Winkowski:
A Representation of Processes of Petri Nets by Matrices.
Fundam. Inform. 30(1): 97-107 (1997) |
| 32 | | Andrea Maggiolo-Schettini,
Józef Winkowski:
A Partial Order Representation of Processes of Transforming Graphs.
Fundam. Inform. 31(3/4): 337-355 (1997) |
| 1996 |
|---|
| 31 | | Andrea Maggiolo-Schettini,
Józef Winkowski:
Dynamic Graphs.
MFCS 1996: 431-442 |
| 30 | | Andrea Maggiolo-Schettini,
Józef Winkowski:
A Kernel Language for Programmed Rewriting of (Hyper)graphs.
Acta Inf. 33(6): 523-546 (1996) |
| 29 | | Józef Winkowski:
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets.
Fundam. Inform. 28(3-4): 403-421 (1996) |
| 1994 |
|---|
| 28 | | Józef Winkowski:
Algebras of Processes of Timed Petri Nets.
CONCUR 1994: 194-209 |
| 1992 |
|---|
| 27 | | Andrea Maggiolo-Schettini,
Józef Winkowski:
A Programming Language for Deriving Hypergraphs.
CAAP 1992: 221-231 |
| 26 | | Andrea Maggiolo-Schettini,
Józef Winkowski:
Towards an Algebra for Timed Behaviours.
Theor. Comput. Sci. 103(2): 335-363 (1992) |
| 1991 |
|---|
| 25 | | Andrea Maggiolo-Schettini,
G. Michele Pinna,
Józef Winkowski:
A compositional semantics for unmarked predicate/transition nets.
Fundam. Inform. 14(1): 109-128 (1991) |
| 1990 |
|---|
| 24 | | Andrea Maggiolo-Schettini,
Józef Winkowski:
Programmed Derivations of Relational Structures.
Graph-Grammars and Their Application to Computer Science 1990: 582-598 |
| 1987 |
|---|
| 23 | | Józef Winkowski,
Andrea Maggiolo-Schettini:
An Algebra of Processes.
J. Comput. Syst. Sci. 35(2): 206-228 (1987) |
| 1982 |
|---|
| 22 | | Józef Winkowski:
Comments on the Paper by A. W. Wymore.
International Working Conference on Model Realism 1982: 200-201 |
| 21 | | Józef Winkowski:
Comments on the Paper by Hendrik Decker and Jürgen Geissler: "Modeling and Simulating Nets of Agencies with BORIS".
International Working Conference on Model Realism 1982: 64-65 |
| 20 | | Waldemar Korczynski,
Józef Winkowski:
A Communication Concept for Distributed Systems.
Inf. Process. Lett. 15(3): 111-114 (1982) |
| 19 | | Andrea Maggiolo-Schettini,
Józef Winkowski:
Processes of Transforming Structures.
J. Comput. Syst. Sci. 24(3): 245-282 (1982) |
| 18 | | Józef Winkowski:
An Algebraic Description of System Behaviours.
Theor. Comput. Sci. 21: 315-340 (1982) |
| 1981 |
|---|
| 17 | | Józef Winkowski:
Protocols of Accessing Overlapping Sets of Resources.
Inf. Process. Lett. 12(5): 239-243 (1981) |
| 16 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Andrea Maggiolo-Schettini,
Barry K. Rosen,
Józef Winkowski:
Transformations of Structures: an Algebraic Approach.
Mathematical Systems Theory 14: 305-334 (1981) |
| 15 | | Andrea Maggiolo-Schettini,
Horst Wedde,
Józef Winkowski:
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions.
Theor. Comput. Sci. 13: 61-83 (1981) |
| 1980 |
|---|
| 14 | | Józef Winkowski:
Behaviours of Concurrent Systems.
Theor. Comput. Sci. 12: 39-60 (1980) |
| 1979 |
|---|
| 13 | | Andrea Maggiolo-Schettini,
Horst Wedde,
Józef Winkowski:
Modelling a Solution for a Control Problem in Distributed Systems by Restrictions.
Formale Modelle für Informationssysteme 1979: 199-201 |
| 12 | | Józef Winkowski:
An Algebraic Approach to Concurrence.
MFCS 1979: 523-532 |
| 11 | | Andrea Maggiolo-Schettini,
Horst Wedde,
Józef Winkowski:
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions.
Semantics of Concurrent Computation 1979: 226-248 |
| 1978 |
|---|
| 10 | | Józef Winkowski:
Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978
Springer 1978 |
| 9 | | Andrea Maggiolo-Schettini,
Józef Winkowski:
Processes in Structures.
Graph-Grammars and Their Application to Computer Science and Biology 1978: 317-330 |
| 8 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Andrea Maggiolo-Schettini,
Barry K. Rosen,
Józef Winkowski:
Deriving Structures from Structures.
MFCS 1978: 177-190 |
| 1977 |
|---|
| 7 | | Józef Winkowski:
Algebras of Partial Sequences - A Tool to Deal with Concurrency.
FCT 1977: 187-198 |
| 6 | | Horst Wedde,
Józef Winkowski:
Determining Processes by Violations.
MFCS 1977: 549-559 |
| 5 | | Józef Winkowski:
An Algebraic Characterization of the Behaviour of Non-Sequential Systems.
Inf. Process. Lett. 6(4): 105-109 (1977) |
| 1976 |
|---|
| 4 | | Józef Winkowski:
On Sequential Modelling of Non-Sequential Processes.
MFCS 1976: 559-568 |
| 1975 |
|---|
| 3 | | Józef Winkowski:
Proving Properties of Programs by Means of Predicate Logic.
MFCS 1975: 465-471 |
| 2 | | Józef Winkowski:
Concurrent Programs.
Elektronische Informationsverarbeitung und Kybernetik 11(4-6): 283-290 (1975) |
| 1974 |
|---|
| 1 | | Józef Winkowski:
Concurrent Programs.
MFCS 1974: 202-221 |
