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 Documents Indexed: 3,044 Publications (since 1999) References Indexed: 156 Publications with 5,071 References. all top 5 Latest Issues 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 (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) 155, No. 4 (2017) 155, No. 3 (2017) 155, No. 1-2 (2017) 154, No. 1-4 (2017) 153, No. 4 (2017) 153, No. 3 (2017) 153, No. 1-2 (2017) 152, No. 4 (2017) 152, No. 3 (2017) 152, No. 2 (2017) 152, No. 1 (2017) 151, No. 1-4 (2017) 150, No. 3-4 (2017) ...and 307 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 23 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 Margenstern, Maurice 16 Pettorossi, Alberto 15 Barbuti, Roberto 15 Maggiolo-Schettini, Andrea 15 Nguyen, Linh Anh 15 Stepaniuk, Jarosław 14 Ciucci, Davide 14 Kleijn, Jetty H. C. M. 14 Kutrib, Martin 14 Pan, Linqiang 14 Redziejowski, Roman R. 14 Wolski, Marcin 13 Burkhard, Hans-Dieter 13 Farwer, Berndt 13 Gomolińska, Anna 13 Lomazova, Irina A. 13 Milazzo, Paolo 13 Pancerz, Krzysztof 12 Bergstra, Jan A. 12 Devillers, Raymond 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 Maji, Pradipta 9 Mikulski, Łukasz 9 Nguyen, Hung Son 9 Occhiuto, M. Eugenia 9 Półrola, Agata 9 Salomaa, Arto Kustaa 9 Salwicki, Andrzej 9 Tini, Simone 9 Torroni, Paolo 9 Tsumoto, Shusaku 9 Vaszil, Gyorgy 9 Verlan, Sergey 9 Zandron, Claudio 8 Bistarelli, Stefano 8 Dinu, Liviu Petrişor 8 Dulio, Paolo 8 Frosini, Andrea 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 Petre, Ion 8 Potapov, Igor 8 Terlikowski, Tomasz 8 Virbitskaite, Irina B. 8 Wang, Guoyin 8 Woźna, Bożena 7 Balbiani, Philippe 7 Bhattacharya, Bhargab Bikram ...and 3,891 more Authors all top 5 Fields 2,555 Computer science (68-XX) 482 Mathematical logic and foundations (03-XX) 162 Information and communication theory, circuits (94-XX) 161 General and overarching topics; collections (00-XX) 121 Biology and other natural sciences (92-XX) 119 Combinatorics (05-XX) 91 Operations research, mathematical programming (90-XX) 84 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 70 Order, lattices, ordered algebraic structures (06-XX) 39 Number theory (11-XX) 37 Numerical analysis (65-XX) 26 Dynamical systems and ergodic theory (37-XX) 26 Statistics (62-XX) 23 General topology (54-XX) 22 History and biography (01-XX) 21 Partial differential equations (35-XX) 21 Systems theory; control (93-XX) 18 Group theory and generalizations (20-XX) 16 Category theory; homological algebra (18-XX) 15 Associative rings and algebras (16-XX) 14 General algebraic systems (08-XX) 12 Ordinary differential equations (34-XX) 12 Quantum theory (81-XX) 10 Real functions (26-XX) 10 Probability theory and stochastic processes (60-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 9 Convex and discrete geometry (52-XX) 6 Statistical mechanics, structure of matter (82-XX) 5 Algebraic geometry (14-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,557 Publications have been cited 6,130 times in 4,364 Documents Cited by ▼ Year ▼ Spiking neural P systems. Zbl 1110.68043Ionescu, Mihai; Păun, Gheorghe; Yokomori, Takashi 130 2006 Reaction systems. Zbl 1108.68056Ehrenfeucht, A.; Rozenberg, G. 74 2007 Approximate entropy reducts. Zbl 1092.68676Ślȩzak, Dominik 45 2003 Game-theoretic rough sets. Zbl 1243.91016Herbert, Joseph P.; Yao, Jingtao 39 2011 Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182Abu Arqub, Omar 37 2019 Agents that know how to play. Zbl 1102.68106Jamroga, Wojciech; van der Hoek, Wiebe 36 2004 Contact algebras and region-based theory of space: a proximity approach. I. Zbl 1111.68122Dimov, Georgi; Vakarelov, Dimiter 33 2006 Combinatorial geometry and coding theory. Zbl 1421.94120Raigorodskii, A. M. 33 2016 The axiomatization of the rough set upper approximation. Zbl 1096.68150Liu, Gui-Long 30 2006 Qualitative spatial representation and reasoning: An overview. Zbl 0974.68206Cohn, A. G.; Hazarika, S. M. 30 2001 Application of residual power series method for the solution of time-fractional Schrödinger equations in one-dimensional space. Zbl 1417.65184Arqub, Omar Abu 29 2019 On string languages generated by spiking neural P systems. Zbl 1108.68055Chen, Haiming; Freund, Rudolf; Ionescu, Mihai; Păun, Gheorghe; Pérez-Jiménez, Mario J. 29 2007 A new family of the local fractional PDEs. Zbl 1386.35461Yang, Xiao-Jun; Machado, J. A. Tenreiro; Nieto, Juan J. 29 2017 Entropies and co-entropies of coverings with application to incomplete information systems. Zbl 1108.68112Bianucci, Daniela; Cattaneo, Gianpiero; Ciucci, Davide 28 2007 Solving a PSPACE-complete problem by recognizing P systems with restricted active membranes. Zbl 1085.68048Alhazov, Artiom; Martín-Vide, Carlos; Pan, Linqiang 28 2004 On the structure of rough approximations. Zbl 1012.68200Järvinen, Jouni 27 2002 Branching bisimilarity with explicit divergence. Zbl 1183.68404van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola 27 2009 Mesh algorithms for solving principal Diophantine equations, sand-glass tubes and tori of roots. Zbl 1257.11109Simson, Daniel 26 2011 Number-conserving cellular automaton rules. Zbl 1013.37006Boccara, Nino; Fukś, Henryk 25 2002 Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1136.03045Diaconescu, Denisa; Georgescu, George 25 2007 Rough sets, coverings and incomplete information. Zbl 1279.68308Couso, Inés; Dubois, Didier 24 2011 An optimization wavelet method for multi variable-order fractional differential equations. Zbl 1379.65046Heydari, M. H.; Hooshmandasl, M. R.; Cattani, C.; Hariharan, G. 23 2017 SM-algorithms for approximating the variable-order fractional derivative of high order. Zbl 1377.65031Moghaddam, B. P.; Machado, J. A. T. 23 2017 Near sets. Special theory about nearness of objects. Zbl 1108.68119Peters, James F. 22 2007 Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512Penczek, Wojciech; Lomuscio, Alessio 22 2003 Algorithms determining matrix Morsifications, Weyl orbits, Coxeter polynomials and mesh geometries of roots for Dynkin diagrams. Zbl 1290.68138Simson, Daniel 22 2013 A multiple-category classification approach with decision-theoretic rough sets. Zbl 1248.68492Liu, Dun; Li, Tianrui; Li, Huaxiong 21 2012 The watershed transform: Definitions, algorithms and parallelization strategies. Zbl 0958.68184Roerdink, Jos B. T. M.; Meijster, Arnold 21 2000 Residual power series method for fractional diffusion equations. Zbl 1386.35445Kumar, Amit; Kumar, Sunil; Yan, Sheng-Ping 21 2017 A modal interface theory for component-based design. Zbl 1242.68147Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto 20 2011 P systems with proteins on membranes. Zbl 1099.68031Păun, Andrei; Popa, Bianca 20 2006 Fault diagnosis with static and dynamic observers. Zbl 1167.68011Cassez, Franck; Tripakis, Stavros 20 2008 Inflation algorithms for positive and principal edge-bipartite graphs and unit quadratic forms. Zbl 1247.05241Kosakowska, Justyna 20 2012 Mesh algorithms for Coxeter spectral classification of Cox-regular edge-bipartite graphs with loops. II: Application to Coxeter spectral analysis. Zbl 1335.05145Kasjan, Stanisław; Simson, Daniel 20 2015 Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. I. A Gram classification. Zbl 1371.05115Simson, Daniel 20 2016 Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. II: Isotropy mini-groups. Zbl 1371.05116Simson, Daniel 20 2016 Approximate solutions of DASs with nonclassical boundary conditions using novel reproducing kernel algorithm. Zbl 1373.65051Arqub, Omar Abu 20 2016 On axiomatization of inconsistency indicators for pairwise comparisons. Zbl 1303.91063Koczkodaj, Waldemar W.; Szwarc, Ryszard 19 2014 A comparative study of algebra viewpoint and information viewpoint in attribute reduction. Zbl 1098.68134Wang, Guoyin Y.; Zhao, Jun; An, Jiujiang; Wu, Yu 19 2005 Mesh algorithms for Coxeter spectral classification of Cox-regular edge-bipartite graphs with loops. I: Mesh root systems. Zbl 1335.05144Kasjan, Stanisław; Simson, Daniel 19 2015 Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. II: Coxeter type study. Zbl 1367.05107Mróz, Andrzej 19 2016 Self-indexed grammar-based compression. Zbl 1237.68072Claude, Francisco; Navarro, Gonzalo 18 2011 Two-way reversible multi-head finite automata. Zbl 1234.68230Morita, Kenichi 18 2011 Modelling multi-agent three-way decisions with decision-theoretic rough sets. Zbl 1248.68505Yang, Xiaoping; Yao, Jingtao 18 2012 Fundamenta morphologicae mathematicae. Zbl 0958.68177Goutsias, John; Heijmans, Henk J. A. M. 18 2000 A framework for Coxeter spectral analysis of edge-bipartite graphs, their rational morsifications and mesh geometries of root orbits. Zbl 1269.05073Simson, Daniel 18 2013 Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. I: Inflation algorithm revisited. Zbl 1367.05106Mróz, Andrzej 18 2016 Institution-independent ultraproducts. Zbl 1036.03055Diaconescu, Răzvan 17 2003 State complexity: recent results and open problems. Zbl 1102.68076Yu, Sheng 17 2005 A modal characterization of Nash equilibrium. Zbl 1041.03016Harrenstein, Paul; van der Hoek, Wiebe; Meyer, John-Jules; Witteveen, Cees 17 2003 Logics for real time: decidability and complexity. Zbl 1127.03012Hirshfeld, Yoram; Rabinovich, Alexander 17 2004 A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 17 2006 Nets with tokens which carry data. Zbl 1154.68090Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James 17 2008 Reaction system models for the heat shock response. Zbl 1286.92022Azimi, Sepinoud; Iancu, Bogdan; Petre, Ion 17 2014 Membrane division, oracles, and the counting hierarchy. Zbl 1357.68064Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio 17 2015 GASP: Answer set programming with lazy grounding. Zbl 1207.68118Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 17 2009 Multigranulation decision-theoretic rough set in ordered information system. Zbl 1334.68220Li, Wentao; Xu, Weihua 16 2015 Picture fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. Zbl 1390.68684Wei, Guiwu 16 2018 Cubic algorithm to compute the Dynkin type of a positive definite quasi-Cartan matrix. Zbl 1442.65082Pérez, Claudia; Abarca, Mario; Rivera, Daniel 16 2018 A possibility-theoretic view of formal concept analysis. Zbl 1108.68114Dubois, Didier; Dupin de Saint-Cyr, Florence; Prade, Henri 16 2007 The state complexity of two combined operations: star of catenation and star of reversal. Zbl 1147.68040Gao, Yuan; Salomaa, Kai; Yu, Sheng 16 2008 Inflation algorithm for Cox-regular positive edge-bipartite graphs with loops. Zbl 1377.05078Makuracki, Bartosz; Simson, Daniel; Zyglarski, Błażej 15 2017 On the injectivity of the Parikh matrix mapping. Zbl 0997.68075Atanasiu, Adrian; Martín-Vide, Carlos; Mateescu, Alexandru 15 2002 Frequent subtree mining – an overview. Zbl 1096.68044Chi, Yun; Nijssen, Siegfried; Muntz, Richard R.; Kok, Joost N. 15 2005 Injectivity of the Parikh matrix mappings revisited. Zbl 1104.68058Şerbănuţă, Virgil Nicolae; Şerbănuţă, Traian Florin 15 2006 Contact algebras and region-based theory of space: proximity approach. II. Zbl 1111.68123Dimov, Georgi; Vakarelov, Dimiter 15 2006 A predator-prey cellular automaton with parasitic interactions and environmental effects. Zbl 1140.37024Farina, Fabio; Dennunzio, Alberto 15 2008 From Mirkin’s prebases to Antimirov’s word partial derivatives. Zbl 0976.68098Champarnaud, Jean-Marc; Ziadi, Djelloul 15 2001 A convergence proof for the particle swarm optimiser. Zbl 1211.90320van den Bergh, Frans; Engelbrecht, Andries Petrus 15 2010 Modal logics for region-based theories of space. Zbl 1142.03012Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter 15 2007 Graph theoretical and algorithmic characterizations of positive definite symmetric quasi-Cartan matrices. Zbl 1374.68235Abarca, M.; Rivera, D. 15 2016 From one-dimensional to two-dimensional cellular automata. Zbl 1250.68204Dennunzio, Alberto 14 2012 Residual finite state automata. Zbl 1011.68048Denis, François; Lemay, Aurélien; Terlutte, Alain 14 2002 On the injectivity of Parikh matrix mappings. Zbl 1102.68072Salomaa, Arto 14 2005 Pretropologies and dynamic spaces. Zbl 1098.68131Pagliani, Piero 14 2004 The weighted suffix tree: an efficient data structure for handling molecular weighted sequences and its applications. Zbl 1095.68029Iliopoulos, Costas S.; Makris, Christos; Panagis, Yannis; Perdikuri, Katerina; Theodoridis, Evangelos; Tsakalidis, Athanasios 14 2006 Membrane computing and economics: numerical P systems. Zbl 1157.68373Păun, Gheorghe; Păun, Radu 14 2006 Computing issues of asynchronous CA. Zbl 1283.68226Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca 14 2012 Nondeterministic state complexity of basic operations for prefix-free regular languages. Zbl 1161.68534Han, Yo-Sub; Salomaa, Kai; Wood, Derick 14 2009 Smaller universal spiking neural P systems. Zbl 1154.68054Zhang, Xingyi; Zeng, Xiangxiang; Pan, Linqiang 14 2008 VERICS 2007 – a model checker for knowledgee and real-time. Zbl 1167.68381Kacprzak, Magdalena; Nabiałek, Wojciech; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Woźna, Bożena; Zbrzezny, Andrzej 14 2008 Algorithms for isotropy groups of Cox-regular edge-bipartite graphs. Zbl 1335.05146Kasjan, Stanisław; Simson, Daniel 14 2015 Nearness of objects: extension of approximation space model. Zbl 1124.68107Peters, James F.; Skowron, Andrzej; Stepaniuk, Jaroslaw 14 2007 Refinement, decomposition, and instantiation of discrete models: application to Event-B. Zbl 1118.68392Abrial, Jean-Raymond; Hallerstede, Stefan 14 2007 Orthopairs: a simple and widely used way to model uncertainty. Zbl 1242.68309Ciucci, Davide 13 2011 Concept lattices and similarity in non-commutative fuzzy logic. Zbl 1023.03016Georgescu, George; Popescu, Andrei 13 2002 A fuzzy modal logic for belief functions. Zbl 1044.03009Godo, Lluís; Hájek, Petr; Esteva, Francesc 13 2003 RRIA: A rough set and rule tree based incremental knowledge acquisition algorithm. Zbl 1098.68711Zheng, Zheng; Wang, Guoyin 13 2004 A quantum-inspired evolutionary algorithm based on P systems for knapsack problem. Zbl 1154.68514Zhang, Ge-Xiang; Gheorghe, Marian; Wu, Chao-Zhong 13 2008 An algorithmic solution of a Birkhoff type problem. Zbl 1156.16011Simson, Daniel; Wojewódzki, Mariusz 13 2008 Normalized decision functions and measures for inconsistent decision tables analysis. Zbl 0970.68171Ślȩzak, Dominik 13 2000 Elementary complexity and geometry of interaction. Zbl 0973.03033Baillot, Patrick; Pedicini, Marco 13 2001 Strong normalisation of cut-elimination in classical logic. Zbl 0982.03032Urban, C.; Bierman, G. M. 13 2001 On algorithmic study of non-negative posets of corank at most two and their Coxeter-Dynkin types. Zbl 1335.05171Gąsiorek, Marcin; Zając, Katarzyna 13 2015 A multifaceted analysis of probabilistic three-way decisions. Zbl 1302.68257Deng, Xiaofei; Yao, Yiyu 12 2014 Chaotic subshifts and related languages. Applications to one-dimensional cellular automata. Zbl 1011.68054Cattaneo, Gianpiero; Dennunzio, Alberto; Margara, Luciano 12 2002 Algebraic structures related to many valued logical systems. I: Heyting Wajsberg algebras. Zbl 1090.03035Cattaneo, Gianpiero; Ciucci, Davide; Giuntini, Roberto; Konig, Martin 12 2004 Exploiting the lattice of ideals representation of a poset. Zbl 1110.06001De Loof, Karel; De Meyer, Hans; De Baets, Bernard 12 2006 On domain theory over Girard quantales. Zbl 1193.06006Waszkiewicz, Paweł 12 2009 Connections for sets and functions. Zbl 0958.68534Serra, Jean 12 2000 On the general position number of complementary prisms. Zbl 07350475Neethu, P. K.; Chandran, S. V. Ullas; Changat, Manoj; Klavžar, Sandi 4 2021 Optimal wirelength of balanced complete multipartite graphs onto Cartesian product of {path, cycle} and trees. Zbl 1482.68169Arockiaraj, Micheal; Delaila, J. Nancy; Abraham, Jessie 2 2021 Probabilistic timed automata with clock-dependent probabilities. Zbl 1478.68136Sproston, Jeremy 1 2021 Causal-consistent replay reversible semantics for message passing concurrent programs. Zbl 1482.68131Lanese, Ivan; Palacios, Adrián; Vidal, Germán 1 2021 On variable precision generalized rough sets and incomplete decision tables. Zbl 07355387Syau, Yu-Ru; Liau, Churn-Jung; Lin, En-Bing 1 2021 Continuous domains in formal concept analysis. Zbl 07426112Wang, Longchun; Guo, Lankun; Li, Qingguo 1 2021 Self-verifying pushdown and queue automata. Zbl 07426118Fernau, Henning; Kutrib, Martin; Wendlandt, Matthias 1 2021 Parametric analyses of attack-fault trees. Zbl 07467825André, Étienne; Lime, Didier; Ramparison, Mathias; Stoelinga, Mariëlle 1 2021 A graph theoretical framework for the strong Gram classification of non-negative unit forms of Dynkin type \(\mathbb{A}_n\). Zbl 1482.15020Jiménez González, Jesús Arturo 1 2021 Reaction systems and enabling equivalence. Zbl 1435.68095Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz 5 2020 Membrane creation in polarizationless P systems with active membranes. Zbl 1435.68096Orellana-Martín, David; Valencia-Cabrera, Luis; Riscos-Núñez, Agustín; Pérez-Jiménez, Mario J. 2 2020 P systems with rule production and removal. Zbl 1435.68097Pan, Linqiang; Song, Bosheng 2 2020 Verification techniques for a network algebra. Zbl 1464.68233Brodo, Linda; Olarte, Carlos 2 2020 Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms. Zbl 07350035Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 2 2020 Discovering object-centric Petri nets. Zbl 07350058van der Aalst, Wil M. P.; Berti, Alessandro 2 2020 Unavoidable sets, prefix graphs and regularity of circular splicing languages. Zbl 1435.68146Bonizzoni, Paola; De Felice, Clelia; Zaccagnino, Rocco; Zizza, Rosalba 1 2020 Insertions yielding equivalent double occurrence words. Zbl 1435.68250Cruz, Daniel A.; Ferrari, Margherita Maria; Jonoska, Nataša; Nabergall, Lukas; Saito, Masahico 1 2020 The many roads to the simulation of reaction systems. Zbl 1435.68094Ferretti, Claudio; Leporati, Alberto; Manzoni, Luca; Porreca, Antonio E. 1 2020 How hard is it to predict sandpiles on lattices? A survey. Zbl 1445.37006Formenti, Enrico; Perrot, Kévin 1 2020 How to synchronize cellular automata – recent developments. Zbl 1441.68141Umeo, Hiroshi 1 2020 On Szilard languages of labelled insertion grammars. Zbl 1464.68182Paul, Prithwineel 1 2020 On the compactness property of mereological spaces. Zbl 1464.03005Polkowski, Lech 1 2020 A second-order corrector infeasible interior-point method with one-norm wide neighborhood for symmetric optimization. Zbl 1476.90350Kheirfam, Behrouz 1 2020 A many-sorted polyadic modal logic. Zbl 1471.03047Leuş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.68049Frühwirth, Thom 1 2020 A constructor-based reachability logic for rewrite theories. Zbl 1471.68076Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José 1 2020 Disjunctive total domination subdivision number of graphs. Zbl 1479.05257Çiftçi, Canan; Aytaç, Vecdi 1 2020 On combining the methods of link residual and domination in networks. Zbl 1471.68211Turacı, Tufan 1 2020 An experimental comparison of algebraic crossover operators for permutation problems. Zbl 07285108Baioletti, Marco; Di Bari, Gabriele; Milani, Alfredo; Santucci, Valentino 1 2020 A behavioural theory of recursive algorithms. Zbl 07350023Börger, Egon; Schewe, Klaus-Dieter 1 2020 Dynamic slicing for concurrent constraint languages. Zbl 07350036Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia 1 2020 Constructing node-independent spanning trees in augmented cubes. Zbl 07350045Cheng, Baolei; Fan, Jianxi; Lyu, Qiang; Lin, Cheng-Kuan; Li, Xiaoyan; Chen, Guo 1 2020 Network controllability analysis of three multiple-myeloma patient genetic mutation datasets. Zbl 07350069Sanchez, Martin Jose Angel; Petre, Ion 1 2020 Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182Abu Arqub, Omar 37 2019 Application of residual power series method for the solution of time-fractional Schrödinger equations in one-dimensional space. Zbl 1417.65184Arqub, Omar Abu 29 2019 An approach of proximity in rough set theory. Zbl 1435.68329Tiwari, Surabhi; Singh, Pankaj Kumar 6 2019 The Hamiltonian cycle and travelling salesman problems in cP systems. Zbl 1414.68028Cooper, James; Nicolescu, Radu 5 2019 Complex interval-valued intuitionistic fuzzy sets and their aggregation operators. Zbl 1414.03012Garg, Harish; Rani, Dimple 5 2019 Expansion-based QBF solving on tree decompositions. Zbl 1415.68111Charwat, Günther; Woltran, Stefan 4 2019 Handling non-determinism in spiking neural P systems: algorithms and simulations. Zbl 1414.68026Carandang, Jym Paul; Cabarle, Francis George C.; Adorna, Henry Natividad; Hernandez, Nestine Hope S.; Martínez-del-Amor, Miguel Ángel 4 2019 Analysis and synthesis of weighted marked graph Petri nets: exact and approximate methods. Zbl 1436.68210Devillers, Raymond; Hujsa, Thomas 4 2019 A computational Maple library for skew PBW extensions. Zbl 1416.68216Fajardo, William 3 2019 Three-way decisions with rough membership functions in covering approximation space. Zbl 1412.68278Yang, Bin; Hu, Bao Qing; Qiao, Junsheng 3 2019 Elementary matrix-computational proof of Quillen-Suslin theorem for Ore extensions. Zbl 1429.16025Fajardo, William; Lezama, Oswaldo 3 2019 Studying opacity of reaction systems through formula based predictors. Zbl 1412.68059Gori, Roberta; Gruska, Damas; Milazzo, Paolo 2 2019 Universal computation in a simplified Brownian cellular automaton with von Neumann neighborhood. Zbl 1455.68116Xu, Wen-Li; Lee, Jia; Chen, Hui-Hui; Isokawa, Teijiro 2 2019 The computational power of cell-like P systems with symport/antiport rules and promoters. Zbl 1414.68029Jiang, Suxia; Wang, Yanfeng; Xu, Jinbang; Xu, Fei 2 2019 Two-center of the convex hull of a point set: dynamic model, and restricted streaming model. Zbl 1414.68135Sadhu, Sanjib; Roy, Sasanka; Nandi, Soumen; Maheshwari, Anil; Nandy, Subhas C. 2 2019 Determining formulas related to point compression on alternative models of elliptic curves. Zbl 1436.14056Dryło, Robert; Kijko, Tomasz; Wroński, Michał 2 2019 Combining the concepts of residual and domination in graphs. Zbl 1415.05139Turacı, Tufan; Aytaç, Aysun 1 2019 Tackling permutation-based optimization problems with an algebraic particle swarm optimization algorithm. Zbl 1418.90249Santucci, Valentino; Baioletti, Marco; Milani, Alfredo 1 2019 On Boolean representation of continuous data biclustering. Zbl 07094221Michalak, Marcin; Ślęzak, Dominik 1 2019 Graphical partitions and graphical relations. Zbl 1412.68174Shaheen, Tanzeela; Stell, John G. 1 2019 Linking reaction systems with rough sets. Zbl 1412.68058Dutta, Soma; Jankowski, Andrzej; Rozenberg, Grzegorz; Skowron, Andrzej 1 2019 Applying modern SAT-solvers to solving hard problems. Zbl 1412.68088Niewiadomski, Artur; Switalski, Piotr; Sidoruk, Teofil; Penczek, Wojciech 1 2019 A modal logic of a truth definition for finite models. Zbl 1435.03042Czarnecki, Marek; Zdanowski, Konrad 1 2019 Comparison of heuristics for optimization of association rules. Zbl 1414.68102Alsolami, Fawaz; Amin, Talha; Moshkov, Mikhail; Zielosko, Beata; Żabiński, Krzysztof 1 2019 Representation of lattices with modal operators in two-sorted frames. Zbl 1435.03090Hartonas, Chrysafis; Orłowska, Ewa 1 2019 A reconstruction of default conditionals within epistemic logic. Zbl 1441.03017Koutras, Costas D.; Moyzes, Christos; Rantsoudis, Christos 1 2019 Rough-fuzzy circular clustering for color normalization of histological images. Zbl 1414.92180Maji, Pradipta; Mahapatra, Suman 1 2019 A dynamic logic account of active integrity constraints. Zbl 1427.68064Feuillade, Guillaume; Herzig, Andreas; Rantsoudis, Christos 1 2019 A query language based on term matching and rewriting. Zbl 1427.68135Zieliński, Bartosz 1 2019 Lucent process models and translucent event logs. Zbl 1428.68207van der Aalst, Wil M. P. 1 2019 Decidability of several concepts of finiteness for simple types. Zbl 1446.03036Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 New semantical insights into call-by-value \(\lambda\)-calculus. Zbl 1434.68092Manzonetto, Giulio; Pagani, Michele; Ronchi Della Rocca, Simona 1 2019 Observational equivalence for multiparty sessions. Zbl 1436.68214Severi, Paula; Dezani-Ciancaglini, Mariangiola 1 2019 Computable contact algebras. Zbl 1446.03076Bazhenov, Nikolay 1 2019 Communication P systems with channel states working in flat maximally parallel manner. Zbl 1423.68171Jiang, Suxia; Wang, Yanfeng; Xu, Fei; Deng, Junli 1 2019 On the existence of kernel function for kernel-trick of \(k\)-means in the light of Gower theorem. Zbl 1435.68265Kłopotek, Mieczysław A. 1 2019 Algorithmic completeness of imperative programming languages. Zbl 1423.68087Marquer, Yoann 1 2019 Picture fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. Zbl 1390.68684Wei, Guiwu 16 2018 Cubic algorithm to compute the Dynkin type of a positive definite quasi-Cartan matrix. Zbl 1442.65082Pérez, Claudia; Abarca, Mario; Rivera, Daniel 16 2018 The graph theory general position problem on some interconnection networks. Zbl 1407.68367Manuel, Paul; Klavžar, Sandi 11 2018 Some novel Pythagorean fuzzy interaction aggregation operators in multiple attribute decision making. Zbl 1390.91103Gao, Hui; Lu, Mao; Wei, Guiwu; Wei, Yu 6 2018 Anatomy of the chase. Zbl 1390.68247Grahne, Gösta; Onet, Adrian 4 2018 Towards a rational closure for expressive description logics: the case of \(\mathcal{SHIQ}\). Zbl 1408.68137Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola 4 2018 Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure. Zbl 1404.68152Giordano, Laura; Theseider Dupré, Daniele 3 2018 Multi-agent dialogues and dialogue sequents for proof search and scheduling in intuitionistic logic and the modal logic S4. Zbl 1408.68139Sticht, Martin 3 2018 On \(\{\ell\}\)-metric dimensions in graphs. Zbl 1400.05072Hakanen, Anni; Laihonen, Tero 3 2018 Design of epidemic computer virus model with effect of quarantine in the presence of immunity. Zbl 1398.68046Masood, Zaheer; Majeed, Khalid; Samar, Raza; Raja, Muhammad Asif Zahoor 2 2018 Preserving \(\lambda\)-scrambling matrices. Zbl 1396.05070Guterman, Alexander E.; Maksaev, Artem M. 2 2018 Subset synchronization in monotonic automata. Zbl 1400.68114Ryzhikov, Andrew; Shemyakov, Anton 2 2018 Studying word equations by a method of weighted frequencies. Zbl 1400.68115Saarela, Aleksi 2 2018 Cryptanalysis and improvement for certificateless aggregate signature. Zbl 1391.94775Li, Jiguo; Yuan, Hong; Zhang, Yichen 2 2018 Reversing transitions in bounded Petri nets. Zbl 1390.68457Barylska, Kamila; Erofeev, Evgeny; Koutny, Maciej; Mikulski, Łukasz; Piątkowski, Marcin 2 2018 Reference abstract domains and applications to string analysis. Zbl 1386.68031Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi 2 2018 Logics for modelling collective attitudes. Zbl 1386.68162Porello, Daniele 2 2018 Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming. Zbl 1390.68621Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe 2 2018 Additional winning strategies in reachability games. Zbl 1386.91035Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana 2 2018 A Petri net based modeling of active objects and futures. Zbl 1390.68489de Boer, Frank S.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi 2 2018 Ordered weighted hesitant fuzzy information fusion-based approach to multiple attribute decision making with probabilistic linguistic term sets. Zbl 1390.68651Farhadinia, Bahram; Xu, Zeshui 2 2018 Boolean representation for exact biclustering. Zbl 1398.68451Michalak, Marcin; Ślȩzak, Dominik 1 2018 Constraint logic programming with polynomial constraints over finite domains. Zbl 1396.68030Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco 1 2018 Extending logic programming with labelled variables: model and semantics. Zbl 1396.68031Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea 1 2018 Logic-based verification of the distributed dining philosophers protocol. Zbl 1396.68071Delzanno, Giorgio 1 2018 The complexity of diagnosability and opacity verification for Petri nets. Zbl 1401.68221Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan 1 2018 A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří 1 2018 On deadlockability, liveness and reversibility in subclasses of weighted Petri nets. Zbl 1400.68135Hujsa, Thomas; Devillers, Raymond 1 2018 Residual closeness of generalized thorn graphs. Zbl 1396.05104Dangalchev, Chavdar 1 2018 Vector ambiguity and freeness problems in \(\mathrm{SL}(2,\mathbb{Z})\). Zbl 1406.20055Ko, Sang-Ki; Potapov, Igor 1 2018 ...and 856 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 5,906 Authors 42 Pan, Linqiang 36 Pérez-Jiménez, Mario J. 28 Kutrib, Martin 26 Mauri, Giancarlo 25 Koutny, Maciej 25 Yao, Yiyu 24 Salomaa, Kai T. 23 Manzoni, Luca E. 23 Milazzo, Paolo 22 Porreca, Antonio E. 21 Barbuti, Roberto 21 Chiaselotti, Giampiero 21 Leporati, Alberto 21 Malcher, Andreas 21 Simson, Daniel 21 Song, Bosheng 20 Li, Tianrui 20 Zandron, Claudio 19 Formenti, Enrico 19 Ibarra, Oscar H. 19 Păun, Gheorghe 18 Kleijn, Jetty H. C. M. 18 Maggiolo-Schettini, Andrea 18 Ojeda-Aciego, Manuel 18 Rozenberg, Grzegorz 18 Valencia-Cabrera, Luis 17 Ciobanu, Gabriel 17 Ciucci, Davide 17 Dubois, Didier 17 Freund, Rudolf 17 Grabowski, Adam 17 Kari, Lila 17 Li, Qingguo 17 Salomaa, Arto Kustaa 17 Zeng, Xiangxiang 16 Dennunzio, Alberto 16 Medina, Jesús 16 Miao, Duoqian 16 Okhotin, Alexander 16 Păun, Andrei 16 Subramanian, Kumbakonam Govindarajan 16 Teh, Wen Chean 15 Alhazov, Artiom 15 De Baets, Bernard 15 Ésik, Zoltán 15 Infusino, Federico G. 15 Otto, Friedrich 15 Prade, Henri M. 15 Vakarelov, Dimiter 14 Gentile, Tommaso 14 Manea, Florin 14 Murano, Aniello 14 Sosík, Petr 14 Wang, Jun 14 Zhu, William 13 Arqub, Omar Abu 13 Băleanu, Dumitru I. 13 Cattaneo, Gianpiero 13 Dassow, Jürgen 13 Moreira, Nelma 13 Moshkov, Mikhail Ju. 13 Nagy, Benedek 13 Orellana-Martín, David 13 Peng, Hong 13 Raĭgorodskiĭ, Andreĭ Mikhaĭlovich 13 Riscos-Núñez, Agustín 13 Xu, Weihua 12 Jirásková, Galina 12 Navarro, Gonzalo 12 Qian, Yuhua 12 Wang, Guoyin 12 Yu, Sheng 11 Aman, Bogdan 11 Bergstra, Jan A. 11 Fernau, Henning 11 Han, Yo-Sub 11 Liu, Dun 11 Luttik, Bas 11 Middelburg, Cornelis A. 11 Montanari, Angelo 11 Petre, Ion 11 Potapov, Igor 11 Reis, Rogério 11 Rodríguez-Patón, Alfonso 11 Tiwari, Surabhi 10 Adorna, Henry Natividad 10 Cornelis, Chris 10 Diaconescu, Răzvan 10 Georgescu, Irina 10 Gheorghe, Marian 10 Harju, Tero 10 Heydari, Mohammad Hossien 10 Holzer, Markus 10 Hu, Baoqing 10 Kheirfam, Behrouz 10 Klavžar, Sandi 10 Liu, Guilong 10 Nguyen, Linh Anh 10 Peron, Adriano 10 Sun, Bingzhen ...and 5,806 more Authors all top 5 Cited in 371 Journals 512 Theoretical Computer Science 247 Information Sciences 185 International Journal of Approximate Reasoning 144 Information and Computation 88 Fuzzy Sets and Systems 73 Acta Informatica 70 Natural Computing 62 Fundamenta Informaticae 61 Artificial Intelligence 59 Soft Computing 54 Journal of Membrane Computing 53 Discrete Applied Mathematics 47 Journal of Logical and Algebraic Methods in Programming 46 Annals of Mathematics and Artificial Intelligence 45 Theory and Practice of Logic Programming 45 Logical Methods in Computer Science 44 Information Processing Letters 42 Journal of Computer and System Sciences 36 Studia Logica 34 Formal Aspects of Computing 34 Theory of Computing Systems 32 Applied Mathematics and Computation 32 Annals of Pure and Applied Logic 31 Computational and Applied Mathematics 30 International Journal of Foundations of Computer Science 29 Chaos, Solitons and Fractals 28 Mathematical Problems in Engineering 27 The Journal of Logic and Algebraic Programming 26 Journal of Applied Logic 24 Journal of Automated Reasoning 24 European Journal of Operational Research 23 Algorithmica 23 Linear Algebra and its Applications 23 RAIRO. Theoretical Informatics and Applications 22 Journal of Mathematical Imaging and Vision 21 MSCS. Mathematical Structures in Computer Science 19 International Journal of Applied Mathematics and Computer Science 18 Science of Computer Programming 18 Journal of Symbolic Computation 18 Journal of Applied Non-Classical Logics 17 Machine Learning 17 Discrete Event Dynamic Systems 17 Pattern Recognition 17 Advances in Difference Equations 16 Complexity 16 Mathematics in Computer Science 15 Mathematical Notes 15 Fractals 15 RAIRO. Theoretical Informatics and Applications 15 Symmetry 14 Programming and Computer Software 14 Journal of Intelligent and Fuzzy Systems 13 Computers & Mathematics with Applications 13 European Journal of Combinatorics 13 Formal Methods in System Design 13 Journal of Logic, Language and Information 13 Journal of Discrete Algorithms 13 Formalized Mathematics 12 Journal of Philosophical Logic 11 Discrete Mathematics 11 Synthese 11 Journal of Applied Mathematics 11 ACM Transactions on Computational Logic 11 Algorithms 10 Archive for Mathematical Logic 10 The Bulletin of Symbolic Logic 10 Logica Universalis 10 Frontiers of Computer Science 10 AIMS Mathematics 9 Automatica 9 The Journal of Symbolic Logic 9 Mathematics and Computers in Simulation 9 Annals of Operations Research 9 Cybernetics and Systems Analysis 9 Journal of Applied Mathematics and Computing 9 Cryptography and Communications 8 International Journal of Theoretical Physics 8 Applied Numerical Mathematics 8 Distributed Computing 8 Journal of Mathematical Sciences (New York) 8 International Journal of Applied and Computational Mathematics 7 Problems of Information Transmission 7 Notre Dame Journal of Formal Logic 7 Topology and its Applications 7 Applicable Algebra in Engineering, Communication and Computing 7 The Electronic Journal of Combinatorics 7 Journal of Automata, Languages and Combinatorics 7 Sibirskie Èlektronnye Matematicheskie Izvestiya 7 The Review of Symbolic Logic 7 Journal of Mathematics 6 Algebra Universalis 6 Journal of Algebra 6 Journal of Combinatorial Theory. Series A 6 Journal of Computational and Applied Mathematics 6 Kybernetika 6 Designs, Codes and Cryptography 6 The Journal of Artificial Intelligence Research (JAIR) 6 Journal of Combinatorial Optimization 6 Data Mining and Knowledge Discovery 6 Logic and Logical Philosophy ...and 271 more Journals all top 5 Cited in 56 Fields 3,130 Computer science (68-XX) 907 Mathematical logic and foundations (03-XX) 287 Combinatorics (05-XX) 227 Order, lattices, ordered algebraic structures (06-XX) 201 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 175 Operations research, mathematical programming (90-XX) 168 Information and communication theory, circuits (94-XX) 149 Biology and other natural sciences (92-XX) 137 Numerical analysis (65-XX) 95 Dynamical systems and ergodic theory (37-XX) 91 General topology (54-XX) 77 Partial differential equations (35-XX) 72 Real functions (26-XX) 71 Ordinary differential equations (34-XX) 66 Category theory; homological algebra (18-XX) 66 Statistics (62-XX) 65 Systems theory; control (93-XX) 57 Number theory (11-XX) 52 Linear and multilinear algebra; matrix theory (15-XX) 48 Associative rings and algebras (16-XX) 36 Probability theory and stochastic processes (60-XX) 33 Quantum theory (81-XX) 31 Group theory and generalizations (20-XX) 27 General algebraic systems (08-XX) 25 Integral equations (45-XX) 17 Measure and integration (28-XX) 16 Operator theory (47-XX) 13 Difference and functional equations (39-XX) 13 Geometry (51-XX) 13 Convex and discrete geometry (52-XX) 13 Mechanics of deformable solids (74-XX) 13 Statistical mechanics, structure of matter (82-XX) 12 Algebraic geometry (14-XX) 12 Fluid mechanics (76-XX) 11 History and biography (01-XX) 11 Calculus of variations and optimal control; optimization (49-XX) 9 Special functions (33-XX) 9 Approximations and expansions (41-XX) 7 General and overarching topics; collections (00-XX) 6 Nonassociative rings and algebras (17-XX) 6 Functional analysis (46-XX) 5 Commutative algebra (13-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 4 Integral transforms, operational calculus (44-XX) 4 Manifolds and cell complexes (57-XX) 4 Classical thermodynamics, heat transfer (80-XX) 3 Functions of a complex variable (30-XX) 3 Geophysics (86-XX) 3 Mathematics education (97-XX) 2 Field theory and polynomials (12-XX) 2 Algebraic topology (55-XX) 2 Optics, electromagnetic theory (78-XX) 1 Topological groups, Lie groups (22-XX) 1 Sequences, series, summability (40-XX) 1 Abstract harmonic analysis (43-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year