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.

3268 Publications


2012 | Book Chapter | IST-REx-ID: 5745 | OA
Improved Single Pass Algorithms for Resolution Proof Reduction
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Elementary solutions of the Bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Conditional model checking: A technique to pass information between verifiers
D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2048 | OA
Practical leakage-resilient symmetric cryptography
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2049 | OA
Lapin: An efficient authentication protocol based on ring-LPN
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:, Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2263 | OA
A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors
H. Liang, S. Hippenmeyer, H. Ghashghaei, Biology Open 1 (2012) 1200–1203.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2318 | OA
Absence of bound states implies non-negativity of the scattering length
R. Seiringer, Journal of Spectral Theory 2 (2012) 321–328.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2411 | OA
A consistent phylogenetic backbone for the fungi
I. Ebersberger, R. De Matos Simoes, A. Kupczok, M. Gube, E. Kothe, K. Voigt, A. Von Haeseler, Molecular Biology and Evolution 29 (2012) 1319–1334.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2715 | OA
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–473.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3846 | OA
A survey of stochastic ω regular games
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
View | Files available | DOI | Download Submitted Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 3118 | OA
Tracking surfaces with evolving topology
M. Bojsen-Hansen, H. Li, C. Wojtan, ACM Transactions on Graphics 31 (2012).
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3248 | OA
Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components
C. Lampert, J. Peters, Journal of Real-Time Image Processing 7 (2012) 31–41.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 10906 | OA
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 3242 | OA
Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, S. Tragust, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, PLoS Biology 10 (2012).
View | Files available | DOI
 

2012 | Research Data Reference | IST-REx-ID: 9755 | OA
Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, (2012).
View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9757 | OA
Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).
View | Files available | DOI | Download Published Version (ext.)
 
 

2011 | Journal Article | IST-REx-ID: 3269 | OA
Perceptual global illumination cancellation in complex projection environments
Y. Sheng, B. Cutler, C. Chen, J. Nasman, Computer Graphics Forum 30 (2011) 1261–1268.
View | DOI | Download Published Version (ext.)
 

2011 | Thesis | IST-REx-ID: 3275 | OA
The role of chemotactic gradients in dendritic cell migration
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, IST Austria, 2011.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3288 | OA
Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens
M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, N. Hamilton, PLoS One 6 (2011).
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications