Maler O, Nickovic D, Pnueli A. 2007. On synthesizing controllers from bounded-response properties. CAV: Computer Aided Verification, Lecture Notes in Computer Science, , 95–107.
LibreCat: https://research-explorer.ista.ac.at/record/4370
DOI: 1568

Nickovic D, Maler O. 2007. AMT: a property-based monitoring tool for analog systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 304–319.
LibreCat: https://research-explorer.ista.ac.at/record/4368
DOI: 1567

Dhonukshe P, Aniento F, Hwang I, Robinson D, Mravec J, Stierhof Y, Friml J. 2007. Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. 17(6), 520–527.
LibreCat: https://research-explorer.ista.ac.at/record/3022
DOI: 10.1016/j.cub.2007.01.052

Malenica N, Abas L, Benjamins R, Kitakura S, Sigmund H, Jun K, Hauser M, Friml J, Luschnig C. 2007. MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. 51(4), 537–550.
LibreCat: https://research-explorer.ista.ac.at/record/3027
DOI: 10.1111/j.1365-313X.2007.03158.x

Hippenmeyer S, Huber R, Ladle D, Murphy K, Arber S. 2007. ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles. Neuron. 55(5), 726–740.
LibreCat: https://research-explorer.ista.ac.at/record/3144
DOI: 10.1016/j.neuron.2007.07.028

Dodis Y, Pietrzak KZ. 2007. Improving the security of MACs via randomized message preprocessing. FSE: Fast Software Encryption, LNCS, vol. 4593, 414–433.
LibreCat: https://research-explorer.ista.ac.at/record/3223
DOI: 10.1007/978-3-540-74619-5_26

Pietrzak KZ, Wikström D. 2007. Parallel repetition of computationally sound protocols revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 4392, 86–102.
LibreCat: https://research-explorer.ista.ac.at/record/3222
DOI: 10.1007/978-3-540-70936-7_5

Dziembowski S, Pietrzak KZ. 2007. Intrusion resilient secret sharing. FOCS: Foundations of Computer Science, 227–237.
LibreCat: https://research-explorer.ista.ac.at/record/3220
DOI: 10.1109/FOCS.2007.63

Maurer U, Pietrzak KZ, Renner R. 2007. Indistinguishability amplification. CRYPTO: International Cryptology Conference, LNCS, vol. 4622, 130–149.
LibreCat: https://research-explorer.ista.ac.at/record/3219
DOI: 10.1007/978-3-540-74143-5_8

Pietrzak KZ, Sjödin J. 2007. Range extension for weak PRFs the good the bad and the ugly. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4515, 517–533.
LibreCat: https://research-explorer.ista.ac.at/record/3221
DOI: 10.1007/978-3-540-72540-4_30

Reynolds S, Dryer K, Bollback JP, Uy JA, Patricelli G, Robson T, Borgia G, Braun M. 2007. Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system. The Auk. 124(3), 857–867.
LibreCat: https://research-explorer.ista.ac.at/record/3436
DOI: 10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2

Bollback JP, Gardner P, Nielsen R. 2007.Estimating the history of mutations on a phylogeny. In: Ancestral Sequence Reconstruction. , 69–79.
LibreCat: https://research-explorer.ista.ac.at/record/3432
DOI: 10.1093/acprof:oso/9780199299188.003.0006

Jonas PM, Buzsáki G. 2007. Neural inhibition. Scholarpedia. 2.
LibreCat: https://research-explorer.ista.ac.at/record/3450
DOI: 10.4249/scholarpedia.3286

Attali D, Edelsbrunner H, Mileyko Y. 2007. Weak witnesses for Delaunay triangulations of submanifolds. SPM: Symposium on Solid and Physical Modeling, 143–150.
LibreCat: https://research-explorer.ista.ac.at/record/3561
DOI: 10.1145/1236246.1236267

Ulges A, Lampert C, Keysers D, Breuel T. 2007. Optimal dominant motion estimation using adaptive search of transformation space. DAGM: German Association For Pattern Recognition, LCNS, vol. 4713, 204–213.
LibreCat: https://research-explorer.ista.ac.at/record/3681
DOI: 10.1007/978-3-540-74936-3_21

Barton NH, Briggs D, Eisen J, Goldstein D, Patel N. 2007. Evolution, Cold Spring Harbor Laboratory Press, XIV, 833p.
LibreCat: https://research-explorer.ista.ac.at/record/3674

Bippes C, Janovjak HL, Kedrov A, Mueller D. 2007. Digital force-feedback for protein unfolding experiments using atomic force microscopy. Nanotechnology. 18(4).
LibreCat: https://research-explorer.ista.ac.at/record/3727
DOI: 10.1088/0957-4484/18/4/044022

Janovjak HL, Knaus H, Mueller D. 2007. Transmembrane helices have rough energy surfaces. Journal of the American Chemical Society. 129(2), 246–247.
LibreCat: https://research-explorer.ista.ac.at/record/3723
DOI: 10.1021/ja065684a

Broderick T, Dudik M, Tkadik G, Schapire R, Bialek W. 2007. Faster solutions of the inverse pairwise Ising problem. ArXiv, q-QM, .
LibreCat: https://research-explorer.ista.ac.at/record/3742

Schmidt Hieber C, Jonas PM, Bischofberger J. 2007. Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells. Journal of Neuroscience. 27(31), 8430–8441.
LibreCat: https://research-explorer.ista.ac.at/record/3821
DOI: 10.1523/JNEUROSCI.1787-07.2007