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.

7704 Publications


2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, R., Henzinger, T. A., Kapalka, M., & Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM. https://doi.org/10.1145/1810479.1810529
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_57
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, L., Henzinger, T. A., Legay, A., & Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE. https://doi.org/10.1109/ACSD.2010.26
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_41
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Quantitative Simulation Games. In Z. Manna & D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli (Vol. 6200, pp. 42–60). Springer. https://doi.org/10.1007/978-3-642-13754-9_3
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_18
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt, S., Musuvathi, M., & Singh, V. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-11970-5_7
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_19
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10909
Chen, C., & Freedman, D. (2010). Hardness results for homology localization. In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1594–1604). Austin, TX, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973075.129
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10908 | OA
Blanc, R., Henzinger, T. A., Hottelier, T., & Kovács, L. (2010). ABC: Algebraic Bound Computation for loops. In E. M. Clarke & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (Vol. 6355, pp. 103–118). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-17511-4_7
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 11099
Doucet, C. M., & Hetzer, M. (2010). Nuclear pore biogenesis into an intact nuclear envelope. Chromosoma. Springer Nature. https://doi.org/10.1007/s00412-010-0289-2
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11102 | OA
Capelson, M., Liang, Y., Schulte, R., Mair, W., Wagner, U., & Hetzer, M. (2010). Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes. Cell. Elsevier. https://doi.org/10.1016/j.cell.2009.12.054
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11101 | OA
Doucet, C. M., Talamas, J. A., & Hetzer, M. (2010). Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. Elsevier. https://doi.org/10.1016/j.cell.2010.04.036
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11097
Hetzer, M. (2010). The nuclear envelope. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory. https://doi.org/10.1101/cshperspect.a000539
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11098 | OA
Hetzer, M. (2010). The role of the nuclear pore complex in aging of post-mitotic cells. Aging. Impact Journals. https://doi.org/10.18632/aging.100125
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 11753
Lang, S. B., Lashley, J. C., Modic, K. A., Fisher, R. A., Zhu, W. M., & Ye, Z. G. (2010). Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. In Proceedings of the 2010 IEEE International Conference on Solid Dielectrics. Potsdam, Germany: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/icsd.2010.5568033
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 11754
Lang, S. B., Lashley, J. C., Modic, K. A., Fisher, R. A., Zhu, W. M., & Ye, Z. G. (2010). Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. In 15th IEEE Mediterranean Electrotechnical Conference. Valletta, Malta: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/melcon.2010.5476345
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3792
Carvalho, L., & Heisenberg, C.-P. J. (2010). The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology. Cell Press. https://doi.org/10.1016/j.tcb.2010.06.009
View | DOI
 

2010 | Journal Article | IST-REx-ID: 11975
Pieber, B., Schober, S., Goebl, C., & Mittelbach, M. (2010). Novel sensitive determination of steryl glycosides in biodiesel by gas chromatography-mass spectroscopy. Journal of Chromatography A. Elsevier. https://doi.org/10.1016/j.chroma.2010.08.006
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 2796
De Lózar, A., & Hof, B. (2009). An experimental study of the decay of turbulent puffs in pipe flow. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rsta.2008.0199
View | DOI
 

Search

Filter Publications