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.

7210 Publications


2010 | Conference Paper | IST-REx-ID: 489 | OA
J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.
View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 533
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, and T. Wies, “Doomed program points,” Formal Methods in System Design, vol. 37, no. 2–3. Springer, pp. 171–199, 2010.
View | DOI
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 5940
G. Juhás, I. Kazlov, and A. Juhásová, “Instance Deadlock: A Mystery behind Frozen Programs,” in Applications and Theory of Petri Nets, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 1–17.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 598 | OA
K. Meyer, S. Lin, C. Bernecky, Y. Gao, and D. Taatjes, “P53 activates transcription by directing structural shifts in Mediator,” Nature Structural and Molecular Biology, vol. 17, no. 6. Nature Publishing Group, pp. 753–760, 2010.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7079
F. R. Drymiotis et al., “Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures,” Journal of Applied Physics, vol. 107, no. 3. AIP, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 7318
V. Giordani, S. A. Freunberger, P. G. Bruce, J.-M. Tarascon, and D. Larcher, “H2O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells,” Electrochemical and Solid-State Letters, vol. 13, no. 12. The Electrochemical Society, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 754
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, and R. Guerraoui, “Fast randomized test-and-set and renaming,” presented at the DISC: Distributed Computing, 2010, vol. 6343 LNCS, pp. 94–108.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 755
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and M. Zadimoghaddam, “How efficient can gossip be? (On the cost of resilient information exchange),” presented at the ICALP: International Colloquium on Automota, Languages and Programming, 2010, vol. 6199 LNCS, no. PART 2, pp. 115–126.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 756
D.-A. Alistarh, S. Gilbert, R. Guerraoui, Ž. Milošević, and C. Newport, “Securing every bit: Authenticated broadcast in radio networks,” presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, 2010, pp. 50–59.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 758
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Brief announcement: New bounds for partially synchronous set agreement,” presented at the DISC: Distributed Computing, 2010, vol. 6343 LNCS, pp. 404–405.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 7703
L. B. J. Sweeney and L. Luo, “‘Fore brain: A hint of the ancestral cortex,” Cell, vol. 142, no. 5. Elsevier, pp. 679–681, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 11097
M. W. HETZER, “The nuclear envelope,” Cold Spring Harbor Perspectives in Biology, vol. 2, no. 3. Cold Spring Harbor Laboratory, pp. a000539–a000539, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11098 | OA
M. W. HETZER, “The role of the nuclear pore complex in aging of post-mitotic cells,” Aging, vol. 2, no. 2. Impact Journals, pp. 74–75, 2010.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11099
C. M. Doucet and M. W. HETZER, “Nuclear pore biogenesis into an intact nuclear envelope,” Chromosoma, vol. 119. Springer Nature, pp. 469–477, 2010.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11101 | OA
C. M. Doucet, J. A. Talamas, and M. W. HETZER, “Cell cycle-dependent differences in nuclear pore complex assembly in metazoa,” Cell, vol. 141, no. 6. Elsevier, pp. 1030–1041, 2010.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications