×

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,094 Publications (since 1999)
References Indexed: 200 Publications with 6,482 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 Ciucci, Davide
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 Holzer, Markus
12 Kacprzak, Magdalena
12 Karhumaki, Juhani
12 Middelburg, Cornelis A.
12 Proietti, Maurizio
12 Zielosko, Beata
11 Chikalov, Igor V.
11 Hu, Yuchen
11 Iliopoulos, Costas S.
11 Kari, Lila
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,948 more Authors
all top 5

Fields

2,594 Computer science (68-XX)
503 Mathematical logic and foundations (03-XX)
168 General and overarching topics; collections (00-XX)
168 Information and communication theory, circuits (94-XX)
133 Combinatorics (05-XX)
125 Biology and other natural sciences (92-XX)
97 Operations research, mathematical programming (90-XX)
87 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
77 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)
11 Convex and discrete geometry (52-XX)
10 Real functions (26-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,754 Publications have been cited 8,203 times in 5,761 Documents Cited by Year
Spiking neural P systems. Zbl 1110.68043
Ionescu, Mihai; Păun, Gheorghe; Yokomori, Takashi
191
2006
Reaction systems. Zbl 1108.68056
Ehrenfeucht, A.; Rozenberg, G.
96
2007
Approximate entropy reducts. Zbl 1092.68676
Ślȩzak, Dominik
58
2003
Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182
Abu Arqub, Omar
54
2019
Game-theoretic rough sets. Zbl 1243.91016
Herbert, Joseph P.; Yao, Jingtao
51
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
48
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
45
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.
41
2007
Near sets. Special theory about nearness of objects. Zbl 1108.68119
Peters, James F.
36
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
A new family of the local fractional PDEs. Zbl 1386.35461
Yang, Xiao-Jun; Machado, J. A. Tenreiro; Nieto, Juan J.
34
2017
Qualitative spatial representation and reasoning: An overview. Zbl 0974.68206
Cohn, A. G.; Hazarika, S. M.
33
2001
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
32
2004
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
30
2007
The watershed transform: Definitions, algorithms and parallelization strategies. Zbl 0958.68184
Roerdink, Jos B. T. M.; Meijster, Arnold
30
2000
On the structure of rough approximations. Zbl 1012.68200
Järvinen, Jouni
30
2002
Branching bisimilarity with explicit divergence. Zbl 1183.68404
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
29
2009
Residual power series method for fractional diffusion equations. Zbl 1386.35445
Kumar, Amit; Kumar, Sunil; Yan, Sheng-Ping
29
2017
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
Picture fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. Zbl 1390.68684
Wei, Guiwu
28
2018
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
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
A comparative study of algebra viewpoint and information viewpoint in attribute reduction. Zbl 1098.68134
Wang, Guoyin Y.; Zhao, Jun; An, Jiujiang; Wu, Yu
26
2005
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
Fault diagnosis with static and dynamic observers. Zbl 1167.68011
Cassez, Franck; Tripakis, Stavros
25
2008
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
25
2011
Algorithms determining matrix Morsifications, Weyl orbits, Coxeter polynomials and mesh geometries of roots for Dynkin diagrams. Zbl 1290.68138
Simson, Daniel
25
2013
Modelling multi-agent three-way decisions with decision-theoretic rough sets. Zbl 1248.68505
Yang, Xiaoping; Yao, Jingtao
24
2012
P systems with proteins on membranes. Zbl 1099.68031
Păun, Andrei; Popa, Bianca
24
2006
On axiomatization of inconsistency indicators for pairwise comparisons. Zbl 1303.91063
Koczkodaj, Waldemar W.; Szwarc, Ryszard
24
2014
Self-indexed grammar-based compression. Zbl 1237.68072
Claude, Francisco; Navarro, Gonzalo
23
2011
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
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
Reaction system models for the heat shock response. Zbl 1286.92022
Azimi, Sepinoud; Iancu, Bogdan; Petre, Ion
23
2014
Two-way reversible multi-head finite automata. Zbl 1234.68230
Morita, Kenichi
22
2011
Nets with tokens which carry data. Zbl 1154.68090
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
22
2008
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
A possibility-theoretic view of formal concept analysis. Zbl 1108.68114
Dubois, Didier; Dupin de Saint-Cyr, Florence; Prade, Henri
21
2007
Refinement, decomposition, and instantiation of discrete models: application to Event-B. Zbl 1118.68392
Abrial, Jean-Raymond; Hallerstede, Stefan
21
2007
Modal logics for region-based theories of space. Zbl 1142.03012
Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter
21
2007
A convergence proof for the particle swarm optimiser. Zbl 1211.90320
van den Bergh, Frans; Engelbrecht, Andries Petrus
21
2010
On the injectivity of the Parikh matrix mapping. Zbl 0997.68075
Atanasiu, Adrian; Martín-Vide, Carlos; Mateescu, Alexandru
21
2002
Membrane computing and economics: numerical P systems. Zbl 1157.68373
Păun, Gheorghe; Păun, Radu
21
2006
Injectivity of the Parikh matrix mappings revisited. Zbl 1104.68058
Şerbănuţă, Virgil Nicolae; Şerbănuţă, Traian Florin
21
2006
Contact algebras and region-based theory of space: proximity approach. II. Zbl 1111.68123
Dimov, Georgi; Vakarelov, Dimiter
21
2006
Synthesis of Petri nets from finite partial languages. Zbl 1167.68037
Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian
21
2008
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
Inflation algorithms for positive and principal edge-bipartite graphs and unit quadratic forms. Zbl 1247.05241
Kosakowska, Justyna
20
2012
From one-dimensional to two-dimensional cellular automata. Zbl 1250.68204
Dennunzio, Alberto
20
2012
Smaller universal spiking neural P systems. Zbl 1154.68054
Zhang, Xingyi; Zeng, Xiangxiang; Pan, Linqiang
20
2008
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
The undecidability of the logic of subintervals. Zbl 1315.03027
Marcinkowski, Jerzy; Michaliszyn, Jakub
20
2014
Institution-independent ultraproducts. Zbl 1036.03055
Diaconescu, Răzvan
19
2003
GASP: Answer set programming with lazy grounding. Zbl 1207.68118
Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
19
2009
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
19
2006
Nondeterministic state complexity of basic operations for prefix-free regular languages. Zbl 1161.68534
Han, Yo-Sub; Salomaa, Kai; Wood, Derick
19
2009
State complexity: recent results and open problems. Zbl 1102.68076
Yu, Sheng
19
2005
Orthopairs: a simple and widely used way to model uncertainty. Zbl 1242.68309
Ciucci, Davide
19
2011
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
The graph theory general position problem on some interconnection networks. Zbl 1407.68367
Manuel, Paul; Klavžar, Sandi
19
2018
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
Fundamenta morphologicae mathematicae. Zbl 0958.68177
Goutsias, John; Heijmans, Henk J. A. M.
18
2000
Residual finite state automata. Zbl 1011.68048
Denis, François; Lemay, Aurélien; Terlutte, Alain
18
2002
A modal characterization of Nash equilibrium. Zbl 1041.03016
Harrenstein, Paul; van der Hoek, Wiebe; Meyer, John-Jules; Witteveen, Cees
18
2003
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
18
2006
Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. I: Inflation algorithm revisited. Zbl 1367.05106
Mróz, Andrzej
18
2016
Computing issues of asynchronous CA. Zbl 1283.68226
Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca
18
2012
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
Connections for sets and functions. Zbl 0958.68534
Serra, Jean
17
2000
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
Normalized decision functions and measures for inconsistent decision tables analysis. Zbl 0970.68171
Ślȩzak, Dominik
17
2000
From Mirkin’s prebases to Antimirov’s word partial derivatives. Zbl 0976.68098
Champarnaud, Jean-Marc; Ziadi, Djelloul
17
2001
Pretropologies and dynamic spaces. Zbl 1098.68131
Pagliani, Piero
17
2004
On the injectivity of Parikh matrix mappings. Zbl 1102.68072
Salomaa, Arto
17
2005
On some mathematical structures of \(T\)-fuzzy rough set algebras in infinite universes of discourse. Zbl 1241.03066
Wu, Wei-Zhi
17
2011
Specialized predictor for reaction systems with context properties. Zbl 1373.68217
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
17
2016
A new approach for modeling with discrete fractional equations. Zbl 1378.92026
Atıcı, Ferhan M.; Atıcı, Mustafa; Belcher, Michael; Marshall, Dana
17
2017
Inflation algorithm for Cox-regular positive edge-bipartite graphs with loops. Zbl 1377.05078
Makuracki, Bartosz; Simson, Daniel; Zyglarski, Błażej
17
2017
Algorithms for isotropy groups of Cox-regular edge-bipartite graphs. Zbl 1335.05146
Kasjan, Stanisław; Simson, Daniel
17
2015
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
Multi lingual sequent calculus and coherent spaces. Zbl 0935.68068
Jung, Achim; Kegelmann, Mathias; Moshier, M. Andrew
16
1999
Undecidability in integer weighted finite automata. Zbl 0935.68060
Halava, Vesa; Harju, Tero
16
1999
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
Team logic and second-order logic. Zbl 1250.03048
Kontinen, Juha; Nurmi, Ville
15
2011
Nearness of objects: extension of approximation space model. Zbl 1124.68107
Peters, James F.; Skowron, Andrzej; Stepaniuk, Jaroslaw
15
2007
Elementary complexity and geometry of interaction. Zbl 0973.03033
Baillot, Patrick; Pedicini, Marco
15
2001
A note of generalization of fractional ID-factor-critical graphs. Zbl 07609819
Zhou, Sizhong
7
2022
Computational and descriptional power of nondeterministic iterated uniform finite-state transducers. Zbl 07556719
Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice
2
2022
Getting there and back again. Zbl 07523101
Danvy, Olivier
1
2022
On the 2-domination number of cylinders with small cycles. Zbl 07523102
Garzón, Ester M.; Martínez, José A.; Moreno, Juan J.; Puertas, María L.
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
Nominal unification and matching of higher order expressions with recursive let. Zbl 07527238
Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu; Kutz, Yunus
1
2022
Structure and power: an emerging landscape. Zbl 07597923
Abramsky, Samson
1
2022
Towards syntactic epistemic logic. Zbl 07597925
Artemov, Sergei
1
2022
Resource bisimilarity in Petri nets is decidable. Zbl 07597932
Lomazova, Irina A.; Bashkin, Vladimir A.; Jančar, Petr
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
Cost automata, safe schemes, and downward closures. Zbl 07687252
Barozzini, David; Clemente, Lorenzo; Colcombet, Thomas; Parys, Paweł
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
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
4
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
Self-verifying pushdown and queue automata. Zbl 1519.68117
Fernau, Henning; Kutrib, Martin; Wendlandt, Matthias
3
2021
Clustering geometrically-modeled points in the aggregated uncertainty model. Zbl 1522.68653
Keikha, Vahideh; Aghamolaei, Sepideh; Mohades, Ali; Ghodsi, Mohammad
3
2021
Piecewise affine dynamical models of Petri nets – application to emergency call centers. Zbl 1522.68356
Allamigeon, Xavier; Boyet, Marin; Gaubert, Stéphane
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
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
Generative capacity of contextual grammars with subregular selection languages. Zbl 1519.68115
Truthe, Bianca
2
2021
Probabilistic timed automata with clock-dependent probabilities. Zbl 1478.68136
Sproston, Jeremy
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
A polynomial-time construction of a hitting set for read-once branching programs of width 3. Zbl 1522.68176
Šíma, Jiří; Žák, Stanislav
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 schedulability analysis of a launcher flight control system under reactivity constraints. Zbl 1520.93344
André, Étienne; Coquard, Emmanuel; Fribourg, Laurent; Jerray, Jawher; Lesens, David
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
Computing singular elements modulo squares. Zbl 07426109
Koprowski, Przemysław
1
2021
Residuated algebraic structures in the vicinity of pre-rough algebra and decidability. Zbl 07426110
Lin, Zhe; Chakraborty, Mihir Kumar; Ma, Minghui
1
2021
Scattered context grammars with one non-context-free production are computationally complete. Zbl 1519.68110
Křivka, Zbyněk; Meduna, Alexander
1
2021
Causal semantics for BPP nets with silent moves. Zbl 1496.68224
Gorrieri, Roberto
1
2021
Verification and parameter synthesis for real-time programs using refinement of trace abstraction. Zbl 1478.68053
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand, Larsen Kim
1
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
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
Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case. Zbl 1498.03112
Cantone, Domenico; De Domenico, Andrea; Maugeri, Pietro; Omodeo, Eugenio G.
1
2021
Adding metalogic features to knowledge representation languages. Zbl 1519.68260
Costantini, Stefania; Formisano, Andrea
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
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
Cost problems for parametric time Petri nets. Zbl 1522.68367
Lime, Didier; Roux, Olivier H.; Seidner, Charlotte
1
2021
The complexity of synthesis of \(b\)-bounded Petri nets. Zbl 1522.68372
Tredup, Ronny
1
2021
Inferring unobserved events in systems with shared resources and queues. Zbl 1522.68361
Fahland, Dirk; Denisov, Vadim; van der Aalst, Wil. M. P.
1
2021
Symbolic and structural model-checking. Zbl 1522.68349
Thierry-Mieg, Yann
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
7
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
5
2020
Reaction systems and enabling equivalence. Zbl 1435.68095
Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
5
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
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
P systems with rule production and removal. Zbl 1435.68097
Pan, Linqiang; Song, Bosheng
4
2020
On Szilard languages of labelled insertion grammars. Zbl 1464.68182
Paul, Prithwineel
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
Verification techniques for a network algebra. Zbl 1464.68233
Brodo, Linda; Olarte, Carlos
2
2020
On commuting Parikh \(q\)-matrices. Zbl 1471.68212
Bera, Somnath; Mahalingam, Kalpana
2
2020
Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations. Zbl 1471.03043
Diaconescu, Denisa
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
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
Small universal numerical P systems with thresholds for computing functions. Zbl 1497.68196
Liu, Liucheng; Yi, Wenmei; Yang, Qian; Peng, Hong; Wang, Jun
2
2020
Some investigations on similarity measures based on absent words. Zbl 1435.68248
Castiglione, Giuseppa; Mantaci, Sabrina; Restivo, Antonio
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
Deterministic integer factorization with oracles for Euler’s totient function. Zbl 1472.11314
Hittmeir, Markus; Pomykała, Jacek
1
2020
On the compactness property of mereological spaces. Zbl 1464.03005
Polkowski, Lech
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 1528.65024
Koczkodaj, Waldemar W.; Smarzewski, Ryszard; Szybowski, Jacek
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
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
Multi-valued verification of strategic ability. Zbl 1497.68307
Jamroga, Wojciech; Konikowska, Beata; Kurpiewski, Damian; Penczek, Wojciech
1
2020
A common framework to recognize two-dimensional languages. Zbl 1435.68140
Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria
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
Word blending in formal languages. Zbl 1435.68093
Enaganti, Srujan Kumar; Kari, Lila; Ng, Timothy; Wang, Zihao
1
2020
CospanSpan(Graph): a compositional description of the heart system. Zbl 1435.68206
Gianola, Alessandro; Kasangian, Stefano; Manicardi, Desiree; Sabadini, Nicoletta; Schiavio, Filippo; Tini, Simone
1
2020
Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182
Abu Arqub, Omar
54
2019
...and 1022 more Documents
all top 5

Cited by 7,453 Authors

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

Cited in 439 Journals

562 Theoretical Computer Science
315 Information Sciences
214 International Journal of Approximate Reasoning
163 Information and Computation
114 Natural Computing
101 Fuzzy Sets and Systems
90 Soft Computing
84 Journal of Membrane Computing
77 Acta Informatica
77 Fundamenta Informaticae
74 Artificial Intelligence
64 Logical Methods in Computer Science
61 Discrete Applied Mathematics
60 Journal of Logical and Algebraic Methods in Programming
51 Theory and Practice of Logic Programming
49 International Journal of Foundations of Computer Science
48 Annals of Mathematics and Artificial Intelligence
46 Information Processing Letters
45 Journal of Computer and System Sciences
44 Studia Logica
41 Computational and Applied Mathematics
40 Annals of Pure and Applied Logic
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 Journal of Automated Reasoning
28 MSCS. Mathematical Structures in Computer Science
28 European Journal of Operational Research
27 The Journal of Logic and Algebraic Programming
26 Algorithmica
26 Linear Algebra and its Applications
26 Journal of Applied Logic
26 RAIRO. Theoretical Informatics and Applications
23 Journal of Applied Non-Classical Logics
21 Discrete Event Dynamic Systems
21 Fractals
21 International Journal of Applied Mathematics and Computer Science
20 Advances in Difference Equations
19 Journal of Symbolic Computation
18 Science of Computer Programming
18 ACM Transactions on Computational Logic
17 Machine Learning
17 Pattern Recognition
17 Formal Methods in System Design
17 Journal of Logic, Language and Information
16 Complexity
16 Journal of Automata, Languages and Combinatorics
16 Mathematics in Computer Science
15 Computers & Mathematics with Applications
15 Mathematical Notes
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 Cryptography and Communications
13 Formalized Mathematics
12 Discrete Mathematics
12 Algorithms
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 Journal of Combinatorial Optimization
10 Logica Universalis
10 The Review of Symbolic Logic
10 Frontiers of Computer Science
9 International Journal of Theoretical Physics
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
8 Algebra Universalis
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 Mathematical Methods in the Applied Sciences
7 Problems of Information Transmission
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
...and 339 more Journals
all top 5

Cited in 60 Fields

4,139 Computer science (68-XX)
1,162 Mathematical logic and foundations (03-XX)
377 Combinatorics (05-XX)
279 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
275 Order, lattices, ordered algebraic structures (06-XX)
251 Operations research, mathematical programming (90-XX)
219 Information and communication theory, circuits (94-XX)
202 Biology and other natural sciences (92-XX)
164 Numerical analysis (65-XX)
137 Dynamical systems and ergodic theory (37-XX)
124 General topology (54-XX)
106 Partial differential equations (35-XX)
103 Real functions (26-XX)
103 Ordinary differential equations (34-XX)
95 Category theory; homological algebra (18-XX)
92 Systems theory; control (93-XX)
86 Statistics (62-XX)
79 Number theory (11-XX)
70 Linear and multilinear algebra; matrix theory (15-XX)
60 Associative rings and algebras (16-XX)
49 Quantum theory (81-XX)
48 Probability theory and stochastic processes (60-XX)
47 Group theory and generalizations (20-XX)
36 General algebraic systems (08-XX)
28 Integral equations (45-XX)
28 Operator theory (47-XX)
26 Measure and integration (28-XX)
20 Convex and discrete geometry (52-XX)
19 Algebraic geometry (14-XX)
19 Difference and functional equations (39-XX)
19 Statistical mechanics, structure of matter (82-XX)
17 History and biography (01-XX)
17 Calculus of variations and optimal control; optimization (49-XX)
16 Mechanics of deformable solids (74-XX)
16 Fluid mechanics (76-XX)
14 Geometry (51-XX)
11 Special functions (33-XX)
10 Approximations and expansions (41-XX)
10 Functional analysis (46-XX)
8 General and overarching topics; collections (00-XX)
7 Commutative algebra (13-XX)
7 Nonassociative rings and algebras (17-XX)
7 Harmonic analysis on Euclidean spaces (42-XX)
5 Integral transforms, operational calculus (44-XX)
4 Functions of a complex variable (30-XX)
4 Geophysics (86-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)
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