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="Lin, David"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
Davide Bresolin
,
Dario Della Monica
,
Angelo Montanari
,
Pietro Sala
,
Guido Sciavicco
Theoretical Computer Science
560, Part 3
, 2014, pp. 269-291
Toward a data scalable solution for facilitating discovery of science resources
Jesse Weaver
,
Vito Giovanni Castellana
,
Alessandro Morari
,
Antonino Tumeo
,
Sumit Purohit
,
Alan Chappell
,
David Haglin
,
Oreste Villa
,
Sutanay Choudhury
,
Karen Schuchardt
,
John Feo
Parallel Computing
40
(10), 2014, pp. 682-696
A game-theoretic approach to fault diagnosis and identification of hybrid systems
Davide Bresolin
,
Marta Capiluppi
Theoretical Computer Science
493
, 2013, pp. 15-29
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
Davide Bresolin
,
Angelo Montanari
,
Pietro Sala
,
Guido Sciavicco
Theoretical Computer Science
493
, 2013, pp. 98-115
On begins, meets and before
Davide Bresolin
,
Pietro Sala
,
Guido Sciavicco
International Journal of Foundations of Computer Science
23
(3), 2012, pp. 559-583
GWASTools: An R/Bioconductor package for quality control and analysis of genome-wide association studies
Stephanie M. Gogarten
,
Tushar Bhangale
,
Matthew P. Conomos
,
Cecelia A. Laurie
,
Caitlin P. McHugh
,
Ian Painter
,
Xiuwen Zheng
,
David R. Crosslin
,
David Levine
,
Thomas Lumley
,
Sarah C. Nelson
,
Kenneth Rice
,
Jess Shen
,
Rohit Swarnkar
,
Bruce S. Weir
,
Cathy C. Laurie
Bioinformatics
28
(24), 2012, pp. 3329-3331
A theory of ultimately periodic languages and automata with an application to time granularity
Davide Bresolin
,
Angelo Montanari
,
Gabriele Puppis
Acta Informatica
46
(5), 2009, pp. 331-360
An optimal tableau-based decision algorithm for propositional neighborhood logic
Davide Bresolin
,
Angelo Montanari
,
Pietro Sala
Lecture Notes in Computer Science
4393
, 2007, pp. 549-560
Effective similarity measures for expression profiles
Golan Yona
,
William Dirks
,
Shafquat Rahman
,
David M. Lin
Bioinformatics
22
(13), 2006, pp. 1616-1622
seq++: Analyzing biological sequences with a range of Markov-related models
Vincent Miele
,
Pierre-Yves Bourguignon
,
David Robelin
,
Grégory Nuel
,
Hugues Richard
Bioinformatics
21
(11), 2005, pp. 2783-2784
Parallel I/O scheduling using randomized, distributed edge coloring algorithms
Dannie Durand
,
Ravi Jain
,
David Tseytlin
Journal Parallel Distributed Computing
63
(6), 2003, pp. 611-618
Visibility-based pursuit-evasion in a polygonal environment
Leonidas J. Guibas
,
Jean-Claude Latombe
,
Steven M. LaValle
,
David Lin
,
Rajeev Motwani
Lecture Notes in Computer Science
1272
, 1997, pp. 17-30
Parallel merge sort on concurrent-read owner-write PRAM
David C. Lin
,
Patrick W. Dymond
,
Xiaotie Deng
Lecture Notes in Computer Science
1300
, 1997, pp. 379-383
On convex subsets in tournaments
David J. Haglin
,
Marty J. Wolf
SIAM Journal on Discrete Mathematics
9
(1), 1996, pp. 63-70
Applying randomized edge coloring algorithms to distributed communication: An experimental study.
Dannie Durand
,
Ravi Jain
,
David Tseytlin
Proceedings of the 7th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA'95 (Santa Barbara, California, July 17-19, 1995)
, 1995, pp. 264-274
Bipartite expander matching is in
NC
David J. Haglin
Parallel Processing Letters
5
(3), 1995, pp. 413-420
Approximating matchings in parallel
Ted Fischer
,
Andrew V. Goldberg
,
David J. Haglin
,
Serge Plotkin
Information Processing Letters
46
(3), 1993, pp. 115-118
Approximating maximum 2-CNF satisfiability
David J. Haglin
Parallel Processing Letters
2
(2-3), 1992, pp. 181-187
On a fast deterministic parallel approximate matching algorithm
David J. Haglin
Proceedings of the 3rd IEEE Symposium on Parallel and Distributed Processing, SPDP'91 (Dallas, Texas, December 2-5, 1991)
, 1991, pp. 774-777
A heterogeneous distributed processing interface specification language
David D.H. Lin
,
Behrooz Shirazi
,
Krishna Kavi
Proceedings of the 1991 International Conference on Parallel Processing. Vol.~II Software, ICPP'91 (St.~Charles, IL, August 12-16, 1991)
, 1991, pp. 274-275
An asynchronous communication protocol for heterogeneous distributed programming
Behrooz Shirazi
,
David D.H. Lin
Proceedings of the 1990 International Conference on Parallel Processing. Vol.~II Software, ICPP'90 (St.~Charles, IL, August 13-17, 1990)
, 1990, pp. 302-303
Approximate parallel algorithms for planar matching problems
David Haglin
,
Shankar Venkatesan
Technical Report (TR 88-14), 1988, January