Fundamenta InformaticaeAnnales 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-informaticaehttp://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 all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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