×

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,097 Publications (since 1999)
References Indexed: 203 Publications with 6,612 References.
all top 5

Latest Issues

191, No. 1 (2024)
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)
...and 321 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,951 more Authors
all top 5

Fields

2,585 Computer science (68-XX)
511 Mathematical logic and foundations (03-XX)
170 Information and communication theory, circuits (94-XX)
168 General and overarching topics; collections (00-XX)
140 Combinatorics (05-XX)
125 Biology and other natural sciences (92-XX)
97 Operations research, mathematical programming (90-XX)
89 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
78 Order, lattices, ordered algebraic structures (06-XX)
44 Number theory (11-XX)
38 Numerical analysis (65-XX)
29 Dynamical systems and ergodic theory (37-XX)
27 History and biography (01-XX)
27 Statistics (62-XX)
26 General topology (54-XX)
24 Systems theory; control (93-XX)
22 Group theory and generalizations (20-XX)
21 Partial differential equations (35-XX)
17 General algebraic systems (08-XX)
17 Category theory; homological algebra (18-XX)
16 Associative rings and algebras (16-XX)
14 Linear and multilinear algebra; matrix theory (15-XX)
14 Quantum theory (81-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,767 Publications have been cited 8,482 times in 5,952 Documents Cited by Year
Spiking neural P systems. Zbl 1110.68043
Ionescu, Mihai; Păun, Gheorghe; Yokomori, Takashi
197
2006
Reaction systems. Zbl 1108.68056
Ehrenfeucht, A.; Rozenberg, G.
97
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
56
2019
Game-theoretic rough sets. Zbl 1243.91016
Herbert, Joseph P.; Yao, Jingtao
52
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
50
2019
Contact algebras and region-based theory of space: a proximity approach. I. Zbl 1111.68122
Dimov, Georgi; Vakarelov, Dimiter
48
2006
Agents that know how to play. Zbl 1102.68106
Jamroga, Wojciech; van der Hoek, Wiebe
46
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.
43
2007
A new family of the local fractional PDEs. Zbl 1386.35461
Yang, Xiao-Jun; Machado, J. A. Tenreiro; Nieto, Juan J.
38
2017
Number-conserving cellular automaton rules. Zbl 1013.37006
Boccara, Nino; Fukś, Henryk
37
2002
Near sets. Special theory about nearness of objects. Zbl 1108.68119
Peters, James F.
37
2007
Combinatorial geometry and coding theory. Zbl 1421.94120
Raigorodskii, A. M.
36
2016
The axiomatization of the rough set upper approximation. Zbl 1096.68150
Liu, Gui-Long
34
2006
Qualitative spatial representation and reasoning: An overview. Zbl 0974.68206
Cohn, A. G.; Hazarika, S. M.
33
2001
On the structure of rough approximations. Zbl 1012.68200
Järvinen, Jouni
32
2002
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
Residual power series method for fractional diffusion equations. Zbl 1386.35445
Kumar, Amit; Kumar, Sunil; Yan, Sheng-Ping
31
2017
SM-algorithms for approximating the variable-order fractional derivative of high order. Zbl 1377.65031
Moghaddam, B. P.; Machado, J. A. T.
31
2017
Approximate solutions of DASs with nonclassical boundary conditions using novel reproducing kernel algorithm. Zbl 1373.65051
Arqub, Omar Abu
31
2016
Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1136.03045
Diaconescu, Denisa; Georgescu, George
30
2007
Branching bisimilarity with explicit divergence. Zbl 1183.68404
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
30
2009
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
Mesh algorithms for solving principal Diophantine equations, sand-glass tubes and tori of roots. Zbl 1257.11109
Simson, Daniel
29
2011
Rough sets, coverings and incomplete information. Zbl 1279.68308
Couso, Inés; Dubois, Didier
28
2011
Picture fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. Zbl 1390.68684
Wei, Guiwu
28
2018
A comparative study of algebra viewpoint and information viewpoint in attribute reduction. Zbl 1098.68134
Wang, Guoyin Y.; Zhao, Jun; An, Jiujiang; Wu, Yu
27
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.
27
2017
Logics for real time: decidability and complexity. Zbl 1127.03012
Hirshfeld, Yoram; Rabinovich, Alexander
26
2004
A multiple-category classification approach with decision-theoretic rough sets. Zbl 1248.68492
Liu, Dun; Li, Tianrui; Li, Huaxiong
26
2012
Algorithms determining matrix Morsifications, Weyl orbits, Coxeter polynomials and mesh geometries of roots for Dynkin diagrams. Zbl 1290.68138
Simson, Daniel
26
2013
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
26
2011
A fuzzy modal logic for belief functions. Zbl 1044.03009
Godo, Lluís; Hájek, Petr; Esteva, Francesc
25
2003
Modelling multi-agent three-way decisions with decision-theoretic rough sets. Zbl 1248.68505
Yang, Xiaoping; Yao, Jingtao
25
2012
Fault diagnosis with static and dynamic observers. Zbl 1167.68011
Cassez, Franck; Tripakis, Stavros
25
2008
P systems with proteins on membranes. Zbl 1099.68031
Păun, Andrei; Popa, Bianca
24
2006
Self-indexed grammar-based compression. Zbl 1237.68072
Claude, Francisco; Navarro, Gonzalo
24
2011
On axiomatization of inconsistency indicators for pairwise comparisons. Zbl 1303.91063
Koczkodaj, Waldemar W.; Szwarc, Ryszard
24
2014
Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. I. A Gram classification. Zbl 1371.05115
Simson, Daniel
24
2016
Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512
Penczek, Wojciech; Lomuscio, Alessio
23
2003
Injectivity of the Parikh matrix mappings revisited. Zbl 1104.68058
Şerbănuţă, Virgil Nicolae; Şerbănuţă, Traian Florin
23
2006
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
23
2015
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
23
2011
On the injectivity of the Parikh matrix mapping. Zbl 0997.68075
Atanasiu, Adrian; Martín-Vide, Carlos; Mateescu, Alexandru
22
2002
Modal logics for region-based theories of space. Zbl 1142.03012
Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter
22
2007
Membrane computing and economics: numerical P systems. Zbl 1157.68373
Păun, Gheorghe; Păun, Radu
22
2006
Nets with tokens which carry data. Zbl 1154.68090
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
22
2008
A possibility-theoretic view of formal concept analysis. Zbl 1108.68114
Dubois, Didier; Dupin de Saint-Cyr, Florence; Prade, Henri
22
2007
Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. II: Coxeter type study. Zbl 1367.05107
Mróz, Andrzej
22
2016
Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. II: Isotropy mini-groups. Zbl 1371.05116
Simson, Daniel
22
2016
Inflation algorithms for positive and principal edge-bipartite graphs and unit quadratic forms. Zbl 1247.05241
Kosakowska, Justyna
21
2012
A convergence proof for the particle swarm optimiser. Zbl 1211.90320
van den Bergh, Frans; Engelbrecht, Andries Petrus
21
2010
Refinement, decomposition, and instantiation of discrete models: application to Event-B. Zbl 1118.68392
Abrial, Jean-Raymond; Hallerstede, Stefan
21
2007
Synthesis of Petri nets from finite partial languages. Zbl 1167.68037
Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian
21
2008
Smaller universal spiking neural P systems. Zbl 1154.68054
Zhang, Xingyi; Zeng, Xiangxiang; Pan, Linqiang
21
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
21
2015
Contact algebras and region-based theory of space: proximity approach. II. Zbl 1111.68123
Dimov, Georgi; Vakarelov, Dimiter
21
2006
Orthopairs: a simple and widely used way to model uncertainty. Zbl 1242.68309
Ciucci, Davide
20
2011
State complexity: recent results and open problems. Zbl 1102.68076
Yu, Sheng
20
2005
From one-dimensional to two-dimensional cellular automata. Zbl 1250.68204
Dennunzio, Alberto
20
2012
A framework for Coxeter spectral analysis of edge-bipartite graphs, their rational morsifications and mesh geometries of root orbits. Zbl 1269.05073
Simson, Daniel
20
2013
The undecidability of the logic of subintervals. Zbl 1315.03027
Marcinkowski, Jerzy; Michaliszyn, Jakub
20
2014
Pretropologies and dynamic spaces. Zbl 1098.68131
Pagliani, Piero
19
2004
Residual finite state automata. Zbl 1011.68048
Denis, François; Lemay, Aurélien; Terlutte, Alain
19
2002
On some mathematical structures of \(T\)-fuzzy rough set algebras in infinite universes of discourse. Zbl 1241.03066
Wu, Wei-Zhi
19
2011
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
Computing issues of asynchronous CA. Zbl 1283.68226
Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca
19
2012
Nondeterministic state complexity of basic operations for prefix-free regular languages. Zbl 1161.68534
Han, Yo-Sub; Salomaa, Kai; Wood, Derick
19
2009
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
19
2006
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
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
Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. I: Inflation algorithm revisited. Zbl 1367.05106
Mróz, Andrzej
19
2016
A modal characterization of Nash equilibrium. Zbl 1041.03016
Harrenstein, Paul; van der Hoek, Wiebe; Meyer, John-Jules; Witteveen, Cees
18
2003
Normalized decision functions and measures for inconsistent decision tables analysis. Zbl 0970.68171
Ślȩzak, Dominik
18
2000
Fundamenta morphologicae mathematicae. Zbl 0958.68177
Goutsias, John; Heijmans, Henk J. A. M.
18
2000
A new approach for modeling with discrete fractional equations. Zbl 1378.92026
Atıcı, Ferhan M.; Atıcı, Mustafa; Belcher, Michael; Marshall, Dana
18
2017
Inflation algorithm for Cox-regular positive edge-bipartite graphs with loops. Zbl 1377.05078
Makuracki, Bartosz; Simson, Daniel; Zyglarski, Błażej
18
2017
Cubic algorithm to compute the Dynkin type of a positive definite quasi-Cartan matrix. Zbl 1442.65082
Pérez, Claudia; Abarca, Mario; Rivera, Daniel
18
2018
Multi lingual sequent calculus and coherent spaces. Zbl 0935.68068
Jung, Achim; Kegelmann, Mathias; Moshier, M. Andrew
17
1999
From Mirkin’s prebases to Antimirov’s word partial derivatives. Zbl 0976.68098
Champarnaud, Jean-Marc; Ziadi, Djelloul
17
2001
On the injectivity of Parikh matrix mappings. Zbl 1102.68072
Salomaa, Arto
17
2005
Frequent subtree mining – an overview. Zbl 1096.68044
Chi, Yun; Nijssen, Siegfried; Muntz, Richard R.; Kok, Joost N.
17
2005
Connections for sets and functions. Zbl 0958.68534
Serra, Jean
17
2000
Algorithms for isotropy groups of Cox-regular edge-bipartite graphs. Zbl 1335.05146
Kasjan, Stanisław; Simson, Daniel
17
2015
Specialized predictor for reaction systems with context properties. Zbl 1373.68217
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
17
2016
A predator-prey cellular automaton with parasitic interactions and environmental effects. Zbl 1140.37024
Farina, Fabio; Dennunzio, Alberto
17
2008
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
RRIA: A rough set and rule tree based incremental knowledge acquisition algorithm. Zbl 1098.68711
Zheng, Zheng; Wang, Guoyin
16
2004
Hoare-style verification of graph programs. Zbl 1284.68333
Poskitt, Christopher M.; Plump, Detlef
16
2012
Undecidability in integer weighted finite automata. Zbl 0935.68060
Halava, Vesa; Harju, Tero
16
1999
Exploiting the lattice of ideals representation of a poset. Zbl 1110.06001
De Loof, Karel; De Meyer, Hans; De Baets, Bernard
16
2006
Nearness of objects: extension of approximation space model. Zbl 1124.68107
Peters, James F.; Skowron, Andrzej; Stepaniuk, Jaroslaw
16
2007
Team logic and second-order logic. Zbl 1250.03048
Kontinen, Juha; Nurmi, Ville
16
2011
Deterministic and unambiguous families within recognizable two-dimensional languages. Zbl 1196.68117
Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria
16
2010
An algorithmic solution of a Birkhoff type problem. Zbl 1156.16011
Simson, Daniel; Wojewódzki, Mariusz
16
2008
A note of generalization of fractional ID-factor-critical graphs. Zbl 07609819
Zhou, Sizhong
8
2022
Coxeter invariants for non-negative unit forms of Dynkin type \(\mathbb{A}_r\). Zbl 07527237
Jiménez González, Jesús Arturo
2
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
2
2022
Structure and power: an emerging landscape. Zbl 07597923
Abramsky, Samson
2
2022
Computational and descriptional power of nondeterministic iterated uniform finite-state transducers. Zbl 07556719
Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice
2
2022
Gathering over meeting nodes in infinite grid. Zbl 07609817
Bhagat, Subhash; Chakraborty, Abhinav; Das, Bibhuti; Mukhopadhyaya, Krishnendu
1
2022
Introduction to probabilistic concurrent systems. Zbl 07609822
Abbes, Samy
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
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
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
Causal-consistent replay reversible semantics for message passing concurrent programs. Zbl 1482.68131
Lanese, Ivan; Palacios, Adrián; Vidal, Germán
8
2021
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
Soundness verification of data-aware process models with variable-to-variable conditions. Zbl 1522.68314
Felli, Paolo; de Leoni, Massimiliano; Montali, Marco
5
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
5
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
4
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
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
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
Probabilistic timed automata with clock-dependent probabilities. Zbl 1478.68136
Sproston, Jeremy
2
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.
2
2021
A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. Zbl 1519.68127
Zhang, Kuize
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
Residuated algebraic structures in the vicinity of pre-rough algebra and decidability. Zbl 07426110
Lin, Zhe; Chakraborty, Mihir Kumar; Ma, Minghui
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
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
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
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
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
Computing singular elements modulo squares. Zbl 07426109
Koprowski, Przemysław
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
On variable precision generalized rough sets and incomplete decision tables. Zbl 1497.68470
Syau, Yu-Ru; Liau, Churn-Jung; Lin, En-Bing
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
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
On combining the methods of link residual and domination in networks. Zbl 1471.68211
Turacı, Tufan
5
2020
Reaction systems and enabling equivalence. Zbl 1435.68095
Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
5
2020
Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations. Zbl 1471.03043
Diaconescu, Denisa
4
2020
A constructor-based reachability logic for rewrite theories. Zbl 1471.68076
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José
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
lpopt: a rule optimization tool for answer set programming. Zbl 1497.68086
Bichler, Manuel; Morak, Michael; Woltran, Stefan
3
2020
Target-oriented Petri net synthesis. Zbl 1497.68327
Best, Eike; Devillers, Raymond; Erofeev, Evgeny; Wimmel, Harro
3
2020
On Szilard languages of labelled insertion grammars. Zbl 1464.68182
Paul, Prithwineel
3
2020
On orthogonal projections on the space of consistent pairwise comparisons matrices. Zbl 1528.65024
Koczkodaj, Waldemar W.; Smarzewski, Ryszard; Szybowski, Jacek
3
2020
Disjunctive total domination subdivision number of graphs. Zbl 1479.05257
Çiftçi, Canan; Aytaç, Vecdi
3
2020
Some investigations on similarity measures based on absent words. Zbl 1435.68248
Castiglione, Giuseppa; Mantaci, Sabrina; Restivo, Antonio
3
2020
How hard is it to predict sandpiles on lattices? A survey. Zbl 1445.37006
Formenti, Enrico; Perrot, Kévin
3
2020
A simple and efficient tensor calculus for machine learning. Zbl 1497.68429
Laue, Sören; Mitterreiter, Matthias; Giesen, Joachim
2
2020
A behavioural theory of recursive algorithms. Zbl 1497.68552
Börger, Egon; Schewe, Klaus-Dieter
2
2020
Additional closeness and networks growth. Zbl 1502.05229
Dangalchev, Chavdar
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
Verification techniques for a network algebra. Zbl 1464.68233
Brodo, Linda; Olarte, Carlos
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
On commuting Parikh \(q\)-matrices. Zbl 1471.68212
Bera, Somnath; Mahalingam, Kalpana
2
2020
Solving the team composition problem in a classroom. Zbl 1471.68254
Manyà, Felip; Negrete, Santiago; Roig, Carme; Soler, Joan Ramon
2
2020
How to synchronize cellular automata – recent developments. Zbl 1441.68141
Umeo, Hiroshi
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
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
Unsatisfiable core analysis and aggregates for optimum stable model search. Zbl 1497.68451
Alviano, Mario; Dodaro, Carmine
1
2020
A set-theoretic approach to reasoning services for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times}\). Zbl 1506.68134
Cantone, Domenico; Nicolosi-Asmundo, Marianna; Santamaria, Daniele Francesco
1
2020
Multi-valued verification of strategic ability. Zbl 1497.68307
Jamroga, Wojciech; Konikowska, Beata; Kurpiewski, Damian; Penczek, Wojciech
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
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
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 many-sorted polyadic modal logic. Zbl 1471.03047
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin
1
2020
Analyzing heuristic-based randomized search strategies for the quantum circuit compilation problem. Zbl 1498.68293
Oddi, Angelo; Rasconi, Riccardo
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
Justifications in constraint handling rules for logical retraction in dynamic algorithms: theory, implementations, and complexity. Zbl 1471.68049
Frühwirth, Thom
1
2020
Computing the edge irregularity strength of bipartite graphs and wheel related graphs. Zbl 1485.05158
Ahmad, Ali; Asim, Muhammad Ahsan; Assiri, Basem; Semaničová-Feňovčíková, Andrea
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
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
...and 1031 more Documents
all top 5

