# zbMATH — the first resource for mathematics

## Fundamenta Informaticae

### Annales Societatis Mathematicae Polonae. Series IV

 Short Title: Fundam. Inform. Parallel Title: Roczniki Polskiego Towarzystwa Matematycznego. Seria IV Publisher: IOS Press, Amsterdam; Polish Mathematical Society (Polskie Towarzystwo Matematyczne - PTM), Warsaw ISSN: 0169-2968; 1875-8681/e Online: http://www.iospress.nl/journal/fundamenta-informaticaehttp://www.mimuw.edu.pl/~fundam/FI/previous/issues.html Predecessor: Annales Societatis Mathematicae Polonae. Series IV
 Documents Indexed: 2,948 Publications (since 1999) References Indexed: 69 Publications with 2,362 References.
all top 5

#### Latest Issues

 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) 150, No. 2 (2017) 150, No. 1 (2017) 149, No. 4 (2016) 149, No. 3 (2016) 149, No. 1-2 (2016) 148, No. 3-4 (2016) 148, No. 1-2 (2016) 147, No. 4 (2016) 147, No. 2-3 (2016) 147, No. 1 (2016) 146, No. 4 (2016) 146, No. 3 (2016) 146, No. 2 (2016) 146, No. 1 (2016) 145, No. 4 (2016) 145, No. 3 (2016) 145, No. 2 (2016) 145, No. 1 (2016) 144, No. 3-4 (2016) 144, No. 2 (2016) 144, No. 1 (2016) 143, No. 3-4 (2016) ...and 285 more Volumes
all top 5

#### Authors

 48 Penczek, Wojciech 39 Czaja, Ludwik 34 Chang, Chin-Chen 32 Skowron, Andrzej 28 Suraj, Zbigniew 27 Koutny, Maciej 25 Păun, Gheorghe 24 Kudlek, Manfred 23 Rozenberg, Grzegorz 22 Moshkov, Mikhail Ju. 22 Pérez-Jiménez, Mario J. 20 Peters, James Francis III 19 Janicki, Ryszard 19 Polkowski, Lech T. 18 Freund, Rudolf 17 Köhler-Bußmeier, Michael 17 Zbrzezny, Andrzej 16 Margenstern, Maurice 16 Pettorossi, Alberto 15 Gruska, Damas P. 15 Maggiolo-Schettini, Andrea 15 Nguyen, Linh Anh 15 Stepaniuk, Jarosław 14 Barbuti, Roberto 14 Ciucci, Davide 14 Kleijn, Jetty H. C. M. 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 Pancerz, Krzysztof 12 Kacprzak, Magdalena 12 Karhumaki, Juhani 12 Kutrib, Martin 12 Milazzo, Paolo 12 Zielosko, Beata 11 Bergstra, Jan A. 11 Chikalov, Igor V. 11 Devillers, Raymond 11 Holzer, Markus 11 Hu, Yuchen 11 Iliopoulos, Costas S. 11 Kari, Lila 11 Middelburg, Cornelis A. 11 Orłowska, Ewa S. 11 Popova-Zeugmann, Louchka 11 Proietti, Maurizio 11 Simson, Daniel 11 Szreter, Maciej 11 Yao, Yiyu 10 Csuhaj-Varjú, Erzsébet 10 Düntsch, Ivo 10 Lomuscio, Alessio 10 Okhotin, Alexander 10 Salomaa, Kai T. 10 Vakarelov, Dimiter 10 Winkowski, Jozef 10 Yakovlev, Alexandre V. 9 Bellia, Marco 9 Best, Eike 9 Ciobanu, Gabriel 9 Dassow, Jürgen 9 Maji, Pradipta 9 Nguyen, Hung Son 9 Occhiuto, M. Eugenia 9 Półrola, Agata 9 Salomaa, Arto Kustaa 9 Salwicki, Andrzej 9 Ślęzak, Dominik 9 Tini, Simone 9 Torroni, Paolo 9 Vaszil, Gyorgy 9 Zandron, Claudio 8 Alhazov, Artiom 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 Klaudel, Hanna 8 Leporati, Alberto 8 Mauri, Giancarlo 8 Mikulski, Łukasz 8 Petre, Ion 8 Terlikowski, Tomasz 8 Tsumoto, Shusaku 8 Verlan, Sergey 8 Virbitskaite, Irina B. 8 Wang, Guoyin 8 Woźna, Bożena 7 Balbiani, Philippe 7 Bhattacharya, Bhargab Bikram 7 Bordihn, Henning 7 Cattaneo, Gianpiero 7 Dennunzio, Alberto ...and 3,775 more Authors
all top 5

