×
Author ID: winkowski.jozef Recent zbMATH articles by "Winkowski, Jozef"
Published as: Winkowski, Jozef; Winkowski, Józef; Winkowski, J.

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 95 times in 74 Documents Cited by Year
Behaviours of concurrent systems. Zbl 0445.68044
Winkowski, Jozef
16
1980
Transformations of structures: An algebraic approach. Zbl 0491.68035
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef
14
1981
An algebraic description of system behaviours. Zbl 0493.68049
Winkowski, Jozef
8
1982
Reachability in contextual nets. Zbl 1003.68106
Winkowski, Józef
7
2002
An algebraic characterization of the behaviour of non-sequential systems. Zbl 0374.94038
Winkowski, Jozef
6
1977
Algebras of partial sequences - a tool to deal with concurrency. Zbl 0382.68010
Winkowski, Jozef
5
1977
Processes of contextual nets and their characteristics. Zbl 0935.68078
Winkowski, Józef
4
1998
An algebraic approach to concurrence. Zbl 0428.68068
Winkowski, Jozef
4
1979
Towards an algebra for timed behaviours. Zbl 0772.68037
Maggiolo-Schettini, Andrea; Winkowski, Józef
3
1992
Programmed derivations of relational structures. Zbl 0768.68071
Maggiolo-Schettini, Andrea; Winkowski, Józef
3
1991
Mathematical foundations of computer science 1978. Proceedings, 7th symposium Zakopane, Poland, September 4-8, 1978. Zbl 0373.00015
3
1978
An algebraic description of processes of timed Petri nets. Zbl 0823.68077
Winkowski, Józef
3
1994
Determining processes by violations. Zbl 0374.93006
Wedde, Horst; Winkowski, Jozef
2
1977
A compositional semantics for timed Petri nets. Zbl 0697.68062
Maggiolo-Schettini, Andrea; Winkowski, Józef
2
1990
Processes of transforming structures. Zbl 0488.68040
Maggiolo-Schettini, Andrea; Winkowski, Jozef
2
1982
Modeling a solution for a control problem in distributed systems by restrictions. Zbl 0441.68021
Maggiolo-Schettini, Andrea; Wedde, Horst; Winkowski, Jozef
2
1981
A natural method of proving properties of programs. Zbl 0315.68013
Winkowski, Jozef
1
1975
Concurrent programs. Zbl 0354.68059
Winkowski, J.
1
1975
Processes and processors. Zbl 0257.68041
Winkowski, Jozef
1
1973
Towards an understanding of computer simulation. Zbl 0334.68021
Winkowski, Jozef
1
1976
An algebraic characterization of derivability relations. Zbl 0383.68011
Maggiolo Schettini, Andrea; Winkowski, Jozef
1
1978
A kernel language for programmed rewriting of (hyper)graphs. Zbl 0849.68072
Maggiolo-Schettini, Andrea; Winkowski, Józef
1
1996
An equivalence of communicating processes in distributed environments. Zbl 0674.68017
Winkowski, Józef
1
1989
Event structure representation of the behaviour of place/transition systems. Zbl 0657.68067
Winkowski, Józef
1
1988
A method of realisation of Markov chains. Zbl 0177.45602
Winkowski, Józef
1
1968
Towards a programming language for manipulating relational data bases. Zbl 0522.68099
Maggiolo-Schettini, Andrea; Winkowski, Jozef
1
1983
A distributed implementation of Petri nets. Zbl 0525.68036
Winkowski, Jozef
1
1983
A formalism for describing non-sequential processes. Zbl 0402.68037
Winkowski, Jozef
1
1978
Processes in structures. Zbl 0443.68079
Maggiolo-Schettini, Andrea; Winkowski, Jozef
1
1979
Concatenable weighted pomsets and their applications to modelling processes of Petri nets. Zbl 0867.68086
Winkowski, Józef
1
1996
CONCUR ’97: concurrency theory. 8th international conference. Warsaw, Poland. July 1–4, 1997. Proceedings. Zbl 1434.68030
1
1997
Reachability in contextual nets. Zbl 1003.68106
Winkowski, Józef
7
2002
Processes of contextual nets and their characteristics. Zbl 0935.68078
Winkowski, Józef
4
1998
CONCUR ’97: concurrency theory. 8th international conference. Warsaw, Poland. July 1–4, 1997. Proceedings. Zbl 1434.68030
1
1997
A kernel language for programmed rewriting of (hyper)graphs. Zbl 0849.68072
Maggiolo-Schettini, Andrea; Winkowski, Józef
1
1996
Concatenable weighted pomsets and their applications to modelling processes of Petri nets. Zbl 0867.68086
Winkowski, Józef
1
1996
An algebraic description of processes of timed Petri nets. Zbl 0823.68077
Winkowski, Józef
3
1994
Towards an algebra for timed behaviours. Zbl 0772.68037
Maggiolo-Schettini, Andrea; Winkowski, Józef
3
1992
Programmed derivations of relational structures. Zbl 0768.68071
Maggiolo-Schettini, Andrea; Winkowski, Józef
3
1991
A compositional semantics for timed Petri nets. Zbl 0697.68062
Maggiolo-Schettini, Andrea; Winkowski, Józef
2
1990
An equivalence of communicating processes in distributed environments. Zbl 0674.68017
Winkowski, Józef
1
1989
Event structure representation of the behaviour of place/transition systems. Zbl 0657.68067
Winkowski, Józef
1
1988
Towards a programming language for manipulating relational data bases. Zbl 0522.68099
Maggiolo-Schettini, Andrea; Winkowski, Jozef
1
1983
A distributed implementation of Petri nets. Zbl 0525.68036
Winkowski, Jozef
1
1983
An algebraic description of system behaviours. Zbl 0493.68049
Winkowski, Jozef
8
1982
Processes of transforming structures. Zbl 0488.68040
Maggiolo-Schettini, Andrea; Winkowski, Jozef
2
1982
Transformations of structures: An algebraic approach. Zbl 0491.68035
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef
14
1981
Modeling a solution for a control problem in distributed systems by restrictions. Zbl 0441.68021
Maggiolo-Schettini, Andrea; Wedde, Horst; Winkowski, Jozef
2
1981
Behaviours of concurrent systems. Zbl 0445.68044
Winkowski, Jozef
16
1980
An algebraic approach to concurrence. Zbl 0428.68068
Winkowski, Jozef
4
1979
Processes in structures. Zbl 0443.68079
Maggiolo-Schettini, Andrea; Winkowski, Jozef
1
1979
Mathematical foundations of computer science 1978. Proceedings, 7th symposium Zakopane, Poland, September 4-8, 1978. Zbl 0373.00015
3
1978
An algebraic characterization of derivability relations. Zbl 0383.68011
Maggiolo Schettini, Andrea; Winkowski, Jozef
1
1978
A formalism for describing non-sequential processes. Zbl 0402.68037
Winkowski, Jozef
1
1978
An algebraic characterization of the behaviour of non-sequential systems. Zbl 0374.94038
Winkowski, Jozef
6
1977
Algebras of partial sequences - a tool to deal with concurrency. Zbl 0382.68010
Winkowski, Jozef
5
1977
Determining processes by violations. Zbl 0374.93006
Wedde, Horst; Winkowski, Jozef
2
1977
Towards an understanding of computer simulation. Zbl 0334.68021
Winkowski, Jozef
1
1976
A natural method of proving properties of programs. Zbl 0315.68013
Winkowski, Jozef
1
1975
Concurrent programs. Zbl 0354.68059
Winkowski, J.
1
1975
Processes and processors. Zbl 0257.68041
Winkowski, Jozef
1
1973
A method of realisation of Markov chains. Zbl 0177.45602
Winkowski, Józef
1
1968
all top 5

