Jzef Winkowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
3
Active years
1974–1996
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | MFCS | Dynamic Graphs. | Andrea Maggiolo-Schettini, Jzef Winkowski |
| 1994 | CONCUR | Algebras of Processes of Timed Petri Nets. | Jzef Winkowski |
| 1979 | MFCS | An Algebraic Approach to Concurrence. | Jzef Winkowski |
| 1978 | MFCS | Deriving Structures from Structures. | Hartmut Ehrig, Hans-Jrg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jzef Winkowski |
| 1977 | FCT | Algebras of Partial Sequences - A Tool to Deal with Concurrency. | Jzef Winkowski |
| 1977 | MFCS | Determining Processes by Violations. | Horst F. Wedde, Jzef Winkowski |
| 1976 | MFCS | On Sequential Modelling of Non-Sequential Processes. | Jzef Winkowski |
| 1975 | MFCS | Proving Properties of Programs by Means of Predicate Logic. | Jzef Winkowski |
| 1974 | MFCS | Concurrent Programs. | Jzef Winkowski |