#### Fields

 2,466 Computer science (68-XX) 472 Mathematical logic and foundations (03-XX) 162 Information and communication theory, circuits (94-XX) 154 General and overarching topics; collections (00-XX) 121 Biology and other natural sciences (92-XX) 109 Combinatorics (05-XX) 90 Operations research, mathematical programming (90-XX) 84 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 68 Order, lattices, ordered algebraic structures (06-XX) 37 Number theory (11-XX) 36 Numerical analysis (65-XX) 26 Dynamical systems and ergodic theory (37-XX) 25 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) 15 Category theory; homological algebra (18-XX) 14 General algebraic systems (08-XX) 14 Associative rings and algebras (16-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 Convex and discrete geometry (52-XX) 8 Linear and multilinear algebra; matrix theory (15-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)

#### Citations contained in zbMATH Open

1,462 Publications have been cited 5,441 times in 3,861 Documents Cited by Year
Spiking neural P systems. Zbl 1110.68043
Ionescu, Mihai; Păun, Gheorghe; Yokomori, Takashi
2006
Reaction systems. Zbl 1108.68056
Ehrenfeucht, A.; Rozenberg, G.
2007
Approximate entropy reducts. Zbl 1092.68676
Ślȩzak, Dominik
2003
Game-theoretic rough sets. Zbl 1243.91016
Herbert, Joseph P.; Yao, Jingtao
2011
Combinatorial geometry and coding theory. Zbl 1421.94120
Raigorodskii, A. M.
2016
Agents that know how to play. Zbl 1102.68106
Jamroga, Wojciech; van der Hoek, Wiebe
2004
Qualitative spatial representation and reasoning: An overview. Zbl 0974.68206
Cohn, A. G.; Hazarika, S. M.
2001
Contact algebras and region-based theory of space: a proximity approach. I. Zbl 1111.68122
Dimov, Georgi; Vakarelov, Dimiter
2006
The axiomatization of the rough set upper approximation. Zbl 1096.68150
Liu, Gui-Long
2006
On the structure of rough approximations. Zbl 1012.68200
Järvinen, Jouni
2002
Solving a PSPACE-complete problem by recognizing P systems with restricted active membranes. Zbl 1085.68048
Alhazov, Artiom; Martín-Vide, Carlos; Pan, Linqiang
2004
Entropies and co-entropies of coverings with application to incomplete information systems. Zbl 1108.68112
Bianucci, Daniela; Cattaneo, Gianpiero; Ciucci, Davide
2007
Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1136.03045
Diaconescu, Denisa; Georgescu, George
2007
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.
2007
Mesh algorithms for solving principal Diophantine equations, sand-glass tubes and tori of roots. Zbl 1257.11109
Simson, Daniel
2011
Number-conserving cellular automaton rules. Zbl 1013.37006
Boccara, Nino; Fukś, Henryk
2002
Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512
Penczek, Wojciech; Lomuscio, Alessio
2003
A new family of the local fractional PDEs. Zbl 1386.35461
Yang, Xiao-Jun; Machado, J. A. Tenreiro; Nieto, Juan J.
2017
Rough sets, coverings and incomplete information. Zbl 1279.68308
Couso, Inés; Dubois, Didier
2011
A multiple-category classification approach with decision-theoretic rough sets. Zbl 1248.68492
Liu, Dun; Li, Tianrui; Li, Huaxiong
2012
Branching bisimilarity with explicit divergence. Zbl 1183.68404
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
2009
SM-algorithms for approximating the variable-order fractional derivative of high order. Zbl 1377.65031
2017
Near sets. Special theory about nearness of objects. Zbl 1108.68119
Peters, James F.
2007
A comparative study of algebra viewpoint and information viewpoint in attribute reduction. Zbl 1098.68134
Wang, Guoyin Y.; Zhao, Jun; An, Jiujiang; Wu, Yu
2005
Inflation algorithms for positive and principal edge-bipartite graphs and unit quadratic forms. Zbl 1247.05241
Kosakowska, Justyna
2012
Algorithms determining matrix Morsifications, Weyl orbits, Coxeter polynomials and mesh geometries of roots for Dynkin diagrams. Zbl 1290.68138
Simson, Daniel
2013
On axiomatization of inconsistency indicators for pairwise comparisons. Zbl 1303.91063
Koczkodaj, Waldemar W.; Szwarc, Ryszard
2014
Fundamenta morphologicae mathematicae. Zbl 0958.68177
Goutsias, John; Heijmans, Henk J. A. M.
2000
An optimization wavelet method for multi variable-order fractional differential equations. Zbl 1379.65046
Heydari, M. H.; Hooshmandasl, M. R.; Cattani, C.; Hariharan, G.
2017
P systems with proteins on membranes. Zbl 1099.68031
Păun, Andrei; Popa, Bianca
2006
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
2011
Modelling multi-agent three-way decisions with decision-theoretic rough sets. Zbl 1248.68505
Yang, Xiaoping; Yao, Jingtao
2012
Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. II: Coxeter type study. Zbl 1367.05107
Mróz, Andrzej
2016
Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. II: Isotropy mini-groups. Zbl 1371.05116
Simson, Daniel
2016
State complexity: recent results and open problems. Zbl 1102.68076
Yu, Sheng
2005
Institution-independent ultraproducts. Zbl 1036.03055
Diaconescu, Răzvan
2003
Logics for real time: decidability and complexity. Zbl 1127.03012
Hirshfeld, Yoram; Rabinovich, Alexander
2004
Nets with tokens which carry data. Zbl 1154.68090
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
2008
Fault diagnosis with static and dynamic observers. Zbl 1167.68011
Cassez, Franck; Tripakis, Stavros
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
2015
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
2015
Two-way reversible multi-head finite automata. Zbl 1234.68230
Morita, Kenichi
2011
Self-indexed grammar-based compression. Zbl 1237.68072
Claude, Francisco; Navarro, Gonzalo
2011
Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182
Abu Arqub, Omar
2019
Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. I: Inflation algorithm revisited. Zbl 1367.05106
Mróz, Andrzej
2016
Approximate solutions of DASs with nonclassical boundary conditions using novel reproducing kernel algorithm. Zbl 1373.65051
Arqub, Omar Abu
2016
Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. I. A Gram classification. Zbl 1371.05115
Simson, Daniel
2016
The watershed transform: Definitions, algorithms and parallelization strategies. Zbl 0958.68184
Roerdink, Jos B. T. M.; Meijster, Arnold
2000
Multigranulation decision-theoretic rough set in ordered information system. Zbl 1334.68220
Li, Wentao; Xu, Weihua
2015
A possibility-theoretic view of formal concept analysis. Zbl 1108.68114
Dubois, Didier; Dupin de Saint-Cyr, Florence; Prade, Henri
2007
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
2006
A framework for Coxeter spectral analysis of edge-bipartite graphs, their rational morsifications and mesh geometries of root orbits. Zbl 1269.05073
Simson, Daniel
2013
Reaction system models for the heat shock response. Zbl 1286.92022
Azimi, Sepinoud; Iancu, Bogdan; Petre, Ion
2014
On the injectivity of the Parikh matrix mapping. Zbl 0997.68075
Atanasiu, Adrian; Martín-Vide, Carlos; Mateescu, Alexandru
2002
Membrane division, oracles, and the counting hierarchy. Zbl 1357.68064
Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio
2015
The state complexity of two combined operations: star of catenation and star of reversal. Zbl 1147.68040
Gao, Yuan; Salomaa, Kai; Yu, Sheng
2008
A convergence proof for the particle swarm optimiser. Zbl 1211.90320
van den Bergh, Frans; Engelbrecht, Andries Petrus
2010
Cubic algorithm to compute the Dynkin type of a positive definite quasi-Cartan matrix. Zbl 1442.65082
Pérez, Claudia; Abarca, Mario; Rivera, Daniel
2018
A modal characterization of Nash equilibrium. Zbl 1041.03016
Harrenstein, Paul; van der Hoek, Wiebe; Meyer, John-Jules; Witteveen, Cees
2003
Graph theoretical and algorithmic characterizations of positive definite symmetric quasi-Cartan matrices. Zbl 1374.68235
Abarca, M.; Rivera, D.
2016
Modal logics for region-based theories of space. Zbl 1142.03012
Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter
2007
Frequent subtree mining – an overview. Zbl 1096.68044
Chi, Yun; Nijssen, Siegfried; Muntz, Richard R.; Kok, Joost N.
2005
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
2006
Injectivity of the Parikh matrix mappings revisited. Zbl 1104.68058
Şerbănuţă, Virgil Nicolae; Şerbănuţă, Traian Florin
2006
A predator-prey cellular automaton with parasitic interactions and environmental effects. Zbl 1140.37024
Farina, Fabio; Dennunzio, Alberto
2008
Inflation algorithm for Cox-regular positive edge-bipartite graphs with loops. Zbl 1377.05078
Makuracki, Bartosz; Simson, Daniel; Zyglarski, Błażej
2017
Normalized decision functions and measures for inconsistent decision tables analysis. Zbl 0970.68171
Ślȩzak, Dominik
2000
Elementary complexity and geometry of interaction. Zbl 0973.03033
Baillot, Patrick; Pedicini, Marco
2001
From Mirkin’s prebases to Antimirov’s word partial derivatives. Zbl 0976.68098
2001
Concept lattices and similarity in non-commutative fuzzy logic. Zbl 1023.03016
Georgescu, George; Popescu, Andrei
2002
On the injectivity of Parikh matrix mappings. Zbl 1102.68072
Salomaa, Arto
2005
A fuzzy modal logic for belief functions. Zbl 1044.03009
Godo, Lluís; Hájek, Petr; Esteva, Francesc
2003
Pretropologies and dynamic spaces. Zbl 1098.68131
Pagliani, Piero
2004
RRIA: A rough set and rule tree based incremental knowledge acquisition algorithm. Zbl 1098.68711
Zheng, Zheng; Wang, Guoyin
2004
Smaller universal spiking neural P systems. Zbl 1154.68054
Zhang, Xingyi; Zeng, Xiangxiang; Pan, Linqiang
2008
Residual power series method for fractional diffusion equations. Zbl 1386.35445
Kumar, Amit; Kumar, Sunil; Yan, Sheng-Ping
2017
Contact algebras and region-based theory of space: proximity approach. II. Zbl 1111.68123
Dimov, Georgi; Vakarelov, Dimiter
2006
Nondeterministic state complexity of basic operations for prefix-free regular languages. Zbl 1161.68534
Han, Yo-Sub; Salomaa, Kai; Wood, Derick
2009
Refinement, decomposition, and instantiation of discrete models: application to Event-B. Zbl 1118.68392
Abrial, Jean-Raymond; Hallerstede, Stefan
2007
Nearness of objects: extension of approximation space model. Zbl 1124.68107
Peters, James F.; Skowron, Andrzej; Stepaniuk, Jaroslaw
2007
GASP: Answer set programming with lazy grounding. Zbl 1207.68118
Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
2009
Computing issues of asynchronous CA. Zbl 1283.68226
Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca
2012
An algorithmic solution of a Birkhoff type problem. Zbl 1156.16011
Simson, Daniel; Wojewódzki, Mariusz
2008
Interval-valued fuzzy Galois connections: algebraic requirements and concept lattice construction. Zbl 1205.68403
2010
Strong normalisation of cut-elimination in classical logic. Zbl 0982.03032
Urban, C.; Bierman, G. M.
2001
Chaotic subshifts and related languages. Applications to one-dimensional cellular automata. Zbl 1011.68054
Cattaneo, Gianpiero; Dennunzio, Alberto; Margara, Luciano
2002
VERICS 2007 – a model checker for knowledgee and real-time. Zbl 1167.68381
Kacprzak, Magdalena; Nabiałek, Wojciech; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Woźna, Bożena; Zbrzezny, Andrzej
2008
A quantum-inspired evolutionary algorithm based on P systems for knapsack problem. Zbl 1154.68514
Zhang, Ge-Xiang; Gheorghe, Marian; Wu, Chao-Zhong
2008
Algorithms for isotropy groups of Cox-regular edge-bipartite graphs. Zbl 1335.05146
Kasjan, Stanisław; Simson, Daniel
2015
On algorithmic study of non-negative posets of corank at most two and their Coxeter-Dynkin types. Zbl 1335.05171
Gąsiorek, Marcin; Zając, Katarzyna
2015
Algebraic structures related to many valued logical systems. I: Heyting Wajsberg algebras. Zbl 1090.03035
Cattaneo, Gianpiero; Ciucci, Davide; Giuntini, Roberto; Konig, Martin
2004
Exploiting the lattice of ideals representation of a poset. Zbl 1110.06001
De Loof, Karel; De Meyer, Hans; De Baets, Bernard
2006
Membrane computing and economics: numerical P systems. Zbl 1157.68373
2006
Computing forbidden words of regular languages. Zbl 1030.68059
Béal, Marie-Pierre; Crochemore, Maxime; Mignosi, Filippo; Restivo, Antonio; Sciortino, Marinella
2003
Efficient rough set theory merging. Zbl 1329.68247
2014
Modeling and verification of reactive systems using Rebeca. Zbl 1082.68007
Sirjani, Marjan; Movaghar, Ali; Shali, Amin; de Boer, Frank S.
2004
Time Petri nets for modelling and analysis of biochemical networks. Zbl 1096.68110
Popova-Zeugmann, Louchka; Heiner, Monika; Koch, Ina
2005
On domain theory over Girard quantales. Zbl 1193.06006
Waszkiewicz, Paweł
2009
From one-dimensional to two-dimensional cellular automata. Zbl 1250.68204
Dennunzio, Alberto
2012
Orthopairs: a simple and widely used way to model uncertainty. Zbl 1242.68309
Ciucci, Davide
2011
On the general position number of complementary prisms. Zbl 07350475
Neethu, P. K.; Chandran, S. V. Ullas; Changat, Manoj; Klavžar, Sandi
2021
Reaction systems and enabling equivalence. Zbl 1435.68095
Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
2020
Verification techniques for a network algebra. Zbl 1464.68233
Brodo, Linda; Olarte, Carlos
2020
P systems with rule production and removal. Zbl 1435.68097
Pan, Linqiang; Song, Bosheng
2020
On Szilard languages of labelled insertion grammars. Zbl 1464.68182
Paul, Prithwineel
2020
A second-order corrector infeasible interior-point method with one-norm wide neighborhood for symmetric optimization. Zbl 07271742
Kheirfam, Behrouz
2020
A many-sorted polyadic modal logic. Zbl 07274553
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin
2020
Disjunctive total domination subdivision number of graphs. Zbl 07274560
Çiftçi, Canan; Aytaç, Vecdi
2020
On combining the methods of link residual and domination in networks. Zbl 07274562
Turacı, Tufan
2020
Insertions yielding equivalent double occurrence words. Zbl 1435.68250
Cruz, Daniel A.; Ferrari, Margherita Maria; Jonoska, Nataša; Nabergall, Lukas; Saito, Masahico
2020
The many roads to the simulation of reaction systems. Zbl 1435.68094
Ferretti, Claudio; Leporati, Alberto; Manzoni, Luca; Porreca, Antonio E.
2020
How hard is it to predict sandpiles on lattices? A survey. Zbl 1445.37006
Formenti, Enrico; Perrot, Kévin
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.
2020
How to synchronize cellular automata – recent developments. Zbl 1441.68141
Umeo, Hiroshi
2020
Dynamic slicing for concurrent constraint languages. Zbl 07350036
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
2020
Network controllability analysis of three multiple-myeloma patient genetic mutation datasets. Zbl 07350069
Sanchez, Martin Jose Angel; Petre, Ion
2020
Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182
Abu Arqub, Omar
2019
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
2019
An approach of proximity in rough set theory. Zbl 1435.68329
Tiwari, Surabhi; Singh, Pankaj Kumar
2019
The Hamiltonian cycle and travelling salesman problems in cP systems. Zbl 1414.68028
2019
Handling non-determinism in spiking neural P systems: algorithms and simulations. Zbl 1414.68026
Carandang, Jym Paul; Cabarle, Francis George C.; Adorna, Henry Natividad; Hernandez, Nestine Hope S.; Martínez-del-Amor, Miguel Ángel
2019
Three-way decisions with rough membership functions in covering approximation space. Zbl 1412.68278
Yang, Bin; Hu, Bao Qing; Qiao, Junsheng
2019
Combining the concepts of residual and domination in graphs. Zbl 1415.05139
Turacı, Tufan; Aytaç, Aysun
2019
Expansion-based QBF solving on tree decompositions. Zbl 1415.68111
Charwat, Günther; Woltran, Stefan
2019
A dynamic logic account of active integrity constraints. Zbl 1427.68064
Feuillade, Guillaume; Herzig, Andreas; Rantsoudis, Christos
2019
Analysis and synthesis of weighted marked graph Petri nets: exact and approximate methods. Zbl 1436.68210
Devillers, Raymond; Hujsa, Thomas
2019
New semantical insights into call-by-value $$\lambda$$-calculus. Zbl 1434.68092
Manzonetto, Giulio; Pagani, Michele; Ronchi Della Rocca, Simona
2019
Observational equivalence for multiparty sessions. Zbl 1436.68214
Severi, Paula; Dezani-Ciancaglini, Mariangiola
2019
Graphical partitions and graphical relations. Zbl 1412.68174
Shaheen, Tanzeela; Stell, John G.
2019
Studying opacity of reaction systems through formula based predictors. Zbl 1412.68059
Gori, Roberta; Gruska, Damas; Milazzo, Paolo
2019
Applying modern SAT-solvers to solving hard problems. Zbl 1412.68088
Niewiadomski, Artur; Switalski, Piotr; Sidoruk, Teofil; Penczek, Wojciech
2019
Universal computation in a simplified Brownian cellular automaton with von Neumann neighborhood. Zbl 1455.68116
Xu, Wen-Li; Lee, Jia; Chen, Hui-Hui; Isokawa, Teijiro
2019
A modal logic of a truth definition for finite models. Zbl 1435.03042
2019
Comparison of heuristics for optimization of association rules. Zbl 1414.68102
Alsolami, Fawaz; Amin, Talha; Moshkov, Mikhail; Zielosko, Beata; Żabiński, Krzysztof
2019
Representation of lattices with modal operators in two-sorted frames. Zbl 1435.03090
Hartonas, Chrysafis; Orłowska, Ewa
2019
The computational power of cell-like P systems with symport/antiport rules and promoters. Zbl 1414.68029
Jiang, Suxia; Wang, Yanfeng; Xu, Jinbang; Xu, Fei
2019
Elementary matrix-computational proof of Quillen-Suslin theorem for Ore extensions. Zbl 1429.16025
Fajardo, William; Lezama, Oswaldo
2019
Complex interval-valued intuitionistic fuzzy sets and their aggregation operators. Zbl 1414.03012
Garg, Harish; Rani, Dimple
2019
Two-center of the convex hull of a point set: dynamic model, and restricted streaming model. Zbl 1414.68135
Sadhu, Sanjib; Roy, Sasanka; Nandi, Soumen; Maheshwari, Anil; Nandy, Subhas C.
2019
A computational Maple library for skew PBW extensions. Zbl 1416.68216
Fajardo, William
2019
On Boolean representation of continuous data biclustering. Zbl 07094221
Michalak, Marcin; Ślęzak, Dominik
2019
On the existence of kernel function for kernel-trick of $$k$$-means in the light of Gower theorem. Zbl 1435.68265
Kłopotek, Mieczysław A.
2019
Algorithmic completeness of imperative programming languages. Zbl 1423.68087
Marquer, Yoann
2019
Cubic algorithm to compute the Dynkin type of a positive definite quasi-Cartan matrix. Zbl 1442.65082
Pérez, Claudia; Abarca, Mario; Rivera, Daniel
2018
Picture fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. Zbl 1390.68684
Wei, Guiwu
2018
The graph theory general position problem on some interconnection networks. Zbl 1407.68367
Manuel, Paul; Klavžar, Sandi
2018
Some novel Pythagorean fuzzy interaction aggregation operators in multiple attribute decision making. Zbl 1390.91103
Gao, Hui; Lu, Mao; Wei, Guiwu; Wei, Yu
2018
Towards a rational closure for expressive description logics: the case of $$\mathcal{SHIQ}$$. Zbl 1408.68137
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
2018
Defeasible reasoning in $$\mathcal{SROEL}$$: from rational entailment to rational closure. Zbl 1404.68152
Giordano, Laura; Theseider Dupré, Daniele
2018
Anatomy of the chase. Zbl 1390.68247
2018
On $$\{\ell\}$$-metric dimensions in graphs. Zbl 1400.05072
Hakanen, Anni; Laihonen, Tero
2018
Subset synchronization in monotonic automata. Zbl 1400.68114
Ryzhikov, Andrew; Shemyakov, Anton
2018
Studying word equations by a method of weighted frequencies. Zbl 1400.68115
Saarela, Aleksi
2018
Reasoning on Datalog$$^\pm$$ ontologies with abductive logic programming. Zbl 1390.68621
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
2018
Additional winning strategies in reachability games. Zbl 1386.91035
Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
2018
Cryptanalysis and improvement for certificateless aggregate signature. Zbl 1391.94775
Li, Jiguo; Yuan, Hong; Zhang, Yichen
2018
A Petri net based modeling of active objects and futures. Zbl 1390.68489
de Boer, Frank S.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi
2018
Ordered weighted hesitant fuzzy information fusion-based approach to multiple attribute decision making with probabilistic linguistic term sets. Zbl 1390.68651
2018
Boolean representation for exact biclustering. Zbl 1398.68451
Michalak, Marcin; Ślȩzak, Dominik
2018
Constraint logic programming with polynomial constraints over finite domains. Zbl 1396.68030
Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco
2018
Extending logic programming with labelled variables: model and semantics. Zbl 1396.68031
Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea
2018
Logic-based verification of the distributed dining philosophers protocol. Zbl 1396.68071
Delzanno, Giorgio
2018
Multi-agent dialogues and dialogue sequents for proof search and scheduling in intuitionistic logic and the modal logic S4. Zbl 1408.68139
Sticht, Martin
2018
Residual closeness of generalized thorn graphs. Zbl 1396.05104
Dangalchev, Chavdar
2018
Preserving $$\lambda$$-scrambling matrices. Zbl 1396.05070
Guterman, Alexander E.; Maksaev, Artem M.
2018
Vector ambiguity and freeness problems in $$\mathrm{SL}(2,\mathbb{Z})$$. Zbl 1406.20055
Ko, Sang-Ki; Potapov, Igor
2018
A full-Newton step interior-point method based on a class of specific algebra transformation. Zbl 1407.90346
Kheirfam, Behrouz; Nasrollahi, Afsaneh
2018
A linear space data structure for range LCP queries. Zbl 1405.68463
Ganguly, Arnab; Patil, Manish; Shah, Rahul; Thankachan, Sharma V.
2018
On computing average common substring over run length encoded sequences. Zbl 1403.68373
Hooshmand, Sahar; Tavakoli, Neda; Abedin, Paniz; Thankachan, Sharma V.
2018
Reference abstract domains and applications to string analysis. Zbl 1386.68031
Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi
2018
Multi-context systems with preferences. Zbl 1386.68159
Le, Tiep; Son, Tran Cao; Pontelli, Enrico
2018
Logics for modelling collective attitudes. Zbl 1386.68162
Porello, Daniele
2018
Trying to understand PEG. Zbl 1386.68081
Redziejowski, Roman R.
2018
On axiomatizability of the multiplicative theory of numbers. Zbl 1436.03307
Salehi, Saeed
2018
Finding shortest triangular path and its family inside a digital object. Zbl 1390.68729
Sarkar, Apurba; Biswas, Arindam; Dutt, Mousumi; Mondal, Shouvick
2018
Neighborhood systems: rough set approximations and definability. Zbl 1390.68679
Syau, Yu-Ru; Lin, En-Bing; Liau, Churn-Jung
2018
State complexity of multiple catenations. Zbl 1393.68089
Caron, Pascal; Luque, Jean-Gabriel; Patrou, Bruno
2018
A new family of the local fractional PDEs. Zbl 1386.35461
Yang, Xiao-Jun; Machado, J. A. Tenreiro; Nieto, Juan J.
2017
SM-algorithms for approximating the variable-order fractional derivative of high order. Zbl 1377.65031
2017
An optimization wavelet method for multi variable-order fractional differential equations. Zbl 1379.65046
Heydari, M. H.; Hooshmandasl, M. R.; Cattani, C.; Hariharan, G.
2017
Inflation algorithm for Cox-regular positive edge-bipartite graphs with loops. Zbl 1377.05078
Makuracki, Bartosz; Simson, Daniel; Zyglarski, Błażej
2017
Residual power series method for fractional diffusion equations. Zbl 1386.35445
Kumar, Amit; Kumar, Sunil; Yan, Sheng-Ping
2017
Numeric algorithms for corank two edge-bipartite graphs and their mesh geometries of roots. Zbl 1375.05167
Zając, Katarzyna
2017
Computational efficiency of minimal cooperation and distribution in polarizationless P systems with active membranes. Zbl 1377.68088
Valencia-Cabrera, Luis; Orellana-Martín, David; Martínez-del-Amor, Miguel A.; Riscos-Núñez, Agustín; Pérez-Jiménez, Mario J.
2017
Monotone convergence of extended iterative methods and fractional calculus with applications. Zbl 1378.65115
Anastassiou, George A.; Argyros, Ioannis K.; Kumar, Sunil
2017
Model of thin viscous fluid sheet flow within the scope of fractional calculus: fractional derivative with and no singular kernel. Zbl 1375.76020
Atangana, Abdon; Koca, Ilknur
2017
Applications of bipartite graphs and their adjacency matrices to covering-based rough sets. Zbl 1381.68293
Wang, Jingqian; Zhu, William
2017
Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042
2017
On the critical strip of the Riemann zeta fractional derivative. Zbl 1376.26007
Cattani, C.; Guariglia, E.; Wang, S.
2017
Rough set theory and digraphs. Zbl 1400.05193
Chiaselotti, Giampiero; Ciucci, Davide; Gentile, Tommaso; Infusino, Federico
2017
Łukasiewicz $$\mu$$-calculus. Zbl 1380.68281
Mio, Matteo; Simpson, Alex
2017
A predictor-corrector infeasible-interior-point algorithm for semidefinite optimization in a wide neighborhood. Zbl 1386.90100
Kheirfam, Behrouz
2017
Non-differentiable solutions for local fractional nonlinear Riccati differential equations. Zbl 1379.34015
Yang, Xiao-Jun; Srivastava, H. M.; Torres, Delfim F. M.; Zhang, Yudong
2017
Efficient simulation of reaction systems on graphics processing units. Zbl 1378.68188
Nobile, Marco S.; Porreca, Antonio E.; Spolaor, Simone; Manzoni, Luca; Cazzaniga, Paolo; Mauri, Giancarlo; Besozzi, Daniela
2017
CoCaml: functional programming with regular coinductive types. Zbl 1374.68098
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
2017
Interpretation of fractional derivatives as reconstruction from sequence of integer derivatives. Zbl 1376.26009
Tarasov, Vasily E.
2017
Verification of linear-time temporal properties for reaction systems with discrete concentrations. Zbl 1378.68113
Męski, Artur; Koutny, Maciej; Penczek, Wojciech
2017
Morphic characterizations of language families based on local and star languages. Zbl 1435.68181
Okubo, Fumiya; Yokomori, Takashi
2017
Tinput-driven pushdown, counter, and stack automata. Zbl 1378.68107
Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias
2017
Eigenvector method and rank reversal in group decision making revisited. Zbl 1407.91079
Csató, László
2017
...and 862 more Documents
all top 5

#### Cited by 5,228 Authors

 41 Pan, Linqiang 35 Pérez-Jiménez, Mario J. 25 Mauri, Giancarlo 24 Salomaa, Kai T. 23 Koutny, Maciej 23 Kutrib, Martin 23 Yao, Yiyu 22 Manzoni, Luca E. 22 Milazzo, Paolo 22 Porreca, Antonio E. 20 Barbuti, Roberto 20 Leporati, Alberto 20 Simson, Daniel 19 Ibarra, Oscar H. 19 Păun, Gheorghe 19 Zandron, Claudio 18 Formenti, Enrico 18 Kleijn, Jetty H. C. M. 18 Maggiolo-Schettini, Andrea 18 Ojeda-Aciego, Manuel 18 Rozenberg, Grzegorz 17 Chiaselotti, Giampiero 17 Ciobanu, Gabriel 17 Li, Tianrui 17 Malcher, Andreas 17 Salomaa, Arto Kustaa 17 Song, Bosheng 17 Valencia-Cabrera, Luis 16 Dubois, Didier 16 Freund, Rudolf 16 Grabowski, Adam 16 Kari, Lila 16 Medina, Jesús 15 Dennunzio, Alberto 15 Ésik, Zoltán 15 Li, Qingguo 15 Okhotin, Alexander 15 Păun, Andrei 15 Teh, Wen Chean 14 Alhazov, Artiom 14 Ciucci, Davide 14 Manea, Florin 14 Miao, Duoqian 14 Prade, Henri M. 14 Subramanian, Kumbakonam Govindarajan 14 Zeng, Xiangxiang 14 Zhu, William 13 Cattaneo, Gianpiero 13 Dassow, Jürgen 13 De Baets, Bernard 13 Moshkov, Mikhail Ju. 13 Riscos-Núñez, Agustín 13 Sosík, Petr 12 Gentile, Tommaso 12 Infusino, Federico G. 12 Jirásková, Galina 12 Moreira, Nelma 12 Murano, Aniello 12 Navarro, Gonzalo 12 Orellana-Martín, David 12 Otto, Friedrich 12 Qian, Yuhua 12 Raĭgorodskiĭ, Andreĭ Mikhaĭlovich 12 Wang, Guoyin 12 Xu, Weihua 12 Yu, Sheng 11 Aman, Bogdan 11 Bergstra, Jan A. 11 Fernau, Henning 11 Han, Yo-Sub 11 Middelburg, Cornelis A. 11 Petre, Ion 11 Vakarelov, Dimiter 10 Adorna, Henry Natividad 10 Cornelis, Chris 10 Diaconescu, Răzvan 10 Georgescu, Irina 10 Gheorghe, Marian 10 Liu, Dun 10 Liu, Guilong 10 Nguyen, Linh Anh 10 Reis, Rogério 10 Tiwari, Surabhi 10 Wang, Jun 9 Arqub, Omar Abu 9 Avazzadeh, Zakieh 9 Brzozowski, Janusz Antoni 9 Chajda, Ivan 9 Corradini, Andrea 9 Daykin, Jacqueline W. 9 Harju, Tero 9 Hoogeboom, Hendrik Jan 9 Ipate, Florentin 9 Janicki, Ryszard 9 Kheirfam, Behrouz 9 Konecny, Jan 9 Luttik, Bas 9 Paseka, Jan 9 Peng, Hong 9 Peters, James Francis III ...and 5,128 more Authors
all top 5

#### Cited in 341 Journals

 493 Theoretical Computer Science 229 Information Sciences 160 International Journal of Approximate Reasoning 127 Information and Computation 88 Fuzzy Sets and Systems 72 Acta Informatica 70 Natural Computing 59 Soft Computing 54 Artificial Intelligence 54 Journal of Membrane Computing 51 Discrete Applied Mathematics 45 Journal of Logical and Algebraic Methods in Programming 44 Annals of Mathematics and Artificial Intelligence 44 Theory and Practice of Logic Programming 41 Information Processing Letters 41 Journal of Computer and System Sciences 35 Logical Methods in Computer Science 33 Studia Logica 33 Formal Aspects of Computing 33 Theory of Computing Systems 30 Annals of Pure and Applied Logic 30 International Journal of Foundations of Computer Science 28 Applied Mathematics and Computation 28 Mathematical Problems in Engineering 27 The Journal of Logic and Algebraic Programming 26 Fundamenta Informaticae 26 Journal of Applied Logic 24 Computational and Applied Mathematics 23 European Journal of Operational Research 22 Journal of Automated Reasoning 22 Linear Algebra and its Applications 21 Algorithmica 21 MSCS. Mathematical Structures in Computer Science 20 RAIRO. Theoretical Informatics and Applications 18 Science of Computer Programming 18 Journal of Symbolic Computation 17 Pattern Recognition 17 International Journal of Applied Mathematics and Computer Science 16 Chaos, Solitons and Fractals 16 Journal of Applied Non-Classical Logics 16 Complexity 16 Mathematics in Computer Science 15 Machine Learning 15 RAIRO. Theoretical Informatics and Applications 15 Symmetry 14 Mathematical Notes 14 Discrete Event Dynamic Systems 14 Journal of Intelligent and Fuzzy Systems 13 Computers & Mathematics with Applications 13 Programming and Computer Software 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 12 European Journal of Combinatorics 11 Discrete Mathematics 11 Journal of Applied Mathematics 11 ACM Transactions on Computational Logic 11 Advances in Difference Equations 11 Algorithms 10 Synthese 10 Archive for Mathematical Logic 10 Journal of Mathematical Imaging and Vision 10 Logica Universalis 10 Frontiers of Computer Science 9 The Journal of Symbolic Logic 9 Annals of Operations Research 9 Cybernetics and Systems Analysis 9 The Bulletin of Symbolic Logic 8 International Journal of Theoretical Physics 8 Applied Numerical Mathematics 8 Distributed Computing 8 Journal of Mathematical Sciences (New York) 7 Problems of Information Transmission 7 Mathematics and Computers in Simulation 7 Topology and its Applications 6 Algebra Universalis 6 Automatica 6 Journal of Algebra 6 Journal of Combinatorial Theory. Series A 6 Journal of Computational and Applied Mathematics 6 Kybernetika 6 Notre Dame Journal of Formal Logic 6 Applicable Algebra in Engineering, Communication and Computing 6 Journal of Combinatorial Optimization 6 Data Mining and Knowledge Discovery 6 Journal of Applied Mathematics and Computing 6 Optimization Letters 6 Journal of Nonlinear Science and Applications 6 The Review of Symbolic Logic 6 Journal of Mathematics 5 Journal of Pure and Applied Algebra 5 Moscow University Computational Mathematics and Cybernetics 5 Order 5 Journal of Computer Science and Technology 5 New Generation Computing 5 Designs, Codes and Cryptography 5 Engineering Analysis with Boundary Elements 5 Logic and Logical Philosophy ...and 241 more Journals
all top 5

#### Cited in 56 Fields

 2,806 Computer science (68-XX) 812 Mathematical logic and foundations (03-XX) 254 Combinatorics (05-XX) 212 Order, lattices, ordered algebraic structures (06-XX) 167 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 162 Operations research, mathematical programming (90-XX) 142 Information and communication theory, circuits (94-XX) 134 Biology and other natural sciences (92-XX) 107 Numerical analysis (65-XX) 85 Dynamical systems and ergodic theory (37-XX) 80 General topology (54-XX) 60 Category theory; homological algebra (18-XX) 56 Partial differential equations (35-XX) 56 Systems theory; control (93-XX) 55 Statistics (62-XX) 50 Number theory (11-XX) 47 Ordinary differential equations (34-XX) 46 Linear and multilinear algebra; matrix theory (15-XX) 46 Real functions (26-XX) 39 Associative rings and algebras (16-XX) 33 Quantum theory (81-XX) 32 Probability theory and stochastic processes (60-XX) 31 Group theory and generalizations (20-XX) 25 General algebraic systems (08-XX) 21 Integral equations (45-XX) 13 Measure and integration (28-XX) 13 Geometry (51-XX) 12 Convex and discrete geometry (52-XX) 11 Algebraic geometry (14-XX) 10 History and biography (01-XX) 10 Operator theory (47-XX) 10 Mechanics of deformable solids (74-XX) 9 Calculus of variations and optimal control; optimization (49-XX) 8 Approximations and expansions (41-XX) 8 Statistical mechanics, structure of matter (82-XX) 7 Fluid mechanics (76-XX) 6 General and overarching topics; collections (00-XX) 6 Nonassociative rings and algebras (17-XX) 6 Special functions (33-XX) 6 Functional analysis (46-XX) 4 Commutative algebra (13-XX) 4 Difference and functional equations (39-XX) 4 Manifolds and cell complexes (57-XX) 4 Classical thermodynamics, heat transfer (80-XX) 2 Field theory and polynomials (12-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Integral transforms, operational calculus (44-XX) 2 Algebraic topology (55-XX) 2 Geophysics (86-XX) 2 Mathematics education (97-XX) 1 Topological groups, Lie groups (22-XX) 1 Functions of a complex variable (30-XX) 1 Sequences, series, summability (40-XX) 1 Abstract harmonic analysis (43-XX) 1 Optics, electromagnetic theory (78-XX) 1 Relativity and gravitational theory (83-XX)