×
Author ID: janicki.ryszard Recent zbMATH articles by "Janicki, Ryszard"
Published as: Janicki, Ryszard; Janicki, R.

Publications by Year

Citations contained in zbMATH Open

63 Publications have been cited 260 times in 118 Documents Cited by Year
Semantics of inhibitor nets. Zbl 1096.68678
Janicki, Ryszard; Koutny, Maciej
41
1995
Structure of concurrency. Zbl 0814.68061
Janicki, Ryszard; Koutny, Maciej
27
1993
Fundamentals of modelling concurrency using discrete relational structures. Zbl 0934.68047
Janicki, Ryszard; Koutny, Maciej
14
1997
Concurrent and maximally concurrent evolution of nonsequential systems. Zbl 0604.68006
Janicki, Ryszard; Lauer, Peter E.; Koutny, Maciej; Devillers, Raymond
9
1986
A formal semantics for concurrent systems with a priority relation. Zbl 0589.68021
Janicki, Ryszard
8
1987
Optimal approximations with rough sets and similarities in measure spaces. Zbl 1352.68245
Janicki, Ryszard; Lenarčič, Adam
8
2016
Modeling concurrency with interval traces. Zbl 1359.68224
Janicki, Ryszard; Yin, Xiang
7
2017
Relational structures model of concurrency. Zbl 1147.68054
Janicki, Ryszard
7
2008
Specification and analysis of concurrent systems. The COSY approach. Zbl 0765.68007
Janicki, Ryszard; Lauer, Peter E.
6
1992
On a formal semantics of tabular expressions. Zbl 0971.68100
Janicki, Ryszard; Khedri, Ridha
6
2001
Step traces. Zbl 1335.68173
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
6
2016
On a pairwise comparison-based consistent non-numerical ranking. Zbl 1264.91055
Janicki, Ryszard; Zhai, Yun
5
2012
An introduction to the macro COSY notation. Zbl 0639.68052
Lauer, P. E.; Janicki, R.
5
1987
Approximations of arbitrary binary relations by partial orders: classical and rough set models. Zbl 1316.03026
Janicki, Ryszard
5
2011
Modelling concurrency with comtraces and generalized comtraces. Zbl 1244.68057
Janicki, Ryszard; Lê, Dai Tri Man
5
2011
Modeling interval order structures with partially commutative monoids. Zbl 1364.68288
Janicki, Ryszard; Yin, Xiang; Zubkova, Nadezhda
5
2012
Synthesis of concurrent schemes. Zbl 0382.68023
Janicki, Ryszard
4
1978
Modelling concurrent behaviours by commutativity and weak causality relations. Zbl 1275.68105
Guo, Guangyuan; Janicki, Ryszard
4
2002
Quotient monoids and concurrent behaviours. Zbl 1236.68193
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej
4
2011
Nets, sequential components and concurrency relations. Zbl 0546.68039
Janicki, Ryszard
4
1984
Maximally concurrent evolution of non-sequential systems. Zbl 0565.68020
Janicki, R.; Lauer, P. E.; Devillers, R.
4
1985
A weak order approach to group ranking. Zbl 0862.90011
Janicki, R.; Koczkodaj, W. W.
4
1996
Tabular representations in relational documents. Zbl 1114.68597
Janicki, Ryszard; Parnas, David Lorge; Zucker, Jeffery
4
1997
On causality semantics of nets with priorities. Zbl 1058.68540
Janicki, Ryszard; Koutny, Maciej
4
1999
Property-driven rough sets approximations of relations. Zbl 1308.68115
Janicki, Ryszard
4
2013
A method for developing concurrent systems. Zbl 0538.68015
Janicki, Ryszard
3
1984
Transforming sequential systems into concurrent systems. Zbl 0559.68032
Janicki, Ryszard
3
1985
Order structures for subclasses of generalised traces. Zbl 1423.68309
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2015
Characterising concurrent histories. Zbl 1334.68153
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2015
Modeling operational semantics with interval orders represented by sequences of antichains. Zbl 1427.68155
Janicki, Ryszard
3
2018
Classifying invariant structures of step traces. Zbl 1423.68310
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2019
On some implementation of optimal simulations. Zbl 0797.68111
Janicki, Ryszard; Koutny, Maciej
2
1991
Using optimal simulations to reduce reachability graphs. Zbl 0765.68128
Janicki, Ryszard; Koutny, Maciej
2
1991
A construction of concurrent systems by means of sequential solutions and concurrency relations. Zbl 0466.68047
Janicki, Ryszard
2
1981
Towards a pragmatic mereology. Zbl 1108.68031
Janicki, Ryszard; Lê, Dai Tri Man
2
2007
Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116
Carette, Jacques; Janicki, Ryszard
2
2007
An algebraic approach to the theory of recursive coroutines. Zbl 0362.68056
Janicki, Ryszard
2
1977
Order structures and generalisations of Szpilrajn’s theorem. Zbl 0924.06005
Janicki, Ryszard; Koutny, Maciej
2
1993
An equivalence notion for path expressions systems. Zbl 0573.68028
Janicki, Ryszard
2
1985
Representations of discrete interval orders and semi-orders. Zbl 0832.06001
Janicki, Ryszard; Koutny, Maciej
2
1994
On interval process semantics of Petri nets with inhibitor arcs. Zbl 1432.68298
Alqarni, Mohammed; Janicki, Ryszard
2
2015
Asymptotics of powers of binomial and multinomial probabilities. Zbl 1382.60047
Athreya, K. B.; Janicki, R.
2
2016
Relational structures for concurrent behaviours. Zbl 1497.68344
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
2
2021
Yet another kind of rough sets induced by coverings. Zbl 1489.68287
Janicki, Ryszard
2
2017
On optimal approximations of arbitrary relations by partial orders. Zbl 1398.68540
Janicki, Ryszard
2
2016
On approximation of relations by generalized closures and generalized kernels. Zbl 1398.68528
Bogobowicz, Agnieszka D.; Janicki, Ryszard
2
2016
An algebraic structure of Petri nets. Zbl 0438.68021
Janicki, Ryszard
1
1980
Analysis of concurrent schemes by means of concurrency relations. Zbl 0513.68053
Janicki, Ryszard
1
1982
On a parthood specification method for component software. Zbl 1162.68400
Le, Dai Tri Man; Janicki, Ryszard
1
2006
A characterization of concurrency-like relations. Zbl 0402.68020
Janicki, Ryszard
1
1979
Basic mereology with equivalence relations. Zbl 1156.03326
Janicki, Ryszard
1
2005
Vectors of coroutines over Blikle nets. Zbl 0366.68005
Janicki, Ryszard
1
1977
On a mereological system for relational software specifications. Zbl 1014.68050
Janicki, Ryszard
1
2002
A generalisation of a relational structures model of concurrency. Zbl 1109.68073
Janicki, Ryszard
1
2005
Alphabets of acyclic invariant structures. Zbl 1378.68119
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
1
2017
Approximations of arbitrary relations by partial orders. Zbl 1448.68418
Janicki, Ryszard
1
2018
Pairwise comparisons based non-numerical ranking. Zbl 1192.68671
Janicki, Ryszard
1
2009
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. Zbl 0445.68023
Janicki, Ryszard
1
1980
On atomic nets and concurrency relations. Zbl 0449.68021
Janicki, Ryszard
1
1980
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard
1
2007
Modelling concurrency with quotient monoids. Zbl 1143.68486
Janicki, Ryszard; Lê, Dai Tri Man
1
2008
Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Zbl 1493.68015
1
2020
Operational semantics, interval orders and sequences of antichains. Zbl 1428.68178
Janicki, Ryszard; Koutny, Maciej
1
2019
Relational structures for concurrent behaviours. Zbl 1497.68344
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
2
2021
Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Zbl 1493.68015
1
2020
Classifying invariant structures of step traces. Zbl 1423.68310
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2019
Operational semantics, interval orders and sequences of antichains. Zbl 1428.68178
Janicki, Ryszard; Koutny, Maciej
1
2019
Modeling operational semantics with interval orders represented by sequences of antichains. Zbl 1427.68155
Janicki, Ryszard
3
2018
Approximations of arbitrary relations by partial orders. Zbl 1448.68418
Janicki, Ryszard
1
2018
Modeling concurrency with interval traces. Zbl 1359.68224
Janicki, Ryszard; Yin, Xiang
7
2017
Yet another kind of rough sets induced by coverings. Zbl 1489.68287
Janicki, Ryszard
2
2017
Alphabets of acyclic invariant structures. Zbl 1378.68119
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
1
2017
Optimal approximations with rough sets and similarities in measure spaces. Zbl 1352.68245
Janicki, Ryszard; Lenarčič, Adam
8
2016
Step traces. Zbl 1335.68173
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
6
2016
Asymptotics of powers of binomial and multinomial probabilities. Zbl 1382.60047
Athreya, K. B.; Janicki, R.
2
2016
On optimal approximations of arbitrary relations by partial orders. Zbl 1398.68540
Janicki, Ryszard
2
2016
On approximation of relations by generalized closures and generalized kernels. Zbl 1398.68528
Bogobowicz, Agnieszka D.; Janicki, Ryszard
2
2016
Order structures for subclasses of generalised traces. Zbl 1423.68309
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2015
Characterising concurrent histories. Zbl 1334.68153
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2015
On interval process semantics of Petri nets with inhibitor arcs. Zbl 1432.68298
Alqarni, Mohammed; Janicki, Ryszard
2
2015
Property-driven rough sets approximations of relations. Zbl 1308.68115
Janicki, Ryszard
4
2013
On a pairwise comparison-based consistent non-numerical ranking. Zbl 1264.91055
Janicki, Ryszard; Zhai, Yun
5
2012
Modeling interval order structures with partially commutative monoids. Zbl 1364.68288
Janicki, Ryszard; Yin, Xiang; Zubkova, Nadezhda
5
2012
Approximations of arbitrary binary relations by partial orders: classical and rough set models. Zbl 1316.03026
Janicki, Ryszard
5
2011
Modelling concurrency with comtraces and generalized comtraces. Zbl 1244.68057
Janicki, Ryszard; Lê, Dai Tri Man
5
2011
Quotient monoids and concurrent behaviours. Zbl 1236.68193
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej
4
2011
Pairwise comparisons based non-numerical ranking. Zbl 1192.68671
Janicki, Ryszard
1
2009
Relational structures model of concurrency. Zbl 1147.68054
Janicki, Ryszard
7
2008
Modelling concurrency with quotient monoids. Zbl 1143.68486
Janicki, Ryszard; Lê, Dai Tri Man
1
2008
Towards a pragmatic mereology. Zbl 1108.68031
Janicki, Ryszard; Lê, Dai Tri Man
2
2007
Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116
Carette, Jacques; Janicki, Ryszard
2
2007
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard
1
2007
On a parthood specification method for component software. Zbl 1162.68400
Le, Dai Tri Man; Janicki, Ryszard
1
2006
Basic mereology with equivalence relations. Zbl 1156.03326
Janicki, Ryszard
1
2005
A generalisation of a relational structures model of concurrency. Zbl 1109.68073
Janicki, Ryszard
1
2005
Modelling concurrent behaviours by commutativity and weak causality relations. Zbl 1275.68105
Guo, Guangyuan; Janicki, Ryszard
4
2002
On a mereological system for relational software specifications. Zbl 1014.68050
Janicki, Ryszard
1
2002
On a formal semantics of tabular expressions. Zbl 0971.68100
Janicki, Ryszard; Khedri, Ridha
6
2001
On causality semantics of nets with priorities. Zbl 1058.68540
Janicki, Ryszard; Koutny, Maciej
4
1999
Fundamentals of modelling concurrency using discrete relational structures. Zbl 0934.68047
Janicki, Ryszard; Koutny, Maciej
14
1997
Tabular representations in relational documents. Zbl 1114.68597
Janicki, Ryszard; Parnas, David Lorge; Zucker, Jeffery
4
1997
A weak order approach to group ranking. Zbl 0862.90011
Janicki, R.; Koczkodaj, W. W.
4
1996
Semantics of inhibitor nets. Zbl 1096.68678
Janicki, Ryszard; Koutny, Maciej
41
1995
Representations of discrete interval orders and semi-orders. Zbl 0832.06001
Janicki, Ryszard; Koutny, Maciej
2
1994
Structure of concurrency. Zbl 0814.68061
Janicki, Ryszard; Koutny, Maciej
27
1993
Order structures and generalisations of Szpilrajn’s theorem. Zbl 0924.06005
Janicki, Ryszard; Koutny, Maciej
2
1993
Specification and analysis of concurrent systems. The COSY approach. Zbl 0765.68007
Janicki, Ryszard; Lauer, Peter E.
6
1992
On some implementation of optimal simulations. Zbl 0797.68111
Janicki, Ryszard; Koutny, Maciej
2
1991
Using optimal simulations to reduce reachability graphs. Zbl 0765.68128
Janicki, Ryszard; Koutny, Maciej
2
1991
A formal semantics for concurrent systems with a priority relation. Zbl 0589.68021
Janicki, Ryszard
8
1987
An introduction to the macro COSY notation. Zbl 0639.68052
Lauer, P. E.; Janicki, R.
5
1987
Concurrent and maximally concurrent evolution of nonsequential systems. Zbl 0604.68006
Janicki, Ryszard; Lauer, Peter E.; Koutny, Maciej; Devillers, Raymond
9
1986
Maximally concurrent evolution of non-sequential systems. Zbl 0565.68020
Janicki, R.; Lauer, P. E.; Devillers, R.
4
1985
Transforming sequential systems into concurrent systems. Zbl 0559.68032
Janicki, Ryszard
3
1985
An equivalence notion for path expressions systems. Zbl 0573.68028
Janicki, Ryszard
2
1985
Nets, sequential components and concurrency relations. Zbl 0546.68039
Janicki, Ryszard
4
1984
A method for developing concurrent systems. Zbl 0538.68015
Janicki, Ryszard
3
1984
Analysis of concurrent schemes by means of concurrency relations. Zbl 0513.68053
Janicki, Ryszard
1
1982
A construction of concurrent systems by means of sequential solutions and concurrency relations. Zbl 0466.68047
Janicki, Ryszard
2
1981
An algebraic structure of Petri nets. Zbl 0438.68021
Janicki, Ryszard
1
1980
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. Zbl 0445.68023
Janicki, Ryszard
1
1980
On atomic nets and concurrency relations. Zbl 0449.68021
Janicki, Ryszard
1
1980
A characterization of concurrency-like relations. Zbl 0402.68020
Janicki, Ryszard
1
1979
Synthesis of concurrent schemes. Zbl 0382.68023
Janicki, Ryszard
4
1978
An algebraic approach to the theory of recursive coroutines. Zbl 0362.68056
Janicki, Ryszard
2
1977
Vectors of coroutines over Blikle nets. Zbl 0366.68005
Janicki, Ryszard
1
1977
all top 5