Cited by 7,676 Authors

55 Kutrib, Martin
44 Pan, Linqiang
43 Pérez-Jiménez, Mario J.
38 Malcher, Andreas
32 Koutny, Maciej
32 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 Băleanu, Dumitru I.
25 Chiaselotti, Giampiero
25 Freund, Rudolf
25 Li, Tianrui
25 Song, Bosheng
24 Barbuti, Roberto
24 Ciucci, Davide
24 Zandron, Claudio
23 Arqub, Omar Abu
23 Ciobanu, Gabriel
23 Păun, Gheorghe
23 Porreca, Antonio E.
22 De Baets, Bernard
22 Li, Qingguo
22 Miao, Duoqian
22 Rozenberg, Grzegorz
22 Simson, Daniel
21 Dennunzio, Alberto
21 Ibarra, Oscar H.
21 Kari, Lila
21 Ojeda-Aciego, Manuel
21 Wang, Jun
21 Zeng, Xiangxiang
20 Dubois, Didier
20 Grabowski, Adam
20 Kleijn, Jetty
20 Peng, Hong
20 Teh, Wen Chean
19 Maggiolo-Schettini, Andrea
19 Medina, Jesús
19 Prade, Henri M.
19 Wendlandt, Matthias
18 Aman, Bogdan
18 Ésik, Zoltán
18 Gentile, Tommaso
18 Infusino, Federico G.
18 Manea, Florin
18 Nagy, Benedek
18 Okhotin, Alexander
18 Orellana-Martín, David
18 Salomaa, Arto Kustaa
17 Dassow, Jürgen
17 Fernau, Henning
17 Klavžar, Sandi
17 Moshkov, Mikhail Ju.
17 Murano, Aniello
17 Păun, Andrei
17 Sosík, Petr
16 Han, Yo-Sub
16 Ivanov, Sergiu
16 Montanari, Angelo
16 Moreira, Nelma
16 Nguyen, Linh Anh
16 Subramanian, Kumbakonam Govindarajan
16 van der Aalst, Wil M. P.
16 Verlan, Sergey
16 Wang, Guoyin
15 Cabarle, Francis George C.
15 Hu, Baoqing
15 Jirásková, Galina
15 Navarro, Gonzalo
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 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 Cornelis, Chris
13 Gómez-Aguilar, José Francisco
13 Harju, Tero
13 Holzer, Markus
13 Liu, Dun
13 Wolnik, Barbara
13 Yu, Sheng
13 Zhang, Gexiang
12 Cordero, Pablo
...and 7,576 more Authors
all top 5

