dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mihalis Yannakakis (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward G. Coffman Jr., Costas Courcoubetis, M. R. Garey, David S. Johnson, Peter W. Shor, Richard R. Weber, Mihalis Yannakakis: Bin Packing with Discrete Item Sizes, Part I: Perfect Packing Theorems and the Average Case Behavior of Optimal Packings. SIAM J. Discrete Math. 13(3): 384-402 (2000)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Costas Courcoubetis, Mihalis Yannakakis: Distinguishing tests for nondeterministic and probabilistic machines. STOC 1995: 363-372
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Mihalis Yannakakis: The Complexity of Probabilistic Verification. J. ACM 42(4): 857-907 (1995)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design 1(2/3): 275-288 (1992)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Mihalis Yannakakis: Minimum and Maximum Delay Problems in Real-Time Systems. Formal Methods in System Design 1(4): 385-415 (1992)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward G. Coffman Jr., Costas Courcoubetis, M. R. Garey, David S. Johnson, Lyle A. McGeoch, Peter W. Shor, Richard R. Weber, Mihalis Yannakakis: Fundamental Discrepancies between Average-Case Analyses under Discrete and Continuous Distributions: A Bin Packing Case Study STOC 1991: 230-240
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory Efficient Algorithms for the Verification of Temporal Properties. CAV 1990: 233-242
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Mihalis Yannakakis: Markov Decision Processes and Regular Events (Extended Abstract). ICALP 1990: 336-349
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Mihalis Yannakakis: Verifying Temporal Properties of Finite-State Probabilistic Programs FOCS 1988: 338-345

Selection of 9 from 213 records - Mihalis Yannakakis has 91 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page