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.
378 Publications
2009 |Published| Conference Paper | IST-REx-ID: 4375
Lahiri, S., Qadeer, S., Galeotti, J., Voung, J., & Wies, T. (2009). Intra-module Inference (pp. 493–508). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1555
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 1749
Rastelli, A., Stoffel, M., Malachias, Â., Merdzhanova, T., Katsaros, G., Kern, K., … Schmidt, O. (2008). Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl080290y
View
| DOI
2008 |Published| Conference Paper | IST-REx-ID: 4366
Podelski, A., Rybalchenko, A., & Wies, T. (2008). Heap Assumptions on Demand (Vol. 5123, pp. 314–327). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-70545-1_31
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 3903
Ugelvig, L. V., Drijfhout, F., Kronauer, D., Boomsma, J., Pedersen, J., & Cremer, S. (2008). The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. BioMed Central. https://doi.org/10.1186/1741-7007-6-11
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 2092
Pietroni, N., Otaduy, M., Bickel, B., Ganovelli, F., & Groß, M. (2007). Texturing internal surfaces from a few cross-sections. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2007.01087.x
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3191
Kolmogorov, V., Boykov, Y., & Rother, C. (2007). Applications of parametric maxflow in computer vision. Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2007.4408910
View
| DOI
| Download (ext.)
2007 |Published| Journal Article | IST-REx-ID: 8484
Lescop, E., Schanda, P., & Brutscher, B. (2007). A set of BEST triple-resonance experiments for time-optimized protein resonance assignment. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2007.04.002
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 2077
Bickel, B., Wicke, M., & Gross, M. (2006). Adaptive simulation of electrical discharges. Presented at the VMV: Vision, Modeling, and Visualization, IOS Press.
View
2006 |Published| Journal Article | IST-REx-ID: 2089
Weyrich, T., Matusik, W., Pfister, H., Bickel, B., Donner, C., Tu, C., … Groß, M. (2006). Analysis of human faces using a measurement-based skin reflectance model. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/1141911.1141987
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 2088
Weyrich, T., Matusik, W., Pfister, H., Bickel, B., Donner, C., Tu, C., … Groß, M. (2006). Analysis of human faces using a measurement-based skin reflectance model (pp. 1013–1024). Presented at the ACM SIGGRAPH, ACM. https://doi.org/10.1145/1179352.1141987
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 3188
Rother, C., Kolmogorov, V., Minka, T., & Blake, A. (2006). Cosegmentation of image pairs by histogram matching - Incorporating a global constraint into MRFs (pp. 993–1000). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2006.91
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 3683
Lampert, C., & Breuel, T. (2006). Objective quality measurement for geometric document image restoration. Presented at the DAS: Document Analysis Systems, Springer.
View
| Download (ext.)
2006 |Published| Conference Paper | IST-REx-ID: 3186
Boykov, Y., Kolmogorov, V., Cremers, D., & Delong, A. (2006). An integral solution to surface evolution PDEs via geo cuts (Vol. 3953, pp. 409–422). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/11744078_32
View
| DOI
2006 | Patent | IST-REx-ID: 3512 | 
Fletcher, Y., Gloth, T., Edelsbrunner, H., & Fu, P. (2006). Method, apparatus and computer products that reconstruct surfaces from data points.
[Published Version]
View
| Download Published Version (ext.)
2006 |Published| Journal Article | IST-REx-ID: 3934
Drumea Mirancea, M., Wessels, J., Müller, C., Essl, M., Eble, J., Tolosa, E., … Klein, G. (2006). Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.02840
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 579
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual quantum computation through quantum interrogation. Nature. Nature Publishing Group. https://doi.org/10.1038/nature04523
View
| DOI
2005 |Published| Journal Article | IST-REx-ID: 3611
Nürnberger, B., Barton, N. H., Kruuk, L., & Vines, T. (2005). Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity. Nature Publishing Group. https://doi.org/10.1038/sj.hdy.6800607
View
| DOI
2005 |Published| Journal Article | IST-REx-ID: 3933
Sixt, M. K., Kanazawa, N., Selg, M., Samson, T., Roos, G., Reinhardt, D., … Sorokin, L. (2005). The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity. Cell Press. https://doi.org/10.1016/j.immuni.2004.11.013
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 3688
Ulges, A., Lampert, C., & Breuel, T. (2004). Document capture using stereo vision (pp. 198–200). Presented at the DocEng: ACM Symposium on Document Engineering, ACM. https://doi.org/10.1145/1030397.1030434
View
| DOI
| Download (ext.)
2004 |Published| Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View
| DOI