×

Fundamenta Informaticae

Annales Societatis Mathematicae Polonae. Series IV

Short Title: Fundam. Inform.
Parallel Title: Roczniki Polskiego Towarzystwa Matematycznego. Seria IV
Publisher: IOS Press, Amsterdam; Polish Mathematical Society (Polskie Towarzystwo Matematyczne - PTM), Warsaw
ISSN: 0169-2968; 1875-8681/e
Online: http://www.iospress.nl/journal/fundamenta-informaticae
http://www.mimuw.edu.pl/~fundam/FI/previous/issues.html
Predecessor: Annales Societatis Mathematicae Polonae. Series IV
Comments: Journal
Documents Indexed: 3,095 Publications (since 1999)
References Indexed: 201 Publications with 6,567 References.
all top 5

Latest Issues

190, No. 2-4 (2024)
190, No. 1 (2022)
189, No. 3-4 (2022)
189, No. 2 (2022)
189, No. 1 (2022)
188, No. 4 (2022)
188, No. 3 (2022)
188, No. 2 (2022)
188, No. 1 (2022)
187, No. 2-4 (2022)
187, No. 1 (2022)
186, No. 1-4 (2022)
185, No. 4 (2022)
185, No. 3 (2022)
185, No. 2 (2022)
185, No. 1 (2022)
184, No. 4 (2021)
184, No. 3 (2021)
184, No. 2 (2021)
184, No. 1 (2021)
183, No. 3-4 (2021)
183, No. 1-2 (2021)
182, No. 4 (2021)
182, No. 3 (2021)
182, No. 2 (2021)
182, No. 1 (2021)
181, No. 4 (2021)
181, No. 2-3 (2021)
181, No. 1 (2021)
180, No. 4 (2021)
180, No. 3 (2021)
180, No. 1-2 (2021)
179, No. 4 (2021)
179, No. 3 (2021)
179, No. 2 (2021)
179, No. 1 (2021)
178, No. 4 (2021)
178, No. 3 (2021)
178, No. 1-2 (2021)
177, No. 3-4 (2020)
177, No. 2 (2020)
177, No. 1 (2020)
176, No. 3-4 (2020)
176, No. 2 (2020)
176, No. 1 (2020)
175, No. 1-4 (2020)
174, No. 3-4 (2020)
174, No. 2 (2020)
174, No. 1 (2020)
173, No. 4 (2020)
173, No. 2-3 (2020)
173, No. 1 (2020)
172, No. 4 (2020)
172, No. 3 (2020)
172, No. 2 (2020)
172, No. 1 (2020)
171, No. 1-4 (2020)
170, No. 4 (2019)
170, No. 1-3 (2019)
169, No. 4 (2019)
169, No. 3 (2019)
169, No. 1-2 (2019)
168, No. 2-4 (2019)
168, No. 1 (2019)
167, No. 4 (2019)
167, No. 3 (2019)
167, No. 1-2 (2019)
166, No. 4 (2019)
166, No. 3 (2019)
166, No. 2 (2019)
166, No. 1 (2019)
165, No. 3-4 (2019)
165, No. 2 (2019)
165, No. 1 (2019)
164, No. 4 (2019)
164, No. 2-3 (2019)
164, No. 1 (2019)
163, No. 4 (2018)
163, No. 3 (2018)
163, No. 2 (2018)
163, No. 1 (2018)
162, No. 2-3 (2018)
162, No. 1 (2018)
161, No. 4 (2018)
161, No. 3 (2018)
161, No. 1-2 (2018)
160, No. 4 (2018)
160, No. 3 (2018)
160, No. 1-2 (2018)
159, No. 4 (2018)
159, No. 3 (2018)
159, No. 1-2 (2018)
158, No. 4 (2018)
158, No. 1-3 (2018)
157, No. 4 (2018)
157, No. 3 (2018)
157, No. 1-2 (2018)
156, No. 3-4 (2017)
156, No. 2 (2017)
156, No. 1 (2017)
...and 320 more Volumes
all top 5

Authors

50 Penczek, Wojciech
40 Czaja, Ludwik
34 Chang, Chin-Chen
32 Skowron, Andrzej
28 Koutny, Maciej
28 Suraj, Zbigniew
25 Păun, Gheorghe
24 Kudlek, Manfred
24 Rozenberg, Grzegorz
22 Moshkov, Mikhail Ju.
22 Pérez-Jiménez, Mario J.
20 Janicki, Ryszard
20 Peters, James Francis III
19 Freund, Rudolf
19 Polkowski, Lech T.
17 Köhler-Bußmeier, Michael
17 Zbrzezny, Andrzej
16 Gruska, Damas P.
16 Kleijn, Jetty
16 Margenstern, Maurice
16 Pettorossi, Alberto
15 Barbuti, Roberto
15 Devillers, Raymond
15 Kutrib, Martin
15 Maggiolo-Schettini, Andrea
15 Nguyen, Linh Anh
15 Stepaniuk, Jarosław
14 Lomazova, Irina A.
14 Pan, Linqiang
14 Redziejowski, Roman R.
14 Wolski, Marcin
13 Burkhard, Hans-Dieter
13 Farwer, Berndt
13 Gomolińska, Anna
13 Milazzo, Paolo
13 Pancerz, Krzysztof
12 Bergstra, Jan A.
12 Ciucci, Davide
12 Holzer, Markus
12 Kacprzak, Magdalena
12 Karhumaki, Juhani
12 Proietti, Maurizio
12 Zielosko, Beata
11 Chikalov, Igor V.
11 Hu, Yuchen
11 Iliopoulos, Costas S.
11 Kari, Lila
11 Middelburg, Cornelis A.
11 Okhotin, Alexander
11 Orłowska, Ewa S.
11 Popova-Zeugmann, Louchka
11 Simson, Daniel
11 Szreter, Maciej
11 Yao, Yiyu
10 Csuhaj-Varjú, Erzsébet
10 Düntsch, Ivo
10 Lomuscio, Alessio
10 Salomaa, Kai T.
10 Ślęzak, Dominik
10 Vakarelov, Dimiter
10 Winkowski, Jozef
10 Yakovlev, Alexandre V.
9 Alhazov, Artiom
9 Bellia, Marco
9 Best, Eike
9 Ciobanu, Gabriel
9 Dassow, Jürgen
9 Dulio, Paolo
9 Frosini, Andrea
9 Maji, Pradipta
9 Mikulski, Łukasz
9 Nguyen, Hung Son
9 Occhiuto, M. Eugenia
9 Półrola, Agata
9 Potapov, Igor
9 Salomaa, Arto Kustaa
9 Salwicki, Andrzej
9 Tini, Simone
9 Torroni, Paolo
9 Vaszil, Gyorgy
9 Verlan, Sergey
9 Wang, Guoyin
9 Zandron, Claudio
8 Bistarelli, Stefano
8 Dinu, Liviu Petrişor
8 Gheorghe, Marian
8 Halava, Vesa
8 Hoogeboom, Hendrik Jan
8 Kari, Jarkko
8 Klaudel, Hanna
8 Leporati, Alberto
8 Mauri, Giancarlo
8 Otto, Friedrich
8 Terlikowski, Tomasz
8 Tsumoto, Shusaku
8 van der Aalst, Wil M. P.
8 Virbitskaite, Irina B.
8 Wolf, Karsten
8 Woźna, Bożena
7 Balbiani, Philippe
...and 3,978 more Authors
all top 5

