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.

7215 Publications


2006 | Conference Paper | IST-REx-ID: 4374
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata,” 274–89. Springer, 2006. https://doi.org/1570.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy Under Refinement,” 107–18. Springer, 2006. https://doi.org/1543.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata,” 4144:17–30. Springer, 2006. https://doi.org/10.1007/11817963_5.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2867 | OA
Weijers, Dolf, Eva Benková, Katja Jäger, Alexandra Schlereth, Thorsten Hamann, Marika Kientz, Jill Wilmoth, Jason Reed, and Gerd Jürgens. “Developmental Specificity of Auxin Response by Pairs of ARF and Aux/IAA Transcriptional Regulators.” EMBO Journal. Wiley-Blackwell, 2005. https://doi.org/10.1038/sj.emboj.7600659.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
Carneiro, Jorge, Tiago Paixao, Dejan Milutinovic, João Sousa, Kalet Leon, Rui Gardner, and Jose Faro. “Immunological Self Tolerance: Lessons from Mathematical Modeling.” Journal of Computational and Applied Mathematics. Elsevier, 2005. https://doi.org/10.1016/j.cam.2004.10.025.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe, Pankaj, Jürgen Kleine Vehn, and Jiří Friml. “Cell Polarity, Auxin Transport and Cytoskeleton Mediated Division Planes: Who Comes First?” Protoplasma. Springer, 2005. https://doi.org/10.1007/s00709-005-0104-8.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek, Tomasz, Eva Zažímalová, Nadia Ruthardt, Jan Petrášek, York Stierhof, Jürgen Kleine Vehn, David Morris, et al. “Auxin Inhibits Endocytosis and Promotes Its Own Efflux from Cells.” Nature. Nature Publishing Group, 2005. https://doi.org/10.1038/nature03633.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten, Anne, Steffen Vanneste, Justyna Wiśniewska, Eva Benková, René Benjamins, Tom Beeckman, Christian Luschnig, and Jiří Friml. “Functional Redundancy of PIN Proteins Is Accompanied by Auxin-Dependent Cross-Regulation of PIN Expression.” Development. Company of Biologists, 2005. https://doi.org/10.1242/dev.02027.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers, Dolf, Michael Sauer, Olivier Meurette, Jiří Friml, Karin Ljung, Göran Sandberg, Paul Hooykaas, and Remko Offringa. “Maintenance of Embryonic Auxin Distribution for Apical Basal Patterning by PIN FORMED Dependent Auxin Transport in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2005. https://doi.org/10.1105/tpc.105.034637.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal, Avital, Olga Sokolova, Deborah Robins, Karen Daugherty, Simon Hippenmeyer, Howard Riezman, Nikolaus Grigorieff, and Bruce Goode. “Conformational Changes in the Arp2 3 Complex Leading to Actin Nucleation.” Nature Structural and Molecular Biology. Nature Publishing Group, 2005. https://doi.org/10.1038/nsmb870.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer, Simon, Eline Vrieseling, Markus Sigrist, Thomas Portmann, Celia Laengle, David Ladle, and Silvia Arber. “A Developmental Switch in the Response of DRG Neurons to ETS Transcription Factor Signaling.” PLoS Biology. Public Library of Science, 2005. https://doi.org/10.1371/journal.pbio.0030159.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother, Carsten, Sanjiv Kumar, Vladimir Kolmogorov, and Andrew Blake. “Digital Tapestry,” 1:589–96. IEEE, 2005. https://doi.org/10.1109/CVPR.2005.130.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov, Vladimir, Antonio Criminisi, Andrew Blake, Geoffrey Cross, and Carsten Rother. “Bi-Layer Segmentation of Binocular Stereo Video,” 1186–1186. IEEE, 2005. https://doi.org/10.1109/CVPR.2005.90.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov, Vladimir, and Martin Wainwright. “On the Optimality of Tree Reweighted Max Product Message Passing,” 316–23. AUAI Press, 2005.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov, Vladimir, and Yuri Boykov. “What Metrics Can Be Approximated by Geo Cuts or Global Optimization of Length Area and Flux,” 1:564–71. IEEE, 2005. https://doi.org/10.1109/ICCV.2005.252.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov, Vladimir, Antonio Criminisi, Andrew Blake, Geoffrey Cross, and Carsten Rother. “Bi-Layer Segmentation of Binocular Stereo Video,” 2:407–14. IEEE, 2005. https://doi.org/10.1109/CVPR.2005.91.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare, Mihir, Krzysztof Z Pietrzak, and Phillip Rogaway. “Improved Security Analyses for CBC MACs,” 3621:527–45. Springer, 2005. https://doi.org/10.1007/11535218_32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis, Yevgeniy, Roberto Oliveira, and Krzysztof Z Pietrzak. “On the Generic Insecurity of the Full Domain Hash,” 3621:449–66. Springer, 2005. https://doi.org/10.1007/11535218_27.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak, Krzysztof Z. “Composition Does Not Imply Adaptive Security,” 3621:55–65. Springer, 2005. https://doi.org/10.1007/11535218_4.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak, Harald L, Tanuj Sapra, and Daniel Mueller. “Complex Stability of Single Proteins Explored by Forced Unfolding Experiments.” Biophysical Journal. Biophysical Society, 2005. https://doi.org/10.1529/biophysj.105.059774.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn, Michael, Harald L Janovjak, Maurice Hubain, and Daniel Mueller. “Automated Alignment and Pattern Recognition of Single-Molecule Force Spectroscopy Data.” Journal of Microscopy. Wiley-Blackwell, 2005. https://doi.org/10.1111/j.1365-2818.2005.01478.x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak, Harald L, Jens Struckmeier, and Daniel Mueller. “Hydrodynamic Effects in Fast AFM Single Molecule Force Measurements.” European Biophysics Journal. Springer, 2005. https://doi.org/10.1007/s00249-004-0430-3.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels, Tim P, and L. F. Abbott. “Signal Propagation and Logic Gating in Networks of Integrate-and-Fire Neurons.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/10.1523/jneurosci.3508-05.2005.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
Vogels, Tim P, Kanaka Rajan, and L.F. Abbott. “Neural Network Dynamics.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.28.061604.135637.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
Yampolsky, Lev, Fyodor Kondrashov, and Alexey Kondrashov. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.” Human Molecular Genetics. Oxford University Press, 2005. https://doi.org/10.1093/hmg/ddi350.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda, Paul, Ēriks Kupče, and Bernhard Brutscher. “SOFAST-HMQC Experiments for Recording Two-Dimensional Deteronuclear Correlation Spectra of Proteins within a Few Seconds.” Journal of Biomolecular NMR. Springer Nature, 2005. https://doi.org/10.1007/s10858-005-4425-x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
Schanda, Paul, and Bernhard Brutscher. “Very Fast Two-Dimensional NMR Spectroscopy for Real-Time Investigation of Dynamic Events in Proteins on the Time Scale of Seconds.” Journal of the American Chemical Society. American Chemical Society, 2005. https://doi.org/10.1021/ja051306e.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
Bourgain, Jean, and Vadim Kaloshin. “On Diffusion in High-Dimensional Hamiltonian Systems.” Journal of Functional Analysis. Elsevier, 2005. https://doi.org/10.1016/j.jfa.2004.09.006.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, Christoph, Marco Sanvido, and Thomas A Henzinger. “A Programmable Microkernel for Real-Time Systems,” 35–45. ACM, 2005. https://doi.org/10.1145/1064979.1064986.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger, Thomas A, Ritankar Majumdar, and Jean Raskin. “A Classification of Symbolic Transition Systems.” ACM Transactions on Computational Logic (TOCL). ACM, 2005. https://doi.org/10.1145/1042038.1042039.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, Thomas A, Ritankar Majumdar, and Vinayak Prabhu. “Quantifying Similarities between Timed Systems,” 3829:226–41. Springer, 2005. https://doi.org/10.1007/11603009_18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Permissive Interfaces,” 31–40. ACM, 2005. https://doi.org/10.1145/1081706.1081713.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Composable Code Generation for Distributed Giotto,” 21–30. ACM, 2005. https://doi.org/10.1145/1065910.1065914.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems,” 3829:144–61. Springer, 2005. https://doi.org/DOI: 10.1007/11603009_13.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A Henzinger. “Semiperfect-Information Games,” 3821:1–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005. https://doi.org/10.1007/11590156_1.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Stochastic Rabin and Streett Games,” 3580:878–90. Springer, 2005. https://doi.org/10.1007/11523468_71.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Mean-Payoff Parity Games,” 178–87. IEEE, 2005. https://doi.org/10.1109/LICS.2005.26.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Planning,” 104–11. AUAI Press, 2005.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, Krishnendu Chatterjee, Thomas A Henzinger, Orna Kupferman, and Ritankar Majumdar. “Verifying Quantitative Properties Using Bound Functions,” 3725:50–64. Springer, 2005. https://doi.org/10.1007/11560548_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces,” 148–59. ACM, 2005. https://doi.org/10.1145/1060745.1060770.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,” 3442:2–18. Springer, 2005. https://doi.org/10.1007/978-3-540-31984-9_2.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A Henzinger. “Interface-Based Design,” 195:83–104. Springer, 2005. https://doi.org/10.1007/1-4020-3532-2_3.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science. Elsevier, 2005. https://doi.org/10.1016/j.tcs.2005.07.033.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,” 1:365–67. IEEE, 2005. https://doi.org/ 10.1109/QELS.2005.1548783.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 11120
HETZER, Martin W, Tobias C. Walther, and Iain W. Mattaj. “Pushing the Envelope: Structure, Function, and Dynamics of the Nuclear Periphery.” Annual Review of Cell and Developmental Biology. Annual Reviews, 2005. https://doi.org/10.1146/annurev.cellbio.21.090704.151152.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 1740
Costantini, Giovanni, Armando Rastelli, Carlos Manzano, P Acosta Diaz, Georgios Katsaros, Rudeeson Songmuang, Oliver Schmidt, Hans Von Känel, and Klaus Kern. “Pyramids and Domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) Systems.” Journal of Crystal Growth. Elsevier, 2005. https://doi.org/10.1016/j.jcrysgro.2004.12.047.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
Denker, Ulrich, Armando Rastelli, Mathieu Stoffel, Jerry Tersoff, Georgios Katsaros, Giovanni Costantini, Klaus Kern, Neng Jin Phillipp, David Jesson, and Oliver Schmidt. “Lateral Motion of SiGe Islands Driven by Surface-Mediated Alloying.” Physical Review Letters. American Physical Society, 2005. https://doi.org/10.1103/PhysRevLett.94.216103.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
Katsaros, Georgios, Giovanni Costantini, Mathieu Stoffel, Rubén Esteban, Alexander Bittner, Armando Rastelli, Ulrich Denker, Oliver Schmidt, and Klaus Kern. “Kinetic Origin of Island Intermixing during the Growth of Ge on Si (001).” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2005. https://doi.org/10.1103/PhysRevB.72.195320.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Zhong, Zheyang, Georgios Katsaros, Mathieu Stoffel, Giovanni Costantini, Klaus Kern, Oliver Schmidt, Neng Jin Phillipp, and Günther Bauer. “Periodic Pillar Structures by Si Etching of Multilayer GeSi/Si Islands.” Applied Physics Letters. American Institute of Physics, 2005. https://doi.org/10.1063/1.2150278.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1744
Katsaros, Georgios, Izzat Darwazeh, and Phil Lane. “Non Linear Transmission Effects in Duobinary and Dicode Optical Systems.” IEE Proceedings - Optoelectronics. Institute of Electrical Engineers, 2005. https://doi.org/10.1049/ip-opt:20045067.
View | DOI
 

Search

Filter Publications