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.

9087 Publications


2007 | Conference Paper | IST-REx-ID: 4368
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.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3022
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.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3027
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.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3144
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.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3223
Dodis Y, Pietrzak KZ. 2007. Improving the security of MACs via randomized message preprocessing. FSE: Fast Software Encryption, LNCS, vol. 4593, 414–433.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3222
Pietrzak KZ, Wikström D. 2007. Parallel repetition of computationally sound protocols revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 4392, 86–102.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3220
Dziembowski S, Pietrzak KZ. 2007. Intrusion resilient secret sharing. FOCS: Foundations of Computer Science, 227–237.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3219
Maurer U, Pietrzak KZ, Renner R. 2007. Indistinguishability amplification. CRYPTO: International Cryptology Conference, LNCS, vol. 4622, 130–149.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3221
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.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3436
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.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 3432
Bollback JP, Gardner P, Nielsen R. 2007.Estimating the history of mutations on a phylogeny. In: Ancestral Sequence Reconstruction. , 69–79.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3450
Jonas PM, Buzsáki G. 2007. Neural inhibition. Scholarpedia. 2.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3561 | OA
Attali D, Edelsbrunner H, Mileyko Y. 2007. Weak witnesses for Delaunay triangulations of submanifolds. SPM: Symposium on Solid and Physical Modeling, 143–150.
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3681
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.
View | DOI
 

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

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

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

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

2007 | Journal Article | IST-REx-ID: 3821
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.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3820
Rollenhagen A, Satzler K, Rodriguez EP, Jonas PM, Frotscher M, Lubke J. 2007. Structural determinants of transmission at large hippocampal mossy fiber synapses. Journal of Neuroscience. 27(39), 10434–44.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
Li L, Bischofberger J, Jonas PM. 2007. Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. 27(49), 13420–9.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee K, Henzinger TA, Piterman N. 2007. Generalized parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4423, 153–167.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Chatterjee K. 2007. Concurrent games with tail objectives. Theoretical Computer Science. 388(1–3), 181–198.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. 2007. Strategy logic. CONCUR: Concurrency Theory, LNCS, vol. 4703, 59–73.
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro L, Chatterjee K, Faella M, Legay A. 2007. Qualitative logics and equivalences for probabilistic systems. QEST: Quantitative Evaluation of Systems, 237–248.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee K. 2007. Markov decision processes with multiple long-run average objectives. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS , vol. 4855, 473–484.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
Chatterjee K. 2007. Stochastic Müller games are PSPACE-complete. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 4855, 436–448.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
Chatterjee K. 2007. Optimal strategy synthesis in stochastic Müller games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS , vol. 4423, 138–152.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3938
Dorn T, Kuhn U, Bungartz G, Stiller S, Bauer M, Ellwart J, Peters T, Scharffetter Kochanek K, Semmrich M, Laschinger M, Holzmann B, Klinkert W, Straten P, Køllgaard T, Sixt MK, Brakebusch C. 2007. RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. 109(6), 2346–2355.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3937
Woolf E, Grigorova I, Sagiv A, Grabovsky V, Feigelson S, Shulman Z, Hartmann T, Sixt MK, Cyster J, Alon R. 2007. Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. 8(10), 1076–1085.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3973
Cohen Steiner D, Edelsbrunner H. 2007. Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. 7(4), 391–404.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3972
Cohen Steiner D, Edelsbrunner H, Harer J. 2007. Stability of persistence diagrams. Discrete & Computational Geometry. 37(1), 103–120.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4205
Von Der Hardt S, Bakkers J, Inbal A, Carvalho L, Solnica Krezel L, Heisenberg C-PJ, Hammerschmidt M. 2007. The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. 17(6), 475–487.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4234 | OA
de Vladar H, Pen I. 2007. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 373, 477–485.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Conference Paper | IST-REx-ID: 4233
de Vladar H. 2007. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, 91–109.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. 2007. The relation between multilocus population genetics and social evolution theory. American Naturalist. 169(2), 207–226.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4246
Free A, Barton NH. 2007. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 22(11), 611–619.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. 2007. Algorithms for interface synthesis. CAV: Computer Aided Verification, LNCS, vol. 4590, 4–19.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4394
Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. 2007. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 4349, , 74–88.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4398
Berdine J, Calcagno C, Cook B, Distefano D, O’Hearn P, Wies T, Yang H. 2007. Shape Analysis for Composite Data Structures. CAV: Computer Aided Verification, LNCS 4590, , 178–192.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. 2007. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 1(4).
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. 2007. Model Checking on Trees with Path Equivalences. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, , 664–678.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 2007.Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, vol. 4444, 273–292.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4446
Henzinger TA, Kirsch C. 2007. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 29(393).
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
Henzinger TA. 2007. Games, time, and probability: Graph models for system design and analysis. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 4362, 103–110.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4511
Henzinger TA. 2007. Quantitative generalizations of languages. DLT: Developments in Language Theory, LNCS, vol. 4588, 20–22.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4531
Fisher J, Piterman N, Hajnal A, Henzinger TA. 2007. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. 3(5):e92.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4529
Fisher J, Henzinger TA. 2007. Executable cell biology. Nature Biotechnology. 25, 1239–1249.
View | DOI
 

2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc J, Henzinger TA. 2007. CSL: Computer Science Logic , Springer,p.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee K, Henzinger TA. 2007. Assume-guarantee synthesis. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4424, 261–275.
View | DOI
 

Search

Filter Publications