Józef Winkowski

Publication Activity (10 Years)

Years Active: 1974-2017
Publications (10 Years): 1

Top Topics

Practical Reasoning

Transition Systems

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Józef Winkowski
Multiplicative Transition Systems. Trans. Petri Nets Other Model. Concurr. 12 (2017)
Józef Winkowski
Multiplicative Transition Systems. Fundam. Informaticae 109 (2) (2011)
Józef Winkowski
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation. Fundam. Informaticae 97 (4) (2009)
Józef Winkowski
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation. Fundam. Informaticae 97 (1-2) (2009)
Józef Winkowski
An Algebraic Framework for Defining Random Concurrent Behaviours. Fundam. Informaticae 85 (1-4) (2008)
Józef Winkowski
Towards a Framework for Modelling Behaviours of Hybrid Systems. Fundam. Informaticae 80 (1-3) (2007)
Józef Winkowski
Behaviour Algebras. Fundam. Informaticae 75 (1-4) (2007)
Józef Winkowski
An Axiomatic Characterization of Algebras of Processes of Petri Nets. Fundam. Informaticae 72 (1-3) (2006)
Józef Winkowski
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes. Fundam. Informaticae 68 (1-2) (2005)
Józef Winkowski
An algebraic characterization of independence of Petri net processes. Inf. Process. Lett. 88 (1-2) (2003)
Józef Winkowski
Reachability in Contextual Nets. Fundam. Informaticae 51 (1-2) (2002)
Józef Winkowski
Processes of timed Petri nets. Theor. Comput. Sci. 243 (1-2) (2000)
Józef Winkowski
An Algebra of Data Flows. Fundam. Informaticae 42 (1) (2000)
Józef Winkowski
Processes of Contextual Nets and their Characteristics. Fundam. Informaticae 36 (1) (1998)
Józef Winkowski
A Representation of Processes of Petri Nets by Matrices. Fundam. Informaticae 30 (1) (1997)
Andrea Maggiolo-Schettini, Józef Winkowski
A Partial Order Representation of Processes of Transforming Graphs. Fundam. Informaticae 31 (3/4) (1997)
Józef Winkowski
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets. Fundam. Informaticae 28 (3-4) (1996)
Andrea Maggiolo-Schettini, Józef Winkowski
A Kernel Language for Programmed Rewriting of (Hyper)graphs. Acta Informatica 33 (6) (1996)
Andrea Maggiolo-Schettini, Józef Winkowski
Dynamic Graphs. MFCS (1996)
Józef Winkowski
Algebras of Processes of Timed Petri Nets. CONCUR (1994)
Andrea Maggiolo-Schettini, Józef Winkowski
A Programming Language for Deriving Hypergraphs. CAAP (1992)
Andrea Maggiolo-Schettini, Józef Winkowski
Towards an Algebra for Timed Behaviours. Theor. Comput. Sci. 103 (2) (1992)
Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski
A compositional semantics for unmarked predicate/transition nets. Fundam. Informaticae 14 (1) (1991)
Andrea Maggiolo-Schettini, Józef Winkowski
Programmed Derivations of Relational Structures. Graph-Grammars and Their Application to Computer Science (1990)
Józef Winkowski, Andrea Maggiolo-Schettini
An Algebra of Processes. J. Comput. Syst. Sci. 35 (2) (1987)
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)
Józef Winkowski
An Algebraic Description of System Behaviours. Theor. Comput. Sci. 21 (1982)
Waldemar Korczynski, Józef Winkowski
A Communication Concept for Distributed Systems. Inf. Process. Lett. 15 (3) (1982)
Andrea Maggiolo-Schettini, Józef Winkowski
Towards a Programming Language for Manipulating Relational Data Bases. Formal Description of Programming Concepts (1982)
Józef Winkowski
Comments on the Paper by A. W. Wymore. International Working Conference on Model Realism (1982)
Andrea Maggiolo-Schettini, Józef Winkowski
Processes of Transforming Structures. J. Comput. Syst. Sci. 24 (3) (1982)
Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Theor. Comput. Sci. 13 (1981)
Józef Winkowski
Protocols of Accessing Overlapping Sets of Resources. Inf. Process. Lett. 12 (5) (1981)
Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
Transformations of Structures: an Algebraic Approach. Math. Syst. Theory 14 (1981)
Józef Winkowski
Behaviours of Concurrent Systems. Theor. Comput. Sci. 12 (1980)
Józef Winkowski
An Algebraic Approach to Concurrence. MFCS (1979)
Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski
Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. Formale Modelle für Informationssysteme (1979)
Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Semantics of Concurrent Computation (1979)
Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
Deriving Structures from Structures. MFCS (1978)
Andrea Maggiolo-Schettini, Józef Winkowski
Processes in Structures. Graph-Grammars and Their Application to Computer Science and Biology (1978)
Józef Winkowski
An Algebraic Characterization of the Behaviour of Non-Sequential Systems. Inf. Process. Lett. 6 (4) (1977)
Józef Winkowski
Algebras of Partial Sequences - A Tool to Deal with Concurrency. FCT (1977)
Horst F. Wedde, Józef Winkowski
Determining Processes by Violations. MFCS (1977)
Józef Winkowski
On Sequential Modelling of Non-Sequential Processes. MFCS (1976)
Józef Winkowski
Concurrent Programs. J. Inf. Process. Cybern. 11 (4-6) (1975)
Józef Winkowski
Proving Properties of Programs by Means of Predicate Logic. MFCS (1975)
Józef Winkowski
Concurrent Programs. MFCS (1974)