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,068 Publications (since 1999) References Indexed: 177 Publications with 5,531 References. all top 5 Latest Issues 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 (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) ...and 312 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 Kleijn, Jetty 15 Kutrib, Martin 15 Maggiolo-Schettini, Andrea 15 Nguyen, Linh Anh 15 Stepaniuk, Jarosław 14 Ciucci, Davide 14 Devillers, Raymond 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 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 Potapov, Igor 8 Terlikowski, Tomasz 8 Virbitskaite, Irina B. 8 Wang, Guoyin 8 Wolf, Karsten 8 Woźna, Bożena 7 Balbiani, Philippe 7 Bhattacharya, Bhargab Bikram ...and 3,913 more Authors all top 5 Fields 2,575 Computer science (68-XX) 495 Mathematical logic and foundations (03-XX) 164 General and overarching topics; collections (00-XX) 164 Information and communication theory, circuits (94-XX) 123 Combinatorics (05-XX) 121 Biology and other natural sciences (92-XX) 95 Operations research, mathematical programming (90-XX) 85 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 73 Order, lattices, ordered algebraic structures (06-XX) 41 Number theory (11-XX) 38 Numerical analysis (65-XX) 27 Dynamical systems and ergodic theory (37-XX) 27 Statistics (62-XX) 25 History and biography (01-XX) 25 General topology (54-XX) 22 Systems theory; control (93-XX) 21 Partial differential equations (35-XX) 20 Group theory and generalizations (20-XX) 16 Associative rings and algebras (16-XX) 16 Category theory; homological algebra (18-XX) 14 General algebraic systems (08-XX) 13 Quantum theory (81-XX) 12 Ordinary differential equations (34-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 11 Probability theory and stochastic processes (60-XX) 10 Real functions (26-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,610 Publications have been cited 6,849 times in 4,794 Documents Cited by ▼ Year ▼ Spiking neural P systems. Zbl 1110.68043Ionescu, Mihai; Păun, Gheorghe; Yokomori, Takashi 140 2006 Reaction systems. Zbl 1108.68056Ehrenfeucht, A.; Rozenberg, G. 83 2007 Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182Abu Arqub, Omar 49 2019 Approximate entropy reducts. Zbl 1092.68676Ślȩzak, Dominik 46 2003 Game-theoretic rough sets. Zbl 1243.91016Herbert, Joseph P.; Yao, Jingtao 45 2011 Application of residual power series method for the solution of time-fractional Schrödinger equations in one-dimensional space. Zbl 1417.65184Arqub, Omar Abu 42 2019 Contact algebras and region-based theory of space: a proximity approach. I. Zbl 1111.68122Dimov, Georgi; Vakarelov, Dimiter 39 2006 Agents that know how to play. Zbl 1102.68106Jamroga, Wojciech; van der Hoek, Wiebe 39 2004 Combinatorial geometry and coding theory. Zbl 1421.94120Raigorodskii, A. M. 34 2016 Qualitative spatial representation and reasoning: An overview. Zbl 0974.68206Cohn, A. G.; Hazarika, S. M. 33 2001 The axiomatization of the rough set upper approximation. Zbl 1096.68150Liu, Gui-Long 31 2006 A new family of the local fractional PDEs. Zbl 1386.35461Yang, Xiao-Jun; Machado, J. A. Tenreiro; Nieto, Juan J. 31 2017 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. 30 2007 Near sets. Special theory about nearness of objects. Zbl 1108.68119Peters, James F. 30 2007 Solving a PSPACE-complete problem by recognizing P systems with restricted active membranes. Zbl 1085.68048Alhazov, Artiom; Martín-Vide, Carlos; Pan, Linqiang 29 2004 On the structure of rough approximations. Zbl 1012.68200Järvinen, Jouni 28 2002 Entropies and co-entropies of coverings with application to incomplete information systems. Zbl 1108.68112Bianucci, Daniela; Cattaneo, Gianpiero; Ciucci, Davide 28 2007 Branching bisimilarity with explicit divergence. Zbl 1183.68404van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola 28 2009 Rough sets, coverings and incomplete information. Zbl 1279.68308Couso, Inés; Dubois, Didier 27 2011 Mesh algorithms for solving principal Diophantine equations, sand-glass tubes and tori of roots. Zbl 1257.11109Simson, Daniel 27 2011 Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1136.03045Diaconescu, Denisa; Georgescu, George 27 2007 The watershed transform: Definitions, algorithms and parallelization strategies. Zbl 0958.68184Roerdink, Jos B. T. M.; Meijster, Arnold 26 2000 Number-conserving cellular automaton rules. Zbl 1013.37006Boccara, Nino; Fukś, Henryk 26 2002 Residual power series method for fractional diffusion equations. Zbl 1386.35445Kumar, Amit; Kumar, Sunil; Yan, Sheng-Ping 26 2017 An optimization wavelet method for multi variable-order fractional differential equations. Zbl 1379.65046Heydari, M. H.; Hooshmandasl, M. R.; Cattani, C.; Hariharan, G. 24 2017 SM-algorithms for approximating the variable-order fractional derivative of high order. Zbl 1377.65031Moghaddam, B. P.; Machado, J. A. T. 24 2017 Fault diagnosis with static and dynamic observers. Zbl 1167.68011Cassez, Franck; Tripakis, Stavros 23 2008 On axiomatization of inconsistency indicators for pairwise comparisons. Zbl 1303.91063Koczkodaj, Waldemar W.; Szwarc, Ryszard 23 2014 A modal interface theory for component-based design. Zbl 1242.68147Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto 23 2011 Algorithms determining matrix Morsifications, Weyl orbits, Coxeter polynomials and mesh geometries of roots for Dynkin diagrams. Zbl 1290.68138Simson, Daniel 23 2013 Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512Penczek, Wojciech; Lomuscio, Alessio 23 2003 Approximate solutions of DASs with nonclassical boundary conditions using novel reproducing kernel algorithm. Zbl 1373.65051Arqub, Omar Abu 23 2016 A multiple-category classification approach with decision-theoretic rough sets. Zbl 1248.68492Liu, Dun; Li, Tianrui; Li, Huaxiong 22 2012 Self-indexed grammar-based compression. Zbl 1237.68072Claude, Francisco; Navarro, Gonzalo 22 2011 Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. I. A Gram classification. Zbl 1371.05115Simson, Daniel 22 2016 P systems with proteins on membranes. Zbl 1099.68031Păun, Andrei; Popa, Bianca 21 2006 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 21 2015 Picture fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. Zbl 1390.68684Wei, Guiwu 21 2018 Inflation algorithms for positive and principal edge-bipartite graphs and unit quadratic forms. Zbl 1247.05241Kosakowska, Justyna 20 2012 Logics for real time: decidability and complexity. Zbl 1127.03012Hirshfeld, Yoram; Rabinovich, Alexander 20 2004 Modelling multi-agent three-way decisions with decision-theoretic rough sets. Zbl 1248.68505Yang, Xiaoping; Yao, Jingtao 20 2012 Reaction system models for the heat shock response. Zbl 1286.92022Azimi, Sepinoud; Iancu, Bogdan; Petre, Ion 20 2014 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 20 2015 Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. II: Coxeter type study. Zbl 1367.05107Mróz, Andrzej 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 Nets with tokens which carry data. Zbl 1154.68090Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James 19 2008 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 Two-way reversible multi-head finite automata. Zbl 1234.68230Morita, Kenichi 19 2011 Fundamenta morphologicae mathematicae. Zbl 0958.68177Goutsias, John; Heijmans, Henk J. A. M. 18 2000 Synthesis of Petri nets from finite partial languages. Zbl 1167.68037Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian 18 2008 A possibility-theoretic view of formal concept analysis. Zbl 1108.68114Dubois, Didier; Dupin de Saint-Cyr, Florence; Prade, Henri 18 2007 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 From one-dimensional to two-dimensional cellular automata. Zbl 1250.68204Dennunzio, Alberto 18 2012 Institution-independent ultraproducts. Zbl 1036.03055Diaconescu, Răzvan 18 2003 Modal logics for region-based theories of space. Zbl 1142.03012Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter 18 2007 Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. I: Inflation algorithm revisited. Zbl 1367.05106Mróz, Andrzej 18 2016 GASP: Answer set programming with lazy grounding. Zbl 1207.68118Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 17 2009 A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 17 2006 Multigranulation decision-theoretic rough set in ordered information system. Zbl 1334.68220Li, Wentao; Xu, Weihua 17 2015 Membrane division, oracles, and the counting hierarchy. Zbl 1357.68064Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio 17 2015 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 Inflation algorithm for Cox-regular positive edge-bipartite graphs with loops. Zbl 1377.05078Makuracki, Bartosz; Simson, Daniel; Zyglarski, Błażej 17 2017 Cubic algorithm to compute the Dynkin type of a positive definite quasi-Cartan matrix. Zbl 1442.65082Pérez, Claudia; Abarca, Mario; Rivera, Daniel 17 2018 A convergence proof for the particle swarm optimiser. Zbl 1211.90320van den Bergh, Frans; Engelbrecht, Andries Petrus 17 2010 Frequent subtree mining – an overview. Zbl 1096.68044Chi, Yun; Nijssen, Siegfried; Muntz, Richard R.; Kok, Joost N. 16 2005 Residual finite state automata. Zbl 1011.68048Denis, François; Lemay, Aurélien; Terlutte, Alain 16 2002 Injectivity of the Parikh matrix mappings revisited. Zbl 1104.68058Şerbănuţă, Virgil Nicolae; Şerbănuţă, Traian Florin 16 2006 The undecidability of the logic of subintervals. Zbl 1315.03027Marcinkowski, Jerzy; Michaliszyn, Jakub 16 2014 Computing issues of asynchronous CA. Zbl 1283.68226Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca 16 2012 Algorithms for isotropy groups of Cox-regular edge-bipartite graphs. Zbl 1335.05146Kasjan, Stanisław; Simson, Daniel 16 2015 On the injectivity of the Parikh matrix mapping. Zbl 0997.68075Atanasiu, Adrian; Martín-Vide, Carlos; Mateescu, Alexandru 16 2002 From Mirkin’s prebases to Antimirov’s word partial derivatives. Zbl 0976.68098Champarnaud, Jean-Marc; Ziadi, Djelloul 16 2001 The state complexity of two combined operations: star of catenation and star of reversal. Zbl 1147.68040Gao, Yuan; Salomaa, Kai; Yu, Sheng 16 2008 A predator-prey cellular automaton with parasitic interactions and environmental effects. Zbl 1140.37024Farina, Fabio; Dennunzio, Alberto 16 2008 Refinement, decomposition, and instantiation of discrete models: application to Event-B. Zbl 1118.68392Abrial, Jean-Raymond; Hallerstede, Stefan 16 2007 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 15 2006 Contact algebras and region-based theory of space: proximity approach. II. Zbl 1111.68123Dimov, Georgi; Vakarelov, Dimiter 15 2006 Specialized predictor for reaction systems with context properties. Zbl 1373.68217Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo 15 2016 Graph theoretical and algorithmic characterizations of positive definite symmetric quasi-Cartan matrices. Zbl 1374.68235Abarca, M.; Rivera, D. 15 2016 Nondeterministic state complexity of basic operations for prefix-free regular languages. Zbl 1161.68534Han, Yo-Sub; Salomaa, Kai; Wood, Derick 15 2009 Nearness of objects: extension of approximation space model. Zbl 1124.68107Peters, James F.; Skowron, Andrzej; Stepaniuk, Jaroslaw 15 2007 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 Smaller universal spiking neural P systems. Zbl 1154.68054Zhang, Xingyi; Zeng, Xiangxiang; Pan, Linqiang 14 2008 Concept lattices and similarity in non-commutative fuzzy logic. Zbl 1023.03016Georgescu, George; Popescu, Andrei 14 2002 Pretropologies and dynamic spaces. Zbl 1098.68131Pagliani, Piero 14 2004 Membrane computing and economics: numerical P systems. Zbl 1157.68373Păun, Gheorghe; Păun, Radu 14 2006 Interval-valued fuzzy Galois connections: algebraic requirements and concept lattice construction. Zbl 1205.68403Djouadi, Yassine; Prade, Henri 14 2010 Orthopairs: a simple and widely used way to model uncertainty. Zbl 1242.68309Ciucci, Davide 14 2011 On some mathematical structures of \(T\)-fuzzy rough set algebras in infinite universes of discourse. Zbl 1241.03066Wu, Wei-Zhi 14 2011 Hoare-style verification of graph programs. Zbl 1284.68333Poskitt, Christopher M.; Plump, Detlef 14 2012 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 14 2015 Normalized decision functions and measures for inconsistent decision tables analysis. Zbl 0970.68171Ślȩzak, Dominik 14 2000 Elementary complexity and geometry of interaction. Zbl 0973.03033Baillot, Patrick; Pedicini, Marco 14 2001 On the injectivity of Parikh matrix mappings. Zbl 1102.68072Salomaa, Arto 14 2005 Connections for sets and functions. Zbl 0958.68534Serra, Jean 13 2000 Similarity-based unification. Zbl 0954.68032Formato, Ferrante; Gerla, Giangiacomo; Sessa, Maria I. 13 2000 A quantum-inspired evolutionary algorithm based on P systems for knapsack problem. Zbl 1154.68514Zhang, Ge-Xiang; Gheorghe, Marian; Wu, Chao-Zhong 13 2008 Exploiting the lattice of ideals representation of a poset. Zbl 1110.06001De Loof, Karel; De Meyer, Hans; De Baets, Bernard 13 2006 RRIA: A rough set and rule tree based incremental knowledge acquisition algorithm. Zbl 1098.68711Zheng, Zheng; Wang, Guoyin 13 2004 A note of generalization of fractional ID-factor-critical graphs. Zbl 07609819Zhou, Sizhong 1 2022 On the general position number of complementary prisms. Zbl 1485.05038Neethu, P. K.; Chandran, S. V. Ullas; Changat, Manoj; Klavžar, Sandi 5 2021 Soundness verification of data-aware process models with variable-to-variable conditions. Zbl 07467823Felli, Paolo; de Leoni, Massimiliano; Montali, Marco 4 2021 Optimal wirelength of balanced complete multipartite graphs onto Cartesian product of {path, cycle} and trees. Zbl 1482.68169Arockiaraj, Micheal; Delaila, J. Nancy; Abraham, Jessie 3 2021 Causal-consistent replay reversible semantics for message passing concurrent programs. Zbl 1482.68131Lanese, Ivan; Palacios, Adrián; Vidal, Germán 3 2021 Probabilistic timed automata with clock-dependent probabilities. Zbl 1478.68136Sproston, Jeremy 2 2021 A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. Zbl 07413824Zhang, Kuize 2 2021 Parametric analyses of attack-fault trees. Zbl 1491.68034André, Étienne; Lime, Didier; Ramparison, Mathias; Stoelinga, Mariëlle 2 2021 Coverability, termination, and finiteness in recursive Petri nets. Zbl 07467840Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor 2 2021 Piecewise affine dynamical models of Petri nets – application to emergency call centers. Zbl 07467845Allamigeon, Xavier; Boyet, Marin; Gaubert, Stéphane 2 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 2 2021 Clustering geometrically-modeled points in the aggregated uncertainty model. Zbl 07485826Keikha, Vahideh; Aghamolaei, Sepideh; Mohades, Ali; Ghodsi, Mohammad 2 2021 On variable precision generalized rough sets and incomplete decision tables. Zbl 1497.68470Syau, Yu-Ru; Liau, Churn-Jung; Lin, En-Bing 1 2021 Relations between control mechanisms for sequential grammars. Zbl 07413819Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Oswald, Marion 1 2021 Free-choice nets with home clusters are lucent. Zbl 07413821van der Aalst, Wil M. P. 1 2021 Continuous domains in formal concept analysis. Zbl 07426112Wang, Longchun; Guo, Lankun; Li, Qingguo 1 2021 Recognizing visibility graphs of triangulated irregular networks. Zbl 07426114Boomari, Hossein; Ostovari, Mojtaba; Zarei, Alireza 1 2021 Self-verifying pushdown and queue automata. Zbl 07426118Fernau, Henning; Kutrib, Martin; Wendlandt, Matthias 1 2021 Causal semantics for BPP nets with silent moves. Zbl 1496.68224Gorrieri, Roberto 1 2021 Parametric schedulability analysis of a launcher flight control system under reactivity constraints. Zbl 07467824André, Étienne; Coquard, Emmanuel; Fribourg, Laurent; Jerray, Jawher; Lesens, David 1 2021 Investigating reversibility of steps in Petri nets. Zbl 07467841de Frutos Escrig, David; Koutny, Maciej; Mikulski, Łukasz 1 2021 The complexity of synthesis of \(b\)-bounded Petri nets. Zbl 07467843Tredup, Ronny 1 2021 On the hardness of energy minimisation for crystal structure prediction. Zbl 07485825Adamson, Duncan; Deligkas, Argyrios; Gusev, Vladimir; Potapov, Igor 1 2021 A polynomial-time construction of a hitting set for read-once branching programs of width 3. Zbl 07485830Šíma, Jiří; Žák, Stanislav 1 2021 Reaction systems and enabling equivalence. Zbl 1435.68095Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz 5 2020 Discovering object-centric Petri nets. Zbl 1497.68354van der Aalst, Wil M. P.; Berti, Alessandro 5 2020 Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms. Zbl 1497.68235Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 4 2020 A constructor-based reachability logic for rewrite theories. Zbl 1471.68076Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José 3 2020 Target-oriented Petri net synthesis. Zbl 1497.68327Best, Eike; Devillers, Raymond; Erofeev, Evgeny; Wimmel, Harro 3 2020 Insertions yielding equivalent double occurrence words. Zbl 1435.68250Cruz, 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.68094Ferretti, Claudio; Leporati, Alberto; Manzoni, Luca; Porreca, Antonio E. 2 2020 How hard is it to predict sandpiles on lattices? A survey. Zbl 1445.37006Formenti, Enrico; Perrot, Kévin 2 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 How to synchronize cellular automata – recent developments. Zbl 1441.68141Umeo, Hiroshi 2 2020 Verification techniques for a network algebra. Zbl 1464.68233Brodo, Linda; Olarte, Carlos 2 2020 An experimental comparison of algebraic crossover operators for permutation problems. Zbl 1496.68383Baioletti, Marco; Di Bari, Gabriele; Milani, Alfredo; Santucci, Valentino 2 2020 A behavioural theory of recursive algorithms. Zbl 1497.68552Börger, Egon; Schewe, Klaus-Dieter 2 2020 Comparing degenerate strings. Zbl 1497.68587Alzamel, Mai; Ayad, Lorraine A. K.; Bernardini, Giulia; Grossi, Roberto; Iliopoulos, Costas S.; Pisanti, Nadia; Pissis, Solon P.; Rosone, Giovanna 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 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 On orthogonal projections on the space of consistent pairwise comparisons matrices. Zbl 07271744Koczkodaj, Waldemar W.; Smarzewski, Ryszard; Szybowski, Jacek 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 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 A propositional metric logic with fixed finite ranges. Zbl 1496.03115Djordjević, Radosav; Ikodinović, Nebojša; Stojanović, Nenad 1 2020 A simple and efficient tensor calculus for machine learning. Zbl 1497.68429Laue, Sören; Mitterreiter, Matthias; Giesen, Joachim 1 2020 The diagnosability of \((K_4-\{e\})\)-free graphs under the PMC diagnosis model. Zbl 1497.68051Lin, Cheng-Kuan; Kung, Tzu-Liang; Wang, Dajin; Teng, Yuan-Hsiang 1 2020 Dynamic slicing for concurrent constraint languages. Zbl 1497.68098Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia 1 2020 Selective unification in (constraint) logic programming. Zbl 1497.68087Mesnard, Fred; Payet, Étienne; Vidal, Germán 1 2020 The structure of multigranular rough sets. Zbl 1497.68467Järvinen, Jouni; Radeleczki, Sándor 1 2020 Constructing node-independent spanning trees in augmented cubes. Zbl 1497.68050Cheng, Baolei; Fan, Jianxi; Lyu, Qiang; Lin, Cheng-Kuan; Li, Xiaoyan; Chen, Guo 1 2020 Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182Abu Arqub, Omar 49 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 42 2019 An approach of proximity in rough set theory. Zbl 1435.68329Tiwari, Surabhi; Singh, Pankaj Kumar 7 2019 Complex interval-valued intuitionistic fuzzy sets and their aggregation operators. Zbl 1414.03012Garg, Harish; Rani, Dimple 7 2019 The Hamiltonian cycle and travelling salesman problems in cP systems. Zbl 1414.68028Cooper, James; Nicolescu, Radu 6 2019 Analysis and synthesis of weighted marked graph Petri nets: exact and approximate methods. Zbl 1436.68210Devillers, Raymond; Hujsa, Thomas 6 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 A computational Maple library for skew PBW extensions. Zbl 1416.68216Fajardo, William 3 2019 Studying opacity of reaction systems through formula based predictors. Zbl 1412.68059Gori, Roberta; Gruska, Damas; Milazzo, Paolo 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 On Boolean representation of continuous data biclustering. Zbl 1493.68307Michalak, Marcin; Ślęzak, Dominik 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 A modal logic of a truth definition for finite models. Zbl 1435.03042Czarnecki, Marek; Zdanowski, Konrad 2 2019 Pythagorean fuzzy Hamacher power aggregation operators in multiple attribute decision making. Zbl 1410.91177Wei, Gui-Wu 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 Formal properties of Petri’s cycloid systems. Zbl 1436.68215Valk, Rüdiger 2 2019 Lucent process models and translucent event logs. Zbl 1428.68207van der Aalst, Wil M. P. 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 Observational equivalence for multiparty sessions. Zbl 1436.68214Severi, Paula; Dezani-Ciancaglini, Mariangiola 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 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 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 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 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 A novel chaotic system and its modified compound synchronization. Zbl 1414.37024Sun, Junwei; Li, Nan; Wang, Yanfeng; Wang, Wei 1 2019 Rough-fuzzy circular clustering for color normalization of histological images. Zbl 1414.92180Maji, Pradipta; Mahapatra, Suman 1 2019 Decidability of several concepts of finiteness for simple types. Zbl 1446.03036Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 Strong normalization for truth table natural deduction. Zbl 1454.03076Geuvers, Herman; van der Giessen, Iris; Hurkens, Tonny 1 2019 New semantical insights into call-by-value \(\lambda\)-calculus. Zbl 1434.68092Manzonetto, Giulio; Pagani, Michele; Ronchi Della Rocca, Simona 1 2019 Picture fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. Zbl 1390.68684Wei, Guiwu 21 2018 Cubic algorithm to compute the Dynkin type of a positive definite quasi-Cartan matrix. Zbl 1442.65082Pérez, Claudia; Abarca, Mario; Rivera, Daniel 17 2018 The graph theory general position problem on some interconnection networks. Zbl 1407.68367Manuel, Paul; Klavžar, Sandi 12 2018 Anatomy of the chase. Zbl 1390.68247Grahne, Gösta; Onet, Adrian 8 2018 ...and 903 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 6,489 Authors 42 Pan, Linqiang 37 Pérez-Jiménez, Mario J. 34 Kutrib, Martin 26 Malcher, Andreas 26 Mauri, Giancarlo 26 Yao, Yiyu 25 Koutny, Maciej 24 Milazzo, Paolo 24 Salomaa, Kai T. 23 Manzoni, Luca E. 23 Song, Bosheng 22 Barbuti, Roberto 22 Chiaselotti, Giampiero 22 Porreca, Antonio E. 21 Leporati, Alberto 21 Simson, Daniel 20 Formenti, Enrico 20 Freund, Rudolf 20 Li, Tianrui 20 Păun, Gheorghe 20 Zandron, Claudio 19 Ibarra, Oscar H. 19 Kleijn, Jetty 19 Ojeda-Aciego, Manuel 19 Valencia-Cabrera, Luis 19 Zeng, Xiangxiang 18 Alhazov, Artiom 18 Ciucci, Davide 18 Grabowski, Adam 18 Kari, Lila 18 Li, Qingguo 18 Maggiolo-Schettini, Andrea 18 Rozenberg, Grzegorz 18 Teh, Wen Chean 17 Arqub, Omar Abu 17 Ciobanu, Gabriel 17 Dennunzio, Alberto 17 Dubois, Didier 17 Medina, Jesús 17 Okhotin, Alexander 17 Salomaa, Arto Kustaa 16 Băleanu, Dumitru I. 16 Infusino, Federico G. 16 Manea, Florin 16 Miao, Duoqian 16 Păun, Andrei 16 Subramanian, Kumbakonam Govindarajan 16 Wang, Jun 15 De Baets, Bernard 15 Ésik, Zoltán 15 Gentile, Tommaso 15 Murano, Aniello 15 Otto, Friedrich 15 Peng, Hong 15 Prade, Henri M. 15 Sosík, Petr 15 Vakarelov, Dimiter 14 Moreira, Nelma 14 Moshkov, Mikhail Ju. 14 Nagy, Benedek 14 Navarro, Gonzalo 14 Orellana-Martín, David 14 Raĭgorodskiĭ, Andreĭ Mikhaĭlovich 14 Zhu, William 13 Cattaneo, Gianpiero 13 Dassow, Jürgen 13 Jirásková, Galina 13 Riscos-Núñez, Agustín 13 Wang, Guoyin 13 Xu, Weihua 12 Aman, Bogdan 12 Cornelis, Chris 12 Fernau, Henning 12 Han, Yo-Sub 12 Klavžar, Sandi 12 Montanari, Angelo 12 Qian, Yuhua 12 Reis, Rogério 12 Wendlandt, Matthias 12 Yu, Sheng 11 Bergstra, Jan A. 11 Devillers, Raymond 11 Gheorghe, Marian 11 Kheirfam, Behrouz 11 Liu, Dun 11 Luttik, Bas 11 Middelburg, Cornelis A. 11 Peron, Adriano 11 Petre, Ion 11 Potapov, Igor 11 Rodríguez-Patón, Alfonso 11 Tiwari, Surabhi 11 Truthe, Bianca 11 van der Aalst, Wil M. P. 11 Verlan, Sergey 10 Adorna, Henry Natividad 10 Baldan, Paolo 10 Bozzelli, Laura 10 Diaconescu, Răzvan 10 Georgescu, Irina ...and 6,389 more Authors all top 5 Cited in 396 Journals 525 Theoretical Computer Science 247 Information Sciences 201 International Journal of Approximate Reasoning 155 Information and Computation 88 Fuzzy Sets and Systems 87 Soft Computing 76 Acta Informatica 70 Natural Computing 67 Artificial Intelligence 64 Fundamenta Informaticae 62 Journal of Membrane Computing 57 Discrete Applied Mathematics 52 Journal of Logical and Algebraic Methods in Programming 50 Logical Methods in Computer Science 46 Annals of Mathematics and Artificial Intelligence 46 Theory and Practice of Logic Programming 44 Information Processing Letters 44 Journal of Computer and System Sciences 38 Annals of Pure and Applied Logic 37 Studia Logica 34 Formal Aspects of Computing 34 Theory of Computing Systems 33 Applied Mathematics and Computation 33 Computational and Applied Mathematics 31 Chaos, Solitons and Fractals 30 International Journal of Foundations of Computer Science 28 Mathematical Problems in Engineering 27 The Journal of Logic and Algebraic Programming 26 Journal of Automated Reasoning 26 European Journal of Operational Research 26 Journal of Mathematical Imaging and Vision 26 Journal of Applied Logic 25 MSCS. Mathematical Structures in Computer Science 25 Linear Algebra and its Applications 23 Algorithmica 23 RAIRO. Theoretical Informatics and Applications 20 Advances in Difference Equations 19 Journal of Symbolic Computation 19 International Journal of Applied Mathematics and Computer Science 18 Science of Computer Programming 18 Discrete Event Dynamic Systems 18 Journal of Applied Non-Classical Logics 18 Fractals 17 Pattern Recognition 16 Machine Learning 16 Complexity 16 Mathematics in Computer Science 15 Mathematical Notes 15 RAIRO. Theoretical Informatics and Applications 15 Symmetry 14 Physica A 14 Journal of Philosophical Logic 14 Programming and Computer Software 14 Formal Methods in System Design 14 Journal of Logic, Language and Information 14 Journal of Intelligent and Fuzzy Systems 14 International Journal of Applied and Computational Mathematics 13 Computers & Mathematics with Applications 13 Synthese 13 European Journal of Combinatorics 13 Journal of Discrete Algorithms 13 Formalized Mathematics 12 Automatica 12 Journal of Automata, Languages and Combinatorics 12 Journal of Applied Mathematics and Computing 12 Cryptography and Communications 11 Discrete Mathematics 11 Journal of Applied Mathematics 11 ACM Transactions on Computational Logic 11 Algorithms 10 Annals of Operations Research 10 Archive for Mathematical Logic 10 Journal of Mathematical Sciences (New York) 10 The Bulletin of Symbolic Logic 10 Logica Universalis 10 Frontiers of Computer Science 10 AIMS Mathematics 9 The Journal of Symbolic Logic 9 Mathematics and Computers in Simulation 9 Cybernetics and Systems Analysis 8 International Journal of Theoretical Physics 8 Notre Dame Journal of Formal Logic 8 Applied Numerical Mathematics 8 Distributed Computing 8 Journal of Combinatorial Optimization 8 The Review of Symbolic Logic 7 Problems of Information Transmission 7 Journal of Computational and Applied Mathematics 7 Topology and its Applications 7 Designs, Codes and Cryptography 7 Applicable Algebra in Engineering, Communication and Computing 7 The Electronic Journal of Combinatorics 7 Mathematical Biosciences and Engineering 7 Sibirskie Èlektronnye Matematicheskie Izvestiya 7 Afrika Matematika 7 Journal of Mathematics 6 Algebra Universalis 6 Journal of Algebra 6 Journal of Combinatorial Theory. Series A 6 Kybernetika ...and 296 more Journals all top 5 Cited in 57 Fields 3,420 Computer science (68-XX) 968 Mathematical logic and foundations (03-XX) 310 Combinatorics (05-XX) 238 Order, lattices, ordered algebraic structures (06-XX) 228 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 197 Operations research, mathematical programming (90-XX) 178 Information and communication theory, circuits (94-XX) 167 Biology and other natural sciences (92-XX) 143 Numerical analysis (65-XX) 104 General topology (54-XX) 103 Dynamical systems and ergodic theory (37-XX) 91 Ordinary differential equations (34-XX) 87 Partial differential equations (35-XX) 85 Real functions (26-XX) 76 Category theory; homological algebra (18-XX) 72 Statistics (62-XX) 72 Systems theory; control (93-XX) 64 Number theory (11-XX) 55 Linear and multilinear algebra; matrix theory (15-XX) 54 Associative rings and algebras (16-XX) 41 Probability theory and stochastic processes (60-XX) 37 Quantum theory (81-XX) 35 Group theory and generalizations (20-XX) 31 General algebraic systems (08-XX) 27 Integral equations (45-XX) 24 Statistical mechanics, structure of matter (82-XX) 20 Measure and integration (28-XX) 20 Operator theory (47-XX) 15 Difference and functional equations (39-XX) 15 Convex and discrete geometry (52-XX) 14 Algebraic geometry (14-XX) 14 Fluid mechanics (76-XX) 13 Calculus of variations and optimal control; optimization (49-XX) 13 Geometry (51-XX) 12 History and biography (01-XX) 12 Mechanics of deformable solids (74-XX) 9 Approximations and expansions (41-XX) 8 Special functions (33-XX) 7 Nonassociative rings and algebras (17-XX) 6 General and overarching topics; collections (00-XX) 6 Harmonic analysis on Euclidean spaces (42-XX) 6 Functional analysis (46-XX) 5 Commutative algebra (13-XX) 4 Functions of a complex variable (30-XX) 4 Integral transforms, operational calculus (44-XX) 4 Manifolds and cell complexes (57-XX) 4 Classical thermodynamics, heat transfer (80-XX) 3 Field theory and polynomials (12-XX) 3 Geophysics (86-XX) 2 Topological groups, Lie groups (22-XX) 2 Algebraic topology (55-XX) 2 Optics, electromagnetic theory (78-XX) 2 Mathematics education (97-XX) 1 Sequences, series, summability (40-XX) 1 Abstract harmonic analysis (43-XX) 1 Mechanics of particles and systems (70-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year