Cited by 144 Authors

25 Janicki, Ryszard
14 Koutny, Maciej
9 Corradini, Andrea
7 Baldan, Paolo
7 Kleijn, Jetty
6 Vogler, Walter
5 Kułakowski, Konrad
5 Mikulski, Łukasz
4 Best, Eike
3 Busi, Nadia
3 Chatain, Thomas
3 Desel, Jörg
3 Fahrenberg, Uli
3 Haar, Stefan
3 Johansen, Christian
3 Koczkodaj, Waldemar W.
3 König, Barbara
3 Lê, Dai Tri Man
3 Mili, Ali
3 Montanari, Ugo G.
3 Pinna, G. Michele
3 Schwoon, Stefan
3 Struth, Georg
2 Bouvier, Pierre
2 Devillers, Raymond
2 Garavel, Hubert
2 Ghardallou, Wided
2 Gorrieri, Roberto
2 Herden, Gerhard
2 Juhás, Gabriel
2 Khedri, Ridha
2 Labed Jilani, Lamia
2 Lorenz, Robert G.
2 Louhichi, Asma
2 Mazurek, Jiří
2 Mraihi, Olfa
2 Parnas, David Lorge
2 Paulevé, Loïc
2 Rossi, Francesca
2 Varpaaniemi, Kimmo
2 Ziemiański, Krzysztof
1 Aalbersberg, Ijsbrand Jan
1 Aharon, Shir
1 Alabbad, Mohammed
1 Alqarni, Mohammad
1 Alqarni, Mohammed
1 Alrahman, Yehia Abd
1 Amat, Nicolas
1 Bashkin, Vladimir A.
1 Battyányi, Péter
1 Bause, Falko
1 Bergenthum, Robin
1 Bertoni, Alberto
1 Bihler, Elmar
1 Bosi, Gianni
1 Bruni, Alessandro
1 Bsaïes, Khaled
1 Carette, Jacques
1 Chalyy, D. Yu.
1 Cleaveland, Rance
1 Cotnoir, Aaron J.
1 Dal Zilio, Silvano
1 de Vink, Erik P.
1 Dediu, Adrian Horia
1 Degano, Pierpaolo
1 Deng, Xiaofei
1 Desharnais, Jules
1 Diallo, Nafi
1 Ehrig, Hartmut
1 Farmer, William M.
1 Gelbukh, Alexander
1 Gonzalez, Fabio A.
1 Grobler-Dębska, Katarzyna
1 Hermann, Frank
1 Hu, Mengjun
1 Jančar, Petr
1 Janssens, Dirk
1 Jard, Claude
1 Jiao, Li
1 Jimenez, Sergio
1 Jin, Ying
1 Jones, Owain Daniel
1 Jourdan, Guy-Vincent
1 Kastenberg, Harmen
1 Katoen, Joost-Pieter
1 Keesmaat, N. W.
1 Kolčák, Juraj
1 Kuz’min, Egor Vladimirovich
1 Lai, Lei
1 Lauer, Peter Ernst
1 Le Botlan, Didier
1 Lenarčič, Adam
1 Liu, Caihui
1 Lomazova, Irina A.
1 Lüttgen, Gerald
1 Magniette, Frederic
1 Marek, V. Wiktor
1 Martín-Vide, Carlos
1 Mauri, Giancarlo
1 Mauser, Sebastian
...and 44 more Authors

Citations by Year