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.
376 Publications
2008 | Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, Andrey Rybalchenko, and Thomas Wies. “Heap Assumptions on Demand,” 5123:314–27. Springer, 2008. https://doi.org/10.1007/978-3-540-70545-1_31.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3903
Ugelvig, Line V, Falko Drijfhout, Daniel Kronauer, Jacobus Boomsma, Jes Pedersen, and Sylvia Cremer. “The Introduction History of Invasive Garden Ants in Europe: Integrating Genetic, Chemical and Behavioural Approaches.” BMC Biology. BioMed Central, 2008. https://doi.org/10.1186/1741-7007-6-11.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2092
Pietroni, Nico, Miguel Otaduy, Bernd Bickel, Fabio Ganovelli, and Markus Groß. “Texturing Internal Surfaces from a Few Cross-Sections.” Computer Graphics Forum. Wiley-Blackwell, 2007. https://doi.org/10.1111/j.1467-8659.2007.01087.x.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov, Vladimir, Yuri Boykov, and Carsten Rother. “Applications of Parametric Maxflow in Computer Vision.” IEEE, 2007. https://doi.org/10.1109/ICCV.2007.4408910.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 8484
Lescop, Ewen, Paul Schanda, and Bernhard Brutscher. “A Set of BEST Triple-Resonance Experiments for Time-Optimized Protein Resonance Assignment.” Journal of Magnetic Resonance. Elsevier, 2007. https://doi.org/10.1016/j.jmr.2007.04.002.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 2077
Bickel, Bernd, Martin Wicke, and Markus Gross. “Adaptive Simulation of Electrical Discharges.” IOS Press, 2006.
View
2006 | Journal Article | IST-REx-ID: 2089
Weyrich, Tim, Wojciech Matusik, Hanspeter Pfister, Bernd Bickel, Craig Donner, Chien Tu, Janet Mcandless, et al. “Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model.” ACM Transactions on Graphics. ACM, 2006. https://doi.org/10.1145/1141911.1141987.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 2088
Weyrich, Tim, Wojciech Matusik, Hanspeter Pfister, Bernd Bickel, Craig Donner, Chien Tu, Janet Mcandless, et al. “Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model,” 1013–24. ACM, 2006. https://doi.org/10.1145/1179352.1141987.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3188
Rother, Carsten, Vladimir Kolmogorov, Thomas Minka, and Andrew Blake. “Cosegmentation of Image Pairs by Histogram Matching - Incorporating a Global Constraint into MRFs,” 993–1000. IEEE, 2006. https://doi.org/10.1109/CVPR.2006.91.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3683
Lampert, Christoph, and Thomas Breuel. “Objective Quality Measurement for Geometric Document Image Restoration.” Springer, 2006.
View
| Download (ext.)
2006 | Conference Paper | IST-REx-ID: 3186
Boykov, Yuri, Vladimir Kolmogorov, Daniel Cremers, and Andrew Delong. “An Integral Solution to Surface Evolution PDEs via Geo Cuts,” 3953:409–22. Springer, 2006. https://doi.org/10.1007/11744078_32.
View
| DOI
2006 | Patent | IST-REx-ID: 3512 | 
Fletcher, Yates, Tobias Gloth, Herbert Edelsbrunner, and Ping Fu. “Method, Apparatus and Computer Products That Reconstruct Surfaces from Data Points,” 2006.
[Published Version]
View
| Download Published Version (ext.)
2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea, Mihaela, Johannes Wessels, Claudia Müller, Mike Essl, Johannes Eble, Eva Tolosa, Manuel Koch, et al. “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, 2006. https://doi.org/10.1242/jcs.02840.
View
| DOI
2006 | Journal Article | IST-REx-ID: 579
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation through Quantum Interrogation.” Nature. Nature Publishing Group, 2006. https://doi.org/10.1038/nature04523.
View
| DOI
2005 | Journal Article | IST-REx-ID: 3611
Nürnberger, Beate, Nicholas H Barton, Loeske Kruuk, and Timothy Vines. “Mating Patterns in a Bombina Hybrid Zone: Inferences from Adult and Full Sib Genotypes.” Heredity. Nature Publishing Group, 2005. https://doi.org/10.1038/sj.hdy.6800607.
View
| DOI
2005 | Journal Article | IST-REx-ID: 3933
Sixt, Michael K, Nobuo Kanazawa, Manuel Selg, Thomas Samson, Gunnel Roos, Dieter Reinhardt, Reinhard Pabst, Manfred Lutz, and Lydia Sorokin. “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, 2005. https://doi.org/10.1016/j.immuni.2004.11.013.
View
| DOI
2004 | Conference Paper | IST-REx-ID: 3688
Ulges, Adrian, Christoph Lampert, and Thomas Breuel. “Document Capture Using Stereo Vision,” 198–200. ACM, 2004. https://doi.org/10.1145/1030397.1030434.
View
| DOI
| Download (ext.)
2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,” 1–13. ACM, 2004. https://doi.org/10.1145/996841.996844.
View
| DOI
2004 | Journal Article | IST-REx-ID: 864
Panchenko, Anna, Fyodor Kondrashov, and Stephen Bryant. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.” Protein Science. Wiley-Blackwell, 2004. https://doi.org/10.1110/ps.03465504.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2358 |
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Bosons in Three-Dimensional Traps.” Physical Review Letters. American Physical Society, 2003. https://doi.org/10.1103/PhysRevLett.91.150401.
View
| DOI
| Download (ext.)