Fields

2,595 Computer science (68-XX)
503 Mathematical logic and foundations (03-XX)
168 General and overarching topics; collections (00-XX)
167 Information and communication theory, circuits (94-XX)
131 Combinatorics (05-XX)
123 Biology and other natural sciences (92-XX)
97 Operations research, mathematical programming (90-XX)
86 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
76 Order, lattices, ordered algebraic structures (06-XX)
44 Number theory (11-XX)
38 Numerical analysis (65-XX)
28 Dynamical systems and ergodic theory (37-XX)
27 Statistics (62-XX)
26 General topology (54-XX)
25 History and biography (01-XX)
24 Systems theory; control (93-XX)
21 Group theory and generalizations (20-XX)
21 Partial differential equations (35-XX)
16 Associative rings and algebras (16-XX)
16 Category theory; homological algebra (18-XX)
15 General algebraic systems (08-XX)
14 Quantum theory (81-XX)
13 Linear and multilinear algebra; matrix theory (15-XX)
12 Ordinary differential equations (34-XX)
12 Probability theory and stochastic processes (60-XX)
10 Real functions (26-XX)
9 Convex and discrete geometry (52-XX)
8 Algebraic geometry (14-XX)
7 Statistical mechanics, structure of matter (82-XX)
5 Integral equations (45-XX)
3 Field theory and polynomials (12-XX)
3 Operator theory (47-XX)
2 Commutative algebra (13-XX)
2 Nonassociative rings and algebras (17-XX)
2 Special functions (33-XX)
2 Geometry (51-XX)
2 Fluid mechanics (76-XX)
1 Functions of a complex variable (30-XX)
1 Functional analysis (46-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Astronomy and astrophysics (85-XX)
1 Mathematics education (97-XX)

Publications by Year

Citations contained in zbMATH Open

1,712 Publications have been cited 7,944 times in 5,569 Documents Cited by Year
Spiking neural P systems. Zbl 1110.68043
Ionescu, Mihai; Păun, Gheorghe; Yokomori, Takashi
180
2006
Reaction systems. Zbl 1108.68056
Ehrenfeucht, A.; Rozenberg, G.
92
2007
Approximate entropy reducts. Zbl 1092.68676
Ślȩzak, Dominik
56
2003
Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182
Abu Arqub, Omar
53
2019
Game-theoretic rough sets. Zbl 1243.91016
Herbert, Joseph P.; Yao, Jingtao
49
2011
Application of residual power series method for the solution of time-fractional Schrödinger equations in one-dimensional space. Zbl 1417.65184
Arqub, Omar Abu
47
2019
Contact algebras and region-based theory of space: a proximity approach. I. Zbl 1111.68122
Dimov, Georgi; Vakarelov, Dimiter
46
2006
Agents that know how to play. Zbl 1102.68106
Jamroga, Wojciech; van der Hoek, Wiebe
44
2004
On string languages generated by spiking neural P systems. Zbl 1108.68055
Chen, Haiming; Freund, Rudolf; Ionescu, Mihai; Păun, Gheorghe; Pérez-Jiménez, Mario J.
38
2007
Combinatorial geometry and coding theory. Zbl 1421.94120
Raigorodskii, A. M.
36
2016
Number-conserving cellular automaton rules. Zbl 1013.37006
Boccara, Nino; Fukś, Henryk
34
2002
Near sets. Special theory about nearness of objects. Zbl 1108.68119
Peters, James F.
34
2007
Qualitative spatial representation and reasoning: An overview. Zbl 0974.68206
Cohn, A. G.; Hazarika, S. M.
33
2001
A new family of the local fractional PDEs. Zbl 1386.35461
Yang, Xiao-Jun; Machado, J. A. Tenreiro; Nieto, Juan J.
33
2017
The axiomatization of the rough set upper approximation. Zbl 1096.68150
Liu, Gui-Long
32
2006
Solving a PSPACE-complete problem by recognizing P systems with restricted active membranes. Zbl 1085.68048
Alhazov, Artiom; Martín-Vide, Carlos; Pan, Linqiang
31
2004
On the structure of rough approximations. Zbl 1012.68200
Järvinen, Jouni
30
2002
The watershed transform: Definitions, algorithms and parallelization strategies. Zbl 0958.68184
Roerdink, Jos B. T. M.; Meijster, Arnold
30
2000
Entropies and co-entropies of coverings with application to incomplete information systems. Zbl 1108.68112
Bianucci, Daniela; Cattaneo, Gianpiero; Ciucci, Davide
30
2007
Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1136.03045
Diaconescu, Denisa; Georgescu, George
29
2007
Branching bisimilarity with explicit divergence. Zbl 1183.68404
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
29
2009
SM-algorithms for approximating the variable-order fractional derivative of high order. Zbl 1377.65031
Moghaddam, B. P.; Machado, J. A. T.
29
2017
Mesh algorithms for solving principal Diophantine equations, sand-glass tubes and tori of roots. Zbl 1257.11109
Simson, Daniel
28
2011
Residual power series method for fractional diffusion equations. Zbl 1386.35445
Kumar, Amit; Kumar, Sunil; Yan, Sheng-Ping
28
2017
Rough sets, coverings and incomplete information. Zbl 1279.68308
Couso, Inés; Dubois, Didier
27
2011
Approximate solutions of DASs with nonclassical boundary conditions using novel reproducing kernel algorithm. Zbl 1373.65051
Arqub, Omar Abu
27
2016
Picture fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. Zbl 1390.68684
Wei, Guiwu
26
2018
A multiple-category classification approach with decision-theoretic rough sets. Zbl 1248.68492
Liu, Dun; Li, Tianrui; Li, Huaxiong
26
2012
Logics for real time: decidability and complexity. Zbl 1127.03012
Hirshfeld, Yoram; Rabinovich, Alexander
26
2004
An optimization wavelet method for multi variable-order fractional differential equations. Zbl 1379.65046
Heydari, M. H.; Hooshmandasl, M. R.; Cattani, C.; Hariharan, G.
26
2017
Algorithms determining matrix Morsifications, Weyl orbits, Coxeter polynomials and mesh geometries of roots for Dynkin diagrams. Zbl 1290.68138
Simson, Daniel
25
2013
Fault diagnosis with static and dynamic observers. Zbl 1167.68011
Cassez, Franck; Tripakis, Stavros
25
2008
On axiomatization of inconsistency indicators for pairwise comparisons. Zbl 1303.91063
Koczkodaj, Waldemar W.; Szwarc, Ryszard
24
2014
A comparative study of algebra viewpoint and information viewpoint in attribute reduction. Zbl 1098.68134
Wang, Guoyin Y.; Zhao, Jun; An, Jiujiang; Wu, Yu
24
2005
A modal interface theory for component-based design. Zbl 1242.68147
Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto
24
2011
Modelling multi-agent three-way decisions with decision-theoretic rough sets. Zbl 1248.68505
Yang, Xiaoping; Yao, Jingtao
24
2012
Reaction system models for the heat shock response. Zbl 1286.92022
Azimi, Sepinoud; Iancu, Bogdan; Petre, Ion
23
2014
P systems with proteins on membranes. Zbl 1099.68031
Păun, Andrei; Popa, Bianca
23
2006
Self-indexed grammar-based compression. Zbl 1237.68072
Claude, Francisco; Navarro, Gonzalo
23
2011
Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. I. A Gram classification. Zbl 1371.05115
Simson, Daniel
23
2016
A fuzzy modal logic for belief functions. Zbl 1044.03009
Godo, Lluís; Hájek, Petr; Esteva, Francesc
23
2003
Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512
Penczek, Wojciech; Lomuscio, Alessio
23
2003
Mesh algorithms for Coxeter spectral classification of Cox-regular edge-bipartite graphs with loops. II: Application to Coxeter spectral analysis. Zbl 1335.05145
Kasjan, Stanisław; Simson, Daniel
22
2015
Nets with tokens which carry data. Zbl 1154.68090
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
22
2008
Two-way reversible multi-head finite automata. Zbl 1234.68230
Morita, Kenichi
22
2011
Contact algebras and region-based theory of space: proximity approach. II. Zbl 1111.68123
Dimov, Georgi; Vakarelov, Dimiter
21
2006
A possibility-theoretic view of formal concept analysis. Zbl 1108.68114
Dubois, Didier; Dupin de Saint-Cyr, Florence; Prade, Henri
21
2007
On the injectivity of the Parikh matrix mapping. Zbl 0997.68075
Atanasiu, Adrian; Martín-Vide, Carlos; Mateescu, Alexandru
21
2002
Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. II: Coxeter type study. Zbl 1367.05107
Mróz, Andrzej
21
2016
Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. II: Isotropy mini-groups. Zbl 1371.05116
Simson, Daniel
21
2016
A convergence proof for the particle swarm optimiser. Zbl 1211.90320
van den Bergh, Frans; Engelbrecht, Andries Petrus
20
2010
Mesh algorithms for Coxeter spectral classification of Cox-regular edge-bipartite graphs with loops. I: Mesh root systems. Zbl 1335.05144
Kasjan, Stanisław; Simson, Daniel
20
2015
Modal logics for region-based theories of space. Zbl 1142.03012
Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter
20
2007
Injectivity of the Parikh matrix mappings revisited. Zbl 1104.68058
Şerbănuţă, Virgil Nicolae; Şerbănuţă, Traian Florin
20
2006
Refinement, decomposition, and instantiation of discrete models: application to Event-B. Zbl 1118.68392
Abrial, Jean-Raymond; Hallerstede, Stefan
20
2007
From one-dimensional to two-dimensional cellular automata. Zbl 1250.68204
Dennunzio, Alberto
20
2012
Inflation algorithms for positive and principal edge-bipartite graphs and unit quadratic forms. Zbl 1247.05241
Kosakowska, Justyna
20
2012
Multigranulation decision-theoretic rough set in ordered information system. Zbl 1334.68220
Li, Wentao; Xu, Weihua
19
2015
Membrane division, oracles, and the counting hierarchy. Zbl 1357.68064
Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio
19
2015
A framework for Coxeter spectral analysis of edge-bipartite graphs, their rational morsifications and mesh geometries of root orbits. Zbl 1269.05073
Simson, Daniel
19
2013
Orthopairs: a simple and widely used way to model uncertainty. Zbl 1242.68309
Ciucci, Davide
19
2011
Synthesis of Petri nets from finite partial languages. Zbl 1167.68037
Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian
19
2008
Smaller universal spiking neural P systems. Zbl 1154.68054
Zhang, Xingyi; Zeng, Xiangxiang; Pan, Linqiang
19
2008
GASP: Answer set programming with lazy grounding. Zbl 1207.68118
Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
19
2009
State complexity: recent results and open problems. Zbl 1102.68076
Yu, Sheng
19
2005
Institution-independent ultraproducts. Zbl 1036.03055
Diaconescu, Răzvan
19
2003
The undecidability of the logic of subintervals. Zbl 1315.03027
Marcinkowski, Jerzy; Michaliszyn, Jakub
18
2014
Residual finite state automata. Zbl 1011.68048
Denis, François; Lemay, Aurélien; Terlutte, Alain
18
2002
Fundamenta morphologicae mathematicae. Zbl 0958.68177
Goutsias, John; Heijmans, Henk J. A. M.
18
2000
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
18
2006
Membrane computing and economics: numerical P systems. Zbl 1157.68373
Păun, Gheorghe; Păun, Radu
18
2006
Nondeterministic state complexity of basic operations for prefix-free regular languages. Zbl 1161.68534
Han, Yo-Sub; Salomaa, Kai; Wood, Derick
18
2009
Computing issues of asynchronous CA. Zbl 1283.68226
Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca
18
2012
Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. I: Inflation algorithm revisited. Zbl 1367.05106
Mróz, Andrzej
18
2016
A modal characterization of Nash equilibrium. Zbl 1041.03016
Harrenstein, Paul; van der Hoek, Wiebe; Meyer, John-Jules; Witteveen, Cees
18
2003
Cubic algorithm to compute the Dynkin type of a positive definite quasi-Cartan matrix. Zbl 1442.65082
Pérez, Claudia; Abarca, Mario; Rivera, Daniel
17
2018
Algorithms for isotropy groups of Cox-regular edge-bipartite graphs. Zbl 1335.05146
Kasjan, Stanisław; Simson, Daniel
17
2015
The state complexity of two combined operations: star of catenation and star of reversal. Zbl 1147.68040
Gao, Yuan; Salomaa, Kai; Yu, Sheng
17
2008
A predator-prey cellular automaton with parasitic interactions and environmental effects. Zbl 1140.37024
Farina, Fabio; Dennunzio, Alberto
17
2008
From Mirkin’s prebases to Antimirov’s word partial derivatives. Zbl 0976.68098
Champarnaud, Jean-Marc; Ziadi, Djelloul
17
2001
Normalized decision functions and measures for inconsistent decision tables analysis. Zbl 0970.68171
Ślȩzak, Dominik
17
2000
The weighted suffix tree: an efficient data structure for handling molecular weighted sequences and its applications. Zbl 1095.68029
Iliopoulos, Costas S.; Makris, Christos; Panagis, Yannis; Perdikuri, Katerina; Theodoridis, Evangelos; Tsakalidis, Athanasios
17
2006
On some mathematical structures of \(T\)-fuzzy rough set algebras in infinite universes of discourse. Zbl 1241.03066
Wu, Wei-Zhi
17
2011
The graph theory general position problem on some interconnection networks. Zbl 1407.68367
Manuel, Paul; Klavžar, Sandi
17
2018
Specialized predictor for reaction systems with context properties. Zbl 1373.68217
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
17
2016
Inflation algorithm for Cox-regular positive edge-bipartite graphs with loops. Zbl 1377.05078
Makuracki, Bartosz; Simson, Daniel; Zyglarski, Błażej
17
2017
An algorithmic solution of a Birkhoff type problem. Zbl 1156.16011
Simson, Daniel; Wojewódzki, Mariusz
16
2008
Deterministic and unambiguous families within recognizable two-dimensional languages. Zbl 1196.68117
Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria
16
2010
Connections for sets and functions. Zbl 0958.68534
Serra, Jean
16
2000
Frequent subtree mining – an overview. Zbl 1096.68044
Chi, Yun; Nijssen, Siegfried; Muntz, Richard R.; Kok, Joost N.
16
2005
Exploiting the lattice of ideals representation of a poset. Zbl 1110.06001
De Loof, Karel; De Meyer, Hans; De Baets, Bernard
16
2006
Hoare-style verification of graph programs. Zbl 1284.68333
Poskitt, Christopher M.; Plump, Detlef
16
2012
Pretropologies and dynamic spaces. Zbl 1098.68131
Pagliani, Piero
16
2004
On the injectivity of Parikh matrix mappings. Zbl 1102.68072
Salomaa, Arto
16
2005
Elementary complexity and geometry of interaction. Zbl 0973.03033
Baillot, Patrick; Pedicini, Marco
15
2001
Strong normalisation of cut-elimination in classical logic. Zbl 0982.03032
Urban, C.; Bierman, G. M.
15
2001
Nearness of objects: extension of approximation space model. Zbl 1124.68107
Peters, James F.; Skowron, Andrzej; Stepaniuk, Jaroslaw
15
2007
Chaotic subshifts and related languages. Applications to one-dimensional cellular automata. Zbl 1011.68054
Cattaneo, Gianpiero; Dennunzio, Alberto; Margara, Luciano
15
2002
A design of real-time non-regular sequence generation algorithms and their implementations on cellular automata with 1-bit inter-cell communications. Zbl 1012.68112
Umeo, Hiroshi; Kamikawa, Naoki
15
2002
Undecidability in integer weighted finite automata. Zbl 0935.68060
Halava, Vesa; Harju, Tero
15
1999
Computational and descriptional power of nondeterministic iterated uniform finite-state transducers. Zbl 07556719
Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice
2
2022
A note of generalization of fractional ID-factor-critical graphs. Zbl 07609819
Zhou, Sizhong
2
2022
Structure and power: an emerging landscape. Zbl 07597923
Abramsky, Samson
1
2022
Towards syntactic epistemic logic. Zbl 07597925
Artemov, Sergei
1
2022
Cost automata, safe schemes, and downward closures. Zbl 07687252
Barozzini, David; Clemente, Lorenzo; Colcombet, Thomas; Parys, Paweł
1
2022
Gathering over meeting nodes in infinite grid. Zbl 07609817
Bhagat, Subhash; Chakraborty, Abhinav; Das, Bibhuti; Mukhopadhyaya, Krishnendu
1
2022
Some basic techniques allowing Petri net synthesis: complexity and algorithmic issues. Zbl 07609825
Devillers, Raymond; Tredup, Ronny
1
2022
Getting there and back again. Zbl 07523101
Danvy, Olivier
1
2022
Coxeter invariants for non-negative unit forms of Dynkin type \(\mathbb{A}_r\). Zbl 07527237
Jiménez González, Jesús Arturo
1
2022
On the general position number of complementary prisms. Zbl 1485.05038
Neethu, P. K.; Chandran, S. V. Ullas; Changat, Manoj; Klavžar, Sandi
8
2021
Causal-consistent replay reversible semantics for message passing concurrent programs. Zbl 1482.68131
Lanese, Ivan; Palacios, Adrián; Vidal, Germán
6
2021
Soundness verification of data-aware process models with variable-to-variable conditions. Zbl 1522.68314
Felli, Paolo; de Leoni, Massimiliano; Montali, Marco
4
2021
Optimal wirelength of balanced complete multipartite graphs onto Cartesian product of {path, cycle} and trees. Zbl 1482.68169
Arockiaraj, Micheal; Delaila, J. Nancy; Abraham, Jessie
3
2021
Self-verifying pushdown and queue automata. Zbl 1519.68117
Fernau, Henning; Kutrib, Martin; Wendlandt, Matthias
3
2021
A graph theoretical framework for the strong Gram classification of non-negative unit forms of Dynkin type \(\mathbb{A}_n\). Zbl 1482.15020
Jiménez González, Jesús Arturo
3
2021
Clustering geometrically-modeled points in the aggregated uncertainty model. Zbl 1522.68653
Keikha, Vahideh; Aghamolaei, Sepideh; Mohades, Ali; Ghodsi, Mohammad
3
2021
Probabilistic timed automata with clock-dependent probabilities. Zbl 1478.68136
Sproston, Jeremy
2
2021
Encoding threshold Boolean networks into reaction systems for the analysis of gene regulatory networks. Zbl 1519.68084
Barbuti, Roberto; Bove, Pasquale; Gori, Roberta; Gruska, Damas; Levi, Francesca; Milazzo, Paolo
2
2021
Continuous domains in formal concept analysis. Zbl 1519.68267
Wang, Longchun; Guo, Lankun; Li, Qingguo
2
2021
Recognizing visibility graphs of triangulated irregular networks. Zbl 1519.68062
Boomari, Hossein; Ostovari, Mojtaba; Zarei, Alireza
2
2021
A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. Zbl 1519.68127
Zhang, Kuize
2
2021
Parametric analyses of attack-fault trees. Zbl 1491.68034
André, Étienne; Lime, Didier; Ramparison, Mathias; Stoelinga, Mariëlle
2
2021
Coverability, termination, and finiteness in recursive Petri nets. Zbl 1522.68362
Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor
2
2021
Piecewise affine dynamical models of Petri nets – application to emergency call centers. Zbl 1522.68356
Allamigeon, Xavier; Boyet, Marin; Gaubert, Stéphane
2
2021
On the hardness of energy minimisation for crystal structure prediction. Zbl 1515.82140
Adamson, Duncan; Deligkas, Argyrios; Gusev, Vladimir; Potapov, Igor
2
2021
On variable precision generalized rough sets and incomplete decision tables. Zbl 1497.68470
Syau, Yu-Ru; Liau, Churn-Jung; Lin, En-Bing
1
2021
Generative capacity of contextual grammars with subregular selection languages. Zbl 1519.68115
Truthe, Bianca
1
2021
Causal semantics for BPP nets with silent moves. Zbl 1496.68224
Gorrieri, Roberto
1
2021
On the length of shortest strings accepted by two-way finite automata. Zbl 1497.68257
Dobronravov, Egor; Dobronravov, Nikita; Okhotin, Alexander
1
2021
Coinductive algorithms for Büchi automata. Zbl 1497.68272
Kuperberg, Denis; Pinault, Laureline; Pous, Damien
1
2021
Persistent stochastic non-interference. Zbl 1519.68163
Hillston, Jane; Marin, Andrea; Piazza, Carla; Rossi, Sabina
1
2021
Relations between control mechanisms for sequential grammars. Zbl 1519.68107
Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Oswald, Marion
1
2021
Free-choice nets with home clusters are lucent. Zbl 1519.68167
van der Aalst, Wil M. P.
1
2021
Polynomial-time classification of skew-symmetrizable matrices with a positive definite quasi-Cartan companion. Zbl 1520.68228
Pérez, Claudia; Rivera, Daniel
1
2021
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. Zbl 1520.93344
André, Étienne; Coquard, Emmanuel; Fribourg, Laurent; Jerray, Jawher; Lesens, David
1
2021
Exact and approximate algorithms for computing betweenness centrality in directed graphs. Zbl 1522.68391
Chehreghani, Mostafa Haghir; Bifet, Albert; Abdessalem, Talel
1
2021
Efficient algorithms for maximum induced matching problem in permutation and trapezoid graphs. Zbl 1522.68416
Nguyen, Viet Dung; Pham, Ba Thai; Do, Phan Thuan
1
2021
Investigating reversibility of steps in Petri nets. Zbl 1522.68359
de Frutos Escrig, David; Koutny, Maciej; Mikulski, Łukasz
1
2021
The complexity of synthesis of \(b\)-bounded Petri nets. Zbl 1522.68372
Tredup, Ronny
1
2021
Symbolic and structural model-checking. Zbl 1522.68349
Thierry-Mieg, Yann
1
2021
A polynomial-time construction of a hitting set for read-once branching programs of width 3. Zbl 1522.68176
Šíma, Jiří; Žák, Stanislav
1
2021
Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms. Zbl 1497.68235
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
7
2020
Discovering object-centric Petri nets. Zbl 1497.68354
van der Aalst, Wil M. P.; Berti, Alessandro
6
2020
Reaction systems and enabling equivalence. Zbl 1435.68095
Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
5
2020
Membrane creation in polarizationless P systems with active membranes. Zbl 1435.68096
Orellana-Martín, David; Valencia-Cabrera, Luis; Riscos-Núñez, Agustín; Pérez-Jiménez, Mario J.
4
2020
A constructor-based reachability logic for rewrite theories. Zbl 1471.68076
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José
4
2020
On combining the methods of link residual and domination in networks. Zbl 1471.68211
Turacı, Tufan
4
2020
Comparing degenerate strings. Zbl 1497.68587
Alzamel, Mai; Ayad, Lorraine A. K.; Bernardini, Giulia; Grossi, Roberto; Iliopoulos, Costas S.; Pisanti, Nadia; Pissis, Solon P.; Rosone, Giovanna
3
2020
Target-oriented Petri net synthesis. Zbl 1497.68327
Best, Eike; Devillers, Raymond; Erofeev, Evgeny; Wimmel, Harro
3
2020
How hard is it to predict sandpiles on lattices? A survey. Zbl 1445.37006
Formenti, Enrico; Perrot, Kévin
3
2020
P systems with rule production and removal. Zbl 1435.68097
Pan, Linqiang; Song, Bosheng
3
2020
On Szilard languages of labelled insertion grammars. Zbl 1464.68182
Paul, Prithwineel
3
2020
A behavioural theory of recursive algorithms. Zbl 1497.68552
Börger, Egon; Schewe, Klaus-Dieter
2
2020
A simple and efficient tensor calculus for machine learning. Zbl 1497.68429
Laue, Sören; Mitterreiter, Matthias; Giesen, Joachim
2
2020
lpopt: a rule optimization tool for answer set programming. Zbl 1497.68086
Bichler, Manuel; Morak, Michael; Woltran, Stefan
2
2020
The structure of multigranular rough sets. Zbl 1497.68467
Järvinen, Jouni; Radeleczki, Sándor
2
2020
Insertions yielding equivalent double occurrence words. Zbl 1435.68250
Cruz, Daniel A.; Ferrari, Margherita Maria; Jonoska, Nataša; Nabergall, Lukas; Saito, Masahico
2
2020
The many roads to the simulation of reaction systems. Zbl 1435.68094
Ferretti, Claudio; Leporati, Alberto; Manzoni, Luca; Porreca, Antonio E.
2
2020
How to synchronize cellular automata – recent developments. Zbl 1441.68141
Umeo, Hiroshi
2
2020
Disjunctive total domination subdivision number of graphs. Zbl 1479.05257
Çiftçi, Canan; Aytaç, Vecdi
2
2020
Solving the team composition problem in a classroom. Zbl 1471.68254
Manyà, Felip; Negrete, Santiago; Roig, Carme; Soler, Joan Ramon
2
2020
An experimental comparison of algebraic crossover operators for permutation problems. Zbl 1496.68383
Baioletti, Marco; Di Bari, Gabriele; Milani, Alfredo; Santucci, Valentino
2
2020
Verification techniques for a network algebra. Zbl 1464.68233
Brodo, Linda; Olarte, Carlos
2
2020
The diagnosability of \((K_4-\{e\})\)-free graphs under the PMC diagnosis model. Zbl 1497.68051
Lin, Cheng-Kuan; Kung, Tzu-Liang; Wang, Dajin; Teng, Yuan-Hsiang
1
2020
Dynamic slicing for concurrent constraint languages. Zbl 1497.68098
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2020
Selective unification in (constraint) logic programming. Zbl 1497.68087
Mesnard, Fred; Payet, Étienne; Vidal, Germán
1
2020
Additional closeness and networks growth. Zbl 1502.05229
Dangalchev, Chavdar
1
2020
Constructing node-independent spanning trees in augmented cubes. Zbl 1497.68050
Cheng, Baolei; Fan, Jianxi; Lyu, Qiang; Lin, Cheng-Kuan; Li, Xiaoyan; Chen, Guo
1
2020
Unsatisfiable core analysis and aggregates for optimum stable model search. Zbl 1497.68451
Alviano, Mario; Dodaro, Carmine
1
2020
Unavoidable sets, prefix graphs and regularity of circular splicing languages. Zbl 1435.68146
Bonizzoni, Paola; De Felice, Clelia; Zaccagnino, Rocco; Zizza, Rosalba
1
2020
Some investigations on similarity measures based on absent words. Zbl 1435.68248
Castiglione, Giuseppa; Mantaci, Sabrina; Restivo, Antonio
1
2020
Word blending in formal languages. Zbl 1435.68093
Enaganti, Srujan Kumar; Kari, Lila; Ng, Timothy; Wang, Zihao
1
2020
Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations. Zbl 1471.03043
Diaconescu, Denisa
1
2020
A many-sorted polyadic modal logic. Zbl 1471.03047
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin
1
2020
Justifications in constraint handling rules for logical retraction in dynamic algorithms: theory, implementations, and complexity. Zbl 1471.68049
Frühwirth, Thom
1
2020
BCK-codes based on a parity check matrix. Zbl 1498.94099
Keshavarzian, Nazanin; Borumand Saeid, Arsham; Tehranian, Abolfazl
1
2020
A propositional metric logic with fixed finite ranges. Zbl 1496.03115
Djordjević, Radosav; Ikodinović, Nebojša; Stojanović, Nenad
1
2020
Analyzing heuristic-based randomized search strategies for the quantum circuit compilation problem. Zbl 1498.68293
Oddi, Angelo; Rasconi, Riccardo
1
2020
On the compactness property of mereological spaces. Zbl 1464.03005
Polkowski, Lech
1
2020
On commuting Parikh \(q\)-matrices. Zbl 1471.68212
Bera, Somnath; Mahalingam, Kalpana
1
2020
A second-order corrector infeasible interior-point method with one-norm wide neighborhood for symmetric optimization. Zbl 1476.90350
Kheirfam, Behrouz
1
2020
On the consistency of \(k\)-means++ algorithm. Zbl 1475.62189
Kłopotek, Mieczysław A.
1
2020
On orthogonal projections on the space of consistent pairwise comparisons matrices. Zbl 07271744
Koczkodaj, Waldemar W.; Smarzewski, Ryszard; Szybowski, Jacek
1
2020
Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182
Abu Arqub, Omar
53
2019
Application of residual power series method for the solution of time-fractional Schrödinger equations in one-dimensional space. Zbl 1417.65184
Arqub, Omar Abu
47
2019
Complex interval-valued intuitionistic fuzzy sets and their aggregation operators. Zbl 1414.03012
Garg, Harish; Rani, Dimple
10
2019
Handling non-determinism in spiking neural P systems: algorithms and simulations. Zbl 1414.68026
Carandang, Jym Paul; Cabarle, Francis George C.; Adorna, Henry Natividad; Hernandez, Nestine Hope S.; Martínez-del-Amor, Miguel Ángel
8
2019
The Hamiltonian cycle and travelling salesman problems in cP systems. Zbl 1414.68028
Cooper, James; Nicolescu, Radu
8
2019
An approach of proximity in rough set theory. Zbl 1435.68329
Tiwari, Surabhi; Singh, Pankaj Kumar
6
2019
Analysis and synthesis of weighted marked graph Petri nets: exact and approximate methods. Zbl 1436.68210
Devillers, Raymond; Hujsa, Thomas
6
2019
Expansion-based QBF solving on tree decompositions. Zbl 1415.68111
Charwat, Günther; Woltran, Stefan
5
2019
Three-way decisions with rough membership functions in covering approximation space. Zbl 1412.68278
Yang, Bin; Hu, Bao Qing; Qiao, Junsheng
5
2019
Representation of lattices with modal operators in two-sorted frames. Zbl 1435.03090
Hartonas, Chrysafis; Orłowska, Ewa
4
2019
Pythagorean fuzzy Hamacher power aggregation operators in multiple attribute decision making. Zbl 1410.91177
Wei, Gui-Wu
4
2019
Combining the concepts of residual and domination in graphs. Zbl 1415.05139
Turacı, Tufan; Aytaç, Aysun
4
2019
Networks with extremal closeness. Zbl 1417.05195
Rupnik Poklukar, Darja; Žerovnik, Janez
4
2019
Observational equivalence for multiparty sessions. Zbl 1436.68214
Severi, Paula; Dezani-Ciancaglini, Mariangiola
4
2019
The computational power of cell-like P systems with symport/antiport rules and promoters. Zbl 1414.68029
Jiang, Suxia; Wang, Yanfeng; Xu, Jinbang; Xu, Fei
3
2019
Elementary matrix-computational proof of Quillen-Suslin theorem for Ore extensions. Zbl 1429.16025
Fajardo, William; Lezama, Oswaldo
3
2019
Two-center of the convex hull of a point set: dynamic model, and restricted streaming model. Zbl 1414.68135
Sadhu, Sanjib; Roy, Sasanka; Nandi, Soumen; Maheshwari, Anil; Nandy, Subhas C.
3
2019
...and 983 more Documents
all top 5

Cited by 7,397 Authors

50 Kutrib, Martin
43 Pan, Linqiang
42 Pérez-Jiménez, Mario J.
33 Malcher, Andreas
30 Koutny, Maciej
30 Salomaa, Kai T.
29 Yao, Yiyu
28 Mauri, Giancarlo
25 Formenti, Enrico
25 Leporati, Alberto
25 Manzoni, Luca E.
25 Milazzo, Paolo
25 Valencia-Cabrera, Luis
24 Barbuti, Roberto
24 Li, Tianrui
24 Song, Bosheng
23 Alhazov, Artiom
23 Freund, Rudolf
23 Păun, Gheorghe
23 Porreca, Antonio E.
23 Zandron, Claudio
22 Ciucci, Davide
22 Simson, Daniel
21 Ibarra, Oscar H.
21 Kari, Lila
21 Miao, Duoqian
21 Rozenberg, Grzegorz
20 Arqub, Omar Abu
20 Chiaselotti, Giampiero
20 Ciobanu, Gabriel
20 De Baets, Bernard
20 Dennunzio, Alberto
20 Dubois, Didier
20 Grabowski, Adam
20 Ojeda-Aciego, Manuel
20 Teh, Wen Chean
20 Wang, Jun
20 Zeng, Xiangxiang
19 Băleanu, Dumitru I.
19 Kleijn, Jetty
19 Li, Qingguo
19 Maggiolo-Schettini, Andrea
19 Peng, Hong
19 Prade, Henri M.
18 Ésik, Zoltán
18 Gentile, Tommaso
18 Infusino, Federico G.
18 Manea, Florin
18 Medina, Jesús
18 Okhotin, Alexander
18 Orellana-Martín, David
17 Păun, Andrei
17 Salomaa, Arto Kustaa
16 Aman, Bogdan
16 Nagy, Benedek
16 Sosík, Petr
16 Subramanian, Kumbakonam Govindarajan
16 Wendlandt, Matthias
15 Dassow, Jürgen
15 Fernau, Henning
15 Han, Yo-Sub
15 Heydari, Mohammad Hossein
15 Klavžar, Sandi
15 Montanari, Angelo
15 Moreira, Nelma
15 Moshkov, Mikhail Ju.
15 Murano, Aniello
15 Otto, Friedrich
15 Skowron, Andrzej
15 Vakarelov, Dimiter
15 Wang, Guoyin
14 Ivanov, Sergiu
14 Jirásková, Galina
14 Navarro, Gonzalo
14 Rabinovich, Alexander
14 van der Aalst, Wil M. P.
14 Verlan, Sergey
14 Xu, Weihua
14 Zhu, William
13 Chakraborty, Mihir Kumar
13 Holzer, Markus
13 Hu, Baoqing
13 Liu, Dun
13 Peron, Adriano
13 Potapov, Igor
13 Qian, Yuhua
13 Reis, Rogério
13 Riscos-Núñez, Agustín
13 Yu, Sheng
13 Zhang, Xianyong
12 Adorna, Henry Natividad
12 Bozzelli, Laura
12 Cabarle, Francis George C.
12 Cornelis, Chris
12 Devillers, Raymond
12 Harju, Tero
12 Luttik, Bas
12 Nguyen, Linh Anh
12 Peters, James Francis III
12 Pissis, Solon P.
...and 7,297 more Authors
all top 5

Cited in 428 Journals

552 Theoretical Computer Science
307 Information Sciences
212 International Journal of Approximate Reasoning
160 Information and Computation
101 Fuzzy Sets and Systems
97 Natural Computing
90 Soft Computing
81 Journal of Membrane Computing
77 Acta Informatica
73 Artificial Intelligence
71 Fundamenta Informaticae
61 Discrete Applied Mathematics
59 Logical Methods in Computer Science
57 Journal of Logical and Algebraic Methods in Programming
51 Theory and Practice of Logic Programming
49 International Journal of Foundations of Computer Science
47 Annals of Mathematics and Artificial Intelligence
46 Information Processing Letters
45 Journal of Computer and System Sciences
40 Studia Logica
40 Annals of Pure and Applied Logic
39 Computational and Applied Mathematics
35 Theory of Computing Systems
34 Applied Mathematics and Computation
34 Formal Aspects of Computing
32 Chaos, Solitons and Fractals
30 Journal of Mathematical Imaging and Vision
29 Mathematical Problems in Engineering
28 European Journal of Operational Research
27 Journal of Automated Reasoning
27 MSCS. Mathematical Structures in Computer Science
27 The Journal of Logic and Algebraic Programming
26 Linear Algebra and its Applications
26 Journal of Applied Logic
25 Algorithmica
24 RAIRO. Theoretical Informatics and Applications
23 Journal of Applied Non-Classical Logics
21 Fractals
21 International Journal of Applied Mathematics and Computer Science
20 Advances in Difference Equations
19 Journal of Symbolic Computation
19 Discrete Event Dynamic Systems
18 Science of Computer Programming
17 Machine Learning
17 Pattern Recognition
17 Journal of Logic, Language and Information
16 Complexity
16 ACM Transactions on Computational Logic
16 Mathematics in Computer Science
15 Computers & Mathematics with Applications
15 Mathematical Notes
15 Formal Methods in System Design
15 Journal of Automata, Languages and Combinatorics
15 RAIRO. Theoretical Informatics and Applications
15 Symmetry
14 Journal of Philosophical Logic
14 Programming and Computer Software
14 Synthese
14 Journal of Applied Mathematics and Computing
14 Journal of Intelligent and Fuzzy Systems
14 International Journal of Applied and Computational Mathematics
13 Physica A
13 Automatica
13 European Journal of Combinatorics
13 Journal of Discrete Algorithms
13 Formalized Mathematics
12 Discrete Mathematics
12 Algorithms
12 Cryptography and Communications
12 AIMS Mathematics
11 The Journal of Symbolic Logic
11 Annals of Operations Research
11 Archive for Mathematical Logic
11 Journal of Mathematical Sciences (New York)
11 The Bulletin of Symbolic Logic
11 Journal of Applied Mathematics
10 Journal of Functional Programming
10 Logica Universalis
10 Frontiers of Computer Science
9 Mathematics and Computers in Simulation
9 Notre Dame Journal of Formal Logic
9 Topology and its Applications
9 Distributed Computing
9 Cybernetics and Systems Analysis
9 Journal of Combinatorial Optimization
9 The Review of Symbolic Logic
8 International Journal of Theoretical Physics
8 Journal of Computational and Applied Mathematics
8 Applied Numerical Mathematics
8 Designs, Codes and Cryptography
8 The Electronic Journal of Combinatorics
8 Sibirskie Èlektronnye Matematicheskie Izvestiya
7 Problems of Information Transmission
7 Algebra Universalis
7 Journal of Combinatorial Theory. Series A
7 Applicable Algebra in Engineering, Communication and Computing
7 Engineering Analysis with Boundary Elements
7 Afrika Matematika
7 Journal of Mathematics
7 Journal of Function Spaces
...and 328 more Journals
all top 5

Cited in 60 Fields

4,006 Computer science (68-XX)
1,121 Mathematical logic and foundations (03-XX)
361 Combinatorics (05-XX)
274 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
268 Order, lattices, ordered algebraic structures (06-XX)
244 Operations research, mathematical programming (90-XX)
214 Information and communication theory, circuits (94-XX)
192 Biology and other natural sciences (92-XX)
163 Numerical analysis (65-XX)
130 Dynamical systems and ergodic theory (37-XX)
120 General topology (54-XX)
106 Partial differential equations (35-XX)
102 Ordinary differential equations (34-XX)
97 Real functions (26-XX)
90 Category theory; homological algebra (18-XX)
88 Systems theory; control (93-XX)
84 Statistics (62-XX)
75 Number theory (11-XX)
68 Linear and multilinear algebra; matrix theory (15-XX)
60 Associative rings and algebras (16-XX)
48 Quantum theory (81-XX)
47 Probability theory and stochastic processes (60-XX)
45 Group theory and generalizations (20-XX)
34 General algebraic systems (08-XX)
28 Integral equations (45-XX)
25 Operator theory (47-XX)
24 Measure and integration (28-XX)
19 Statistical mechanics, structure of matter (82-XX)
18 Convex and discrete geometry (52-XX)
17 History and biography (01-XX)
17 Algebraic geometry (14-XX)
17 Difference and functional equations (39-XX)
16 Calculus of variations and optimal control; optimization (49-XX)
16 Mechanics of deformable solids (74-XX)
15 Fluid mechanics (76-XX)
14 Geometry (51-XX)
10 Special functions (33-XX)
10 Approximations and expansions (41-XX)
8 General and overarching topics; collections (00-XX)
8 Functional analysis (46-XX)
7 Nonassociative rings and algebras (17-XX)
7 Harmonic analysis on Euclidean spaces (42-XX)
6 Commutative algebra (13-XX)
4 Functions of a complex variable (30-XX)
4 Integral transforms, operational calculus (44-XX)
3 Field theory and polynomials (12-XX)
3 Topological groups, Lie groups (22-XX)
3 Algebraic topology (55-XX)
3 Manifolds and cell complexes (57-XX)
3 Classical thermodynamics, heat transfer (80-XX)
3 Geophysics (86-XX)
2 Mechanics of particles and systems (70-XX)
2 Optics, electromagnetic theory (78-XX)
2 Relativity and gravitational theory (83-XX)
2 Mathematics education (97-XX)
1 \(K\)-theory (19-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Sequences, series, summability (40-XX)
1 Abstract harmonic analysis (43-XX)
1 Global analysis, analysis on manifolds (58-XX)

Citations by Year