Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2033 Publications


2016 | Published | Conference Paper | IST-REx-ID: 1390
D’Antoni L, Samanta R, Singh R. QLOSE: Program repair with quantitative objectives. In: Vol 9780. Springer; 2016:383-401. doi:10.1007/978-3-319-41540-6_21
View | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1391 | OA
Daca P, Henzinger TA, Kupriyanov A. Array folds logic. In: Vol 9780. Springer; 2016:230-248. doi:10.1007/978-3-319-41540-6_13
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1394 | OA
De Martino D, Capuani F, De Martino A. Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. 2016;13(3). doi:10.1088/1478-3975/13/3/036005
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1411 | OA
Matoušek J, Sedgwick E, Tancer M, Wagner U. Untangling two systems of noncrossing curves. Israel Journal of Mathematics. 2016;212(1):37-79. doi:10.1007/s11856-016-1294-9
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1434 | OA
Bao Z, Erdös L, Schnelli K. Local stability of the free additive convolution. Journal of Functional Analysis. 2016;271(3):672-719. doi:10.1016/j.jfa.2016.04.006
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Book Chapter | IST-REx-ID: 18328
Pokrass J, Bronstein AM, Bronstein MM, Sprechmann P, Sapiro G. Sparse Models for Intrinsic Shape Correspondence. In: Breuß M, Bruckstein A, Maragos P, Wuhrer S, eds. Perspectives in Shape Analysis. 1st ed. Cham: Springer International Publishing; 2016:211-230. doi:10.1007/978-3-319-24726-7_10
View | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1227 | OA
Kong H, Bartocci E, Bogomolov S, et al. Discrete abstraction of multiaffine systems. In: Vol 9957. Springer; 2016:128-144. doi:10.1007/978-3-319-47151-8_9
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. Offline witness encryption. In: Vol 9696. Springer; 2016:285-303. doi:10.1007/978-3-319-39555-5_16
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1230 | OA
Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1231 | OA
Alwen JF, Chen B, Kamath Hosdurg C, Kolmogorov V, Pietrzak KZ, Tessaro S. On the complexity of scrypt and proofs of space in the parallel random oracle model. In: Vol 9666. Springer; 2016:358-387. doi:10.1007/978-3-662-49896-5_13
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1233 | OA
Fuchsbauer G, Heuer F, Kiltz E, Pietrzak KZ. Standard security does imply security against selective opening for markov distributions. In: Vol 9562. Springer; 2016:282-305. doi:10.1007/978-3-662-49096-9_12
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1234 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi:10.1007/978-3-662-49674-9_7
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1235 | OA
Abusalah HM, Fuchsbauer G. Constrained PRFs for unbounded inputs with short keys. In: Vol 9696. Springer; 2016:445-463. doi:10.1007/978-3-319-39555-5_24
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1236 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. Constrained PRFs for unbounded inputs. In: Vol 9610. Springer; 2016:413-428. doi:10.1007/978-3-319-29485-8_24
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1237
Krcál M, Pilarczyk P. Computation of cubical Steenrod squares. In: Vol 9667. Springer; 2016:140-151. doi:10.1007/978-3-319-39441-1_13
View | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1243
Pleska M, Qian L, Okura R, et al. Bacterial autoimmunity due to a restriction-modification system. Current Biology. 2016;26(3):404-409. doi:10.1016/j.cub.2015.12.041
View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1247 | OA
Karampelias M, Neyt P, De Groeve S, et al. ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling. PNAS. 2016;113(10):2768-2773. doi:10.1073/pnas.1501343112
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 12613 | OA
Buri P, Miles ES, Steiner JF, Immerzeel WW, Wagnon P, Pellicciotti F. A physically based 3‐D model of ice cliff evolution over debris‐covered glaciers. Journal of Geophysical Research: Earth Surface. 2016;121(12):2471-2493. doi:10.1002/2016jf004039
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 12622 | OA
Heynen M, Miles E, Ragettli S, Buri P, Immerzeel WW, Pellicciotti F. Air temperature variability in a high-elevation Himalayan catchment. Annals of Glaciology. 2016;57(71):212-222. doi:10.3189/2016aog71a076
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 12623 | OA
Buri P, Pellicciotti F, Steiner JF, Miles ES, Immerzeel WW. A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers. Annals of Glaciology. 2016;57(71):199-211. doi:10.3189/2016aog71a059
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed