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
[1]
Hilfe
Suche: Author="Lev, A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A symbolic algorithm for the synthesis of bounded Petri nets
J. Carmona
,
J. Cortadella
,
M. Kishinevsky
,
A. Kondratyev
,
L. Lavagno
,
A. Yakovlev
Lecture Notes in Computer Science
5062
, 2008, pp. 92-111
Dense graphs are antimagic
N. Alon
,
G. Kaplan
,
A. Lev
,
Y. Roditty
,
R. Yuster
Journal of Graph Theory
47
(4), 2004, pp. 297-309
Excluded permutation matrices and the Stanley-Wilf conjecture
Adam Marcus
,
Gábor Tardos
Journal of Combinatorial Theory Series A
107
(1), 2004, pp. 153-160
Linear codes and polylinear recurrences over finite rings and modules (a survey)
V.L. Kurakin
,
A.S. Kuzmin
,
V.T. Markov
,
A.V. Mikhalev
,
A.A. Nechaev
Lecture Notes in Computer Science
1719
, 1999, pp. 365-391
Groups with super-exponential subgroup growth
L. Pyber
,
A. Shalev
Combinatorica
16
(4), 1996, pp. 527-533
Parallel seismic data processing method for MEMSY multiprocessor system
A. Kremlev
,
O. Monakhov
,
T. Thiel
Lecture Notes in Computer Science
964
, 1995, pp. 434-438
Computation of dimension polynomials
M.V. Kondrat'eva
,
A.B. Levin
,
A.V. Mikhalev
,
E.V. Pankrat'ev
International Journal of Algebra and Computation
2
(2), 1992, pp. 117-137
Analysing semantics of concurrent hardware specifications
L.Y. Rosenblum
,
A.V. Yakovlev
Proceedings of the 1989 International Conference on Parallel Processing. Vol.~3 Algorithms and Applications, ICPP'89 (Penn State University, August 8-12, 1989)
, 1989, pp. 211-218
Signal Graphs: A Model for Designing Concurrent Logic
A.Yu. Kondratyev
,
L.Ya. Rosenblum
,
A.V. Yakovlev
Proceedings of the 1988 International Conference on Parallel Processing. Vol.~I Architecture, ICPP'88 (St.~Charles, IL, August 15-19, 1988)
, 1988, pp. 51-54