Cited by 99 Authors

7 Winkowski, Jozef
5 Fahrenberg, Uli
5 Johansen, Christian
5 Maggiolo-Schettini, Andrea
5 Schwoon, Stefan
5 Struth, Georg
4 Chatain, Thomas
4 Czaja, Ludwik
4 Ziemiański, Krzysztof
3 Baldan, Paolo
3 Corradini, Andrea
3 Degano, Pierpaolo
3 Ehrig, Hartmut
3 Haar, Stefan
3 Kreowski, Hans-Jörg
3 Montanari, Ugo G.
3 Rodríguez, César Marín
2 Bedon, Nicolas
2 Courcelle, Bruno
2 Kawahara, Yasuo
2 König, Barbara
2 Mazurkiewicz, Antoni W.
2 Mizoguchi, Yoshihiro
2 Parisi-Presicce, Francesco
2 Paulevé, Loïc
2 Schürr, Andy
2 Taentzer, Gabriele
2 Wedde, Horst F.
1 Amazigh, Amrane
1 Amrane, Amazigh
1 Aura, Tuomas
1 Baier, Christel
1 Basarab, I. A.
1 Bauderon, Michel
1 Boudol, Gérard
1 Bouyer, Patricia
1 Brunet, Paul
1 Bruni, Alessandro
1 Bukharaev, Rais Gatic
1 Burstall, Rod M.
1 Calk, Cameron
1 Castellani, Ilaria
1 Cattani, Gian Luca
1 Cerone, Antonio
1 Comlan, Maurice
1 De Nicola, Rocco
1 Delfieu, David
1 Desel, Jörg
1 Dubtsov, Roman S.
1 Ésik, Zoltán
1 Evrard, Hugues
1 Garg, Vijay K.
1 Gerhardt, Hans-Detlef
1 Goguen, Joseph Amadee
1 Gubskij, B. V.
1 Habel, Annegret
1 Haddad, Serge
1 Jezequel, Loïg
1 Juhás, Gabriel
1 Kappé, Tobias
1 Katoen, Joost-Pieter
1 Kolčák, Juraj
1 Korff, Martin
1 Koutny, Maciej
1 Kulcsár, Géza
1 Kuske, Sabine
1 Lafaye de Micheaux, N.
1 Lang, Frédéric
1 Latella, Diego
1 Lilius, Johan
1 Lochau, Malte
1 Lodaya, Kamal
1 Lorenz, Robert G.
1 Lowe, Michael J. S.
1 Luttik, Bas
1 Marchetti, Sergio
1 Meseguer Guaita, José
1 Mittal, Neeraj
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Ochmański, Edward
1 Penczek, Wojciech
1 Rabinovich, Alexander
1 Reynier, Pierre-Alain
1 Sylvan, Richard
1 Roux, Olivier H.
1 Schneider, Hans Jürgen
1 Sewell, Peter
1 Silva, Alexandra
1 Stark, Eugene W.
1 Tarlecki, Andrzej
1 Thakkar, Aalok
1 Thapa, Ratan Bahadur
1 Thiagarajan, Pazhamaneri Subramaniam
1 Trakhtenbrot, Boris Avraamovich
1 Virbitskaite, Irina B.
1 Vogler, Walter
1 Weil, Pascal
1 Zaitsev, Dmitry A.
1 Zanasi, Fabio

Citations by Year