×

zbMATH — the first resource for mathematics

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: No longer indexed
Documents Indexed: 341 Publications (1983–2000)
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
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 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 Miklosko, Jozef
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 Verschoren, Alain H. M. J.
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 354 more Authors

Publications by Year

Citations contained in zbMATH Open

88 Publications have been cited 241 times in 214 Documents Cited by Year
Belief structures, possibility theory and decomposable confidence measures on finite sets. Zbl 0657.60006
Dubois, Didier
39
1986
Test tube distributed systems based on splicing. Zbl 0852.68051
Csuhaj-Varjú, Erzsébet; Kari, Lila; Păun, Gheorghe
17
1996
On Yager’s theory of bags and fuzzy bags. Zbl 0988.03039
Chakrabarty, Kankana; Biswas, Ranjit; Nanda, Sudarsan
11
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.
8
1987
Stratified grammar systems. Zbl 0816.68080
Csuhaj-Varjú, Erzsébet; Dassow, Jürgen; Kelemen, Jozef; Păun, Gheorghe
7
1994
Improving performances of the genetic algorithm by caching. Zbl 0986.90016
Kratica, Jozef
7
1999
Asymptotical densities in generalized Pascal triangles. Zbl 0612.68048
Korec, Ivan
7
1986
Counting classes with finite acceptance types. Zbl 0638.68027
Gundermann, Thomas; Wechsung, Gerd
7
1987
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
Some complexity aspects of VLSI computations. I: A framework for the study of information transfer in VLSI circuits. Zbl 0644.94027
Hromkovič, Juraj
5
1988
BC-tree systolic automata: Characterization and properties. Zbl 0676.68023
Fachini, Emanuela; Francese, Rita; Napoli, Margerita; Parente, Domenico
4
1989
Reversal bounded multicounter machines. Zbl 0579.68032
Hromkovič, Juraj
4
1985
Tight chip area bounds for sorting. Zbl 0586.68032
Ďuriš, Pavol; Thompson, Clark D.; Sýkora, Ondrej; Vrťo, Imrich
4
1985
A modular system for solving linear equations exactly. I: Architecture and numerical algorithms. Zbl 0756.65038
Morháč, Miroslav; Lórencz, Róbert
3
1992
Investigations of back and forth bisimulations on prime event structures. Zbl 0770.68084
Cherief, Ferroudja
3
1992
Modular system for solving linear equations exactly. II: Hardware realization. Zbl 0769.65011
Lórencz, Róbert; Morháč, Miroslav
3
1992
Context in artificial intelligence. I: A survey of the literature. Zbl 0990.68135
Brézillon, P.
3
1999
PM-colonies. Zbl 0990.68106
Martín-Vide, Carlos; Pǎun, Gheorghe
3
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
3
1997
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
Dyck\(_ 1\)-reductions of context-free languages. Zbl 0695.68054
Jantzen, Matthias; Kudlek, Manfred; Petersen, Holger
3
1990
A graph theoretic approach to the characterization of classes of structured objects. Zbl 0568.62055
Sobik, Fred; Sommerfeld, Erdmute
3
1984
A first step towards autoepistemic logic programming. Zbl 0737.68072
Jiang, Yue Jun
2
1991
Statistical verification procedures for propositional calculus. Zbl 0529.68066
Kramosil, Ivan
2
1983
Armstrong relations, functional dependencies and strong dependencies. Zbl 0838.68022
Demetrovics, János; Thi Vu Doc
2
1995
Universal systems with operations related to splicing. Zbl 0856.68065
Freund, Rudolf; Wachtler, Franz
2
1996
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.
2
1997
On partitioning grids into equal parts. Zbl 0871.68144
Bezrukov, S. L.; Rovan, B.
2
1997
On one-way two-head deterministic finite state automata. Zbl 0605.68079
Hromkovič, Juraj
2
1985
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
Geometric methods for on-line recognition of digital straight line segements. Zbl 0647.68118
Creutzburg, Egbert; Hübler, Albrecht; Sýkora, Ondrej
2
1988
Some complexity aspects of VLSI computations. VI: Communication complexity. Zbl 0676.68014
Hromkovič, Juraj
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
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
A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092
Hájek, Petr; Valdes, Julio J.
2
1991
Nonlinear lower bound for real-time branching programs. Zbl 0579.68031
Ftáčnik, Milan; Hromkovič, Juraj
2
1985
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
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
Design and analysis of systolic algorithms for the algebraic path problem. Zbl 0748.68033
Sedukhin, S. G.
1
1992
Gaussian smoothing by optimal iterated uniform convolutions. Zbl 0755.93074
Andonie, Răzvan; Carai, Eugen
1
1992
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
Space logic for robots. Zbl 0508.03014
Varosyan, S. O.
1
1983
Genetic algorithms and trees. I: Recognition trees (the fixed width case). Zbl 0823.68038
van Hove, H.; Verschoren, A.
1
1994
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
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
Designing of processor-time optimal hexagonal systolic array for matrix multiplication. Zbl 0878.68015
Milovanović, E. I.; Milentijević, I. Z.; Milovanović, I. Ž.
1
1997
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
Distributed tree processing devices. Zbl 0990.68012
Fülöp, Zoltán
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
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
Generalized Pascal triangles with maximal left periods. Zbl 0618.05005
Kochol, Martin
1
1987
Entity sorts: what are they? Zbl 0633.03002
Materna, Pavel
1
1987
Systolic tree architecture for some standard functions. Zbl 0633.68043
Culik, Karel II; Jürgensen, Helmut; Mak, Kenneth
1
1987
Keys and superkeys for relation schemes. Zbl 0639.68122
Demetrovics, János; Ho Thuan
1
1986
Matrix inversion algorithms for pyramidal multiprocessor system. Zbl 0642.65016
Geus, Lothar; Henning, Walter; Vajteršic, Marián; Volkert, Jens
1
1988
Logical dependencies and irredundant relations. Zbl 0646.68116
Vu Duc Thi
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
The measures of nondeterminism for pushdown automata. Zbl 0666.68077
Nasyrov, Ildar R.
1
1989
Some complexity aspects of VLSI computations. V: Nondeterministic and probabilistic VLSI circuits. Zbl 0673.68030
Hromkovič, Juraj
1
1989
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
On parallel computations of expressions and straight-line programs. Zbl 0712.68041
Rytter, Wojciech
1
1990
Generalizing and particularizing as the techniques of learning. Zbl 0531.68039
Kodratoff, Y.
1
1983
A categorial approach to knowledge-based systems. Zbl 0535.68042
Georgescu, Ioan
1
1984
On the number of monotonic Boolean functions. Zbl 0544.94022
Hromkovič, Juraj
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
Computational complexity of probabilistic searching algorithms over Herbrand universes. Zbl 0561.68062
Kramosil, Ivan; Šindelář, Jan
1
1985
A recursive decomposition property of sets of finite sums of d-tuples of integers. Zbl 0571.68037
Pecht, Josef
1
1985
The connection between constructive mathematics and computer programming. Zbl 0584.68019
Mayoh, Brian
1
1985
Minimum 2-terminal routing in 2-jump circulant graphs. Zbl 0993.68151
Robič, Borut; Žerovnik, Janez
1
2000
On Yager’s theory of bags and fuzzy bags. Zbl 0988.03039
Chakrabarty, Kankana; Biswas, Ranjit; Nanda, Sudarsan
11
1999
Improving performances of the genetic algorithm by caching. Zbl 0986.90016
Kratica, Jozef
7
1999
Context in artificial intelligence. I: A survey of the literature. Zbl 0990.68135
Brézillon, P.
3
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
Distributed tree processing devices. Zbl 0990.68012
Fülöp, Zoltán
1
1999
PM-colonies. Zbl 0990.68106
Martín-Vide, Carlos; Pǎun, Gheorghe
3
1998
An efficient algorithm for testing propositional formulas. Zbl 0988.03059
Vlada, Marin
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
3
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.
2
1997
On partitioning grids into equal parts. Zbl 0871.68144
Bezrukov, S. L.; Rovan, B.
2
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
Designing of processor-time optimal hexagonal systolic array for matrix multiplication. Zbl 0878.68015
Milovanović, E. I.; Milentijević, I. Z.; Milovanović, I. Ž.
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
17
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
7
1994
Genetic algorithms and trees. I: Recognition trees (the fixed width case). Zbl 0823.68038
van Hove, H.; Verschoren, A.
1
1994
How to build in an open theory into connection calculi. Zbl 0760.03004
Petermann, Uwe
5
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
Investigations of back and forth bisimulations on prime event structures. Zbl 0770.68084
Cherief, Ferroudja
3
1992
Modular system for solving linear equations exactly. II: Hardware realization. Zbl 0769.65011
Lórencz, Róbert; Morháč, Miroslav
3
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
Design and analysis of systolic algorithms for the algebraic path problem. Zbl 0748.68033
Sedukhin, S. G.
1
1992
Gaussian smoothing by optimal iterated uniform convolutions. Zbl 0755.93074
Andonie, Răzvan; Carai, Eugen
1
1992
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
A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092
Hájek, Petr; Valdes, Julio J.
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
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
On parallel computations of expressions and straight-line programs. Zbl 0712.68041
Rytter, Wojciech
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
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
The measures of nondeterminism for pushdown automata. Zbl 0666.68077
Nasyrov, Ildar R.
1
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
5
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
Matrix inversion algorithms for pyramidal multiprocessor system. Zbl 0642.65016
Geus, Lothar; Henning, Walter; Vajteršic, Marián; Volkert, Jens
1
1988
Logical dependencies and irredundant relations. Zbl 0646.68116
Vu Duc Thi
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.
8
1987
Counting classes with finite acceptance types. Zbl 0638.68027
Gundermann, Thomas; Wechsung, Gerd
7
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
Entity sorts: what are they? Zbl 0633.03002
Materna, Pavel
1
1987
Systolic tree architecture for some standard functions. Zbl 0633.68043
Culik, Karel II; Jürgensen, Helmut; Mak, Kenneth
1
1987
Belief structures, possibility theory and decomposable confidence measures on finite sets. Zbl 0657.60006
Dubois, Didier
39
1986
Asymptotical densities in generalized Pascal triangles. Zbl 0612.68048
Korec, Ivan
7
1986
Keys and superkeys for relation schemes. Zbl 0639.68122
Demetrovics, János; Ho Thuan
1
1986
Reversal bounded multicounter machines. Zbl 0579.68032
Hromkovič, Juraj
4
1985
Tight chip area bounds for sorting. Zbl 0586.68032
Ďuriš, Pavol; Thompson, Clark D.; Sýkora, Ondrej; Vrťo, Imrich
4
1985
On one-way two-head deterministic finite state automata. Zbl 0605.68079
Hromkovič, Juraj
2
1985
Nonlinear lower bound for real-time branching programs. Zbl 0579.68031
Ftáčnik, Milan; Hromkovič, Juraj
2
1985
Computational complexity of probabilistic searching algorithms over Herbrand universes. Zbl 0561.68062
Kramosil, Ivan; Šindelář, Jan
1
1985
A recursive decomposition property of sets of finite sums of d-tuples of integers. Zbl 0571.68037
Pecht, Josef
1
1985
The connection between constructive mathematics and computer programming. Zbl 0584.68019
Mayoh, Brian
1
1985
A graph theoretic approach to the characterization of classes of structured objects. Zbl 0568.62055
Sobik, Fred; Sommerfeld, Erdmute
3
1984
A categorial approach to knowledge-based systems. Zbl 0535.68042
Georgescu, Ioan
1
1984
On the number of monotonic Boolean functions. Zbl 0544.94022
Hromkovič, Juraj
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
Space logic for robots. Zbl 0508.03014
Varosyan, S. O.
1
1983
Generalizing and particularizing as the techniques of learning. Zbl 0531.68039
Kodratoff, Y.
1
1983
all top 5

