×

zbMATH — the first resource for mathematics

Janicki, Ryszard

Compute Distance To:
Author ID: janicki.ryszard Recent zbMATH articles by "Janicki, Ryszard"
Published as: Janicki, R.; Janicki, Ryszard
Documents Indexed: 92 Publications since 1976, including 9 Books
Reviewing Activity: 62 Reviews

Publications by Year

Citations contained in zbMATH

52 Publications have been cited 183 times in 86 Documents Cited by Year
Semantics of inhibitor nets. Zbl 1096.68678
Janicki, Ryszard; Koutny, Maciej
29
1995
Structure of concurrency. Zbl 0814.68061
Janicki, Ryszard; Koutny, Maciej
17
1993
Fundamentals of modelling concurrency using discrete relational structures. Zbl 0934.68047
Janicki, Ryszard; Koutny, Maciej
9
1997
Specification and analysis of concurrent systems. The COSY approach. Zbl 0765.68007
Janicki, Ryszard; Lauer, Peter E.
7
1992
Concurrent and maximally concurrent evolution of nonsequential systems. Zbl 0604.68006
Janicki, Ryszard; Lauer, Peter E.; Koutny, Maciej; Devillers, Raymond
6
1986
On a pairwise comparison-based consistent non-numerical ranking. Zbl 1264.91055
Janicki, Ryszard; Zhai, Yun
5
2012
Relational structures model of concurrency. Zbl 1147.68054
Janicki, Ryszard
5
2008
A formal semantics for concurrent systems with a priority relation. Zbl 0589.68021
Janicki, Ryszard
5
1987
Optimal approximations with rough sets and similarities in measure spaces. Zbl 1352.68245
Janicki, Ryszard; Lenarčič, Adam
4
2016
Modelling concurrency with comtraces and generalized comtraces. Zbl 1244.68057
Janicki, Ryszard; Lê, Dai Tri Man
4
2011
Quotient monoids and concurrent behaviours. Zbl 1236.68193
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej
4
2011
On a formal semantics of tabular expressions. Zbl 0971.68100
Janicki, Ryszard; Khedri, Ridha
4
2001
On causality semantics of nets with priorities. Zbl 1058.68540
Janicki, Ryszard; Koutny, Maciej
4
1999
On some implementation of optimal simulations. Zbl 0797.68111
Janicki, Ryszard; Koutny, Maciej
4
1991
An introduction to the macro COSY notation. Zbl 0639.68052
Lauer, P. E.; Janicki, R.
4
1987
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
4
1985
Step traces. Zbl 1335.68173
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2016
Characterising concurrent histories. Zbl 1334.68153
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2015
Order structures for subclasses of generalised traces. Zbl 1423.68309
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2015
Property-driven rough sets approximations of relations. Zbl 1308.68115
Janicki, Ryszard
3
2013
Modeling interval order structures with partially commutative monoids. Zbl 1364.68288
Janicki, Ryszard; Yin, Xiang; Zubkova, Nadezhda
3
2012
Approximations of arbitrary binary relations by partial orders: classical and rough set models. Zbl 1316.03026
Janicki, Ryszard
3
2011
Modelling concurrent behaviours by commutativity and weak causality relations. Zbl 1275.68105
Guo, Guangyuan; Janicki, Ryszard
3
2002
Tabular representations in relational documents. Zbl 1114.68597
Janicki, Ryszard; Parnas, David Lorge; Zucker, Jeffery
3
1997
A weak order approach to group ranking. Zbl 0862.90011
Janicki, R.; Koczkodaj, W. W.
3
1996
Synthesis of concurrent schemes. Zbl 0382.68023
Janicki, Ryszard
3
1978
Modeling concurrency with interval traces. Zbl 1359.68224
Janicki, Ryszard; Yin, Xiang
2
2017
Asymptotics of powers of binomial and multinomial probabilities. Zbl 1382.60047
Athreya, K. B.; Janicki, R.
2
2016
On interval process semantics of Petri nets with inhibitor arcs. Zbl 1432.68298
Alqarni, Mohammed; Janicki, Ryszard
2
2015
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard
2
2007
Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116
Carette, Jacques; Janicki, Ryszard
2
2007
Representations of discrete interval orders and semi-orders. Zbl 0832.06001
Janicki, Ryszard; Koutny, Maciej
2
1994
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
An algebraic approach to the theory of recursive coroutines. Zbl 0362.68056
Janicki, Ryszard
2
1977
Alphabets of acyclic invariant structures. Zbl 1378.68119
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
1
2017
On approximation of relations by generalized closures and generalized kernels. Zbl 1398.68528
Bogobowicz, Agnieszka D.; Janicki, Ryszard
1
2016
On optimal approximations of arbitrary relations by partial orders. Zbl 1398.68540
Janicki, Ryszard
1
2016
Pairwise comparisons based non-numerical ranking. Zbl 1192.68671
Janicki, Ryszard
1
2009
Modelling concurrency with quotient monoids. Zbl 1143.68486
Janicki, Ryszard; Lê, Dai Tri Man
1
2008
A generalisation of a relational structures model of concurrency. Zbl 1109.68073
Janicki, Ryszard
1
2005
Using optimal simulations to reduce reachability graphs. Zbl 0765.68128
Janicki, Ryszard; Koutny, Maciej
1
1991
On equivalent execution semantics of concurrent systems. Zbl 0635.68016
Janicki, Ryszard; Koutny, Maciej
1
1987
Nets, sequential components and concurrency relations. Zbl 0546.68039
Janicki, Ryszard
1
1984
A method for developing concurrent systems. Zbl 0538.68015
Janicki, Ryszard
1
1984
Analysis of concurrent schemes by means of concurrency relations. Zbl 0513.68053
Janicki, Ryszard
1
1982
On atomic nets and concurrency relations. Zbl 0449.68021
Janicki, Ryszard
1
1980
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. Zbl 0445.68023
Janicki, Ryszard
1
1980
An algebraic structure of Petri nets. Zbl 0438.68021
Janicki, Ryszard
1
1980
A characterization of concurrency-like relations. Zbl 0402.68020
Janicki, Ryszard
1
1979
Vectors of coroutines over Blikle nets. Zbl 0366.68005
Janicki, Ryszard
1
1977
Modeling concurrency with interval traces. Zbl 1359.68224
Janicki, Ryszard; Yin, Xiang
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
4
2016
Step traces. Zbl 1335.68173
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2016
Asymptotics of powers of binomial and multinomial probabilities. Zbl 1382.60047
Athreya, K. B.; Janicki, R.
2
2016
On approximation of relations by generalized closures and generalized kernels. Zbl 1398.68528
Bogobowicz, Agnieszka D.; Janicki, Ryszard
1
2016
On optimal approximations of arbitrary relations by partial orders. Zbl 1398.68540
Janicki, Ryszard
1
2016
Characterising concurrent histories. Zbl 1334.68153
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
3
2015
Order structures for subclasses of generalised traces. Zbl 1423.68309
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
3
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
3
2012
Modelling concurrency with comtraces and generalized comtraces. Zbl 1244.68057
Janicki, Ryszard; Lê, Dai Tri Man
4
2011
Quotient monoids and concurrent behaviours. Zbl 1236.68193
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej
4
2011
Approximations of arbitrary binary relations by partial orders: classical and rough set models. Zbl 1316.03026
Janicki, Ryszard
3
2011
Pairwise comparisons based non-numerical ranking. Zbl 1192.68671
Janicki, Ryszard
1
2009
Relational structures model of concurrency. Zbl 1147.68054
Janicki, Ryszard
5
2008
Modelling concurrency with quotient monoids. Zbl 1143.68486
Janicki, Ryszard; Lê, Dai Tri Man
1
2008
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard
2
2007
Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116
Carette, Jacques; Janicki, Ryszard
2
2007
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
3
2002
On a formal semantics of tabular expressions. Zbl 0971.68100
Janicki, Ryszard; Khedri, Ridha
4
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
9
1997
Tabular representations in relational documents. Zbl 1114.68597
Janicki, Ryszard; Parnas, David Lorge; Zucker, Jeffery
3
1997
A weak order approach to group ranking. Zbl 0862.90011
Janicki, R.; Koczkodaj, W. W.
3
1996
Semantics of inhibitor nets. Zbl 1096.68678
Janicki, Ryszard; Koutny, Maciej
29
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
17
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.
7
1992
On some implementation of optimal simulations. Zbl 0797.68111
Janicki, Ryszard; Koutny, Maciej
4
1991
Using optimal simulations to reduce reachability graphs. Zbl 0765.68128
Janicki, Ryszard; Koutny, Maciej
1
1991
A formal semantics for concurrent systems with a priority relation. Zbl 0589.68021
Janicki, Ryszard
5
1987
An introduction to the macro COSY notation. Zbl 0639.68052
Lauer, P. E.; Janicki, R.
4
1987
On equivalent execution semantics of concurrent systems. Zbl 0635.68016
Janicki, Ryszard; Koutny, Maciej
1
1987
Concurrent and maximally concurrent evolution of nonsequential systems. Zbl 0604.68006
Janicki, Ryszard; Lauer, Peter E.; Koutny, Maciej; Devillers, Raymond
6
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
4
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
1
1984
A method for developing concurrent systems. Zbl 0538.68015
Janicki, Ryszard
1
1984
Analysis of concurrent schemes by means of concurrency relations. Zbl 0513.68053
Janicki, Ryszard
1
1982
On atomic nets and concurrency relations. Zbl 0449.68021
Janicki, Ryszard
1
1980
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. Zbl 0445.68023
Janicki, Ryszard
1
1980
An algebraic structure of Petri nets. Zbl 0438.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
3
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 106 Authors