Cited in 446 Journals

573 Theoretical Computer Science
338 Information Sciences
226 International Journal of Approximate Reasoning
163 Information and Computation
114 Natural Computing
107 Fuzzy Sets and Systems
90 Soft Computing
86 Journal of Membrane Computing
80 Fundamenta Informaticae
78 Acta Informatica
75 Artificial Intelligence
64 Logical Methods in Computer Science
64 Journal of Logical and Algebraic Methods in Programming
62 Discrete Applied Mathematics
51 Theory and Practice of Logic Programming
50 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
45 Computational and Applied Mathematics
44 Studia Logica
42 Annals of Pure and Applied Logic
35 Formal Aspects of Computing
35 Theory of Computing Systems
34 Applied Mathematics and Computation
32 Chaos, Solitons and Fractals
30 Journal of Mathematical Imaging and Vision
30 Journal of Applied Non-Classical Logics
29 Mathematical Methods in the Applied Sciences
29 Mathematical Problems in Engineering
28 Journal of Automated Reasoning
28 Mathematical Structures in Computer Science
28 European Journal of Operational Research
27 Algorithmica
27 The Journal of Logic and Algebraic Programming
27 RAIRO. Theoretical Informatics and Applications
26 Linear Algebra and its Applications
26 Journal of Applied Logic
22 Discrete Event Dynamic Systems
21 Fractals
21 International Journal of Applied Mathematics and Computer Science
20 Journal of Symbolic Computation
20 ACM Transactions on Computational Logic
20 Advances in Difference Equations
18 Science of Computer Programming
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 European Journal of Combinatorics
14 Journal of Applied Mathematics and Computing
14 Journal of Intelligent and Fuzzy Systems
14 Journal of Discrete Algorithms
14 International Journal of Applied and Computational Mathematics
13 Physica A
13 Automatica
13 Cryptography and Communications
13 Formalized Mathematics
12 Discrete Mathematics
12 Annals of Operations Research
12 Archive for Mathematical Logic
12 Algorithms
12 AIMS Mathematics
11 The Journal of Symbolic Logic
11 Journal of Mathematical Sciences (New York)
11 The Bulletin of Symbolic Logic
11 Journal of Applied Mathematics
10 Numerical Methods for Partial Differential Equations
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 Journal of Computational and Applied Mathematics
9 Mathematics and Computers in Simulation
9 Notre Dame Journal of Formal Logic
9 Topology and its Applications
9 Designs, Codes and Cryptography
9 Distributed Computing
9 Cybernetics and Systems Analysis
9 Sibirskie Èlektronnye Matematicheskie Izvestiya
8 Algebra Universalis
8 Applied Numerical Mathematics
8 The Electronic Journal of Combinatorics
8 Afrika Matematika
7 Problems of Information Transmission
7 Journal of Combinatorial Theory. Series A
7 Applicable Algebra in Engineering, Communication and Computing
7 Mathematical Logic Quarterly (MLQ)
...and 346 more Journals
all top 5

