Computing and Informatics Short Title: Comput. Inform. Publisher: Slovak Academy of Sciences, Institute of Informatics, Bratislava ISSN: 1335-9150; 0232-0274/e Online: http://www.cai.sk/ojs/index.php/cai/issue/archive Predecessor: Computers and Artificial Intelligence Comments: No longer indexed; This journal is available open access with a moving wall of 12 months. Documents Indexed: 425 Publications (2001–2020) all top 5 Latest Issues 39, No. 3 (2020) 39, No. 1-2 (2020) 38, No. 6 (2019) 38, No. 1 (2019) 37, No. 6 (2018) 37, No. 5 (2018) 37, No. 4 (2018) 37, No. 3 (2018) 37, No. 2 (2018) 37, No. 1 (2018) 36, No. 6 (2017) 36, No. 5 (2017) 36, No. 4 (2017) 36, No. 3 (2017) 36, No. 2 (2017) 36, No. 1 (2017) 35, No. 6 (2016) 35, No. 5 (2016) 35, No. 3 (2016) 35, No. 1 (2016) 34, No. 6 (2015) 34, No. 5 (2015) 34, No. 4 (2015) 34, No. 2 (2015) 34, No. 1 (2015) 33, No. 6 (2014) 33, No. 5 (2014) 33, No. 4 (2014) 33, No. 3 (2014) 33, No. 1 (2014) 32, No. 6 (2013) 32, No. 5 (2013) 32, No. 4 (2013) 32, No. 3 (2013) 32, No. 2 (2013) 32, No. 1 (2013) 31, No. 6+ (2012) 31, No. 6 (2012) 31, No. 5 (2012) 31, No. 4 (2012) 31, No. 3 (2012) 31, No. 2 (2012) 31, No. 1 (2012) 30, No. 6 (2011) 30, No. 5 (2011) 30, No. 4 (2011) 30, No. 3 (2011) 30, No. 2 (2011) 30, No. 1 (2011) 29, No. 6+ (2010) 29, No. 6 (2010) 29, No. 5 (2010) 29, No. 4 (2010) 29, No. 3 (2010) 28, No. 6 (2009) 28, No. 5 (2009) 28, No. 3 (2009) 28, No. 2 (2009) 28, No. 1 (2009) 27, No. 6 (2008) 27, No. 5 (2008) 27, No. 4 (2008) 27, No. 3 (2008) 27, No. 2 (2008) 27, Spec. Iss. (2008) 26, No. 6 (2007) 26, No. 5 (2007) 26, No. 4 (2007) 26, No. 3 (2007) 26, No. 2 (2007) 26, No. 1 (2007) 25, No. 6 (2006) 25, No. 5 (2006) 25, No. 4 (2006) 25, No. 2-3 (2006) 25, No. 1 (2006) 24, No. 6 (2005) 24, No. 5 (2005) 24, No. 4 (2005) 24, No. 3 (2005) 24, No. 2 (2005) 24, No. 1 (2005) 23, No. 5-6 (2004) 23, No. 4 (2004) 23, No. 3 (2004) 23, No. 2 (2004) 23, No. 1 (2004) 22, No. 6 (2003) 22, No. 5 (2003) 22, No. 3-4 (2003) 22, No. 2 (2003) 22, No. 1 (2003) 21, No. 6 (2002) 21, No. 5 (2002) 21, No. 4 (2002) 21, No. 3 (2002) 21, No. 2 (2002) 21, No. 1 (2002) 20, No. 6 (2001) 20, No. 5 (2001) ...and 2 more Volumes all top 5 Authors 5 Khedr, Ahmed M. 4 Galván, Inés María 4 Isasi, Pedro 4 Kollár, Ján 4 Makowski, Marcin 4 Mazur, Grzegorz 3 Aler, Ricardo 3 Boryczko, Krzysztof 3 Čapkovič, František 3 Che, Yonggang 3 Filipović, Vladimir 3 Hlavička, Jan 3 Jamro, Ernest 3 Kelemen, Jozef 3 Li, Chunlin 3 Li, Layuan 3 Manger, Robert 3 Paszyński, Maciej 3 Ruan, Qiuqi 3 Rudas, Imre J. 3 Schröder, Heiko 3 Stanek, Martin 3 Tar, József K. 3 Valls, José María 3 Wang, Zhenghua 3 Wiatr, Kazimierz 3 Yuan, Baozong 2 Arodź, Tomasz 2 Babinec, Štefan 2 Bao, Hong 2 Bieliková, Mária 2 Britaňák, Vladimír 2 Budinská, Ivana 2 Butka, Peter 2 Byrski, Aleksander 2 Černá, Ivana 2 Cetnarowicz, Krzysztof 2 Chalupa, David 2 Choi, Jin Young 2 Ciobanu, Gabriel 2 Dang, Thanh-Tung 2 Deorowicz, Sebastian 2 Drezewski, Rafał 2 Duato, José 2 Dzwinel, Witold 2 Frankovič, Baltazár 2 Geffert, Viliam 2 Gouda, Karam 2 Grošek, Otokar 2 Haxthausen, Anne Elisabeth 2 Hu, Mingxing 2 Jiang, Yichuan 2 Jigang, Wu 2 Jin, Yi 2 Kim, Il-Gon 2 Kratica, Jozef J. 2 Lu, Pingjing 2 Luo, Wanming 2 Luo, Yingwei 2 Molina, José Manuel 2 Nepomniaschaya, Anna Shmilevna 2 Niepel, Ľudovít 2 Nissan, Ephraim 2 Novitzká, Valerie 2 Nowzari-Dalini, Abbas 2 Orduña, Juan Manuel 2 Orkisz, Janusz 2 Paszyńska, Anna 2 Pocs, Jozef 2 Porubän, Jaroslav 2 Pospíchal, Jiří 2 Puljić, Krunoslav 2 Pulli, Petri 2 Russek, Paweł 2 Ruzicka, Peter 2 Saxena, Prem Chandra 2 Schmidt, Bertil 2 Sekanina, Lukáš 2 Sellami, Mokhtar 2 Sicilia, Miguel-Angel 2 Silla, Federico 2 Strnadel, Josef 2 Suntisrivaraporn, Boontawee 2 Tang, Xiaofang 2 Toman, Eduard 2 Tošić, Dušan D. 2 Václavík, Peter 2 Wang, Xiaolin 2 Wiedermann, Jiří 2 Wielgosz, Maciej 2 Wu, Qiang 2 Xu, De 2 Xu, Zhuoqun 2 Zajac, Pavol 2 Zhang, Xiaowang 2 Zhang, Xinchang 2 Zheng, Weimin 2 Zheng, Xiaosong 1 Abd El Mouaty, Rokaia 1 Abdella, Mussa ...and 865 more Authors all top 5 Fields 342 Computer science (68-XX) 44 Operations research, mathematical programming (90-XX) 40 Numerical analysis (65-XX) 40 Information and communication theory, circuits (94-XX) 32 Statistics (62-XX) 23 Systems theory; control (93-XX) 22 Combinatorics (05-XX) 18 Biology and other natural sciences (92-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Mathematical logic and foundations (03-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Probability theory and stochastic processes (60-XX) 3 Number theory (11-XX) 3 Algebraic geometry (14-XX) 3 Ordinary differential equations (34-XX) 3 Quantum theory (81-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Integral transforms, operational calculus (44-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Mechanics of particles and systems (70-XX) 2 Fluid mechanics (76-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Special functions (33-XX) 1 Integral equations (45-XX) 1 General topology (54-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 98 Publications have been cited 250 times in 236 Documents Cited by ▼ Year ▼ Generalization of one-sided concept lattices. Zbl 1413.06008Butka, Peter; Pócs, Jozef 12 2013 Fuzzy Turing machines revised. Zbl 1099.68635Wiedermann, Jiří 8 2002 Fine-grained tournament selection operator in genetic algorithms. Zbl 1076.68609Filipović, Vladimir 7 2003 Behavioural equivalences on finite-state systems are PTIME-hard. Zbl 1109.68052Sawa, Zdeněk; Jančar, Petr 7 2005 Constrained longest common subsequence computing algorithms in practice. Zbl 1399.68317Deorowicz, Sebastian; Obstój, Joanna 6 2010 Approximability of the minimum Steiner cycle problem. Zbl 1399.68077Steinová, Monika 6 2010 Parallel fast isogeometric solvers for explicit dynamics. Zbl 06986710Woźniak, Maciej; Łoś, Marcin; Paszyński, Maciej; Dalcin, Lisandro; Calo, Victor Manuel 5 2017 On the disruption-level of polynomial mutation for evolutionary multi-objective optimisation algorithms. Zbl 1399.68197Hamdan, Mohammad 5 2010 A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1413.68073Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus 5 2010 Improvements in the global a-posteriori error estimation of the FEM and MFDM solutions. Zbl 1399.65261Milewski, Sławomir; Orkisz, Janusz 5 2011 CafeOBJ: Logical foundations and methodologies. Zbl 1104.68358Diaconescu, Răzvan; Futatsugi, Kokichi; Ogata, Kazuhiro 5 2003 G-QoSM: Grid service discovery using QoS properties. Zbl 1102.68396Al-Ali, Rashid J.; Rana, Omer F.; Walker, David W. 5 2002 Market mechanism for dynamic resource management in computational grid. Zbl 1099.68514Li, ChunLin; Li, LaYuan 5 2004 Homogeneous P colonies. Zbl 1389.68031Cienciala, Luděk; Ciencialová, Lucie; Kelemenová, Alica 4 2008 Some applications of spiking neural P systems. Zbl 1389.68032Ionescu, Mihai; Sburlan, Dragoş 4 2008 The use of refined descriptive sampling and applications in parallel Monte Carlo simulation. Zbl 1399.65002Aloui, Abdelouhab; Ourbih-Tari, Megdouda 4 2011 CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej 4 2003 nMIBAS: a novel multi-receiver ID-based anomymous signcryption with decryption fairness. Zbl 1413.94049Pang, Liaojun; Li, Huixian; Wang, Yumin 3 2013 The design and analysis of a modified work function algorithm for solving the on-line \(k\)-server problem. Zbl 1399.68315Baumgartner, Alfonz; Rudec, Tomislav; Manger, Robert 3 2010 Modular echo state neural networks in time series prediction. Zbl 1399.68080Babinec, Štefan; Pospíchal, Jiří 3 2011 The logic of the RAISE specification language. Zbl 1104.68360George, Chris; Haxthausen, Anne E. 3 2003 Z logic and its consequences. Zbl 1104.68361Henson, Martin C.; Reeves, Steve; Bowen, Jonathan P. 3 2003 The expressive power of abstract-state machines. Zbl 1104.68507Reisig, Wolfgang 3 2003 A machine assignment mechanism for compile-time list-scheduling heuristics. Zbl 1109.68035Hagras, Tarek; Janeček, Jan 3 2005 Genetic algorithm for solving uncapacitated multiple allocation hub location problem. Zbl 1109.68127Kratica, Jozef; Stanimirović, Zorica; Tošić, Dušan; Filipović, Vladimir 3 2005 Solving the maximally balanced connected partition problem in graphs by using genetic algorithm. Zbl 1324.05189Djurić, Brankica; Kratica, Jozef; Tošić, Dušan; Filipović, Vladimir 3 2008 Towards the knowledge in coalgebraic model of IDS. Zbl 1413.03006Mihályi, Daniel; Novitzká, Valerie 3 2014 Automata-based termination proofs. Zbl 1413.68021Iosif, Radu; Rogalewicz, Adam 2 2013 Optimization of a parallel CFD code and its performance evaluation on Tianhe-1A. Zbl 1413.65500Che, Yonggang; Zhang, Lilun; Xu, Chuanfu; Wang, Yongxian; Liu, Wei; Wang, Zhenghua 2 2014 Generation of neuronal trees by a new three letters encoding. Zbl 1413.05363Amani, Mahdi; Nowzari-Dalini, Abbas; Ahrabian, Hayedeh 2 2014 Distributed computation of generalized one-sided concept lattices on sparse data tables. Zbl 1413.68132Butka, Peter; Pócs, Jozef; Pócsová, Jana 2 2015 New model of maximal covering location problem with fuzzy conditions. Zbl 06985640Drakulić, Darko; Takači, Aleksandar; Marić, Miroslav 2 2016 Automatic software test data generation for spanning sets coverage using genetic algorithms. Zbl 1274.68075Khamis, Abdelaziz M.; Girgis, Moheb R.; Ghiduk, Ahmed S. 2 2007 Hierarchical clustering with membrane computing. Zbl 1389.68064Cardona, Mónica; Colomer, M. Angels; Zaragoza, Alba; Pérez-Jiménez, Mario J. 2 2008 Average degree in the interval graph of a random Boolean function. Zbl 1389.05114Toman, Eduard; Olejár, Daniel; Stanek, Martin 2 2008 A tabu search algorithm for scheduling independent jobs in computational grids. Zbl 1399.68227Xhafa, Fatos; Carretero, Javier; Dorronsoro, Bernabé; Alba, Enrique 2 2009 The LEM3 system for multitype evolutionary optimization. Zbl 1399.68135Wojtusiak, Janusz 2 2009 Global impact balancing in the hierarchic genetic search. Zbl 1399.68204Jojczyk, Paveł; Schaefer, Robert 2 2009 A new vertex coloring algorithm based on variable action-set learning automata. Zbl 1399.05091Torkestani, Javad Akbari; Meybodi, Mohammad Reza 2 2010 Wavelength routing in all-optical tree networks: A survey. Zbl 1007.68194Caragiannis, Ioannis; Kaklamanis, Christos; Persiano, Pino 2 2001 Hardness results and efficient approximations for frequency assignment problems: Radio labeling and radio coloring. Zbl 1007.68005Fotakis, Dimitris A.; Nikoletseas, Sotiris E.; Papadopoulou, Vicky G.; Spirakis, Paul G. 2 2001 Model checking of RegCTL. Zbl 1139.68380Brázdil, Tomáš; Černá, Ivana 2 2006 Explanations and proof trees. Zbl 1132.68677Ferrand, Gérard; Lesaint, Willy; Tessier, Alexandre 2 2006 Independence number in path graphs. Zbl 1110.68105Knor, Martin; Niepel, L’udovít 2 2004 Image segmentation by fuzzy c-means clustering algorithm with a novel penalty term. Zbl 1174.68007Yang, Yong; Huang, Shuying 2 2007 Fuzzy implications and inference processes. Zbl 1109.68119Tick, József; Fodor, János 2 2005 Improved reasoning about infinity using qualitative simulation. Zbl 1041.68118Say, A. C. Cem 2 2001 On the logical definability of topologically closed recognizable languages of infinite trees. Zbl 1099.03029Janin, David; Lenzi, Giacomo 2 2002 Efficient deadlock-free multidimensional interval routing in hypercube-like networks. Zbl 1099.68012Královič, Rastislav; Rovan, Branislav; Ružička, Peter; Štefankovič, Daniel 2 2002 An AI formalism for competing claims of identification: Capturing the “Smemorato di Collegno” amnesia case. Zbl 1037.68604Nissan, Ephraim 1 2001 Variable precision rough set model for incomplete information systems and its \(\beta \)-reducts. Zbl 1413.68139Gong, Zengtai; Shi, Zhanhong; Yao, Hongxia 1 2012 Efficient parallel implementation of the Ramalingam decremental algorithm for updating the shortest paths subgraph. Zbl 1413.68177Nepomniaschaya, Anna 1 2013 Petri nets modeling of dead-end refinement problems in a 3D anisotropic \(hp\)-adaptive finite element method. Zbl 1413.68171Szymczak, Arkadiusz; Paszyński, Maciej; Pardo, David; Paszyńska, Anna 1 2015 Modifying and accelerating the method of moments calculation. Zbl 06986719Harťanský, René; Smieško, Viktor; Rafaj, Michal 1 2017 Efficient string edit similarity join algorithm. Zbl 1504.68294Gouda, Karam; Rashad, Metwally 1 2017 Estimation of a posteriori computational error by the higher order multipoint Meshless FDM. Zbl 06986755Jaworska, Irena; Orkisz, Janusz 1 2017 Multiobjective algorithms with resampling for portfolio optimization. Zbl 1413.91129García, Sandra; Quintana, David; Galván, Inés M.; Isasi, Pedro 1 2013 A new feature extraction method for TMNN-based Arabic character classification. Zbl 1274.68393Saeed, Khalid; AlBakoor, Majida 1 2007 An implementation of membrane computing using reconfigurable hardware. Zbl 1389.68035Nguyen, Van; Kearney, David; Gioiosa, Gianpaolo 1 2008 Frequency membrane systems. Zbl 1389.68034Molteni, Davide; Ferretti, Claudio; Mauri, Giancarlo 1 2008 Temporal changes in local topology of an email-based social network. Zbl 1399.68004Juszczyszyn, Krzysztof; Musiał, Katarzyna; Kazienko, Przemyslaw; Gabrys, Bogdan 1 2009 Montgomery and RNS for RSA hardware implementation. Zbl 1399.94076Manochehri, Kooroush; Pourmozafari, Saadat; Sadeghian, Babak 1 2010 Maintaining functional integrity in multi-agent systems for resource allocation. Zbl 1399.68275Cetnarowicz, Krzysztof; Dreżewski, Rafał 1 2010 Correction of regression predictions using the secondary learner on the sensitivity analysis outputs. Zbl 1399.62117Bosnić, Zoran; Kononenko, Igor 1 2010 Optimizing an LTS-simulation algorithm. Zbl 1399.65139Holík, Lukáš; Šimáček, Jiří 1 2010 A parallel algorithm for large-scale multiple sequence alignment. Zbl 1399.68311Lopes, Heitor S.; Lima, Carlos R. Erig; Moritz, Guilherme L. 1 2010 Parallel retrieval of dense vectors in the vector space model. Zbl 1413.65129Berka, Tobias; Vajteršic, Marian 1 2011 Multilevel aggregation methods for small-world graphs with application to random-walk ranking. Zbl 1399.68078de Sterck, Hans; Henson, Van Emden; Sanders, Geoffrey 1 2011 Exploring complex networks with Graph Investigator research application. Zbl 1399.68075Czech, Wojciech; Dzwinel, Witold; Goryczka, Sławomir; Arodź, Tomasz; Dudek, Arkadiusz Z. 1 2011 Two-dimensional heteroscedastic feature extraction technique for face recognition. Zbl 1399.68165Safayani, Mehran; Manzuri Shalmani, Mohammad Taghi 1 2011 Parallel real-time computation: sometimes quantity means quality. Zbl 1089.65141Akl, Selim G. 1 2002 Modelling multi-agent systems as synchronous concurrent constraint processes. Zbl 1076.68043Brim, Luboš; Křetínský, Mojmír; Jacquet, Jean-Marie; Gilbert, David 1 2002 Optimum multi-dimensional interval routing schemes on networks with dynamic cost links. Zbl 1094.68010Ganjali, Yashar 1 2003 Boom – a heuristic Boolean minimizer. Zbl 1082.06501Fišer, Peter; Hlavička, Jan 1 2003 Foundations of the B method. Zbl 1104.68409Cansell, Dominique; Méry, Dominique 1 2003 On the logic of \(\text{TLA}^+\). Zbl 1104.68364Merz, Stephan 1 2003 Mirror neurons, embodied cognitive agents and imitation learning. Zbl 1100.68608Wiedermann, Jiří 1 2003 On efficiency of path systems induced by routing and communication schemes. Zbl 1007.68004Ružička, Peter 1 2001 Parallel priority queue and list contraction: The BSP approach. Zbl 1050.68028Gerbessiotis, Alexandros V.; Siniolakis, Constantinos J.; Tiskin, Alexandre 1 2002 Depth first search and location based localized routing and QoS routing in wireless networks. Zbl 1049.68025Stojmenovic, Ivan; Russel, Mark; Vukojevic, Bosko 1 2002 A Unicore Globus interoperability layer. Zbl 1102.68405Snelling, David; Van den Berghe, Sven; von Laszewski, Gregor; Wieder, Philipp; Breuer, Dirk; MacLaren, Jon; Nicole, Denis; Hoppe, Hans-Christian 1 2002 Static scheduling strategies for heterogeneous systems. Zbl 1102.68409Beaumont, Olivier; Legrand, Arnaud; Robert, Yves 1 2002 Explanations for a decision support system based on MCDA. Zbl 1132.68689Bélanger, Micheline; Martel, Jean-Marc 1 2006 Agents for integrating distributed data for complex computations. Zbl 1145.68356Khedr, Ahmed M.; Bhatnagar, Raj 1 2007 A note on the MDCT/MDST and pseudoinverse matrix. Zbl 1092.65124Britaňák, Vladimír 1 2004 Simple-semi-conditional versions of matrix grammars with a reduced regulating mechanism. Zbl 1092.68050Meduna, Alexander; Kopeček, Tomáš 1 2004 A dynamic adaptive replica allocation algorithm in mobile ad hoc networks. Zbl 1099.68521Zheng, Jing; Lu, Xieng; Yang, Kan; Wang, Yije 1 2004 Linear-time in-place selection with \(\varepsilon \cdot n\) element moves. Zbl 1119.68061Geffert, Viliam; Kollár, Ján 1 2006 Speaker recognition in the biometric security systems. Zbl 1115.68501Orság, Filip 1 2006 Using heuristic search for solving single machine batch processing problems. Zbl 1119.90018Dang, Thanh-Tung; Frankovič, Baltazár; Budinská, Ivana; Flood, Ben; Sheahan, Con; Dang, Bao-Lam 1 2006 An algorithm for the generation of segmented parametric software estimation models and its empirical evaluation. Zbl 1174.68344Cuadrado-Gallego, Juan J.; Sicilia, Miguel-Angel 1 2007 Efficient graph coloring with parallel genetic algorithms. Zbl 1110.05034Kokosiński, Zbigniew; Kwarciany, Krzysztof; Kołodziej, Marcin 1 2005 Object replication algorithms for World Wide Web. Zbl 1107.68328Mahmood, Amjad 1 2005 A \((t, n)\) threshold secret sharing system with efficient identification of cheaters. Zbl 1158.94397Lin, Iuon-Chang; Chang, Chin-Chen 1 2005 Fuzzy-Petri-net reasoning supervisory controller and estimating states of Markov chain models. Zbl 1109.68116Dimirovski, Georgi M. 1 2005 A novel scheme for accelerating support vector clustering. Zbl 1399.62106Ping, Yuan; Zhou, Yajian; Yang, Yixian 1 2012 Learning \(k\)-nearest neighbors classifier from distributed data. Zbl 1324.68100Khedr, Ahmed M. 1 2008 Rough fuzzy subspace clustering for data with missing values. Zbl 1413.62084Simiński, Krzysztof 1 2014 Parallel fast isogeometric solvers for explicit dynamics. Zbl 06986710Woźniak, Maciej; Łoś, Marcin; Paszyński, Maciej; Dalcin, Lisandro; Calo, Victor Manuel 5 2017 Modifying and accelerating the method of moments calculation. Zbl 06986719Harťanský, René; Smieško, Viktor; Rafaj, Michal 1 2017 Efficient string edit similarity join algorithm. Zbl 1504.68294Gouda, Karam; Rashad, Metwally 1 2017 Estimation of a posteriori computational error by the higher order multipoint Meshless FDM. Zbl 06986755Jaworska, Irena; Orkisz, Janusz 1 2017 New model of maximal covering location problem with fuzzy conditions. Zbl 06985640Drakulić, Darko; Takači, Aleksandar; Marić, Miroslav 2 2016 Distributed computation of generalized one-sided concept lattices on sparse data tables. Zbl 1413.68132Butka, Peter; Pócs, Jozef; Pócsová, Jana 2 2015 Petri nets modeling of dead-end refinement problems in a 3D anisotropic \(hp\)-adaptive finite element method. Zbl 1413.68171Szymczak, Arkadiusz; Paszyński, Maciej; Pardo, David; Paszyńska, Anna 1 2015 Towards the knowledge in coalgebraic model of IDS. Zbl 1413.03006Mihályi, Daniel; Novitzká, Valerie 3 2014 Optimization of a parallel CFD code and its performance evaluation on Tianhe-1A. Zbl 1413.65500Che, Yonggang; Zhang, Lilun; Xu, Chuanfu; Wang, Yongxian; Liu, Wei; Wang, Zhenghua 2 2014 Generation of neuronal trees by a new three letters encoding. Zbl 1413.05363Amani, Mahdi; Nowzari-Dalini, Abbas; Ahrabian, Hayedeh 2 2014 Rough fuzzy subspace clustering for data with missing values. Zbl 1413.62084Simiński, Krzysztof 1 2014 Generalization of one-sided concept lattices. Zbl 1413.06008Butka, Peter; Pócs, Jozef 12 2013 nMIBAS: a novel multi-receiver ID-based anomymous signcryption with decryption fairness. Zbl 1413.94049Pang, Liaojun; Li, Huixian; Wang, Yumin 3 2013 Automata-based termination proofs. Zbl 1413.68021Iosif, Radu; Rogalewicz, Adam 2 2013 Efficient parallel implementation of the Ramalingam decremental algorithm for updating the shortest paths subgraph. Zbl 1413.68177Nepomniaschaya, Anna 1 2013 Multiobjective algorithms with resampling for portfolio optimization. Zbl 1413.91129García, Sandra; Quintana, David; Galván, Inés M.; Isasi, Pedro 1 2013 Variable precision rough set model for incomplete information systems and its \(\beta \)-reducts. Zbl 1413.68139Gong, Zengtai; Shi, Zhanhong; Yao, Hongxia 1 2012 A novel scheme for accelerating support vector clustering. Zbl 1399.62106Ping, Yuan; Zhou, Yajian; Yang, Yixian 1 2012 Improvements in the global a-posteriori error estimation of the FEM and MFDM solutions. Zbl 1399.65261Milewski, Sławomir; Orkisz, Janusz 5 2011 The use of refined descriptive sampling and applications in parallel Monte Carlo simulation. Zbl 1399.65002Aloui, Abdelouhab; Ourbih-Tari, Megdouda 4 2011 Modular echo state neural networks in time series prediction. Zbl 1399.68080Babinec, Štefan; Pospíchal, Jiří 3 2011 Parallel retrieval of dense vectors in the vector space model. Zbl 1413.65129Berka, Tobias; Vajteršic, Marian 1 2011 Multilevel aggregation methods for small-world graphs with application to random-walk ranking. Zbl 1399.68078de Sterck, Hans; Henson, Van Emden; Sanders, Geoffrey 1 2011 Exploring complex networks with Graph Investigator research application. Zbl 1399.68075Czech, Wojciech; Dzwinel, Witold; Goryczka, Sławomir; Arodź, Tomasz; Dudek, Arkadiusz Z. 1 2011 Two-dimensional heteroscedastic feature extraction technique for face recognition. Zbl 1399.68165Safayani, Mehran; Manzuri Shalmani, Mohammad Taghi 1 2011 Constrained longest common subsequence computing algorithms in practice. Zbl 1399.68317Deorowicz, Sebastian; Obstój, Joanna 6 2010 Approximability of the minimum Steiner cycle problem. Zbl 1399.68077Steinová, Monika 6 2010 On the disruption-level of polynomial mutation for evolutionary multi-objective optimisation algorithms. Zbl 1399.68197Hamdan, Mohammad 5 2010 A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1413.68073Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus 5 2010 The design and analysis of a modified work function algorithm for solving the on-line \(k\)-server problem. Zbl 1399.68315Baumgartner, Alfonz; Rudec, Tomislav; Manger, Robert 3 2010 A new vertex coloring algorithm based on variable action-set learning automata. Zbl 1399.05091Torkestani, Javad Akbari; Meybodi, Mohammad Reza 2 2010 Montgomery and RNS for RSA hardware implementation. Zbl 1399.94076Manochehri, Kooroush; Pourmozafari, Saadat; Sadeghian, Babak 1 2010 Maintaining functional integrity in multi-agent systems for resource allocation. Zbl 1399.68275Cetnarowicz, Krzysztof; Dreżewski, Rafał 1 2010 Correction of regression predictions using the secondary learner on the sensitivity analysis outputs. Zbl 1399.62117Bosnić, Zoran; Kononenko, Igor 1 2010 Optimizing an LTS-simulation algorithm. Zbl 1399.65139Holík, Lukáš; Šimáček, Jiří 1 2010 A parallel algorithm for large-scale multiple sequence alignment. Zbl 1399.68311Lopes, Heitor S.; Lima, Carlos R. Erig; Moritz, Guilherme L. 1 2010 A tabu search algorithm for scheduling independent jobs in computational grids. Zbl 1399.68227Xhafa, Fatos; Carretero, Javier; Dorronsoro, Bernabé; Alba, Enrique 2 2009 The LEM3 system for multitype evolutionary optimization. Zbl 1399.68135Wojtusiak, Janusz 2 2009 Global impact balancing in the hierarchic genetic search. Zbl 1399.68204Jojczyk, Paveł; Schaefer, Robert 2 2009 Temporal changes in local topology of an email-based social network. Zbl 1399.68004Juszczyszyn, Krzysztof; Musiał, Katarzyna; Kazienko, Przemyslaw; Gabrys, Bogdan 1 2009 Homogeneous P colonies. Zbl 1389.68031Cienciala, Luděk; Ciencialová, Lucie; Kelemenová, Alica 4 2008 Some applications of spiking neural P systems. Zbl 1389.68032Ionescu, Mihai; Sburlan, Dragoş 4 2008 Solving the maximally balanced connected partition problem in graphs by using genetic algorithm. Zbl 1324.05189Djurić, Brankica; Kratica, Jozef; Tošić, Dušan; Filipović, Vladimir 3 2008 Hierarchical clustering with membrane computing. Zbl 1389.68064Cardona, Mónica; Colomer, M. Angels; Zaragoza, Alba; Pérez-Jiménez, Mario J. 2 2008 Average degree in the interval graph of a random Boolean function. Zbl 1389.05114Toman, Eduard; Olejár, Daniel; Stanek, Martin 2 2008 An implementation of membrane computing using reconfigurable hardware. Zbl 1389.68035Nguyen, Van; Kearney, David; Gioiosa, Gianpaolo 1 2008 Frequency membrane systems. Zbl 1389.68034Molteni, Davide; Ferretti, Claudio; Mauri, Giancarlo 1 2008 Learning \(k\)-nearest neighbors classifier from distributed data. Zbl 1324.68100Khedr, Ahmed M. 1 2008 Automatic software test data generation for spanning sets coverage using genetic algorithms. Zbl 1274.68075Khamis, Abdelaziz M.; Girgis, Moheb R.; Ghiduk, Ahmed S. 2 2007 Image segmentation by fuzzy c-means clustering algorithm with a novel penalty term. Zbl 1174.68007Yang, Yong; Huang, Shuying 2 2007 A new feature extraction method for TMNN-based Arabic character classification. Zbl 1274.68393Saeed, Khalid; AlBakoor, Majida 1 2007 Agents for integrating distributed data for complex computations. Zbl 1145.68356Khedr, Ahmed M.; Bhatnagar, Raj 1 2007 An algorithm for the generation of segmented parametric software estimation models and its empirical evaluation. Zbl 1174.68344Cuadrado-Gallego, Juan J.; Sicilia, Miguel-Angel 1 2007 Model checking of RegCTL. Zbl 1139.68380Brázdil, Tomáš; Černá, Ivana 2 2006 Explanations and proof trees. Zbl 1132.68677Ferrand, Gérard; Lesaint, Willy; Tessier, Alexandre 2 2006 Explanations for a decision support system based on MCDA. Zbl 1132.68689Bélanger, Micheline; Martel, Jean-Marc 1 2006 Linear-time in-place selection with \(\varepsilon \cdot n\) element moves. Zbl 1119.68061Geffert, Viliam; Kollár, Ján 1 2006 Speaker recognition in the biometric security systems. Zbl 1115.68501Orság, Filip 1 2006 Using heuristic search for solving single machine batch processing problems. Zbl 1119.90018Dang, Thanh-Tung; Frankovič, Baltazár; Budinská, Ivana; Flood, Ben; Sheahan, Con; Dang, Bao-Lam 1 2006 Behavioural equivalences on finite-state systems are PTIME-hard. Zbl 1109.68052Sawa, Zdeněk; Jančar, Petr 7 2005 A machine assignment mechanism for compile-time list-scheduling heuristics. Zbl 1109.68035Hagras, Tarek; Janeček, Jan 3 2005 Genetic algorithm for solving uncapacitated multiple allocation hub location problem. Zbl 1109.68127Kratica, Jozef; Stanimirović, Zorica; Tošić, Dušan; Filipović, Vladimir 3 2005 Fuzzy implications and inference processes. Zbl 1109.68119Tick, József; Fodor, János 2 2005 Efficient graph coloring with parallel genetic algorithms. Zbl 1110.05034Kokosiński, Zbigniew; Kwarciany, Krzysztof; Kołodziej, Marcin 1 2005 Object replication algorithms for World Wide Web. Zbl 1107.68328Mahmood, Amjad 1 2005 A \((t, n)\) threshold secret sharing system with efficient identification of cheaters. Zbl 1158.94397Lin, Iuon-Chang; Chang, Chin-Chen 1 2005 Fuzzy-Petri-net reasoning supervisory controller and estimating states of Markov chain models. Zbl 1109.68116Dimirovski, Georgi M. 1 2005 Market mechanism for dynamic resource management in computational grid. Zbl 1099.68514Li, ChunLin; Li, LaYuan 5 2004 Independence number in path graphs. Zbl 1110.68105Knor, Martin; Niepel, L’udovít 2 2004 A note on the MDCT/MDST and pseudoinverse matrix. Zbl 1092.65124Britaňák, Vladimír 1 2004 Simple-semi-conditional versions of matrix grammars with a reduced regulating mechanism. Zbl 1092.68050Meduna, Alexander; Kopeček, Tomáš 1 2004 A dynamic adaptive replica allocation algorithm in mobile ad hoc networks. Zbl 1099.68521Zheng, Jing; Lu, Xieng; Yang, Kan; Wang, Yije 1 2004 Fine-grained tournament selection operator in genetic algorithms. Zbl 1076.68609Filipović, Vladimir 7 2003 CafeOBJ: Logical foundations and methodologies. Zbl 1104.68358Diaconescu, Răzvan; Futatsugi, Kokichi; Ogata, Kazuhiro 5 2003 CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej 4 2003 The logic of the RAISE specification language. Zbl 1104.68360George, Chris; Haxthausen, Anne E. 3 2003 Z logic and its consequences. Zbl 1104.68361Henson, Martin C.; Reeves, Steve; Bowen, Jonathan P. 3 2003 The expressive power of abstract-state machines. Zbl 1104.68507Reisig, Wolfgang 3 2003 Optimum multi-dimensional interval routing schemes on networks with dynamic cost links. Zbl 1094.68010Ganjali, Yashar 1 2003 Boom – a heuristic Boolean minimizer. Zbl 1082.06501Fišer, Peter; Hlavička, Jan 1 2003 Foundations of the B method. Zbl 1104.68409Cansell, Dominique; Méry, Dominique 1 2003 On the logic of \(\text{TLA}^+\). Zbl 1104.68364Merz, Stephan 1 2003 Mirror neurons, embodied cognitive agents and imitation learning. Zbl 1100.68608Wiedermann, Jiří 1 2003 Fuzzy Turing machines revised. Zbl 1099.68635Wiedermann, Jiří 8 2002 G-QoSM: Grid service discovery using QoS properties. Zbl 1102.68396Al-Ali, Rashid J.; Rana, Omer F.; Walker, David W. 5 2002 On the logical definability of topologically closed recognizable languages of infinite trees. Zbl 1099.03029Janin, David; Lenzi, Giacomo 2 2002 Efficient deadlock-free multidimensional interval routing in hypercube-like networks. Zbl 1099.68012Královič, Rastislav; Rovan, Branislav; Ružička, Peter; Štefankovič, Daniel 2 2002 Parallel real-time computation: sometimes quantity means quality. Zbl 1089.65141Akl, Selim G. 1 2002 Modelling multi-agent systems as synchronous concurrent constraint processes. Zbl 1076.68043Brim, Luboš; Křetínský, Mojmír; Jacquet, Jean-Marie; Gilbert, David 1 2002 Parallel priority queue and list contraction: The BSP approach. Zbl 1050.68028Gerbessiotis, Alexandros V.; Siniolakis, Constantinos J.; Tiskin, Alexandre 1 2002 Depth first search and location based localized routing and QoS routing in wireless networks. Zbl 1049.68025Stojmenovic, Ivan; Russel, Mark; Vukojevic, Bosko 1 2002 A Unicore Globus interoperability layer. Zbl 1102.68405Snelling, David; Van den Berghe, Sven; von Laszewski, Gregor; Wieder, Philipp; Breuer, Dirk; MacLaren, Jon; Nicole, Denis; Hoppe, Hans-Christian 1 2002 Static scheduling strategies for heterogeneous systems. Zbl 1102.68409Beaumont, Olivier; Legrand, Arnaud; Robert, Yves 1 2002 Wavelength routing in all-optical tree networks: A survey. Zbl 1007.68194Caragiannis, Ioannis; Kaklamanis, Christos; Persiano, Pino 2 2001 Hardness results and efficient approximations for frequency assignment problems: Radio labeling and radio coloring. Zbl 1007.68005Fotakis, Dimitris A.; Nikoletseas, Sotiris E.; Papadopoulou, Vicky G.; Spirakis, Paul G. 2 2001 Improved reasoning about infinity using qualitative simulation. Zbl 1041.68118Say, A. C. Cem 2 2001 An AI formalism for competing claims of identification: Capturing the “Smemorato di Collegno” amnesia case. Zbl 1037.68604Nissan, Ephraim 1 2001 On efficiency of path systems induced by routing and communication schemes. Zbl 1007.68004Ružička, Peter 1 2001 all cited Publications top 5 cited Publications all top 5 Cited by 542 Authors 5 Larsen, Kim Guldstrand 5 Milewski, Slawomir 5 Paszyński, Maciej 5 Stanimirović, Zorica 4 Antoni, Lubomir 4 Fahrenberg, Uli 4 Krajči, Stanislav 4 Kratica, Jozef J. 4 Krídlo, Ondrej 4 Legay, Axel 4 Ourbih-Tari, Megdouda 3 Cienciala, Luděk 3 Ciencialová, Lucie 3 Li, Chunlin 3 Li, Layuan 3 Łoś, Marcin M. 3 Novitzká, Valerie 3 Pocs, Jozef 3 Schaefer, Robert L. 3 Thrane, Claus R. 3 Wang, Xiaodong 3 Zhu, Daxin 2 Aloui, Abdelouhab 2 Aman, Bogdan 2 Barbosa, Luís Soares 2 Barth, Dominique 2 Bedregal, Benjamín René Callejas 2 Beneš, Nikola 2 Bentz, Cédric 2 Boubalou, Meriem 2 Bowen, Jonathan P. 2 Calo, Victor Manuel 2 Čangalović, Mirjana M. 2 Chunlin, Li 2 Ciobanu, Gabriel 2 Csuhaj-Varjú, Erzsébet 2 Gaidamaka, Yuliya 2 Gaĭnă, Daniel 2 Gavoille, Cyril 2 Gerla, Giangiacomo 2 Glover, Fred W. 2 Haxthausen, Anne Elisabeth 2 Héam, Pierre-Cyrille 2 Karale, Ankita 2 Kovačević-Vujčić, Vera V. 2 Křetínský, Jan 2 Layuan, Li 2 Lazarova, Milena 2 Lintzmayer, Carla Negri 2 Liu, Xiyu 2 Madeira, Alexandre 2 Marić, Miroslav 2 Martins, Manuel António 2 Mihályi, Daniel 2 Miyazawa, Flavio Keidi 2 Moura, Phablo F. S. 2 Muga, Ignacio 2 Pardo, David 2 Pinčák, Richard 2 Pócsová, Jana 2 Poulkov, Vladimir 2 Samouylov, Konstantin E. 2 Say, A. C. Cem 2 Schulz, Claudia 2 Smołka, Maciej 2 Srba, Jiří 2 Wang, Lei 2 Watel, Dimitri 2 Weisser, Marc-Antoine 2 Wiedermann, Jiří 2 Wu, Yingjie 2 Xavier, Eduardo Candido 1 Abadpour, Arash 1 Aïssani, Amar 1 Akbari Torkestani, Javad 1 Akın, H. Levent 1 Akl, Selim G. 1 Al-Ali, Rashid J. 1 Alamatsaz, Kayhan 1 Alba, Enrique 1 Alsalih, Waleed 1 Álvarez-Aramberri, Julen 1 Amani, Mahdi 1 Amin, Kaizar A. 1 Amorosi, Lavinia 1 Anitescu, Cosmin 1 Ann, Hsing-Yen 1 Arana-Jiménez, Manuel 1 Arriëns, Huibert J. Lincklaen 1 Aschermann, Cornelius 1 Aswani Kumar, Cherukuri 1 Atef, Asmaa 1 Avinadav, Tal 1 Barolli, Leonard 1 Bartoš, Erik 1 Bauer, Sebastian S. 1 Baumgartner, Alfonzo 1 Bazhenov, Nikolaĭ Alekseevich 1 Behnoudfar, Pouria 1 Benaini, Abdelhamid ...and 442 more Authors all top 5 Cited in 97 Journals 19 Theoretical Computer Science 12 Information Sciences 10 European Journal of Operational Research 9 Computers & Mathematics with Applications 7 Fuzzy Sets and Systems 6 Information Processing Letters 6 Computers & Operations Research 5 Journal of Combinatorial Optimization 4 Journal of Computer and System Sciences 4 International Journal of Applied Mathematics and Computer Science 3 Acta Informatica 3 Computer Methods in Applied Mechanics and Engineering 3 Computing 3 Information and Computation 3 Formal Aspects of Computing 3 Journal of Parallel and Distributed Computing 3 Monte Carlo Methods and Applications 3 Soft Computing 3 Theory and Practice of Logic Programming 3 Journal of Applied Mathematics and Computational Mechanics 2 Artificial Intelligence 2 Physica A 2 New Generation Computing 2 Cybernetics and Systems Analysis 2 Computational Optimization and Applications 2 Formal Methods in System Design 2 Annals of Mathematics and Artificial Intelligence 2 Complexity 2 Natural Computing 2 Journal of Intelligent and Fuzzy Systems 2 Journal of Discrete Algorithms 2 International Journal of Parallel, Emergent and Distributed Systems 2 Optimization Letters 2 Algorithms 2 Arabian Journal for Science and Engineering 2 Journal of Membrane Computing 1 Discrete Mathematics 1 Chaos, Solitons and Fractals 1 Applied Mathematics and Computation 1 Automatica 1 Opsearch 1 Studia Logica 1 Science of Computer Programming 1 Bulletin of the Korean Mathematical Society 1 Bulletin of the Iranian Mathematical Society 1 Applied Numerical Mathematics 1 Graphs and Combinatorics 1 Journal of Computer Science and Technology 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Journal of Cryptology 1 Signal Processing 1 Annals of Operations Research 1 Discrete Event Dynamic Systems 1 Applied Intelligence 1 Applied Mathematical Modelling 1 Communications in Statistics. Theory and Methods 1 Pattern Recognition 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Mathematical Imaging and Vision 1 Advances in Engineering Software 1 SIAM Journal on Scientific Computing 1 Engineering Analysis with Boundary Elements 1 International Transactions in Operational Research 1 Mathematical Problems in Engineering 1 Data Mining and Knowledge Discovery 1 Discrete Dynamics in Nature and Society 1 CEJOR. Central European Journal of Operations Research 1 Foundations of Science 1 Fundamenta Informaticae 1 Nonlinear Analysis. Real World Applications 1 Archives of Computational Methods in Engineering 1 The Journal of Logic and Algebraic Programming 1 Journal of Systems Science and Complexity 1 Journal of Applied Mathematics 1 SIAM Journal on Applied Dynamical Systems 1 4OR 1 Journal of Multiple-Valued Logic and Soft Computing 1 Advances in Difference Equations 1 Discrete Optimization 1 Science in China. Series F 1 1 Logica Universalis 1 Advances in Fuzzy Sets and Systems 1 Logical Methods in Computer Science 1 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematicheskoe Modelirovanie i Programmirovanie 1 Advances in Mathematical Physics 1 Journal of Control Science and Engineering 1 Symmetry 1 Afrika Matematika 1 Journal of Theoretical Biology 1 Frontiers of Computer Science 1 Computer Science Review 1 Journal of Applied Mathematics, Statistics and Informatics 1 Journal of Logical and Algebraic Methods in Programming 1 Prikladnaya Diskretnaya Matematika 1 Russian Journal of Nonlinear Dynamics all top 5 Cited in 30 Fields 145 Computer science (68-XX) 57 Operations research, mathematical programming (90-XX) 22 Numerical analysis (65-XX) 21 Mathematical logic and foundations (03-XX) 19 Combinatorics (05-XX) 14 Information and communication theory, circuits (94-XX) 11 Statistics (62-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Systems theory; control (93-XX) 6 Mechanics of deformable solids (74-XX) 6 Biology and other natural sciences (92-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Probability theory and stochastic processes (60-XX) 3 Number theory (11-XX) 3 Ordinary differential equations (34-XX) 2 General and overarching topics; collections (00-XX) 2 Differential geometry (53-XX) 2 Mechanics of particles and systems (70-XX) 2 Fluid mechanics (76-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Optics, electromagnetic theory (78-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year