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

Daniel Genkin Coauthor index pubzone.org

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

DBLP keys2012
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer: On the Concrete-Efficiency Threshold of Probabilistically-Checkable Proofs. Electronic Colloquium on Computational Complexity (ECCC) 19: 45 (2012)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer: Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems. IACR Cryptology ePrint Archive 2012: 71 (2012)
2010
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Genkin, Nissim Francez, Michael Kaminski: Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars. Essays in Memory of Amir Pnueli 2010: 144-166
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamar Aizikowitz, Nissim Francez, Daniel Genkin, Michael Kaminski: Extending Free Pregroups with Lower Bounds. Studia Logica 95(3): 417-441 (2010)

Coauthor Index

1Tamar Aizikowitz [1]
2Eli Ben-Sasson [3] [4]
3Alessandro Chiesa [3] [4]
4Nissim Francez [1] [2]
5Michael Kaminski [1] [2]
6Eran Tromer [3] [4]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page