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.

231 Publications


2006 | Published | Journal Article | IST-REx-ID: 1462 | OA
Hausel T. 2006. Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. 103(16), 6120–6124.
View | DOI | Download (ext.)
 

2006 | Published | Journal Article | IST-REx-ID: 1715
Dudu V, Bittig T, Entchev E, Kicheva A, Julicher F, González Gaitán M. 2006. Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. 16(7), 625–635.
View | Files available | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 18730 | OA
Ciotti L, Haiman Z, Ostriker JP. 2006. What does the local black hole mass distribution tell us about the evolution of the quasar luminosity function? Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop. European Southern Observatory and Universitäts-Sternwarte München Workshop, ESO Astrophysics Symposia, , 106–108.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2006 | Published | Conference Paper | IST-REx-ID: 18731 | OA
Haiman Z. 2006. The assembly of the first galaxies. Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop. European Southern Observatory and Universitäts-Sternwarte München Workshop, 316–323.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2006 | Published | Journal Article | IST-REx-ID: 1961
Sazanov LA, Hinchliffe P. 2006. Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. Science. 311(5766), 1430–1436.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 1966
Hinchliffe P, Carroll J, Sazanov LA. 2006. Identification of a novel subunit of respiratory complex I from Thermus thermophilus. Biochemistry. 45(14), 4413–4420.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4345
Danowski P, Heller L. 2006. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 40(11), 1250–1271.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4351
Bollback JP. 2006. SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. 7.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4352
Conn J, Vineis J, Bollback JP, Onyabe D, Wilkerson R, Povoa M. 2006. Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene. 74(5), 798–806.
View | Download (ext.)
 

2006 | Published | Conference Paper | IST-REx-ID: 4359
Wies T, Kuncak V, Lam P, Podelski A, Rinard M. 2006. Field constraint analysis. 7th International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 3855, 157–173.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. 2006. Real time temporal logic: Past, present, future. Third International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 2–16.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. 2006. From MITL to timed automata. 4th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 274–289.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. 2006. Preserving secrecy under refinement. 33rd International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 4052, 107–118.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4406
De Wulf M, Doyen L, Henzinger TA, Raskin J. 2006. Antichains: A new algorithm for checking universality of finite automata. CAV: Computer Aided Verification, LNCS, vol. 4144, 17–30.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4431
Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. FM: Formal Methods, LNCS, vol. 4085, 1–15.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4432
Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 1–17.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. 2006. An interface algebra for real-time components. RTAS: Real-time and Embedded Technology and Applications Symposium, 253–266.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4437
Henzinger TA, Piterman N. 2006. Solving games without determinization. CSL: Computer Science Logic, LNCS, vol. 4207, 395–410.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. 2006. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 354(2), 173–186.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. 2006. Synergy: A new algorithm for property checking. FSE: Foundations of Software Engineering, 117–127.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed