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.
5611 Publications
2010 |
Published |
Book (Editor) |
IST-REx-ID: 4346 |
P. Danowski and J. Bergmann, Eds., Handbuch Bibliothek 2.0, vol. 41. De Gruyter, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |
Published |
Conference Paper |
IST-REx-ID: 4361 |
T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4369 |
D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4378 |
V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 4379 |
K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DDR2 case study,” Formal Methods in System Design, vol. 36, no. 2. Springer, pp. 114–130, 2010.
View
| DOI
| Download (ext.)
2010 |
Published |
Conference Paper |
IST-REx-ID: 4380 |
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4381 |
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4382 |
R. Guerraoui, T. A. Henzinger, M. Kapalka, and V. Singh, “Transactions in the jungle,” presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece, 2010, pp. 263–272.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4388 |
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 |
Published |
Conference Paper |
IST-REx-ID: 4389 |
L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4390 |
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4393 |
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4396 |
D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2499 |
M. Rives et al., “Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration,” EMBO Journal, vol. 28, no. 15. Wiley-Blackwell, pp. 2195–2208, 2009.
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 3051 |
D. Weijers and J. Friml, “SnapShot: Auxin signaling and transport,” Cell, vol. 136, no. 6. Cell Press, pp. 1172–1172, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |
Published |
Journal Article |
IST-REx-ID: 3052 |
S. Vanneste and J. Friml, “Auxin: A trigger for change in plant development,” Cell, vol. 136, no. 6. Cell Press, pp. 1005–1016, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |
Published |
Journal Article |
IST-REx-ID: 3057 |
J. Petrášek and J. Friml, “Auxin transport routes in plant development,” Development, vol. 136, no. 16. Company of Biologists, pp. 2675–2688, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |
Published |
Journal Article |
IST-REx-ID: 3061 |
P. Křeček et al., “The PIN-FORMED (PIN) protein family of auxin transporters,” Genome Biology, vol. 10, no. 12. BioMed Central, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |
Published |
Journal Article |
IST-REx-ID: 3197 |
M. P. Kumar, V. Kolmogorov, and P. Torr, “An analysis of convex relaxations for MAP estimation of discrete MRFs,” Journal of Machine Learning Research, vol. 10. Microtome Publishing, pp. 71–106, 2009.
View
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 11103 |
M. Hetzer and S. R. Wente, “Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes,” Developmental Cell, vol. 17, no. 5. Elsevier, pp. 606–616, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC