Józef Winkowski

49 papers B 11Journal 30Unranked 8

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