## 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: 584 Publications (2001–2020)
all top 5

### Latest Issues

 39, No. 4 (2020) 39, No. 3 (2020) 39, No. 1-2 (2020) 39, No. 1 (2020) 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. 4 (2016) 35, No. 3 (2016) 35, No. 2 (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) ...and 4 more Volumes
all top 5

### Authors

 6 Hluchy, Ladislav 6 Tran, Viet Dinh 5 Bobák, Martin 5 Jamro, Ernest 5 Khedr, Ahmed M. 5 Kollár, Ján 5 Wiatr, Kazimierz 4 Boryczko, Krzysztof 4 Byrski, Aleksander 4 Chovancová, Eva 4 Chovanec, Martin 4 Galván, Inés María 4 Habala, Ondrej 4 Isasi, Pedro 4 Kumar, Rajesh S. 4 Li, Maozhen 4 Makowski, Marcin 4 Mazur, Grzegorz 4 Russek, Paweł 4 Šimoňák, Slavomír 4 Wielgosz, Maciej 3 Ádám, Norbert 3 Aler, Ricardo 3 Baláž, Anton 3 Belloum, Adam 3 Bieliková, Mária 3 Budinská, Ivana 3 Čapkovič, František 3 Che, Yonggang 3 Cushing, Reginald 3 Feciľak, Peter 3 Filipović, Vladimir 3 Graziani, Mara 3 Hlavička, Jan 3 Kelemen, Jozef 3 Kitowski, Jacek 3 Li, Chunlin 3 Li, Layuan 3 Manger, Robert 3 Pang, Shanchen 3 Paszyński, Maciej 3 Pietriková, Emília 3 Ruan, Qiuqi 3 Rudas, Imre J. 3 Schröder, Heiko 3 Stanek, Martin 3 Tar, József K. 3 Valkering, Onno 3 Valls, José María 3 Vokorokos, Liberios 3 Wang, Zhenghua 3 Yuan, Baozong 3 Zolotová, Iveta 2 Agrawal, Ramesh Kumar 2 Arodź, Tomasz 2 Babinec, Štefan 2 Baliś, Bartosz 2 Bao, Hong 2 Batra, Shalini 2 Bielecki, Włodzimierz 2 Božek, Pavol 2 Britaňák, Vladimír 2 Bubak, Marian 2 Butka, Peter 2 Černá, Ivana 2 Cetnarowicz, Krzysztof 2 Chalupa, David 2 Choi, Jin Young 2 Ciobanu, Gabriel 2 Cizmar, Anton 2 Dang, Thanh-Tung 2 Dębski, Roman 2 Deorowicz, Sebastian 2 Ding, Zhijun 2 Drezewski, Rafał 2 Duato, José 2 Dzwinel, Witold 2 Franeková, Mária 2 Frankovič, Baltazár 2 Geffert, Viliam 2 Glasa, Ján 2 Gouda, Karam 2 Grgurovič, Marko 2 Grošek, Otokar 2 Haxthausen, Anne Elisabeth 2 Henke, Michael 2 Höb, Maximilian 2 Hu, Mingxing 2 Inzunza, Sergio 2 Jiang, Yichuan 2 Jigang, Wu 2 Jiménez, Samantha 2 Jin, Yi 2 Juárez-Ramírez, Reyes 2 Juhar, Jozef 2 Kim, Il-Gon 2 Kisiel-Dorohinicki, Marek 2 Korcyl, Krzysztof 2 Kratica, Jozef J. 2 Kumar, Ashok V. ...and 1,293 more Authors
all top 5

### Fields

 496 Computer science (68-XX) 47 Numerical analysis (65-XX) 41 Information and communication theory, circuits (94-XX) 39 Statistics (62-XX) 38 Operations research, mathematical programming (90-XX) 24 Systems theory; control (93-XX) 23 Combinatorics (05-XX) 17 Biology and other natural sciences (92-XX) 10 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) 6 Probability theory and stochastic processes (60-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 4 Mathematics education (97-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 Convex and discrete geometry (52-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 Associative rings and algebras (16-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 Geometry (51-XX) 1 General topology (54-XX) 1 Optics, electromagnetic theory (78-XX)

### Citations contained in zbMATH Open

100 Publications have been cited 216 times in 229 Documents Cited by Year
Generalization of one-sided concept lattices. Zbl 1413.06008
Butka, Peter; Pócs, Jozef
2013
Fuzzy Turing machines revised. Zbl 1099.68635
Wiedermann, Jiří
2002
Fine-grained tournament selection operator in genetic algorithms. Zbl 1076.68609
2003
Constrained longest common subsequence computing algorithms in practice. Zbl 1399.68317
Deorowicz, Sebastian; Obstój, Joanna
2010
Behavioural equivalences on finite-state systems are PTIME-hard. Zbl 1109.68052
Sawa, Zdeněk; Jančar, Petr
2005
Parallel fast isogeometric solvers for explicit dynamics. Zbl 06986710
Woźniak, Maciej; Łoś, Marcin; Paszyński, Maciej; Dalcin, Lisandro; Calo, Victor Manuel
2017
On the disruption-level of polynomial mutation for evolutionary multi-objective optimisation algorithms. Zbl 1399.68197
2010
A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1413.68073
Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus
2010
Approximability of the minimum Steiner cycle problem. Zbl 1399.68077
Steinová, Monika
2010
G-QoSM: Grid service discovery using QoS properties. Zbl 1102.68396
Al-Ali, Rashid J.; Rana, Omer F.; Walker, David W.
2002
CafeOBJ: Logical foundations and methodologies. Zbl 1104.68358
Diaconescu, Răzvan; Futatsugi, Kokichi; Ogata, Kazuhiro
2003
Improvements in the global a-posteriori error estimation of the FEM and MFDM solutions. Zbl 1399.65261
Milewski, Sławomir; Orkisz, Janusz
2011
Homogeneous P colonies. Zbl 1389.68031
Cienciala, Luděk; Ciencialová, Lucie; Kelemenová, Alica
2008
Some applications of spiking neural P systems. Zbl 1389.68032
Ionescu, Mihai; Sburlan, Dragoş
2008
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
2003
The use of refined descriptive sampling and applications in parallel Monte Carlo simulation. Zbl 1399.65002
Aloui, Abdelouhab; Ourbih-Tari, Megdouda
2011
Towards the knowledge in coalgebraic model of IDS. Zbl 1413.03006
Mihályi, Daniel; Novitzká, Valerie
2014
The design and analysis of a modified work function algorithm for solving the on-line $$k$$-server problem. Zbl 1399.68315
Baumgartner, Alfonz; Rudec, Tomislav; Manger, Robert
2010
A machine assignment mechanism for compile-time list-scheduling heuristics. Zbl 1109.68035
Hagras, Tarek; Janeček, Jan
2005
Genetic algorithm for solving uncapacitated multiple allocation hub location problem. Zbl 1109.68127
Kratica, Jozef; Stanimirović, Zorica; Tošić, Dušan; Filipović, Vladimir
2005
The logic of the RAISE specification language. Zbl 1104.68360
George, Chris; Haxthausen, Anne E.
2003
Z logic and its consequences. Zbl 1104.68361
Henson, Martin C.; Reeves, Steve; Bowen, Jonathan P.
2003
The expressive power of abstract-state machines. Zbl 1104.68507
Reisig, Wolfgang
2003
Solving the maximally balanced connected partition problem in graphs by using genetic algorithm. Zbl 1324.05189
Djurić, Brankica; Kratica, Jozef; Tošić, Dušan; Filipović, Vladimir
2008
Market mechanism for dynamic resource management in computational grid. Zbl 1099.68514
Li, ChunLin; Li, LaYuan
2004
Modular echo state neural networks in time series prediction. Zbl 1399.68080
Babinec, Štefan; Pospíchal, Jiří
2011
Optimization of a parallel CFD code and its performance evaluation on Tianhe-1A. Zbl 1413.65500
Che, Yonggang; Zhang, Lilun; Xu, Chuanfu; Wang, Yongxian; Liu, Wei; Wang, Zhenghua
2014
Distributed computation of generalized one-sided concept lattices on sparse data tables. Zbl 1413.68132
Butka, Peter; Pócs, Jozef; Pócsová, Jana
2015
Propagation-based Biclustering algorithm for extracting inclusion-maximal motifs. Zbl 06985631
Orzechowski, Patryk; Boryczko, Krzysztof
2016
New model of maximal covering location problem with fuzzy conditions. Zbl 06985640
Drakulić, Darko; Takači, Aleksandar; Marić, Miroslav
2016
Hierarchical clustering with membrane computing. Zbl 1389.68064
Cardona, Mónica; Colomer, M. Angels; Zaragoza, Alba; Pérez-Jiménez, Mario J.
2008
An implementation of membrane computing using reconfigurable hardware. Zbl 1389.68035
Nguyen, Van; Kearney, David; Gioiosa, Gianpaolo
2008
Average degree in the interval graph of a random Boolean function. Zbl 1389.05114
Toman, Eduard; Olejár, Daniel; Stanek, Martin
2008
A tabu search algorithm for scheduling independent jobs in computational grids. Zbl 1399.68227
Xhafa, Fatos; Carretero, Javier; Dorronsoro, Bernabé; Alba, Enrique
2009
The LEM3 system for multitype evolutionary optimization. Zbl 1399.68135
Wojtusiak, Janusz
2009
Global impact balancing in the hierarchic genetic search. Zbl 1399.68204
Jojczyk, Paveł; Schaefer, Robert
2009
A new vertex coloring algorithm based on variable action-set learning automata. Zbl 1399.05091
2010
Wavelength routing in all-optical tree networks: A survey. Zbl 1007.68194
Caragiannis, Ioannis; Kaklamanis, Christos; Persiano, Pino
2001
Hardness results and efficient approximations for frequency assignment problems: Radio labeling and radio coloring. Zbl 1007.68005
Fotakis, Dimitris A.; Nikoletseas, Sotiris E.; Papadopoulou, Vicky G.; Spirakis, Paul G.
2001
Improved reasoning about infinity using qualitative simulation. Zbl 1041.68118
Say, A. C. Cem
2001
On the logical definability of topologically closed recognizable languages of infinite trees. Zbl 1099.03029
Janin, David; Lenzi, Giacomo
2002
Efficient deadlock-free multidimensional interval routing in hypercube-like networks. Zbl 1099.68012
Královič, Rastislav; Rovan, Branislav; Ružička, Peter; Štefankovič, Daniel
2002
Model checking of RegCTL. Zbl 1139.68380
Brázdil, Tomáš; Černá, Ivana
2006
Explanations and proof trees. Zbl 1132.68677
Ferrand, Gérard; Lesaint, Willy; Tessier, Alexandre
2006
Automata-based termination proofs. Zbl 1413.68021
2013
Fuzzy implications and inference processes. Zbl 1109.68119
Tick, József; Fodor, János
2005
Automatic software test data generation for spanning sets coverage using genetic algorithms. Zbl 1274.68075
Khamis, Abdelaziz M.; Girgis, Moheb R.; Ghiduk, Ahmed S.
2007
Independence number in path graphs. Zbl 1110.68105
Knor, Martin; Niepel, L’udovít
2004
Generation of neuronal trees by a new three letters encoding. Zbl 1413.05363
Amani, Mahdi; Nowzari-Dalini, Abbas; Ahrabian, Hayedeh
2014
Combining the continuous integration practice and the model-driven engineering approach. Zbl 06985637
García-Díaz, Vicente; Espada, Jordán Pascual; Núnez-Valdéz, Edward Rolando; Pelayo G-Bustelo, B. Cristina; Cueva Lovelle, Juan Manuel
2016
Copyright protection for digital images on portable devices. Zbl 06985659
Pizzolante, Raffaele; Carpentieri, Bruno
2016
Precise non-intrusive real-time gaze tracking system for embedded setups. Zbl 06986715
García-Dopico, Antonio; Pérez, Antonio; Pedraza, José Luis; Córdoba, María Luisa
2017
Modifying and accelerating the method of moments calculation. Zbl 06986719
Harťanský, René; Smieško, Viktor; Rafaj, Michal
2017
Efficient string edit similarity join algorithm. Zbl 06986722
2017
A practical index for approximate dictionary matching with few mismatches. Zbl 06986749
Cisłak, Aleksander; Grabowski, Szymon
2017
Estimation of a posteriori computational error by the higher order multipoint Meshless FDM. Zbl 06986755
Jaworska, Irena; Orkisz, Janusz
2017
Rough fuzzy subspace clustering for data with missing values. Zbl 1413.62084
Simiński, Krzysztof
2014
A novel scheme for accelerating support vector clustering. Zbl 1399.62106
Ping, Yuan; Zhou, Yajian; Yang, Yixian
2012
Multiobjective algorithms with resampling for portfolio optimization. Zbl 1413.91129
García, Sandra; Quintana, David; Galván, Inés M.; Isasi, Pedro
2013
Information technology and pragmatic analysis. Zbl 07299740
Božek, Pavol; Lozhkin, Alexander; Galajdová, Alena; Arkhipov, Igor; Maiorov, Konstantin
2018
Frequency membrane systems. Zbl 1389.68034
Molteni, Davide; Ferretti, Claudio; Mauri, Giancarlo
2008
Temporal changes in local topology of an email-based social network. Zbl 1399.68004
Juszczyszyn, Krzysztof; Musiał, Katarzyna; Kazienko, Przemyslaw; Gabrys, Bogdan
2009
Montgomery and RNS for RSA hardware implementation. Zbl 1399.94076
2010
Maintaining functional integrity in multi-agent systems for resource allocation. Zbl 1399.68275
Cetnarowicz, Krzysztof; Dreżewski, Rafał
2010
Correction of regression predictions using the secondary learner on the sensitivity analysis outputs. Zbl 1399.62117
Bosnić, Zoran; Kononenko, Igor
2010
Optimizing an LTS-simulation algorithm. Zbl 1399.65139
Holík, Lukáš; Šimáček, Jiří
2010
A parallel algorithm for large-scale multiple sequence alignment. Zbl 1399.68311
Lopes, Heitor S.; Lima, Carlos R. Erig; Moritz, Guilherme L.
2010
Linear-time in-place selection with $$\varepsilon \cdot n$$ element moves. Zbl 1119.68061
Geffert, Viliam; Kollár, Ján
2006
Speaker recognition in the biometric security systems. Zbl 1115.68501
Orság, Filip
2006
An algorithm for the generation of segmented parametric software estimation models and its empirical evaluation. Zbl 1174.68344
2007
Image segmentation by fuzzy c-means clustering algorithm with a novel penalty term. Zbl 1174.68007
Yang, Yong; Huang, Shuying
2007
Agents for integrating distributed data for complex computations. Zbl 1145.68356
Khedr, Ahmed M.; Bhatnagar, Raj
2007
Parallel priority queue and list contraction: The BSP approach. Zbl 1050.68028
Gerbessiotis, Alexandros V.; Siniolakis, Constantinos J.; Tiskin, Alexandre
2002
Depth first search and location based localized routing and QoS routing in wireless networks. Zbl 1049.68025
Stojmenovic, Ivan; Russel, Mark; Vukojevic, Bosko
2002
On efficiency of path systems induced by routing and communication schemes. Zbl 1007.68004
Ružička, Peter
2001
An AI formalism for competing claims of identification: Capturing the “Smemorato di Collegno” amnesia case. Zbl 1037.68604
Nissan, Ephraim
2001
Explanations for a decision support system based on MCDA. Zbl 1132.68689
Bélanger, Micheline; Martel, Jean-Marc
2006
Variable precision rough set model for incomplete information systems and its $$\beta$$-reducts. Zbl 1413.68139
Gong, Zengtai; Shi, Zhanhong; Yao, Hongxia
2012
Efficient parallel implementation of the Ramalingam decremental algorithm for updating the shortest paths subgraph. Zbl 1413.68177
Nepomniaschaya, Anna
2013
nMIBAS: a novel multi-receiver ID-based anomymous signcryption with decryption fairness. Zbl 1413.94049
Pang, Liaojun; Li, Huixian; Wang, Yumin
2013
Efficient graph coloring with parallel genetic algorithms. Zbl 1110.05034
Kokosiński, Zbigniew; Kwarciany, Krzysztof; Kołodziej, Marcin
2005
Object replication algorithms for World Wide Web. Zbl 1107.68328
2005
A $$(t, n)$$ threshold secret sharing system with efficient identification of cheaters. Zbl 1158.94397
Lin, Iuon-Chang; Chang, Chin-Chen
2005
A Unicore Globus interoperability layer. Zbl 1102.68405
Snelling, David; Van den Berghe, Sven; von Laszewski, Gregor; Wieder, Philipp; Breuer, Dirk; MacLaren, Jon; Nicole, Denis; Hoppe, Hans-Christian
2002
Static scheduling strategies for heterogeneous systems. Zbl 1102.68409
Beaumont, Olivier; Legrand, Arnaud; Robert, Yves
2002
Parallel real-time computation: sometimes quantity means quality. Zbl 1089.65141
Akl, Selim G.
2002
Modelling multi-agent systems as synchronous concurrent constraint processes. Zbl 1076.68043
Brim, Luboš; Křetínský, Mojmír; Jacquet, Jean-Marie; Gilbert, David
2002
Optimum multi-dimensional interval routing schemes on networks with dynamic cost links. Zbl 1094.68010
Ganjali, Yashar
2003
Boom – a heuristic Boolean minimizer. Zbl 1082.06501
Fišer, Peter; Hlavička, Jan
2003
Foundations of the B method. Zbl 1104.68409
Cansell, Dominique; Méry, Dominique
2003
On the logic of $$\text{TLA}^+$$. Zbl 1104.68364
Merz, Stephan
2003
Mirror neurons, embodied cognitive agents and imitation learning. Zbl 1100.68608
Wiedermann, Jiří
2003
Learning $$k$$-nearest neighbors classifier from distributed data. Zbl 1324.68100
Khedr, Ahmed M.
2008
A new feature extraction method for TMNN-based Arabic character classification. Zbl 1274.68393
Saeed, Khalid; AlBakoor, Majida
2007
A note on the MDCT/MDST and pseudoinverse matrix. Zbl 1092.65124
2004
Simple-semi-conditional versions of matrix grammars with a reduced regulating mechanism. Zbl 1092.68050
Meduna, Alexander; Kopeček, Tomáš
2004
A dynamic adaptive replica allocation algorithm in mobile ad hoc networks. Zbl 1099.68521
Zheng, Jing; Lu, Xieng; Yang, Kan; Wang, Yije
2004
Multilevel aggregation methods for small-world graphs with application to random-walk ranking. Zbl 1399.68078
de Sterck, Hans; Henson, Van Emden; Sanders, Geoffrey
2011
Exploring complex networks with Graph Investigator research application. Zbl 1399.68075
Czech, Wojciech; Dzwinel, Witold; Goryczka, Sławomir; Arodź, Tomasz; Dudek, Arkadiusz Z.
2011
Two-dimensional heteroscedastic feature extraction technique for face recognition. Zbl 1399.68165
Safayani, Mehran; Manzuri Shalmani, Mohammad Taghi
2011
Information technology and pragmatic analysis. Zbl 07299740
Božek, Pavol; Lozhkin, Alexander; Galajdová, Alena; Arkhipov, Igor; Maiorov, Konstantin
2018
Parallel fast isogeometric solvers for explicit dynamics. Zbl 06986710
Woźniak, Maciej; Łoś, Marcin; Paszyński, Maciej; Dalcin, Lisandro; Calo, Victor Manuel
2017
Precise non-intrusive real-time gaze tracking system for embedded setups. Zbl 06986715
García-Dopico, Antonio; Pérez, Antonio; Pedraza, José Luis; Córdoba, María Luisa
2017
Modifying and accelerating the method of moments calculation. Zbl 06986719
Harťanský, René; Smieško, Viktor; Rafaj, Michal
2017
Efficient string edit similarity join algorithm. Zbl 06986722
2017
A practical index for approximate dictionary matching with few mismatches. Zbl 06986749
Cisłak, Aleksander; Grabowski, Szymon
2017
Estimation of a posteriori computational error by the higher order multipoint Meshless FDM. Zbl 06986755
Jaworska, Irena; Orkisz, Janusz
2017
Propagation-based Biclustering algorithm for extracting inclusion-maximal motifs. Zbl 06985631
Orzechowski, Patryk; Boryczko, Krzysztof
2016
New model of maximal covering location problem with fuzzy conditions. Zbl 06985640
Drakulić, Darko; Takači, Aleksandar; Marić, Miroslav
2016
Combining the continuous integration practice and the model-driven engineering approach. Zbl 06985637
García-Díaz, Vicente; Espada, Jordán Pascual; Núnez-Valdéz, Edward Rolando; Pelayo G-Bustelo, B. Cristina; Cueva Lovelle, Juan Manuel
2016
Copyright protection for digital images on portable devices. Zbl 06985659
Pizzolante, Raffaele; Carpentieri, Bruno
2016
Distributed computation of generalized one-sided concept lattices on sparse data tables. Zbl 1413.68132
Butka, Peter; Pócs, Jozef; Pócsová, Jana
2015
Towards the knowledge in coalgebraic model of IDS. Zbl 1413.03006
Mihályi, Daniel; Novitzká, Valerie
2014
Optimization of a parallel CFD code and its performance evaluation on Tianhe-1A. Zbl 1413.65500
Che, Yonggang; Zhang, Lilun; Xu, Chuanfu; Wang, Yongxian; Liu, Wei; Wang, Zhenghua
2014
Generation of neuronal trees by a new three letters encoding. Zbl 1413.05363
Amani, Mahdi; Nowzari-Dalini, Abbas; Ahrabian, Hayedeh
2014
Rough fuzzy subspace clustering for data with missing values. Zbl 1413.62084
Simiński, Krzysztof
2014
Generalization of one-sided concept lattices. Zbl 1413.06008
Butka, Peter; Pócs, Jozef
2013
Automata-based termination proofs. Zbl 1413.68021
2013
Multiobjective algorithms with resampling for portfolio optimization. Zbl 1413.91129
García, Sandra; Quintana, David; Galván, Inés M.; Isasi, Pedro
2013
Efficient parallel implementation of the Ramalingam decremental algorithm for updating the shortest paths subgraph. Zbl 1413.68177
Nepomniaschaya, Anna
2013
nMIBAS: a novel multi-receiver ID-based anomymous signcryption with decryption fairness. Zbl 1413.94049
Pang, Liaojun; Li, Huixian; Wang, Yumin
2013
A novel scheme for accelerating support vector clustering. Zbl 1399.62106
Ping, Yuan; Zhou, Yajian; Yang, Yixian
2012
Variable precision rough set model for incomplete information systems and its $$\beta$$-reducts. Zbl 1413.68139
Gong, Zengtai; Shi, Zhanhong; Yao, Hongxia
2012
Improvements in the global a-posteriori error estimation of the FEM and MFDM solutions. Zbl 1399.65261
Milewski, Sławomir; Orkisz, Janusz
2011
The use of refined descriptive sampling and applications in parallel Monte Carlo simulation. Zbl 1399.65002
Aloui, Abdelouhab; Ourbih-Tari, Megdouda
2011
Modular echo state neural networks in time series prediction. Zbl 1399.68080
Babinec, Štefan; Pospíchal, Jiří
2011
Multilevel aggregation methods for small-world graphs with application to random-walk ranking. Zbl 1399.68078
de Sterck, Hans; Henson, Van Emden; Sanders, Geoffrey
2011
Exploring complex networks with Graph Investigator research application. Zbl 1399.68075
Czech, Wojciech; Dzwinel, Witold; Goryczka, Sławomir; Arodź, Tomasz; Dudek, Arkadiusz Z.
2011
Two-dimensional heteroscedastic feature extraction technique for face recognition. Zbl 1399.68165
Safayani, Mehran; Manzuri Shalmani, Mohammad Taghi
2011
Constrained longest common subsequence computing algorithms in practice. Zbl 1399.68317
Deorowicz, Sebastian; Obstój, Joanna
2010
On the disruption-level of polynomial mutation for evolutionary multi-objective optimisation algorithms. Zbl 1399.68197
2010
A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1413.68073
Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus
2010
Approximability of the minimum Steiner cycle problem. Zbl 1399.68077
Steinová, Monika
2010
The design and analysis of a modified work function algorithm for solving the on-line $$k$$-server problem. Zbl 1399.68315
Baumgartner, Alfonz; Rudec, Tomislav; Manger, Robert
2010
A new vertex coloring algorithm based on variable action-set learning automata. Zbl 1399.05091
2010
Montgomery and RNS for RSA hardware implementation. Zbl 1399.94076
2010
Maintaining functional integrity in multi-agent systems for resource allocation. Zbl 1399.68275
Cetnarowicz, Krzysztof; Dreżewski, Rafał
2010
Correction of regression predictions using the secondary learner on the sensitivity analysis outputs. Zbl 1399.62117
Bosnić, Zoran; Kononenko, Igor
2010
Optimizing an LTS-simulation algorithm. Zbl 1399.65139
Holík, Lukáš; Šimáček, Jiří
2010
A parallel algorithm for large-scale multiple sequence alignment. Zbl 1399.68311
Lopes, Heitor S.; Lima, Carlos R. Erig; Moritz, Guilherme L.
2010
A tabu search algorithm for scheduling independent jobs in computational grids. Zbl 1399.68227
Xhafa, Fatos; Carretero, Javier; Dorronsoro, Bernabé; Alba, Enrique
2009
The LEM3 system for multitype evolutionary optimization. Zbl 1399.68135
Wojtusiak, Janusz
2009
Global impact balancing in the hierarchic genetic search. Zbl 1399.68204
Jojczyk, Paveł; Schaefer, Robert
2009
Temporal changes in local topology of an email-based social network. Zbl 1399.68004
Juszczyszyn, Krzysztof; Musiał, Katarzyna; Kazienko, Przemyslaw; Gabrys, Bogdan
2009
Homogeneous P colonies. Zbl 1389.68031
Cienciala, Luděk; Ciencialová, Lucie; Kelemenová, Alica
2008
Some applications of spiking neural P systems. Zbl 1389.68032
Ionescu, Mihai; Sburlan, Dragoş
2008
Solving the maximally balanced connected partition problem in graphs by using genetic algorithm. Zbl 1324.05189
Djurić, Brankica; Kratica, Jozef; Tošić, Dušan; Filipović, Vladimir
2008
Hierarchical clustering with membrane computing. Zbl 1389.68064
Cardona, Mónica; Colomer, M. Angels; Zaragoza, Alba; Pérez-Jiménez, Mario J.
2008
An implementation of membrane computing using reconfigurable hardware. Zbl 1389.68035
Nguyen, Van; Kearney, David; Gioiosa, Gianpaolo
2008
Average degree in the interval graph of a random Boolean function. Zbl 1389.05114
Toman, Eduard; Olejár, Daniel; Stanek, Martin
2008
Frequency membrane systems. Zbl 1389.68034
Molteni, Davide; Ferretti, Claudio; Mauri, Giancarlo
2008
Learning $$k$$-nearest neighbors classifier from distributed data. Zbl 1324.68100
Khedr, Ahmed M.
2008
Automatic software test data generation for spanning sets coverage using genetic algorithms. Zbl 1274.68075
Khamis, Abdelaziz M.; Girgis, Moheb R.; Ghiduk, Ahmed S.
2007
An algorithm for the generation of segmented parametric software estimation models and its empirical evaluation. Zbl 1174.68344
2007
Image segmentation by fuzzy c-means clustering algorithm with a novel penalty term. Zbl 1174.68007
Yang, Yong; Huang, Shuying
2007
Agents for integrating distributed data for complex computations. Zbl 1145.68356
Khedr, Ahmed M.; Bhatnagar, Raj
2007
A new feature extraction method for TMNN-based Arabic character classification. Zbl 1274.68393
Saeed, Khalid; AlBakoor, Majida
2007
Model checking of RegCTL. Zbl 1139.68380
Brázdil, Tomáš; Černá, Ivana
2006
Explanations and proof trees. Zbl 1132.68677
Ferrand, Gérard; Lesaint, Willy; Tessier, Alexandre
2006
Linear-time in-place selection with $$\varepsilon \cdot n$$ element moves. Zbl 1119.68061
Geffert, Viliam; Kollár, Ján
2006
Speaker recognition in the biometric security systems. Zbl 1115.68501
Orság, Filip
2006
Explanations for a decision support system based on MCDA. Zbl 1132.68689
Bélanger, Micheline; Martel, Jean-Marc
2006
Behavioural equivalences on finite-state systems are PTIME-hard. Zbl 1109.68052
Sawa, Zdeněk; Jančar, Petr
2005
A machine assignment mechanism for compile-time list-scheduling heuristics. Zbl 1109.68035
Hagras, Tarek; Janeček, Jan
2005
Genetic algorithm for solving uncapacitated multiple allocation hub location problem. Zbl 1109.68127
Kratica, Jozef; Stanimirović, Zorica; Tošić, Dušan; Filipović, Vladimir
2005
Fuzzy implications and inference processes. Zbl 1109.68119
Tick, József; Fodor, János
2005
Efficient graph coloring with parallel genetic algorithms. Zbl 1110.05034
Kokosiński, Zbigniew; Kwarciany, Krzysztof; Kołodziej, Marcin
2005
Object replication algorithms for World Wide Web. Zbl 1107.68328
2005
A $$(t, n)$$ threshold secret sharing system with efficient identification of cheaters. Zbl 1158.94397
Lin, Iuon-Chang; Chang, Chin-Chen
2005
Market mechanism for dynamic resource management in computational grid. Zbl 1099.68514
Li, ChunLin; Li, LaYuan
2004
Independence number in path graphs. Zbl 1110.68105
Knor, Martin; Niepel, L&rsquo;udovít
2004
A note on the MDCT/MDST and pseudoinverse matrix. Zbl 1092.65124
2004
Simple-semi-conditional versions of matrix grammars with a reduced regulating mechanism. Zbl 1092.68050
Meduna, Alexander; Kopeček, Tomáš
2004
A dynamic adaptive replica allocation algorithm in mobile ad hoc networks. Zbl 1099.68521
Zheng, Jing; Lu, Xieng; Yang, Kan; Wang, Yije
2004
Fine-grained tournament selection operator in genetic algorithms. Zbl 1076.68609
2003
CafeOBJ: Logical foundations and methodologies. Zbl 1104.68358
Diaconescu, Răzvan; Futatsugi, Kokichi; Ogata, Kazuhiro
2003
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
2003
The logic of the RAISE specification language. Zbl 1104.68360
George, Chris; Haxthausen, Anne E.
2003
Z logic and its consequences. Zbl 1104.68361
Henson, Martin C.; Reeves, Steve; Bowen, Jonathan P.
2003
The expressive power of abstract-state machines. Zbl 1104.68507
Reisig, Wolfgang
2003
Optimum multi-dimensional interval routing schemes on networks with dynamic cost links. Zbl 1094.68010
Ganjali, Yashar
2003
Boom – a heuristic Boolean minimizer. Zbl 1082.06501
Fišer, Peter; Hlavička, Jan
2003
Foundations of the B method. Zbl 1104.68409
Cansell, Dominique; Méry, Dominique
2003
On the logic of $$\text{TLA}^+$$. Zbl 1104.68364
Merz, Stephan
2003
Mirror neurons, embodied cognitive agents and imitation learning. Zbl 1100.68608
Wiedermann, Jiří
2003
Fuzzy Turing machines revised. Zbl 1099.68635
Wiedermann, Jiří
2002
G-QoSM: Grid service discovery using QoS properties. Zbl 1102.68396
Al-Ali, Rashid J.; Rana, Omer F.; Walker, David W.
2002
On the logical definability of topologically closed recognizable languages of infinite trees. Zbl 1099.03029
Janin, David; Lenzi, Giacomo
2002
Efficient deadlock-free multidimensional interval routing in hypercube-like networks. Zbl 1099.68012
Královič, Rastislav; Rovan, Branislav; Ružička, Peter; Štefankovič, Daniel
2002
Parallel priority queue and list contraction: The BSP approach. Zbl 1050.68028
Gerbessiotis, Alexandros V.; Siniolakis, Constantinos J.; Tiskin, Alexandre
2002
Depth first search and location based localized routing and QoS routing in wireless networks. Zbl 1049.68025
Stojmenovic, Ivan; Russel, Mark; Vukojevic, Bosko
2002
A Unicore Globus interoperability layer. Zbl 1102.68405
Snelling, David; Van den Berghe, Sven; von Laszewski, Gregor; Wieder, Philipp; Breuer, Dirk; MacLaren, Jon; Nicole, Denis; Hoppe, Hans-Christian
2002
Static scheduling strategies for heterogeneous systems. Zbl 1102.68409
Beaumont, Olivier; Legrand, Arnaud; Robert, Yves
2002
Parallel real-time computation: sometimes quantity means quality. Zbl 1089.65141
Akl, Selim G.
2002
Modelling multi-agent systems as synchronous concurrent constraint processes. Zbl 1076.68043
Brim, Luboš; Křetínský, Mojmír; Jacquet, Jean-Marie; Gilbert, David
2002
Wavelength routing in all-optical tree networks: A survey. Zbl 1007.68194
Caragiannis, Ioannis; Kaklamanis, Christos; Persiano, Pino
2001
Hardness results and efficient approximations for frequency assignment problems: Radio labeling and radio coloring. Zbl 1007.68005
Fotakis, Dimitris A.; Nikoletseas, Sotiris E.; Papadopoulou, Vicky G.; Spirakis, Paul G.
2001
Improved reasoning about infinity using qualitative simulation. Zbl 1041.68118
Say, A. C. Cem
2001
On efficiency of path systems induced by routing and communication schemes. Zbl 1007.68004
Ružička, Peter
2001
An AI formalism for competing claims of identification: Capturing the “Smemorato di Collegno” amnesia case. Zbl 1037.68604
Nissan, Ephraim
2001
all top 5

### Cited by 512 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 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 Kovačević-Vujčić, Vera V. 2 Křetínský, Jan 2 Layuan, Li 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 Samouylov, Konstantin E. 2 Say, A. C. Cem 2 Schaefer, Robert L. 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 Bai, Yulong 1 Barolli, Leonard 1 Bartoš, Erik 1 Bauer, Sebastian S. 1 Baumgartner, Alfonzo 1 Bazhenov, Nikolaĭ Alekseevich 1 Behnoudfar, Pouria 1 Benaini, Abdelhamid 1 Bendisposto, Jens 1 Benitez, Domingo ...and 412 more Authors
all top 5

### Cited in 95 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 4 Journal of Computer and System Sciences 4 Journal of Combinatorial Optimization 4 International Journal of Applied Mathematics and Computer Science 3 Acta Informatica 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 Theory and Practice of Logic Programming 3 Journal of Applied Mathematics and Computational Mechanics 2 Artificial Intelligence 2 Computer Methods in Applied Mechanics and Engineering 2 Physica A 2 Chaos, Solitons and Fractals 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 Soft Computing 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 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 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 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 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 Optimization 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

 144 Computer science (68-XX) 55 Operations research, mathematical programming (90-XX) 21 Numerical analysis (65-XX) 20 Mathematical logic and foundations (03-XX) 18 Combinatorics (05-XX) 12 Statistics (62-XX) 11 Information and communication theory, circuits (94-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Systems theory; control (93-XX) 6 Biology and other natural sciences (92-XX) 4 General and overarching topics; collections (00-XX) 4 Number theory (11-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Mechanics of deformable solids (74-XX) 3 Ordinary differential equations (34-XX) 3 Probability theory and stochastic processes (60-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Mechanics of particles and systems (70-XX) 2 Fluid mechanics (76-XX) 2 Optics, electromagnetic theory (78-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Partial differential equations (35-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistical mechanics, structure of matter (82-XX)