Cited in 60 Fields

4,243 Computer science (68-XX)
1,207 Mathematical logic and foundations (03-XX)
395 Combinatorics (05-XX)
295 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
286 Order, lattices, ordered algebraic structures (06-XX)
252 Operations research, mathematical programming (90-XX)
227 Information and communication theory, circuits (94-XX)
199 Biology and other natural sciences (92-XX)
172 Numerical analysis (65-XX)
144 Dynamical systems and ergodic theory (37-XX)
130 General topology (54-XX)
128 Partial differential equations (35-XX)
113 Ordinary differential equations (34-XX)
110 Real functions (26-XX)
98 Category theory; homological algebra (18-XX)
95 Statistics (62-XX)
93 Systems theory; control (93-XX)
80 Number theory (11-XX)
74 Linear and multilinear algebra; matrix theory (15-XX)
61 Associative rings and algebras (16-XX)
51 Probability theory and stochastic processes (60-XX)
50 Quantum theory (81-XX)
47 Group theory and generalizations (20-XX)
37 General algebraic systems (08-XX)
30 Integral equations (45-XX)
29 Operator theory (47-XX)
26 Measure and integration (28-XX)
22 Convex and discrete geometry (52-XX)
20 Algebraic geometry (14-XX)
20 Difference and functional equations (39-XX)
18 Calculus of variations and optimal control; optimization (49-XX)
18 Fluid mechanics (76-XX)
18 Statistical mechanics, structure of matter (82-XX)
17 History and biography (01-XX)
15 Special functions (33-XX)
15 Geometry (51-XX)
15 Mechanics of deformable solids (74-XX)
11 Approximations and expansions (41-XX)
11 Functional analysis (46-XX)
8 General and overarching topics; collections (00-XX)
8 Harmonic analysis on Euclidean spaces (42-XX)
7 Commutative algebra (13-XX)
7 Nonassociative rings and algebras (17-XX)
6 Integral transforms, operational calculus (44-XX)
4 Topological groups, Lie groups (22-XX)
4 Functions of a complex variable (30-XX)
4 Classical thermodynamics, heat transfer (80-XX)
4 Geophysics (86-XX)
3 Field theory and polynomials (12-XX)
3 Algebraic topology (55-XX)
3 Manifolds and cell complexes (57-XX)
3 Relativity and gravitational theory (83-XX)
2 Mechanics of particles and systems (70-XX)
2 Optics, electromagnetic theory (78-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