en
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.
2651 Publications
2013 | Journal Article | IST-REx-ID: 2299 
Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
View
| Files available
| DOI
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
2013 | Journal Article | IST-REx-ID: 2814
The complexity of coverage
K. Chatterjee, L. Alfaro, R. Majumdar, International Journal of Foundations of Computer Science 24 (2013) 165–185.
View
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, L. Alfaro, R. Majumdar, International Journal of Foundations of Computer Science 24 (2013) 165–185.
2013 | Conference Paper | IST-REx-ID: 2819
Quantitative timed simulation functions and refinement metrics for real-time systems
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
View
| DOI
| Download (ext.)
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
2013 | Journal Article | IST-REx-ID: 2282
Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
View
| Files available
| DOI
| Download (ext.)
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
2013 | Conference Paper | IST-REx-ID: 2446
Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
View
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
2013 | Thesis | IST-REx-ID: 1405
Analysis of dynamic message passing programs
D. Zufferey, Analysis of Dynamic Message Passing Programs, IST Austria, 2013.
View
| Files available
| Download (ext.)
D. Zufferey, Analysis of Dynamic Message Passing Programs, IST Austria, 2013.
2013 | Journal Article | IST-REx-ID: 2939
An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, Computational Geometry: Theory and Applications 46 (2013) 435–447.
View
| Files available
| DOI
C. Chen, M. Kerber, Computational Geometry: Theory and Applications 46 (2013) 435–447.
2013 | Thesis | IST-REx-ID: 1406
Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, IST Austria, 2013.
View
P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, IST Austria, 2013.
2013 | Conference Paper | IST-REx-ID: 2238
Multi-objective discounted reward verification in graphs and MDPs
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
View
| DOI
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
2013 | Journal Article | IST-REx-ID: 2283
Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger
C. Pull, W. Hughes, M. Brown, Naturwissenschaften 100 (2013) 1125–1136.
View
| DOI
C. Pull, W. Hughes, M. Brown, Naturwissenschaften 100 (2013) 1125–1136.
2013 | Conference (Editor) | IST-REx-ID: 2288
Computational Methods in Systems Biology
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.
View
| DOI
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.
2013 | Journal Article | IST-REx-ID: 2290
ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
2013 | Journal Article | IST-REx-ID: 2264
Neural development is dependent on the function of specificity protein 2 in cell cycle progression
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
2013 | Journal Article | IST-REx-ID: 2303
Dissection of gene function at clonal level using mosaic analysis with double markers
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.
View
| DOI
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.
2013 | Conference Paper | IST-REx-ID: 2276
Potts model, parametric maxflow and k-submodular functions
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
View
| DOI
| Download (ext.)
| arXiv
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
2013 | Conference Paper | IST-REx-ID: 2447
Automating separation logic using SMT
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
View
| DOI
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
2013 | Journal Article | IST-REx-ID: 2466
Highly adaptive liquid simulations on tetrahedral meshes
R. Ando, N. Thuerey, C.J. Wojtan, ACM Transactions on Graphics 32 (2013).
View
| Files available
| DOI
R. Ando, N. Thuerey, C.J. Wojtan, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2473
Genetic hitch-hiking in spatially extended populations
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 75–89.
View
| Files available
| DOI
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 75–89.
2013 | Conference Paper | IST-REx-ID: 2719
A variance decomposition approach to the analysis of genetic algorithms
T. Paixao, N.H. Barton, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–852.
View
| DOI
T. Paixao, N.H. Barton, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–852.
2013 | Journal Article | IST-REx-ID: 2808
The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain
K. Landberg, E. Pederson, T. Viaene, B. Bozorg, J. Friml, H. Jönsson, M. Thelander, E. Sundberg, Plant Physiology 162 (2013) 1406–1419.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
K. Landberg, E. Pederson, T. Viaene, B. Bozorg, J. Friml, H. Jönsson, M. Thelander, E. Sundberg, Plant Physiology 162 (2013) 1406–1419.