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="Li, Si"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Design space exploration of on-chip ring interconnection for a CPU-GPU heterogeneous architecture
Jaekyu Lee
,
Si Li
,
Hyesoon Kim
,
Sudhakar Yalamanchili
Journal Parallel Distributed Computing
73
(12), 2013, pp. 1525-1538
Degree distribution of large networks generated by the partial duplication model
Si Li
,
Kwok Pui Choi
,
Taoyang Wu
Theoretical Computer Science
476
, 2013, pp. 94-108
Markov network based ontology matching
Sivan Albagli
,
Rachel Ben-Eliyahu-Zohary
,
Solomon E. Shimony
Journal of Computer and System Sciences
78
(1), 2012, pp. 105-118
Rational proofs
Pablo Daniel Azar
,
Silvio Micali
Proceedings of the 44th ACM Symposium on Theory of Computing, STOC'2012 (New York, NY, USA, May 19-22, 2012)
, 2012, pp. 1017-1028
Mixed succession rules: The commutative case
Silvia Bacchelli
,
Luca Ferrari
,
Renzo Pinzani
,
Renzo Sprugnoli
Journal of Combinatorial Theory Series A
117
(5), 2010, pp. 568-582
A new approach to auctions and resilient mechanism design
Jing Chen
,
Silvio Micali
Proceedings of the 41st International ACM Symposium on Theory of Computing, STOC'2009 (Bethesda, Maryland, USA, May 31 - June 2, 2009)
, 2009, pp. 503-512
Algebraic stability indicators for ranked lists in molecular profiling
Giuseppe Jurman
,
Stefano Merler
,
Annalisa Barla
,
Silvano Paoli
,
Antonio Galea
,
Cesare Furlanello
Bioinformatics
24
(2), 2008, pp. 258-264
Dynamically mapping tasks with priorities and multiple deadlines in a heterogeneous environment
Jong-Kook Kim
,
Sameer Shivle
,
Howard Jay Siegel
,
Anthony A. Maciejewski
,
Tracy D. Braun
,
Myron Schneider
,
Sonja Tideman
,
Ramakrishna Chitta
,
Raheleh B. Dilmaghani
,
Rohit Joshi
,
Aditya Kaul
,
Ashish Sharma
,
Siddhartha Sripada
,
Praveen Vangari
,
Siva Sankar Yellampalli
Journal Parallel Distributed Computing
67
(2), 2007, pp. 154-169
Independent zero-knowledge sets
Rosario Gennaro
,
Silvio Micali
Lecture Notes in Computer Science
4052
, 2006, pp. 34-45
Local zero knowledge
Silvio Micali
,
Rafael Pass
Proceedings of the 38th Annual ACM Symposium on Theory of Computing, STOC'2006 (Seattle, Washington, USA, May 21-23, 2006)
, 2006, pp. 306-315
Collusion-free protocols
Matt Lepinksi
,
Silvio Micali
,
Abhi Shelat
Proceedings of the 37th Annual ACM Symposium on Theory of Computing, STOC'2005 (Baltimore, Maryland, USA, May 22-24, 2005)
, 2005, pp. 543-552
Exhaustive generation of combinatorial objects by ECO
Silvia Bacchelli
,
Elena Barcucci
,
Elisabetta Grazzini
,
Elisa Pergola
Acta Informatica
40
(8), 2004, pp. 585-602
Resettable zero-knowledge
Ran Canetti
,
Oded Goldreich
,
Shafi Goldwasser
,
Silvio Micali
Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, STOC'2000 (Portland, Oregon, May 21-23, 2000)
, 2000, pp. 235-244
Reducibility and completeness in private computations
Joe Kilian
,
Eyal Kushilevitz
,
Silvio Micali
,
Rafail Ostrovsky
SIAM Journal on Computing
29
(4), 2000, pp. 1189-1208
Computationally sound proofs
Silvio Micali
SIAM Journal on Computing
30
(4), 2000, pp. 1253-1298
Computationally-sound checkers
Silvio Micali
Lecture Notes in Computer Science
1450
, 1998, pp. 94-116
An optimal probabilistic protocol for synchronous Byzantine agreement
Pesech Feldman
,
Silvio Micali
SIAM Journal on Computing
26
(4), 1997, pp. 873-933
Task parallelism: What a tool can provide and what should be left to the user
Silvia A. Crivelli
,
Elizabeth R. Jessup
Lecture Notes in Computer Science
1123
, 1996, pp. 151-154
Reducibility and completeness in multi-party private computations
Eyal Kushilevitz
,
Silvio Micali
,
Rafail Ostrovsky
Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science, FOCS'94 (Santa Fe, New Mexico, November 20-22, 1994)
, 1994, pp. 478-489
CS (computationally-sound) proofs
Silvio Micali
Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science, FOCS'94 (Santa Fe, New Mexico, November 20-22, 1994)
, 1994, pp. 436-453
On the complexity of the mapping problem for massively parallel architectures
Silvano Antonelli
,
Susanna Pelagatti
International Journal of Foundations of Computer Science
3
(3), 1992, pp. 379-387
Noninteractive zero-knowledge
Manuel Blum
,
Alfredo de Santis
,
Silvio Micali
,
Giuseppe Persiano
SIAM Journal on Computing
20
(6), 1991, December, pp. 1084-1118
Randomization in Byzantine agreement
Benny Chor
,
Cynthia Dwork
Advances in Computing Research
5
, 1989, pp. 443-497
The knowledge complexity of interactive proof systems
Shafi Goldwasser
,
Silvio Micali
,
Charles Rackoff
SIAM Journal on Computing
18
(1), 1989, February, pp. 186-208
How to sign given any trapdoor function
Mihir Bellare
,
Silvio Micali
Proceedings of the 20th Annual ACM Symposium on Theory of Computing, STOC'88 (Chicago, IL, May 2-4, 1988)
, 1988, pp. 32-42
Seiten 1
2
>