×
Edit Profile (opens in new tab)

Janicki, Ryszard

Co-Author Distance
Author ID: janicki.ryszard Recent zbMATH articles by "Janicki, Ryszard"
Published as: Janicki, Ryszard; Janicki, R.
Documents Indexed: 88 Publications since 1976, including 3 Books
13 Contributions as Editor · 1 Further Contribution
Reviewing Activity: 63 Reviews
Co-Authors: 40 Co-Authors with 59 Joint Publications
1,048 Co-Co-Authors
all top 5

Co-Authors

41 single-authored
22 Koutny, Maciej
11 Mikulski, Łukasz
10 Kleijn, Jetty
6 Lê, Dai Tri Man
4 Lauer, Peter Ernst
3 Koczkodaj, Waldemar W.
2 Carette, Jacques
2 Devillers, Raymond
2 Sidorova, Natalia
2 Yin, Xiang
2 Zubkova, Nadezhda
1 Alqarni, Mohammad
1 Alqarni, Mohammed
1 Annaev, T. A.
1 Asztalos, Domonkos
1 Athreya, Krishna Balasundaram
1 Bagyinszki, Anna
1 Barchanski, A. Jerzy
1 Basten, Twan
1 Billington, Jonathan
1 Bogobowicz, Agnieszka D.
1 Chatain, Thomas
1 Desel, Jörg
1 Edwards, Stephen A.
1 Goldsack, Stephen J.
1 Grzymala-Busse, Jerzy W.
1 Guo, Guang-Yuan
1 Haase, Volkmar H.
1 Hassanien, Aboul Ella
1 Holba, Ágnes
1 Huang, Guangmei
1 Hunyadvari, Laszlo
1 Iványi, Antal Miklós
1 Just, Jan Rudolf
1 Khedri, Ridha
1 Kiss, Oliver
1 Krámli, András
1 Kryukov, V. A.
1 Kułakowski, Konrad
1 Kurinckx, Alain
1 Lakatos, László
1 Lasota, Sławomir
1 Lenarčič, Adam
1 Li, Tianrui
1 Liu, Yan
1 Lukacs, Pal
1 Luybimskij, Eh. Z.
1 Mori, F. Tamas
1 Muehleisen, Tomasz
1 Müldner, Tomasz
1 Nguyen, Hung Son
1 Olah, V.
1 Parlewicz, Marek
1 Parnas, David Lorge
1 Peterseil, Adam
1 Pinter, Zs.
1 Poka, Peter
1 Pranevichus, G. I.
1 Ptak, Wlodzimierz
1 Qin, Xiaolin
1 Rado, Peter
1 Sekesh, I.
1 Shura-Bura, Mikhail Romanovich
1 Somogyi, J.
1 Suetoe, J. P.
1 Vassel, Robert
1 Vogler, Walter
1 Wang, Guoyin
1 Wassyng, Alan
1 Xie, Xiaojun
1 Yu, Hong
1 Zhai, Yun
1 Zucker, Jeffery I.
all top 5

Serials

20 Fundamenta Informaticae
7 Theoretical Computer Science
4 Acta Informatica
3 Annales Societatis Mathematicae Polonae. Series IV
3 Information and Computation
3 International Journal of Approximate Reasoning
2 Prace, Centrum obliczeniowe (CO), Polska Akademia Nauk (PAN)
2 Lecture Notes in Computer Science
1 Computers & Mathematics with Applications
1 Applied Mathematics and Computation
1 Journal of Computer and System Sciences
1 Science of Computer Programming
1 Statistics & Probability Letters
1 Journal of Information Processing and Cybernetics
1 Elektronische Informationsverarbeitung und Kybernetik
1 Logic Journal of the IGPL
1 Studies in Computational Intelligence
1 Scientific Annals of Computer Science
1 EATCS Monographs on Theoretical Computer Science
1 Prace Instytut Podstaw Informatyki, Polska Akademia Nauk
all top 5

