Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Gruska, Jozef"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Multi-letter quantum finite automata: Decidability of the equivalence and minimization of states
Daowen Qiu
,
Lvzhou Li
,
Xiangfu Zou
,
Paulo Mateus
,
Jozef Gruska
Acta Informatica
48
(5-6), 2011, pp. 271-290
The firing squad synchronization problem on squares, toruses and rings
Jozef Gruska
,
Salvatore La Torre
,
Mimmo Parente
International Journal of Foundations of Computer Science
18
(3), 2007, pp. 637-654
New challenges for theoretical computer science
Jozef Gruska
Lecture Notes in Computer Science
1872
, 2000, pp. 599-601
Quantumization of theoretical informatics
Jozef Gruska
Lecture Notes in Computer Science
1872
, 2000, pp. 604-608
Combinatorial hardness proofs for polynomial evaluation
Mikel Aldaz
,
Joos Heintz
,
Guillermo Matera
,
José L. Montaña
,
Luis M. Pardo
Lecture Notes in Computer Science
1450
, 1998, pp. 167-175
Minimum propositional proof length is
NP
-hard to linearly approximate
Michael Alekhnovich
,
Sam Buss
,
Shlomo Moran
,
Toniann Pitassi
Lecture Notes in Computer Science
1450
, 1998, pp. 176-184
A superpolynomial lower bound for a circuit computing the clique function with at most
(1/6)\log\log n
negation gates
Kazuyuki Amano
,
Akira Maruoka
Lecture Notes in Computer Science
1450
, 1998, pp. 399-408
On counting
AC^0
circuits with negative constants
Andris Ambainis
,
David Mix Barrington
,
Huong LêThanh
Lecture Notes in Computer Science
1450
, 1998, pp. 409-417
Randomness vs.\ completeness: On the diagonalization strength of resource-bounded random sets
Klaus Ambos-Spies
,
Steffen Lempp
,
Gunter Mainhardt
Lecture Notes in Computer Science
1450
, 1998, pp. 465-473
On the complexity of wavelength converters
Vincenzo Auletta
,
Ioannis Caragiannis
,
Christos Kaklamanis
,
Pino Persiano
Lecture Notes in Computer Science
1450
, 1998, pp. 771-779
Hypergraph traversal revisited: Cost measures and dynamic algorithms
Giorgio Ausiello
,
Giuseppe F. Italiano
,
Umberto Nanni
Lecture Notes in Computer Science
1450
, 1998, pp. 1-16
Proof theory of fuzzy logics: Urquhart's
C
and related logics
Matthias Baaz
,
Agata Ciabattoni
,
Christian Fermüller
,
Helmut Veith
Lecture Notes in Computer Science
1450
, 1998, pp. 203-212
The semi-full closure of pure type systems
Gilles Barthe
Lecture Notes in Computer Science
1450
, 1998, pp. 316-325
When can an equational simple graph be generated by hyperedge replacement?
Klaus Barthelmann
Lecture Notes in Computer Science
1450
, 1998, pp. 543-552
Predicative polymorphic subtyping
Marcin Benke
Lecture Notes in Computer Science
1450
, 1998, pp. 326-335
Positive Turing and truth-table completeness for NEXP are incomparable
Levke Bentzien
Lecture Notes in Computer Science
1450
, 1998, pp. 474-482
Embedding of hypercubes into grids
S.L. Bezrukov
,
J.D. Chavez
,
L.H. Harper
,
M. Röttger
,
U.-P. Schroeder
Lecture Notes in Computer Science
1450
, 1998, pp. 693-701
A computational interpretation of the
\lambda\mu
-calculus
G.M. Bierman
Lecture Notes in Computer Science
1450
, 1998, pp. 336-345
Tree decompositions of small diameter
Hans L. Bodlaender
,
Torben Hagerup
Lecture Notes in Computer Science
1450
, 1998, pp. 702-712
Nonstochastic languages as projections of 2-tape quasideterministic languages
Richard Bonner
,
Rūsiņs̆ Freivalds
,
Jānis Lapiņs̆
,
Antra Lukjanska
Lecture Notes in Computer Science
1450
, 1998, pp. 213-219
Defining the Java virtual machine as platform for provably correct Java compilation
Egon Börger
,
Wolfram Schulte
Lecture Notes in Computer Science
1450
, 1998, pp. 17-35
Degree-preserving forests
Hajo Broersma
,
Andreas Huck
,
Ton Kloks
,
Otto Koppius
,
Dieter Kratsch
,
Haiko Müller
,
Hilde Tuinstra
Lecture Notes in Computer Science
1450
, 1998, pp. 713-721
One guess one-way cellular arrays
Thomas Buchholz
,
Andreas Klein
,
Martin Kutrib
Lecture Notes in Computer Science
1450
, 1998, pp. 807-815
Topological definitions of chaos applied to cellular automata dynamics
Gianpiero Cattaneo
,
Luciano Margara
Lecture Notes in Computer Science
1450
, 1998, pp. 816-824
Equations in transfinite strings
Christian Choffrut
,
Sandor Horvath
Lecture Notes in Computer Science
1450
, 1998, pp. 656-664
Seiten 1
2
3
4
5
6
7
8
9
>