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.
230 Publications
2006 |
Published |
Journal Article |
IST-REx-ID: 1462 |
Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform
T. Hausel, PNAS 103 (2006) 6120–6124.
View
| DOI
| Download (ext.)
T. Hausel, PNAS 103 (2006) 6120–6124.
2006 |
Published |
Journal Article |
IST-REx-ID: 1715
Postsynaptic mad signaling at the Drosophila neuromuscular junction
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.
View
| Files available
| DOI
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.
2006 |
Published |
Conference Paper |
IST-REx-ID: 18730 |
What does the local black hole mass distribution tell us about the evolution of the quasar luminosity function?
L. Ciotti, Z. Haiman, J.P. Ostriker, in:, Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop, Springer Nature, Berlin/Heidelberg, 2006, pp. 106–108.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Ciotti, Z. Haiman, J.P. Ostriker, in:, Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop, Springer Nature, Berlin/Heidelberg, 2006, pp. 106–108.
2006 |
Published |
Conference Paper |
IST-REx-ID: 18731 |
The assembly of the first galaxies
Z. Haiman, in:, Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop, Springer Nature, 2006, pp. 316–323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, in:, Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop, Springer Nature, 2006, pp. 316–323.
2006 |
Published |
Journal Article |
IST-REx-ID: 1961
Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus
L.A. Sazanov, P. Hinchliffe, Science 311 (2006) 1430–1436.
View
| DOI
L.A. Sazanov, P. Hinchliffe, Science 311 (2006) 1430–1436.
2006 |
Published |
Journal Article |
IST-REx-ID: 1966
Identification of a novel subunit of respiratory complex I from Thermus thermophilus
P. Hinchliffe, J. Carroll, L.A. Sazanov, Biochemistry 45 (2006) 4413–4420.
View
| DOI
P. Hinchliffe, J. Carroll, L.A. Sazanov, Biochemistry 45 (2006) 4413–4420.
2006 |
Published |
Journal Article |
IST-REx-ID: 4345
Bibliothek 2.0 - Die Bibliothek der Zukunft?
P. Danowski, L. Heller, Bibliotheksdienst 40 (2006) 1250–1271.
View
| DOI
P. Danowski, L. Heller, Bibliotheksdienst 40 (2006) 1250–1271.
2006 |
Published |
Journal Article |
IST-REx-ID: 4351
SIMMAP: stochastic character mapping of discrete traits on phylogenies
J.P. Bollback, BMC Bioinformatics 7 (2006).
View
| DOI
J.P. Bollback, BMC Bioinformatics 7 (2006).
2006 |
Published |
Journal Article |
IST-REx-ID: 4352
Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil
J. Conn, J. Vineis, J.P. Bollback, D. Onyabe, R. Wilkerson, M. Povoa, The American Journal of Tropical Medicine and Hygiene 74 (2006) 798–806.
View
| Download (ext.)
J. Conn, J. Vineis, J.P. Bollback, D. Onyabe, R. Wilkerson, M. Povoa, The American Journal of Tropical Medicine and Hygiene 74 (2006) 798–806.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4359
Field constraint analysis
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2006, pp. 157–173.
View
| DOI
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2006, pp. 157–173.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4373
Real time temporal logic: Past, present, future
O. Maler, D. Nickovic, A. Pnueli, in:, Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 2–16.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 2–16.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4374
From MITL to timed automata
O. Maler, D. Nickovic, A. Pnueli, in:, 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 274–289.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 274–289.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4401
Preserving secrecy under refinement
R. Alur, P. Cerny, S. Zdancewic, in:, 33rd International Colloquium on Automata, Languages and Programming, Springer, 2006, pp. 107–118.
View
| DOI
R. Alur, P. Cerny, S. Zdancewic, in:, 33rd International Colloquium on Automata, Languages and Programming, Springer, 2006, pp. 107–118.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4406
Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.
View
| DOI
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4431
The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
View
| DOI
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
View
| DOI
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4436
An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
View
| DOI
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4437
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
View
| DOI
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
2006 |
Published |
Journal Article |
IST-REx-ID: 4451
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
View
| DOI
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4523
Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
View
| DOI
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.