18 Janicki, Ryszard
13 Koutny, Maciej
8 Corradini, Andrea
7 Baldan, Paolo
5 Kleijn, Jetty H. C. M.
5 Vogler, Walter
4 Best, Eike
4 Kułakowski, Konrad
4 Mikulski, Łukasz
3 Busi, Nadia
3 Desel, Jörg
3 König, Barbara
3 Mili, Ali
3 Montanari, Ugo G.
2 Devillers, Raymond
2 Ghardallou, Wided
2 Herden, Gerhard
2 Juhás, Gabriel
2 Khedri, Ridha
2 Kleijn, H. C. M.
2 Koczkodaj, Waldemar W.
2 Labed Jilani, Lamia
2 Lorenz, Robert G.
2 Louhichi, Asma
2 Mraihi, Olfa
2 Parnas, David Lorge
2 Pinna, G. Michele
2 Rasiowa, Helena
2 Rossi, Francesca L.
2 Schwoon, Stefan
1 Aalbersberg, Ijsbrand Jan
1 Aharon, Shir
1 Alabbad, Mohammed
1 Alqarni, Mohammad
1 Athreya, Krishna Balasundaram
1 Bergenthum, Robin
1 Bertoni, Alberto
1 Bosi, Gianni
1 Bruni, Alessandro
1 Bsaïes, Khaled
1 Chalyy, D. Yu.
1 Cleaveland, Rance
1 de Vink, Erik P.
1 Deng, Xiaofei
1 Desharnais, Jules
1 Diallo, Nafi
1 Ehrig, Hartmut
1 Gelbukh, Alexander
1 Gonzalez, Fabio A.
1 Gorrieri, Roberto
1 Grobler-Dębska, Katarzyna
1 Hermann, Frank
1 Hu, Mengjun
1 Janssens, Dirk
1 Jard, Claude
1 Jiao, Li
1 Jimenez, Sergio
1 Jin, Ying
1 Jones, Owain
1 Jourdan, Guy-Vincent
1 Keesmaat, N. W.
1 Kuz’min, E. V.
1 Lai, Lei
1 Lauer, Peter Ernst
1 Lê, Dai Tri Man
1 Lenarčič, Adam
1 Lüttgen, Gerald
1 Magniette, Frederic
1 Mani, Anandi
1 Mauri, Giancarlo
1 Mauser, Sebastian
1 Mazurek, Jiří
1 Meyer, John-Jules Charles
1 Müldner, Tomasz
1 Nadkarni, Chaitanya
1 Natarajan, Venkatesh
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Okulicka, Felicja
1 Ouimet, Frédéric
1 Pallack, Andreas
1 Peled, Doron A.
1 Pilard, Laurence
1 Pnueli, Amir
1 Ramík, Jaroslav
1 Rampon, Jean-Xavier
1 Reisig, Wolfgang
1 Ribeiro, Leila
1 Rodríguez, César
1 Rozenberg, Grzegorz
1 Rozoy, Brigitte
1 Sabadini, Nicoletta
1 Smith, Spencer A.
1 Sokolov, Valery A.
1 Soltys, Michael
1 Valmari, Antti
1 Varpaaniemi, Kimmo
1 Wang, Yunhe
1 Wąs, Jarosław
1 Wasilewska, Anita
1 Wen, Qiaoyan
...and 6 more Authors

Citations by Year