Cited by 298 Authors

12 Dubois, Didier
12 Hromkovič, Juraj
9 Mitrana, Victor
8 Prade, Henri M.
8 Vantaggi, Barbara
7 Coletti, Giulianella
6 Korec, Ivan
6 Păun, Gheorghe
5 Fachini, Emanuela
5 John, Sunil Jacob
4 Girish, K. P.
4 Hemaspaandra, Lane A.
4 Kratica, Jozef J.
3 Castellanos, Juan
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 Salomaa, Arto Kustaa
3 Tennenholtz, Moshe
3 Vrto, Imrich
2 Arroyo, Fernando
2 Bonatti, Piero Andrea
2 Capotorti, Andrea
2 Csuhaj-Varjú, Erzsébet
2 de Campos, Luis Miguel
2 Eppstein, David Arthur
2 Fargier, Hélène
2 Filipović, Vladimir
2 Finkel, Alain
2 Gruska, Jozef
2 Huete, Juan F.
2 Kelemen, Jozef
2 Kelemenová, Alica
2 Klette, Reinhard
2 Langer, Miroslav
2 Manea, Florin
2 Mareš, Milan
2 McIver, Annabelle K.
2 Milovanović, Emina I.
2 Milovanović, Igor Ž.
2 Monti, Angelo
2 Napoli, Margherita
2 Pape, Christian
2 Parente, Domenico
2 Rabehaja, Tahiry M.
2 Rocacher, Daniel
2 Rosenfeld, Azriel
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 Sýkora, Ondrej
2 Thalheim, Bernhard
2 Tošić, Dušan D.
2 Verlan, Sergey
2 Waczulík, Juraj
2 Warnow, Tandy J.
2 Wong, S. K. Michael
2 Yao, Yiyu
2 Yen, Hsu-Chun
1 Abdulla, Parosh Aziz
1 Alhazov, Artiom
1 Allouche, Jean-Paul Simon
1 Amos, Martyn
1 Andrei, Ştefan
1 Arieli, Ofer
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
1 Ben Chaabane, Salim
1 Benferhat, Salem
1 Betin, Franck
1 Bilgiç, Taner
1 Bogdanović, Milena
1 Bollmann-Sdorra, Peter
1 Borchert, Bernd
1 Bosc, Patrick
1 Bouquet, Paolo
1 Brassart, Eric
1 Braverman, Mark
1 Brézillon, Patrick
1 Bronevich, Andrey G.
1 Cabós, Joan
1 Cai, Jin-Yi
1 Čangalović, Mirjana M.
1 Cayrol, Claudette
1 Chakrabarty, Kankana
1 Chamorro-Martínez, Jesús
...and 198 more Authors
all top 5

Cited in 54 Journals

37 Theoretical Computer Science
16 Fuzzy Sets and Systems
14 Kybernetika
10 Information Sciences
9 Artificial Intelligence
7 Acta Informatica
7 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
2 Mathematical Social Sciences
2 Journal of Symbolic Computation
2 Mathematical and Computer Modelling
2 RAIRO. Informatique Théorique et Applications
2 Annals of Mathematics and Artificial Intelligence
2 Natural Computing
2 Journal of Applied Logic
1 International Journal of General Systems
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 Algorithmica
1 Journal of Automated Reasoning
1 Annals of Operations Research
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
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 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 Advances in Decision Sciences
1 Journal of Applied Mathematics, Statistics and Informatics
1 Journal of Membrane Computing
1 Prikladnaya Diskretnaya Matematika

Citations by Year