Fields

97 Computer science (68-XX)
13 General and overarching topics; collections (00-XX)
9 Order, lattices, ordered algebraic structures (06-XX)
8 Mathematical logic and foundations (03-XX)
4 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 General algebraic systems (08-XX)
1 Group theory and generalizations (20-XX)
1 Measure and integration (28-XX)
1 Probability theory and stochastic processes (60-XX)
1 Systems theory; control (93-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

64 Publications have been cited 289 times in 131 Documents Cited by ▼ Year ▼
Semantics of inhibitor nets. Zbl 1096.68678
Janicki, Ryszard; Koutny, Maciej
43
1995
Structure of concurrency. Zbl 0814.68061
Janicki, Ryszard; Koutny, Maciej
32
1993
Fundamentals of modelling concurrency using discrete relational structures. Zbl 0934.68047
Janicki, Ryszard; Koutny, Maciej
14
1997
Optimal approximations with rough sets and similarities in measure spaces. Zbl 1352.68245
Janicki, Ryszard; Lenarčič, Adam
10
2016
Concurrent and maximally concurrent evolution of nonsequential systems. Zbl 0604.68006
Janicki, Ryszard; Lauer, Peter E.; Koutny, Maciej; Devillers, Raymond
10
1986
Modeling concurrency with interval traces. Zbl 1359.68224
Janicki, Ryszard; Yin, Xiang
9
2017
A formal semantics for concurrent systems with a priority relation. Zbl 0589.68021
Janicki, Ryszard
8
1987
Step traces. Zbl 1335.68173
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
7
2016
Specification and analysis of concurrent systems. The COSY approach. Zbl 0765.68007
Janicki, Ryszard; Lauer, Peter E.
7
1992
Relational structures model of concurrency. Zbl 1147.68054
Janicki, Ryszard
7
2008
Modelling concurrency with comtraces and generalized comtraces. Zbl 1244.68057
Janicki, Ryszard; Lê, Dai Tri Man
6
2011
On a formal semantics of tabular expressions. Zbl 0971.68100
Janicki, Ryszard; Khedri, Ridha
6
2001
Modeling interval order structures with partially commutative monoids. Zbl 1364.68288
Janicki, Ryszard; Yin, Xiang; Zubkova, Nadezhda
6
2012
Approximations of arbitrary binary relations by partial orders: classical and rough set models. Zbl 1316.03026
Janicki, Ryszard
5
2011
On a pairwise comparison-based consistent non-numerical ranking. Zbl 1264.91055
Janicki, Ryszard; Zhai, Yun
5
2012
Operational semantics, interval orders and sequences of antichains. Zbl 1428.68178
Janicki, Ryszard; Koutny, Maciej
5
2019
A weak order approach to group ranking. Zbl 0862.90011
Janicki, R.; Koczkodaj, W. W.
5
1996
An introduction to the macro COSY notation. Zbl 0639.68052
Lauer, P. E.; Janicki, R.
5
1987
Classifying invariant structures of step traces. Zbl 1423.68310
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
4
2019
Characterising concurrent histories. Zbl 1334.68153
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
4
2015
Modelling concurrent behaviours by commutativity and weak causality relations. Zbl 1275.68105
Guo, Guangyuan; Janicki, Ryszard
4
2002
Property-driven rough sets approximations of relations. Zbl 1308.68115
Janicki, Ryszard
4
2013
Quotient monoids and concurrent behaviours. Zbl 1236.68193
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej
4
2011
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
Maximally concurrent evolution of non-sequential systems. Zbl 0565.68020
Janicki, R.; Lauer, P. E.; Devillers, R.
4
1985
Synthesis of concurrent schemes. Zbl 0382.68023
Janicki, Ryszard
4
1978
Nets, sequential components and concurrency relations. Zbl 0546.68039
Janicki, Ryszard
4
1984
Order structures for subclasses of generalised traces. Zbl 1423.68309
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
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
Towards a pragmatic mereology. Zbl 1108.68031
Janicki, Ryszard; Lê, Dai Tri Man
3
2007
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
Approximations of arbitrary relations by partial orders. Zbl 1448.68418
Janicki, Ryszard
2
2018
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
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
Yet another kind of rough sets induced by coverings. Zbl 1489.68287
Janicki, Ryszard
2
2017
Using optimal simulations to reduce reachability graphs. Zbl 0765.68128
Janicki, Ryszard; Koutny, Maciej
2
1991
On some implementation of optimal simulations. Zbl 0797.68111
Janicki, Ryszard; Koutny, Maciej
2
1991
Relational structures for concurrent behaviours. Zbl 1497.68344
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
2
2021
An algebraic approach to the theory of recursive coroutines. Zbl 0362.68056
Janicki, Ryszard
2
1977
An equivalence notion for path expressions systems. Zbl 0573.68028
Janicki, Ryszard
2
1985
A construction of concurrent systems by means of sequential solutions and concurrency relations. Zbl 0466.68047
Janicki, Ryszard
2
1981
Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116
Carette, Jacques; Janicki, Ryszard
2
2007
Alphabets of acyclic invariant structures. Zbl 1378.68119
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
1
2017
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
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
Analysis of concurrent schemes by means of concurrency relations. Zbl 0513.68053
Janicki, Ryszard
1
1982
Vectors of coroutines over Blikle nets. Zbl 0366.68005
Janicki, Ryszard
1
1977
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard
1
2007
An algebraic structure of Petri nets. Zbl 0438.68021
Janicki, Ryszard
1
1980
On a parthood specification method for component software. Zbl 1162.68400
Le, Dai Tri Man; Janicki, Ryszard
1
2006
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
Basic mereology with equivalence relations. Zbl 1156.03326
Janicki, Ryszard
1
2005
Modelling concurrency with quotient monoids. Zbl 1143.68486
Janicki, Ryszard; Lê, Dai Tri Man
1
2008
Algebraic structure of step traces and interval traces. Zbl 1497.68345
Janicki, Ryszard; Mikulski, Łukasz
1
2020
A characterization of concurrency-like relations. Zbl 0402.68020
Janicki, Ryszard
1
1979
Pairwise comparisons based non-numerical ranking. Zbl 1192.68671
Janicki, Ryszard
1
2009
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
Algebraic structure of step traces and interval traces. Zbl 1497.68345
Janicki, Ryszard; Mikulski, Łukasz
1
2020
Operational semantics, interval orders and sequences of antichains. Zbl 1428.68178
Janicki, Ryszard; Koutny, Maciej
5
2019
Classifying invariant structures of step traces. Zbl 1423.68310
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
4
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
2
2018
Modeling concurrency with interval traces. Zbl 1359.68224
Janicki, Ryszard; Yin, Xiang
9
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
10
2016
Step traces. Zbl 1335.68173
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
7
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
Characterising concurrent histories. Zbl 1334.68153
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
4
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
4
2013
Modeling interval order structures with partially commutative monoids. Zbl 1364.68288
Janicki, Ryszard; Yin, Xiang; Zubkova, Nadezhda
6
2012
On a pairwise comparison-based consistent non-numerical ranking. Zbl 1264.91055
Janicki, Ryszard; Zhai, Yun
5
2012
Modelling concurrency with comtraces and generalized comtraces. Zbl 1244.68057
Janicki, Ryszard; Lê, Dai Tri Man
6
2011
Approximations of arbitrary binary relations by partial orders: classical and rough set models. Zbl 1316.03026
Janicki, Ryszard
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
3
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
A generalisation of a relational structures model of concurrency. Zbl 1109.68073
Janicki, Ryszard
1
2005
Basic mereology with equivalence relations. Zbl 1156.03326
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.
5
1996
Semantics of inhibitor nets. Zbl 1096.68678
Janicki, Ryszard; Koutny, Maciej
43
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
32
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
Using optimal simulations to reduce reachability graphs. Zbl 0765.68128
Janicki, Ryszard; Koutny, Maciej
2
1991
On some implementation of optimal simulations. Zbl 0797.68111
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
10
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 cited Publications top 5 cited Publications
all top 5

Cited by 155 Authors

28 Janicki, Ryszard
15 Koutny, Maciej
9 Corradini, Andrea
7 Baldan, Paolo
7 Kleijn, Jetty
6 Fahrenberg, Uli
6 Kułakowski, Konrad
6 Mikulski, Łukasz
6 Vogler, Walter
5 Ziemiański, Krzysztof
4 Best, Eike
3 Busi, Nadia
3 Chatain, Thomas
3 Desel, Jörg
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 Bergenthum, Robin
2 Bouvier, Pierre
2 Devillers, Raymond
2 Garavel, Hubert
2 Ghardallou, Wided
2 Gorrieri, Roberto
2 Herden, Gerhard
2 Hu, Mengjun
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 Rasiowa, Helena
2 Rossi, Francesca
2 Varpaaniemi, Kimmo
1 Aalbersberg, Ijsbrand Jan
1 Aharon, Shir
1 Alabbad, Mohammed
1 Alqarni, Mohammad
1 Alqarni, Mohammed
1 Alrahman, Yehia Abd
1 Amat, Nicolas
1 Amrane, Amazigh
1 Bashkin, Vladimir A.
1 Battyányi, Péter
1 Bause, Falko
1 Bazille, Hugo
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 Ernst, Sebastian
1 Farmer, William M.
1 Folz-Weinstein, Sabine
1 Gelbukh, Alexander
1 Gonzalez, Fabio A.
1 Grobler-Dębska, Katarzyna
1 Hermann, Frank
1 Huang, Guangmei
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 Kovář, Jakub
1 Kuz’min, Egor Vladimirovich
1 Lai, Lei
1 Lauer, Peter Ernst
1 Le Botlan, Didier
1 Lenarčič, Adam
1 Liu, Caihui
...and 55 more Authors
all top 5

Cited in 34 Serials

21 Theoretical Computer Science
9 Information and Computation
6 Acta Informatica
6 International Journal of Approximate Reasoning
3 Information Processing Letters
3 Information Sciences
3 Studia Logica
3 Fundamenta Informaticae
2 Journal of Computer and System Sciences
2 Mathematical Structures in Computer Science
2 Journal of Global Optimization
2 European Journal of Operational Research
2 RAIRO. Informatique Théorique et Applications
2 Formal Methods in System Design
2 The Journal of Logic and Algebraic Programming
2 Natural Computing
2 Logical Methods in Computer Science
1 Computers & Mathematics with Applications
1 Applied Mathematics and Computation
1 Journal of Soviet Mathematics
1 Programming and Computer Software
1 Synthese
1 Science of Computer Programming
1 Mathematical Social Sciences
1 International Journal of Production Research
1 Order
1 Journal of Symbolic Computation
1 Formal Aspects of Computing
1 Distributed Computing
1 Journal of Applied Non-Classical Logics
1 Annals of Mathematics and Artificial Intelligence
1 Reliable Computing
1 Journal of Logical and Algebraic Methods in Programming
1 Journal of Membrane Computing
all top 5

Cited in 15 Fields

120 Computer science (68-XX)
15 Mathematical logic and foundations (03-XX)
6 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4 Operations research, mathematical programming (90-XX)
3 Order, lattices, ordered algebraic structures (06-XX)
3 Category theory; homological algebra (18-XX)
2 Group theory and generalizations (20-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 General topology (54-XX)
2 Biology and other natural sciences (92-XX)
1 General and overarching topics; collections (00-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Topological groups, Lie groups (22-XX)
1 Measure and integration (28-XX)
1 Systems theory; control (93-XX)

Citations by Year