Proving Properties of Programs by Means of Predicate Logic. - Józef Winkowski (MFCS, 1975)

Concurrent Programs. - Józef Winkowski (J. Inf. Process. Cybern., 1975)

On Sequential Modelling of Non-Sequential Processes. - Józef Winkowski (MFCS, 1976)

Algebras of Partial Sequences - A Tool to Deal with Concurrency. - Józef Winkowski (FCT, 1977)

Determining Processes by Violations. - Horst F. Wedde; Józef Winkowski (MFCS, 1977)

An Algebraic Characterization of the Behaviour of Non-Sequential Systems. - Józef Winkowski (Inf. Process. Lett., 1977)

Processes in Structures. - Andrea Maggiolo-Schettini; Józef Winkowski (Graph-Grammars and Their Application to Computer Science and Biology, 1978)

Deriving Structures from Structures. - Hartmut Ehrig; Hans-Jörg Kreowski; Andrea Maggiolo-Schettini; Barry K. Rosen; Józef Winkowski (MFCS, 1978)

An Algebraic Approach to Concurrence. - Józef Winkowski (MFCS, 1979)

Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. - Andrea Maggiolo-Schettini; Horst F. Wedde; Józef Winkowski (Formale Modelle für Informationssysteme, 1979)

Behaviours of Concurrent Systems. - Józef Winkowski (Theor. Comput. Sci., 1980)

Protocols of Accessing Overlapping Sets of Resources. - Józef Winkowski (Inf. Process. Lett., 1981)

Transformations of Structures: an Algebraic Approach. - Hartmut Ehrig; Hans-Jörg Kreowski; Andrea Maggiolo-Schettini; Barry K. Rosen; Józef Winkowski (Math. Syst. Theory, 1981)

Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. - Andrea Maggiolo-Schettini; Horst F. Wedde; Józef Winkowski (Theor. Comput. Sci., 1981)

Towards a Programming Language for Manipulating Relational Data Bases. - Andrea Maggiolo-Schettini; Józef Winkowski (Formal Description of Programming Concepts, 1982)

Comments on the Paper by Hendrik Decker and Jürgen Geissler: "Modeling and Simulating Nets of Agencies with BORIS". - Józef Winkowski (International Working Conference on Model Realism, 1982)

Comments on the Paper by A. W. Wymore. - Józef Winkowski (International Working Conference on Model Realism, 1982)

A Communication Concept for Distributed Systems. - Waldemar Korczynski; Józef Winkowski (Inf. Process. Lett., 1982)

Processes of Transforming Structures. - Andrea Maggiolo-Schettini; Józef Winkowski (J. Comput. Syst. Sci., 1982)

An Algebraic Description of System Behaviours. - Józef Winkowski (Theor. Comput. Sci., 1982)

An Algebra of Processes. - Józef Winkowski; Andrea Maggiolo-Schettini (J. Comput. Syst. Sci., 1987)

Programmed Derivations of Relational Structures. - Andrea Maggiolo-Schettini; Józef Winkowski (Graph-Grammars and Their Application to Computer Science, 1990)

A compositional semantics for unmarked predicate/transition nets. - Andrea Maggiolo-Schettini; G. Michele Pinna; Józef Winkowski (Fundam. Informaticae, 1991)

A Programming Language for Deriving Hypergraphs. - Andrea Maggiolo-Schettini; Józef Winkowski (CAAP, 1992)

Towards an Algebra for Timed Behaviours. - Andrea Maggiolo-Schettini; Józef Winkowski (Theor. Comput. Sci., 1992)

Algebras of Processes of Timed Petri Nets. - Józef Winkowski (CONCUR, 1994)

Dynamic Graphs. - Andrea Maggiolo-Schettini; Józef Winkowski (MFCS, 1996)

A Kernel Language for Programmed Rewriting of (Hyper)graphs. - Andrea Maggiolo-Schettini; Józef Winkowski (Acta Informatica, 1996)

Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets. - Józef Winkowski (Fundam. Informaticae, 1996)

A Partial Order Representation of Processes of Transforming Graphs. - Andrea Maggiolo-Schettini; Józef Winkowski (Fundam. Informaticae, 1997)

A Representation of Processes of Petri Nets by Matrices. - Józef Winkowski (Fundam. Informaticae, 1997)

Processes of Contextual Nets and their Characteristics. - Józef Winkowski (Fundam. Informaticae, 1998)

An Algebra of Data Flows. - Józef Winkowski (Fundam. Informaticae, 2000)

Processes of timed Petri nets. - Józef Winkowski (Theor. Comput. Sci., 2000)

Reachability in Contextual Nets. - Józef Winkowski (Fundam. Informaticae, 2002)

An algebraic characterization of independence of Petri net processes. - Józef Winkowski (Inf. Process. Lett., 2003)

Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes. - Józef Winkowski (Fundam. Informaticae, 2005)

An Axiomatic Characterization of Algebras of Processes of Petri Nets. - Józef Winkowski (Fundam. Informaticae, 2006)

Behaviour Algebras. - Józef Winkowski (Fundam. Informaticae, 2007)

Towards a Framework for Modelling Behaviours of Hybrid Systems. - Józef Winkowski (Fundam. Informaticae, 2007)

An Algebraic Framework for Defining Random Concurrent Behaviours. - Józef Winkowski (Fundam. Informaticae, 2008)

An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation. - Józef Winkowski (Fundam. Informaticae, 2009)

An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation. - Józef Winkowski (Fundam. Informaticae, 2009)

Multiplicative Transition Systems. - Józef Winkowski (Fundam. Informaticae, 2011)