Józef Winkowski

According to our database1, Józef Winkowski
  • authored at least 46 papers between 1974 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Multiplicative Transition Systems.
T. Petri Nets and Other Models of Concurrency, 2017

2011
Multiplicative Transition Systems.
Fundam. Inform., 2011

2009
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation.
Fundam. Inform., 2009

An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation.
Fundam. Inform., 2009

2008
An Algebraic Framework for Defining Random Concurrent Behaviours.
Fundam. Inform., 2008

2007
Towards a Framework for Modelling Behaviours of Hybrid Systems.
Fundam. Inform., 2007

Behaviour Algebras.
Fundam. Inform., 2007

2006
An Axiomatic Characterization of Algebras of Processes of Petri Nets.
Fundam. Inform., 2006

2005
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes.
Fundam. Inform., 2005

2003
An algebraic characterization of independence of Petri net processes.
Inf. Process. Lett., 2003

2002
Reachability in Contextual Nets.
Fundam. Inform., 2002

2000
Processes of timed Petri nets.
Theor. Comput. Sci., 2000

An Algebra of Data Flows.
Fundam. Inform., 2000

1998
Processes of Contextual Nets and their Characteristics.
Fundam. Inform., 1998

1997
A Representation of Processes of Petri Nets by Matrices.
Fundam. Inform., 1997

A Partial Order Representation of Processes of Transforming Graphs.
Fundam. Inform., 1997

1996
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets.
Fundam. Inform., 1996

A Kernel Language for Programmed Rewriting of (Hyper)graphs.
Acta Inf., 1996

Dynamic Graphs.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1994
Algebras of Processes of Timed Petri Nets.
Proceedings of the CONCUR '94, 1994

1992
Towards an Algebra for Timed Behaviours.
Theor. Comput. Sci., 1992

A Programming Language for Deriving Hypergraphs.
Proceedings of the CAAP '92, 1992

1991
A compositional semantics for unmarked predicate/transition nets.
Fundam. Inform., 1991

1990
Programmed Derivations of Relational Structures.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1987
An Algebra of Processes.
J. Comput. Syst. Sci., 1987

1982
An Algebraic Description of System Behaviours.
Theor. Comput. Sci., 1982

Processes of Transforming Structures.
J. Comput. Syst. Sci., 1982

A Communication Concept for Distributed Systems.
Inf. Process. Lett., 1982

Comments on the Paper by A. W. Wymore.
International Working Conference on Model Realism, 1982

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

1981
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions.
Theor. Comput. Sci., 1981

Transformations of Structures: an Algebraic Approach.
Mathematical Systems Theory, 1981

Protocols of Accessing Overlapping Sets of Resources.
Inf. Process. Lett., 1981

1980
Behaviours of Concurrent Systems.
Theor. Comput. Sci., 1980

1979
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions.
Proceedings of the Semantics of Concurrent Computation, 1979

Modelling a Solution for a Control Problem in Distributed Systems by Restrictions.
Formale Modelle für Informationssysteme, 1979

An Algebraic Approach to Concurrence.
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1978
Deriving Structures from Structures.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Processes in Structures.
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30, 1978

1977
An Algebraic Characterization of the Behaviour of Non-Sequential Systems.
Inf. Process. Lett., 1977

Determining Processes by Violations.
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

Algebras of Partial Sequences - A Tool to Deal with Concurrency.
FCT, 1977

1976
On Sequential Modelling of Non-Sequential Processes.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975
Concurrent Programs.
Elektronische Informationsverarbeitung und Kybernetik, 1975

Proving Properties of Programs by Means of Predicate Logic.
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1974
Concurrent Programs.
Proceedings of the Mathematical Foundations of Computer Science, 1974


  Loading...