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="Martin, A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Polyhedral and algorithmic properties of quantified linear programs
U. Lorenz
,
A. Martin
,
J. Wolf
Lecture Notes in Computer Science
6346
, 2010, pp. 512-523
Mapping SNPs to protein sequence and structure data
A. Cavallo
,
A.C.R. Martin
Bioinformatics
21
(8), 2005, pp. 1443-1450
A calculus for schemas in
Z
S.M. Brien
,
A.P. Martin
Journal Symbolic Computation
30
(1), 2000, pp. 63-91
Solving Steiner tree problems in graphs to optimality
T. Koch
,
A. Martin
Networks
32
(3), 1998, pp. 207-232
Packing Steiner trees: Separation algorithms
M. Grötschel
,
A. Martin
,
R. Weismantel
SIAM Journal on Discrete Mathematics
9
(2), 1996, pp. 233-257
Routing in grid graphs by cutting planes
M. Grötschel
,
A. Martin
,
R. Weismantel
Proceedings of the 3rd International Conference on Integer Programming and Combinatorial Optimization, IPCO'93 (Erice, Sicily, April 29 - May 1, 1993)
, 1993, pp. 447-461
An interconnection network for distributed recursive computations
A.J. Martin
,
J.L.A. van de Snepscheut
IEEE Transactions on Computers
39
(11), 1990, November, pp. 1393-1395
The concurrent assignment representation of synchronous systems
A.R. Martin
,
J.V. Tucker
Parallel Computing
9
(2), 1988/89, pp. 227-256
A new generalization of Dekker's algorithm for mutual exclusion
A.J. Martin
Information Processing Letters
23
(6), 1986, December, pp. 295-297
Fair mutual exclusion with unfair P and V operations
A.J. Martin
,
J.R. Burch
Information Processing Letters
21
(2), 1985, August, pp. 97-100
The probe: an addition to communication primitives
A.J. Martin
Information Processing Letters
20
(3), 1985, April, pp. 125-130
A presentation of the Fibonacci algorithm
A.J. Martin
,
M. Rem
Information Processing Letters
19
(2), 1984, August, pp. 67-68
A characterization of product-form queuing networks
K.M. Chandy
,
A.J. Martin
Journal of the ACM
30
(2), 1983, pp. 286-299
A general proof rule for procedures in predicate transformer semantics
A.J. Martin
Acta Informatica
20
(4), 1983, pp. 301-313
An axiomatic definition of synchronization primitives
A.J. Martin
Acta Informatica
16
(2), 1981, October, pp. 219-235
Two implementations of the conditional critical region using a split binary semaphore
J.L.W. Kessels
,
A.J. Martin
Information Processing Letters
8
(2), 1979, February, pp. 67-71