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.

9198 Publications


2007 |Published| Conference Paper | IST-REx-ID: 4370
Maler O, Nickovic D, Pnueli A. On synthesizing controllers from bounded-response properties. In: Springer; 2007:95-107. doi:1568
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. AMT: a property-based monitoring tool for analog systems. In: Springer; 2007:304-319. doi:1567
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3022
Dhonukshe P, Aniento F, Hwang I, et al. Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. 2007;17(6):520-527. doi:10.1016/j.cub.2007.01.052
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3027
Malenica N, Abas L, Benjamins R, et al. MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. 2007;51(4):537-550. doi:10.1111/j.1365-313X.2007.03158.x
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3144
Hippenmeyer S, Huber R, Ladle D, Murphy K, Arber S. ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles. Neuron. 2007;55(5):726-740. doi:10.1016/j.neuron.2007.07.028
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3223
Dodis Y, Pietrzak KZ. Improving the security of MACs via randomized message preprocessing. In: Vol 4593. Springer; 2007:414-433. doi:10.1007/978-3-540-74619-5_26
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3222
Pietrzak KZ, Wikström D. Parallel repetition of computationally sound protocols revisited. In: Vol 4392. Springer; 2007:86-102. doi:10.1007/978-3-540-70936-7_5
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3220
Dziembowski S, Pietrzak KZ. Intrusion resilient secret sharing. In: IEEE; 2007:227-237. doi:10.1109/FOCS.2007.63
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3219
Maurer U, Pietrzak KZ, Renner R. Indistinguishability amplification. In: Vol 4622. Springer; 2007:130-149. doi:10.1007/978-3-540-74143-5_8
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3221
Pietrzak KZ, Sjödin J. Range extension for weak PRFs the good the bad and the ugly. In: Vol 4515. Springer; 2007:517-533. doi:10.1007/978-3-540-72540-4_30
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3436
Reynolds S, Dryer K, Bollback JP, et al. Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system. The Auk. 2007;124(3):857-867. doi:10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2
View | DOI
 

2007 |Published| Book Chapter | IST-REx-ID: 3432
Bollback JP, Gardner P, Nielsen R. Estimating the history of mutations on a phylogeny. In: Liberles D, ed. Ancestral Sequence Reconstruction. Oxford University Press; 2007:69-79. doi:10.1093/acprof:oso/9780199299188.003.0006
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3450
Jonas PM, Buzsáki G. Neural inhibition. Scholarpedia. 2007;2. doi:10.4249/scholarpedia.3286
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3561 | OA
Attali D, Edelsbrunner H, Mileyko Y. Weak witnesses for Delaunay triangulations of submanifolds. In: ACM; 2007:143-150. doi:10.1145/1236246.1236267
View | DOI | Download (ext.)
 

2007 |Published| Conference Paper | IST-REx-ID: 3681
Ulges A, Lampert C, Keysers D, Breuel T. Optimal dominant motion estimation using adaptive search of transformation space. In: Vol 4713. Springer; 2007:204-213. doi:10.1007/978-3-540-74936-3_21
View | DOI
 

2007 |Published| Book | IST-REx-ID: 3674
Barton NH, Briggs D, Eisen J, Goldstein D, Patel N. Evolution. Cold Spring Harbor Laboratory Press; 2007.
View | Files available
 

2007 |Published| Journal Article | IST-REx-ID: 3727
Bippes C, Janovjak HL, Kedrov A, Mueller D. Digital force-feedback for protein unfolding experiments using atomic force microscopy. Nanotechnology. 2007;18(4). doi:10.1088/0957-4484/18/4/044022
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3723
Janovjak HL, Knaus H, Mueller D. Transmembrane helices have rough energy surfaces. Journal of the American Chemical Society. 2007;129(2):246-247. doi:10.1021/ja065684a
View | DOI
 

2007 |Published| Preprint | IST-REx-ID: 3742 | OA
Broderick T, Dudik M, Tkačik G, Schapire R, Bialek W. Faster solutions of the inverse pairwise Ising problem. ArXiv. 2007;q-QM.
View | Download (ext.)
 

2007 |Published| Journal Article | IST-REx-ID: 3821
Schmidt Hieber C, Jonas PM, Bischofberger J. Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells. Journal of Neuroscience. 2007;27(31):8430-8441. doi:10.1523/JNEUROSCI.1787-07.2007
View | DOI
 

Search

Filter Publications