Publikációk

Large s-representable set systems with low maximum degree

Szerzők
Horák, P.
Tuza, Zsolt
Megjelenés
1993

DISCRETE MATHEMATICS, 122 (1-3)., pp. 205-217.

Linear-time approximation algorithms for the max cut problem

Szerzők
Nguyen, VN
Tuza, Zsolt
Megjelenés
1993

COMBINATORICS PROBABILITY & COMPUTING, 2, pp. 201-210.

Menger-type theorems with restrictions on path lengths

Szerzők
Pyber, L.
Tuza, Zsolt
Megjelenés
1993

DISCRETE MATHEMATICS, 120 (1-3)., pp. 161-174.

Modeling time varying system perturbations: application to robust change detection and identification

Szerzők
Keviczky, László
Bokor, József
Szigeti, Ferenc
Edelmayer, András
Megjelenés
1993

In: 12th IFAC world congress. Preprints. Sydney, 1993. Vol. 7..

Multipartite Turán problem for connected graphs and hypergraphs

Szerzők
Tuza, Zsolt
Megjelenés
1993

DISCRETE MATHEMATICS, 112 (1-3)., pp. 199-206.

On discrete time models of continuous time processes for delay time estimation and adaptive control

Szerzők
Bányász, Csilla
Keviczky, László
Megjelenés
1993

In: MIM-SS'93. Proceedings of IMACS/IFAC second international conference on mathematical and intelligent models in system simulation. Brussels, 1993.

On k-local and k-mean colorings of graphs and hypergraphs

Szerzők
Caro, Y.
Tuza, Zsolt
Megjelenés
1993

QUARTERLY JOURNAL OF MATHEMATICS, 44 (2)., pp. 385-398.

One more occurrence of variables makes satisfiability jump from trivial to NP-complete

Szerzők
Kratochvíl, J.
Savicky, P.
Tuza, Zsolt
Megjelenés
1993

SIAM JOURNAL ON COMPUTING, 22 (1)., pp. 203-210.

Precoloring extension. II. Graph classes related to perfect graphs

Szerzők
Hujter, M.
Tuza, Zsolt
Megjelenés
1993

ACTA MATHEMATICAE UNIVERSITATIS COMENIANAE, 62 (1)., pp. 1-11.

Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3)

Szerzők
Gerzson, M.
Csáki, ZS
Hangos, Katalin
Megjelenés
1993

COMPUTERS & CHEMICAL ENGINEERING, 18 (Suppl.)., pp. S565-S569.