Please note that IST 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.

191 Publications


2006 | Journal Article | IST-REx-ID: 4145
Tonelli, Davide, Frederico Calegari, Ji Fei, Tadashi Nomura, Noriko Osumi, Carl Heisenberg, and Wieland Huttner. “Single-Cell Detection of MicroRNAs in Developing Vertebrate Embryos after Acute Administration of a Dual-Fluorescence Reporter/Sensor Plasmid.” Biotechniques 41, no. 6 (2006): 727–32. https://doi.org/10.2144/000112296.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4176
Link, Vinzenz, Lara Carvalho, Irinka Castanon, Petra Stockinger, Andrej Shevchenko, and Carl Heisenberg. “Identification of Regulators of Germ Layer Morphogenesis Using Proteomics in Zebrafish.” Journal of Cell Science 119, no. 10 (2006): 2073–83. https://doi.org/10.1242/jcs.02928.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge,” 4085:1–15. Springer, 2006. https://doi.org/10.1007/11813040_1.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components,” 253–66. IEEE, 2006. https://doi.org/10.1109/RTAS.2006.11.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies, Thomas, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard. “Field Constraint Analysis,” 157–73. Springer, 2006. https://doi.org/1551.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future,” 2–16. Springer, 2006. https://doi.org/1571.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,” 179–88. IEEE, 2006. https://doi.org/10.1109/QEST.2006.11.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,” 3884:325–36. Springer, 2006. https://doi.org/10.1007/11672142_26.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 577
Rangarajan, Radhika, Joseph Altepeter, Evan Jeffrey, Micah Stoutimore, Nicholas Peters, Onur Hosten, and Paul Kwiat. “High-Efficiency Single-Photon Detectors,” Vol. 6372. SPIE, 2006. https://doi.org/10.1117/12.686117.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 868
Kondrashov, Fyodor, Eugene Koonin, Igor Morgunov, Tatiana Finogenova, and Marie Kondrashova. “Evolution of Glyoxylate Cycle Enzymes in Metazoa Evidence of Multiple Horizontal Transfer Events and Pseudogene Formation.” Biology Direct 1 (2006). https://doi.org/10.1186/1745-6150-1-31.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed