Computers and Artificial Intelligence Short Title: Comput. Artif. Intell. Publisher: Slovak Academic Press Ltd., Bratislava ISSN: 0232-0274 Predecessor: Pocitace a Umela Inteligencia Successor: Computing and Informatics Comments: Journal; No longer indexed Documents Indexed: 341 Publications (1983–2000) all top 5 Latest Issues 19, No. 6 (2000) 19, No. 5 (2000) 19, No. 4 (2000) 19, No. 3 (2000) 19, No. 2 (2000) 19, No. 1 (2000) 18, No. 6 (1999) 18, No. 5 (1999) 18, No. 4 (1999) 18, No. 3 (1999) 18, No. 2 (1999) 18, No. 1 (1999) 17, No. 6 (1998) 17, No. 5 (1998) 17, No. 4 (1998) 17, No. 1 (1998) 16, No. 4 (1997) 16, No. 3 (1997) 16, No. 2 (1997) 16, No. 1 (1997) 15, No. 6 (1996) 15, No. 4 (1996) 15, No. 2-3 (1996) 14, No. 3 (1995) 13, No. 6 (1994) 13, No. 5 (1994) 13, No. 4 (1994) 13, No. 2-3 (1994) 13, No. 1 (1994) 12, No. 2 (1993) 11, No. 6 (1992) 11, No. 5 (1992) 11, No. 4 (1992) 11, No. 3 (1992) 11, No. 2 (1992) 11, No. 1 (1992) 10, No. 6 (1991) 10, No. 5 (1991) 10, No. 4 (1991) 10, No. 2 (1991) 10, No. 1 (1991) 9, No. 6 (1990) 9, No. 5 (1990) 9, No. 4 (1990) 9, No. 3 (1990) 9, No. 2 (1990) 9, No. 1 (1990) 8, No. 4 (1989) 8, No. 3 (1989) 8, No. 2 (1989) 8, No. 1 (1989) 7, No. 6 (1988) 7, No. 5 (1988) 7, No. 4 (1988) 7, No. 3 (1988) 7, No. 2 (1988) 7, No. 1 (1988) 6 (1987) 5 (1986) 4 (1985) 3 (1984) 2 (1983) all top 5 Authors 15 Hromkovič, Juraj 7 Sýkora, Ondrej 5 Kacsuk, Peter 5 Kramosil, Ivan 5 Păun, Gheorghe 4 Dassow, Jürgen 4 Demetrovics, János 4 Kelemen, Jozef 4 Verschoren, Alain H. M. J. 3 Csuhaj-Varjú, Erzsébet 3 Ftáčnik, Milan 3 Korec, Ivan 3 Pardubská, Dana 3 Sebastiani, Fabrizio 3 Vajteršic, Marián 3 Vrto, Imrich 2 Akl, Selim G. 2 Andonie, Răzvan 2 Bachmann, Peter 2 Balaban, Mira 2 Brézillon, Patrick 2 Britaňák, Vladimír 2 Chen, Wei 2 Cherkasova, Ludmila A. 2 Chiang, Ding-An 2 Chrz, Tomáš 2 Cunha, José C. 2 Dershowitz, Nachum 2 Do Van Thanh 2 Dohnal, Mirko 2 Ehn, L’udovít 2 Hájek, Petr 2 Hanuliak, Ivan 2 Hluchy, Ladislav 2 Hô Thuan 2 Hübler, Albrecht 2 Keh, Huan-Chao 2 Kiem, Hoang 2 Kollár, Ján 2 Kovács, Lazslo 2 Krawczyk, Henryk 2 Lamma, Evelina 2 Lin, Yule-Chyun 2 Lindenstrauss, Naomi 2 Lórencz, Róbert 2 Luque, Emilio 2 Materna, Pavel 2 Mayoh, Brian H. 2 Meinel, Christoph 2 Mello, Paola 2 Morháč, Miroslav 2 Olariu, Stephan 2 Popela, Pavel 2 Robič, Borut 2 Saxena, Prem Chandra 2 Sessa, Maria I. 2 Shapiro, David I. 2 Shih, Timothy K. 2 Shimony, Solomon Eyal 2 Šiller, Aleš 2 Škoviera, Martin 2 Soviš, František 2 Stefanelli, Cesare 2 Stojmenović, Ivan 2 Straccia, Umberto 2 Suys, Dominique 2 Toman, Eduard 2 Tripathi, Ram C. 2 Tyugu, Ènn Kharal’dovich 2 Valdés, Julio J. 2 van Hove, H. 2 Vassilakis, Costas 2 Volkert, Jens J. 2 Voss, Klaus 2 Vyskoč, Jozef 2 Wang, Yifan 2 Werner, Günter 2 Wiszniewski, Bogdan 1 Abuelrub, Emadeddin 1 Addibpour, Mattin 1 Agre, Gennady 1 Ahmed-Nacer, Mohamad 1 Alba, Enrique 1 Ananiashvili, Gulaber G. 1 Andreev, Alexander E. 1 Andrejková, Gabriela 1 Anelli, Pascal 1 Anisimov, Nikolaj A. 1 Araujo, Lourdes 1 Astalos, Jan 1 Attardi, Giuseppe 1 Azevedo, Paulo J. 1 Baizán-Fernández, María C. 1 Băleanu, Cristian 1 Baník, Igor 1 Barcucci, Elena 1 Barrios, Dolores 1 Barron, John L. 1 Beauchemin, Steven S. 1 Bebják, Andrej ...and 353 more Authors all top 5 Fields 313 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 25 Information and communication theory, circuits (94-XX) 20 Numerical analysis (65-XX) 12 Operations research, mathematical programming (90-XX) 8 Combinatorics (05-XX) 8 Probability theory and stochastic processes (60-XX) 4 Convex and discrete geometry (52-XX) 4 Systems theory; control (93-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Statistics (62-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Integral transforms, operational calculus (44-XX) 1 Functional analysis (46-XX) 1 Mechanics of particles and systems (70-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 96 Publications have been cited 292 times in 258 Documents Cited by ▼ Year ▼ Belief structures, possibility theory and decomposable confidence measures on finite sets. Zbl 0657.60006 Dubois, Didier 42 1986 Test tube distributed systems based on splicing. Zbl 0852.68051 Csuhaj-Varjú, Erzsébet; Kari, Lila; Păun, Gheorghe 21 1996 On Yager’s theory of bags and fuzzy bags. Zbl 0988.03039 Chakrabarty, Kankana; Biswas, Ranjit; Nanda, Sudarsan 12 1999 On deadlock detection in systems of communicating finite state machines. Zbl 0639.68009 Gouda, Mohamed G.; Gurari, Eitan M.; Lai, Ten-Hwang; Rosier, Louis E. 10 1987 Counting classes with finite acceptance types. Zbl 0638.68027 Gundermann, Thomas; Wechsung, Gerd 9 1987 Stratified grammar systems. Zbl 0816.68080 Csuhaj-Varjú, Erzsébet; Dassow, Jürgen; Kelemen, Jozef; Păun, Gheorghe 8 1994 Improving performances of the genetic algorithm by caching. Zbl 0986.90016 Kratica, Jozef 8 1999 Asymptotical densities in generalized Pascal triangles. Zbl 0612.68048 Korec, Ivan 8 1986 Some complexity aspects of VLSI computations. I: A framework for the study of information transfer in VLSI circuits. Zbl 0644.94027 Hromkovič, Juraj 7 1988 On the automatic synthesis of social laws for mobile robots: A study in artificial social systems. Zbl 0888.68125 Ben-Yitzhak, Ori; Tennenholtz, Moshe 6 1997 Context in artificial intelligence. I: A survey of the literature. Zbl 0990.68135 Brézillon, P. 6 1999 The hierarchy of Boolean circuits. Zbl 0641.94028 Pudlák, Pavel 6 1987 How to build in an open theory into connection calculi. Zbl 0760.03004 Petermann, Uwe 5 1992 Tight chip area bounds for sorting. Zbl 0586.68032 Ďuriš, Pavol; Thompson, Clark D.; Sýkora, Ondrej; Vrťo, Imrich 5 1985 Investigations of back and forth bisimulations on prime event structures. Zbl 0770.68084 Cherief, Ferroudja 4 1992 Local quartet splits of a binary tree infer all quartet splits via one dyadic inference rule. Zbl 0871.68145 Erdős, Péter L.; Steel, Michael A.; Székely, László A.; Warnow, Tandy J. 4 1997 PM-colonies. Zbl 0990.68106 Martín-Vide, Carlos; Pǎun, Gheorghe 4 1998 Reversal bounded multicounter machines. Zbl 0579.68032 Hromkovič, Juraj 4 1985 A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092 Hájek, Petr; Valdes, Julio J. 4 1991 On one-way two-head deterministic finite state automata. Zbl 0605.68079 Hromkovič, Juraj 4 1985 Dyck\(_ 1\)-reductions of context-free languages. Zbl 0695.68054 Jantzen, Matthias; Kudlek, Manfred; Petersen, Holger 4 1990 BC-tree systolic automata: Characterization and properties. Zbl 0676.68023 Fachini, Emanuela; Francese, Rita; Napoli, Margerita; Parente, Domenico 4 1989 The connection between constructive mathematics and computer programming. Zbl 0584.68019 Mayoh, Brian 4 1985 Modular system for solving linear equations exactly. II: Hardware realization. Zbl 0769.65011 Lórencz, Róbert; Morháč, Miroslav 3 1992 A modular system for solving linear equations exactly. I: Architecture and numerical algorithms. Zbl 0756.65038 Morháč, Miroslav; Lórencz, Róbert 3 1992 A graph theoretic approach to the characterization of classes of structured objects. Zbl 0568.62055 Sobik, Fred; Sommerfeld, Erdmute 3 1984 On parallel computations of expressions and straight-line programs. Zbl 0712.68041 Rytter, Wojciech 3 1990 Some complexity aspects of VLSI computations. VI: Communication complexity. Zbl 0676.68014 Hromkovič, Juraj 3 1989 Towards “human-consistent” decision support systems through commonsense knowledge-based decision making and control models: a fuzzy logic approach. Zbl 0631.68076 Kacprzyk, Janusz 3 1987 Closure properties of the family of languages defined by systolic tree automata. Zbl 0647.68076 Pardubská, Dana 3 1988 Armstrong relations, functional dependencies and strong dependencies. Zbl 0838.68022 Demetrovics, János; Thi Vu Doc 2 1995 Computational complexity of linear PCGSs. Zbl 0852.68050 Cai, Liming 2 1996 Universal systems with operations related to splicing. Zbl 0856.68065 Freund, Rudolf; Wachtler, Franz 2 1996 Distributed tree processing devices. Zbl 0990.68012 Fülöp, Zoltán 2 1999 On partitioning grids into equal parts. Zbl 0871.68144 Bezrukov, S. L.; Rovan, B. 2 1997 A first step towards autoepistemic logic programming. Zbl 0737.68072 Jiang, Yue Jun 2 1991 Design and analysis of systolic algorithms for the algebraic path problem. Zbl 0748.68033 Sedukhin, S. G. 2 1992 Nonlinear lower bound for real-time branching programs. Zbl 0579.68031 Ftáčnik, Milan; Hromkovič, Juraj 2 1985 Pascal triangles modulo n and modular trellises. Zbl 0695.68055 Korec, Ivan 2 1990 Unsolvability of the emptiness problem for alternating 1-way multi-head and multi-tape finite automata over single-letter alphabet. Zbl 0712.68040 Geidmanis, Dainis 2 1991 Geometric methods for on-line recognition of digital straight line segements. Zbl 0647.68118 Creutzburg, Egbert; Hübler, Albrecht; Sýkora, Ondrej 2 1988 The measures of nondeterminism for pushdown automata. Zbl 0666.68077 Nasyrov, Ildar R. 2 1989 Cancellation law and a complete axiomatization of functional dependencies in relational database. Zbl 0681.68127 Saxena, P. C.; Tripathi, R. C. 2 1989 Some remarks on pipeline processing by cellular automata. Zbl 0639.68044 Vollmar, Roland 2 1987 An algorithm to find minimal cover of a set of functional dependencies. Zbl 0647.68107 Saxena, P. C.; Tripathi, R. C. 2 1987 Statistical verification procedures for propositional calculus. Zbl 0529.68066 Kramosil, Ivan 2 1983 Default reasoning in a terminological logic. Zbl 0835.68114 Sebastiani, Fabrizio; Straccia, Umberto 1 1995 Implementation analysis of fast matrix multiplication algorithms on shared memory computers. Zbl 0835.68050 Francomano, E.; Macaluso, A. Tortorici; Vajteršic, M. 1 1995 Splicing grammar systems. Zbl 0852.68047 Dassow, Jürgen; Mitrana, Victor 1 1996 Accepting multi-agent systems: The case of cooperating distributed grammar systems. Zbl 0851.68066 Fernau, Henning; Holzer, Markus; Bordihn, Henning 1 1996 Colonies with position. Zbl 0852.68048 Baník, Igor 1 1996 On the generative capacity of PCGSs with regular components. Zbl 0852.68045 Mihalache, Valeria 1 1996 Collapsing hierarchies in PCGSs with communication by command. Zbl 0856.68090 Ilie, Lucian 1 1996 Genetic algorithms and trees. I: Recognition trees (the fixed width case). Zbl 0823.68038 van Hove, H.; Verschoren, A. 1 1994 Fast sequential and parallel simulations of nondeterministic computations. Zbl 0941.68606 Wiedermann, Jiří 1 1994 Describing candidate keys by hypergraphs. Zbl 0985.05032 Demetrovics, János 1 1999 \(\beta_k\)-complete problems and greediness. Zbl 0990.68073 Szelepcsényi, Robert 1 1999 An efficient algorithm for testing propositional formulas. Zbl 0988.03059 Vlada, Marin 1 1998 Minimum 2-terminal routing in 2-jump circulant graphs. Zbl 0993.68151 Robič, Borut; Žerovnik, Janez 1 2000 Execution replay and debugging of distributed multi-threaded parallel programs. Zbl 1004.68044 Chassin de Kergommeaux, Jacques; Ronsse, Michiel; De Bosschere, Koen 1 2000 Prime-field-complete functions and factoring polynomials over finite fields. Zbl 0865.68062 Rónyai, Lajos; Szántó, Ágnes 1 1996 Designing of processor-time optimal hexagonal systolic array for matrix multiplication. Zbl 0878.68015 Milovanović, E. I.; Milentijević, I. Z.; Milovanović, I. Ž. 1 1997 Graph relabelling systems: A general overview. Zbl 0871.68143 Métivier, Yves; Sopena, Eric 1 1997 Mesh sorting and selection optimal on the average. Zbl 0871.68095 Chlebus, Bogdan S. 1 1997 A semantic base for the fuzzy extension-principle. Zbl 0888.68109 Becker, Helmut 1 1997 Embedding rings into faulty twisted hypercubes. Zbl 0888.68021 Abuelrub, Emadeddin 1 1997 Some estimates of the complexity of disjunctive normal forms of a random Boolean function. Zbl 0747.68033 Toman, Eduard; Tomanová, Jana 1 1991 Probabilistic expert systems and distribution mixtures. Zbl 0741.68087 Grim, Jiří 1 1990 Representation of closure for functional, multivaluated and join dependencies. Zbl 0748.68012 Demetrovics, János 1 1992 Recognition of polyhedral objects under perspective views. Zbl 0751.68080 Stahs, Thomas; Wahl, Friedrich 1 1992 A note on learning, fallibility, and cognitive resources use. Zbl 0748.68056 Kelemen, Jozef 1 1992 Gaussian smoothing by optimal iterated uniform convolutions. Zbl 0755.93074 Andonie, Răzvan; Carai, Eugen 1 1992 Nonspecificity degrees of basic probability assignments in Dempster-Shafer theory. Zbl 0989.60009 Kramosil, Ivan 1 1999 Polynomial time Manhattan routing without doglegs—a generalization of Gallai’s algorithm. Zbl 0990.68198 Boros, Endre; Recski, András; Szkaliczki, Tibor; Wettl, Ferenc 1 1999 Stochastic self-monitoring of autonomous systems. Zbl 0986.90070 Kämpke, Thomas 1 1999 Knowledge interpolation: A simple approach to rapid symbolic reasoning. Zbl 0990.68134 Chatterjee, Niladri; Campbell, John A. 1 1998 On the number of monotonic Boolean functions. Zbl 0544.94022 Hromkovič, Juraj 1 1984 Generalized Pascal triangles with maximal left periods. Zbl 0618.05005 Kochol, Martin 1 1987 A recursive decomposition property of sets of finite sums of d-tuples of integers. Zbl 0571.68037 Pecht, Josef 1 1985 Several formal systems of the logic programming. Zbl 0695.68062 Mints, Grigorii Efroimovich 1 1990 Attributes: Distinguishing capability versus informational capability. Zbl 0695.68065 Duži, Marie; Materna, Pavel 1 1990 Systolic tree architecture for some standard functions. Zbl 0633.68043 Culik, Karel II; Jürgensen, Helmut; Mak, Kenneth 1 1987 Some complexity aspects of VLSI computations. V: Nondeterministic and probabilistic VLSI circuits. Zbl 0673.68030 Hromkovič, Juraj 1 1989 Entity sorts: what are they? Zbl 0633.03002 Materna, Pavel 1 1987 Keys and superkeys for relation schemes. Zbl 0639.68122 Demetrovics, János; Ho Thuan 1 1986 Logical dependencies and irredundant relations. Zbl 0646.68116 Vu Duc Thi 1 1988 Matrix inversion algorithms for pyramidal multiprocessor system. Zbl 0642.65016 Geus, Lothar; Henning, Walter; Vajteršic, Marián; Volkert, Jens 1 1988 Some complexity aspects of VLSI computations. II: Topology of circuits and information transfer. Zbl 0649.94022 Hromkovič, Juraj 1 1988 Some complexity aspects of VLSI computations. III: On the power of input bit permutation in tree and trellis automata. Zbl 0659.68062 Hromkovič, Juraj; Pardubská, Dana 1 1988 Some complexity aspects of VLSI computations. IV: VLSI circuits with programs. Zbl 0659.68063 Hromkovič, Juraj; Pardubská, Dana 1 1988 A categorial approach to knowledge-based systems. Zbl 0535.68042 Georgescu, Ioan 1 1984 Generalizing and particularizing as the techniques of learning. Zbl 0531.68039 Kodratoff, Y. 1 1983 Normed protocols and communication complexity. Zbl 0547.68081 Hromkovič, Juraj 1 1984 Space logic for robots. Zbl 0508.03014 Varosyan, S. O. 1 1983 Computational complexity of probabilistic searching algorithms over Herbrand universes. Zbl 0561.68062 Kramosil, Ivan; Šindelář, Jan 1 1985 Determining the normalization level of a relation on the basis of Armstrong’s axioms. Zbl 0552.68084 Fernandez, María C. 1 1984 Minimum 2-terminal routing in 2-jump circulant graphs. Zbl 0993.68151 Robič, Borut; Žerovnik, Janez 1 2000 Execution replay and debugging of distributed multi-threaded parallel programs. Zbl 1004.68044 Chassin de Kergommeaux, Jacques; Ronsse, Michiel; De Bosschere, Koen 1 2000 On Yager’s theory of bags and fuzzy bags. Zbl 0988.03039 Chakrabarty, Kankana; Biswas, Ranjit; Nanda, Sudarsan 12 1999 Improving performances of the genetic algorithm by caching. Zbl 0986.90016 Kratica, Jozef 8 1999 Context in artificial intelligence. I: A survey of the literature. Zbl 0990.68135 Brézillon, P. 6 1999 Distributed tree processing devices. Zbl 0990.68012 Fülöp, Zoltán 2 1999 Describing candidate keys by hypergraphs. Zbl 0985.05032 Demetrovics, János 1 1999 \(\beta_k\)-complete problems and greediness. Zbl 0990.68073 Szelepcsényi, Robert 1 1999 Nonspecificity degrees of basic probability assignments in Dempster-Shafer theory. Zbl 0989.60009 Kramosil, Ivan 1 1999 Polynomial time Manhattan routing without doglegs—a generalization of Gallai’s algorithm. Zbl 0990.68198 Boros, Endre; Recski, András; Szkaliczki, Tibor; Wettl, Ferenc 1 1999 Stochastic self-monitoring of autonomous systems. Zbl 0986.90070 Kämpke, Thomas 1 1999 PM-colonies. Zbl 0990.68106 Martín-Vide, Carlos; Pǎun, Gheorghe 4 1998 An efficient algorithm for testing propositional formulas. Zbl 0988.03059 Vlada, Marin 1 1998 Knowledge interpolation: A simple approach to rapid symbolic reasoning. Zbl 0990.68134 Chatterjee, Niladri; Campbell, John A. 1 1998 On the automatic synthesis of social laws for mobile robots: A study in artificial social systems. Zbl 0888.68125 Ben-Yitzhak, Ori; Tennenholtz, Moshe 6 1997 Local quartet splits of a binary tree infer all quartet splits via one dyadic inference rule. Zbl 0871.68145 Erdős, Péter L.; Steel, Michael A.; Székely, László A.; Warnow, Tandy J. 4 1997 On partitioning grids into equal parts. Zbl 0871.68144 Bezrukov, S. L.; Rovan, B. 2 1997 Designing of processor-time optimal hexagonal systolic array for matrix multiplication. Zbl 0878.68015 Milovanović, E. I.; Milentijević, I. Z.; Milovanović, I. Ž. 1 1997 Graph relabelling systems: A general overview. Zbl 0871.68143 Métivier, Yves; Sopena, Eric 1 1997 Mesh sorting and selection optimal on the average. Zbl 0871.68095 Chlebus, Bogdan S. 1 1997 A semantic base for the fuzzy extension-principle. Zbl 0888.68109 Becker, Helmut 1 1997 Embedding rings into faulty twisted hypercubes. Zbl 0888.68021 Abuelrub, Emadeddin 1 1997 Test tube distributed systems based on splicing. Zbl 0852.68051 Csuhaj-Varjú, Erzsébet; Kari, Lila; Păun, Gheorghe 21 1996 Computational complexity of linear PCGSs. Zbl 0852.68050 Cai, Liming 2 1996 Universal systems with operations related to splicing. Zbl 0856.68065 Freund, Rudolf; Wachtler, Franz 2 1996 Splicing grammar systems. Zbl 0852.68047 Dassow, Jürgen; Mitrana, Victor 1 1996 Accepting multi-agent systems: The case of cooperating distributed grammar systems. Zbl 0851.68066 Fernau, Henning; Holzer, Markus; Bordihn, Henning 1 1996 Colonies with position. Zbl 0852.68048 Baník, Igor 1 1996 On the generative capacity of PCGSs with regular components. Zbl 0852.68045 Mihalache, Valeria 1 1996 Collapsing hierarchies in PCGSs with communication by command. Zbl 0856.68090 Ilie, Lucian 1 1996 Prime-field-complete functions and factoring polynomials over finite fields. Zbl 0865.68062 Rónyai, Lajos; Szántó, Ágnes 1 1996 Armstrong relations, functional dependencies and strong dependencies. Zbl 0838.68022 Demetrovics, János; Thi Vu Doc 2 1995 Default reasoning in a terminological logic. Zbl 0835.68114 Sebastiani, Fabrizio; Straccia, Umberto 1 1995 Implementation analysis of fast matrix multiplication algorithms on shared memory computers. Zbl 0835.68050 Francomano, E.; Macaluso, A. Tortorici; Vajteršic, M. 1 1995 Stratified grammar systems. Zbl 0816.68080 Csuhaj-Varjú, Erzsébet; Dassow, Jürgen; Kelemen, Jozef; Păun, Gheorghe 8 1994 Genetic algorithms and trees. I: Recognition trees (the fixed width case). Zbl 0823.68038 van Hove, H.; Verschoren, A. 1 1994 Fast sequential and parallel simulations of nondeterministic computations. Zbl 0941.68606 Wiedermann, Jiří 1 1994 How to build in an open theory into connection calculi. Zbl 0760.03004 Petermann, Uwe 5 1992 Investigations of back and forth bisimulations on prime event structures. Zbl 0770.68084 Cherief, Ferroudja 4 1992 Modular system for solving linear equations exactly. II: Hardware realization. Zbl 0769.65011 Lórencz, Róbert; Morháč, Miroslav 3 1992 A modular system for solving linear equations exactly. I: Architecture and numerical algorithms. Zbl 0756.65038 Morháč, Miroslav; Lórencz, Róbert 3 1992 Design and analysis of systolic algorithms for the algebraic path problem. Zbl 0748.68033 Sedukhin, S. G. 2 1992 Representation of closure for functional, multivaluated and join dependencies. Zbl 0748.68012 Demetrovics, János 1 1992 Recognition of polyhedral objects under perspective views. Zbl 0751.68080 Stahs, Thomas; Wahl, Friedrich 1 1992 A note on learning, fallibility, and cognitive resources use. Zbl 0748.68056 Kelemen, Jozef 1 1992 Gaussian smoothing by optimal iterated uniform convolutions. Zbl 0755.93074 Andonie, Răzvan; Carai, Eugen 1 1992 A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092 Hájek, Petr; Valdes, Julio J. 4 1991 A first step towards autoepistemic logic programming. Zbl 0737.68072 Jiang, Yue Jun 2 1991 Unsolvability of the emptiness problem for alternating 1-way multi-head and multi-tape finite automata over single-letter alphabet. Zbl 0712.68040 Geidmanis, Dainis 2 1991 Some estimates of the complexity of disjunctive normal forms of a random Boolean function. Zbl 0747.68033 Toman, Eduard; Tomanová, Jana 1 1991 Dyck\(_ 1\)-reductions of context-free languages. Zbl 0695.68054 Jantzen, Matthias; Kudlek, Manfred; Petersen, Holger 4 1990 On parallel computations of expressions and straight-line programs. Zbl 0712.68041 Rytter, Wojciech 3 1990 Pascal triangles modulo n and modular trellises. Zbl 0695.68055 Korec, Ivan 2 1990 Probabilistic expert systems and distribution mixtures. Zbl 0741.68087 Grim, Jiří 1 1990 Several formal systems of the logic programming. Zbl 0695.68062 Mints, Grigorii Efroimovich 1 1990 Attributes: Distinguishing capability versus informational capability. Zbl 0695.68065 Duži, Marie; Materna, Pavel 1 1990 BC-tree systolic automata: Characterization and properties. Zbl 0676.68023 Fachini, Emanuela; Francese, Rita; Napoli, Margerita; Parente, Domenico 4 1989 Some complexity aspects of VLSI computations. VI: Communication complexity. Zbl 0676.68014 Hromkovič, Juraj 3 1989 The measures of nondeterminism for pushdown automata. Zbl 0666.68077 Nasyrov, Ildar R. 2 1989 Cancellation law and a complete axiomatization of functional dependencies in relational database. Zbl 0681.68127 Saxena, P. C.; Tripathi, R. C. 2 1989 Some complexity aspects of VLSI computations. V: Nondeterministic and probabilistic VLSI circuits. Zbl 0673.68030 Hromkovič, Juraj 1 1989 Some complexity aspects of VLSI computations. I: A framework for the study of information transfer in VLSI circuits. Zbl 0644.94027 Hromkovič, Juraj 7 1988 Closure properties of the family of languages defined by systolic tree automata. Zbl 0647.68076 Pardubská, Dana 3 1988 Geometric methods for on-line recognition of digital straight line segements. Zbl 0647.68118 Creutzburg, Egbert; Hübler, Albrecht; Sýkora, Ondrej 2 1988 Logical dependencies and irredundant relations. Zbl 0646.68116 Vu Duc Thi 1 1988 Matrix inversion algorithms for pyramidal multiprocessor system. Zbl 0642.65016 Geus, Lothar; Henning, Walter; Vajteršic, Marián; Volkert, Jens 1 1988 Some complexity aspects of VLSI computations. II: Topology of circuits and information transfer. Zbl 0649.94022 Hromkovič, Juraj 1 1988 Some complexity aspects of VLSI computations. III: On the power of input bit permutation in tree and trellis automata. Zbl 0659.68062 Hromkovič, Juraj; Pardubská, Dana 1 1988 Some complexity aspects of VLSI computations. IV: VLSI circuits with programs. Zbl 0659.68063 Hromkovič, Juraj; Pardubská, Dana 1 1988 On deadlock detection in systems of communicating finite state machines. Zbl 0639.68009 Gouda, Mohamed G.; Gurari, Eitan M.; Lai, Ten-Hwang; Rosier, Louis E. 10 1987 Counting classes with finite acceptance types. Zbl 0638.68027 Gundermann, Thomas; Wechsung, Gerd 9 1987 The hierarchy of Boolean circuits. Zbl 0641.94028 Pudlák, Pavel 6 1987 Towards “human-consistent” decision support systems through commonsense knowledge-based decision making and control models: a fuzzy logic approach. Zbl 0631.68076 Kacprzyk, Janusz 3 1987 Some remarks on pipeline processing by cellular automata. Zbl 0639.68044 Vollmar, Roland 2 1987 An algorithm to find minimal cover of a set of functional dependencies. Zbl 0647.68107 Saxena, P. C.; Tripathi, R. C. 2 1987 Generalized Pascal triangles with maximal left periods. Zbl 0618.05005 Kochol, Martin 1 1987 Systolic tree architecture for some standard functions. Zbl 0633.68043 Culik, Karel II; Jürgensen, Helmut; Mak, Kenneth 1 1987 Entity sorts: what are they? Zbl 0633.03002 Materna, Pavel 1 1987 Belief structures, possibility theory and decomposable confidence measures on finite sets. Zbl 0657.60006 Dubois, Didier 42 1986 Asymptotical densities in generalized Pascal triangles. Zbl 0612.68048 Korec, Ivan 8 1986 Keys and superkeys for relation schemes. Zbl 0639.68122 Demetrovics, János; Ho Thuan 1 1986 Tight chip area bounds for sorting. Zbl 0586.68032 Ďuriš, Pavol; Thompson, Clark D.; Sýkora, Ondrej; Vrťo, Imrich 5 1985 Reversal bounded multicounter machines. Zbl 0579.68032 Hromkovič, Juraj 4 1985 On one-way two-head deterministic finite state automata. Zbl 0605.68079 Hromkovič, Juraj 4 1985 The connection between constructive mathematics and computer programming. Zbl 0584.68019 Mayoh, Brian 4 1985 Nonlinear lower bound for real-time branching programs. Zbl 0579.68031 Ftáčnik, Milan; Hromkovič, Juraj 2 1985 A recursive decomposition property of sets of finite sums of d-tuples of integers. Zbl 0571.68037 Pecht, Josef 1 1985 Computational complexity of probabilistic searching algorithms over Herbrand universes. Zbl 0561.68062 Kramosil, Ivan; Šindelář, Jan 1 1985 A graph theoretic approach to the characterization of classes of structured objects. Zbl 0568.62055 Sobik, Fred; Sommerfeld, Erdmute 3 1984 On the number of monotonic Boolean functions. Zbl 0544.94022 Hromkovič, Juraj 1 1984 A categorial approach to knowledge-based systems. Zbl 0535.68042 Georgescu, Ioan 1 1984 Normed protocols and communication complexity. Zbl 0547.68081 Hromkovič, Juraj 1 1984 Determining the normalization level of a relation on the basis of Armstrong’s axioms. Zbl 0552.68084 Fernandez, María C. 1 1984 Statistical verification procedures for propositional calculus. Zbl 0529.68066 Kramosil, Ivan 2 1983 Generalizing and particularizing as the techniques of learning. Zbl 0531.68039 Kodratoff, Y. 1 1983 Space logic for robots. Zbl 0508.03014 Varosyan, S. O. 1 1983 all cited Publications top 5 cited Publications all top 5 Cited by 363 Authors 14 Dubois, Didier 13 Hromkovič, Juraj 12 Mitrana, Victor 9 Prade, Henri M. 8 Vantaggi, Barbara 7 Coletti, Giulianella 6 Hemaspaandra, Lane A. 6 Korec, Ivan 6 Păun, Gheorghe 5 Fachini, Emanuela 5 John, Sunil Jacob 4 Finkel, Alain 4 Girish, K. P. 4 Kratica, Jozef J. 3 Castellanos, Juan 3 Csuhaj-Varjú, Erzsébet 3 Dehmer, Matthias 3 Ďuriš, Pavol 3 Emmert-Streib, Frank 3 Fedrizzi, Mario 3 Kacprzyk, Janusz 3 Kramosil, Ivan 3 Martín-Vide, Carlos 3 Morháč, Miroslav 3 Păun, Andrei 3 Păun, Mihaela 3 Salomaa, Arto Kustaa 3 Tennenholtz, Moshe 3 Verlan, Sergey 3 Vrto, Imrich 3 Waczulík, Juraj 3 Warnow, Tandy J. 2 Arieli, Ofer 2 Arroyo, Fernando 2 Bollig, Benedikt 2 Bonatti, Piero Andrea 2 Bordihn, Henning 2 Cai, Jin-Yi 2 Capotorti, Andrea 2 Daniel, Milan 2 de Campos, Luis Miguel 2 Diaconescu, Răzvan 2 Eppstein, David Arthur 2 Fargier, Hélène 2 Filipović, Vladimir 2 Freund, Rudolf 2 Gruska, Jozef 2 Gubáš, Xaver 2 Huete, Juan F. 2 Kelemen, Jozef 2 Kelemenová, Alica 2 Klette, Reinhard 2 Langer, Miroslav 2 Maggiolo-Schettini, Andrea 2 Manea, Florin 2 Mareš, Milan 2 McIver, Annabelle K. 2 Milovanović, Emina I. 2 Milovanović, Igor Ž. 2 Monti, Angelo 2 Nagy, Benedek 2 Napoli, Margherita 2 Okubo, Fumiya 2 Pape, Christian 2 Parente, Domenico 2 Perović, Aleksandar 2 Rabehaja, Tahiry M. 2 Rocacher, Daniel 2 Rosenfeld, Azriel 2 Rytter, Wojciech 2 Sánchez-Couso, José-Ramón 2 Sánchez, Daniel Eduardo 2 Scozzafava, Romano 2 Selivanov, Viktor L’vovich 2 Stanimirović, Zorica 2 Struth, Georg 2 Suresh, Amrita 2 Sýkora, Ondrej 2 Thalheim, Bernhard 2 Tošić, Dušan D. 2 Wong, S. K. Michael 2 Yao, Yiyu 2 Yen, Hsuchun 2 Yokomori, Takashi 2 Zamansky, Anna 1 Abdulla, Parosh Aziz 1 Alhazov, Artiom 1 Allouche, Jean-Paul Simon 1 Amghar, Tassadit 1 Amos, Martyn 1 Andrei, Ştefan 1 Baixeries, Jaume 1 Baldan, Paolo 1 Banerjee, Mohua 1 Baumgartner, Peter 1 Becher, Gérard 1 Becker, Helmut 1 Beckert, Bernhard 1 Beigel, Richard 1 Bel Enguix, Gemma ...and 263 more Authors all top 5 Cited in 59 Journals 38 Theoretical Computer Science 17 Fuzzy Sets and Systems 14 Kybernetika 12 Information Sciences 9 Artificial Intelligence 8 Acta Informatica 8 International Journal of Approximate Reasoning 7 European Journal of Operational Research 6 Information Processing Letters 5 Discrete Applied Mathematics 5 Applied Mathematics and Computation 4 Journal of Computer and System Sciences 4 Mathematical Systems Theory 4 Information and Computation 3 Computers & Mathematics with Applications 3 Mathematica Slovaca 3 Algorithmica 3 Mathematical and Computer Modelling 3 Natural Computing 2 Mathematical Social Sciences 2 Journal of Symbolic Computation 2 RAIRO. Informatique Théorique et Applications 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Applied Logic 1 International Journal of General Systems 1 Indian Journal of Pure & Applied Mathematics 1 Mathematical Notes 1 Journal of Statistical Planning and Inference 1 Networks 1 Theory and Decision 1 Circuits, Systems, and Signal Processing 1 Annals of Pure and Applied Logic 1 Journal of Complexity 1 Journal of Computer Science and Technology 1 Journal of Automated Reasoning 1 Annals of Operations Research 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Foundations of Computer Science 1 Journal of Global Optimization 1 Designs, Codes and Cryptography 1 Artificial Intelligence Review 1 Pattern Recognition 1 Computational Statistics and Data Analysis 1 Foundations of Computing and Decision Sciences 1 Cybernetics and Systems Analysis 1 Computational Optimization and Applications 1 Journal of Applied Non-Classical Logics 1 Journal of Automata, Languages and Combinatorics 1 Soft Computing 1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ. Seriya 1 1 Journal of the ACM 1 RAIRO. Theoretical Informatics and Applications 1 RAIRO. Operations Research 1 Journal of Intelligent and Fuzzy Systems 1 Logical Methods in Computer Science 1 Advances in Decision Sciences 1 Journal of Applied Mathematics, Statistics and Informatics 1 Journal of Membrane Computing 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 21 Fields 209 Computer science (68-XX) 52 Mathematical logic and foundations (03-XX) 19 Information and communication theory, circuits (94-XX) 14 Combinatorics (05-XX) 13 Operations research, mathematical programming (90-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Number theory (11-XX) 7 Numerical analysis (65-XX) 6 Biology and other natural sciences (92-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Probability theory and stochastic processes (60-XX) 3 Measure and integration (28-XX) 3 General topology (54-XX) 3 Statistics (62-XX) 2 General and overarching topics; collections (00-XX) 2 Category theory; homological algebra (18-XX) 2 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Approximations and expansions (41-XX) 1 Convex and discrete geometry (52-XX) Citations by Year