Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3025 Publications

2012 | Technical Report | IST-REx-ID: 5396 | OA
Korc, F., Kolmogorov, V., & Lampert, C. (2012). Approximating marginals using discrete energy minimization. IST Austria. https://doi.org/10.15479/AT:IST-2012-0003
View | Files available | DOI
 
2012 | Report | IST-REx-ID: 5398 | OA
Porsche, J. (2012). Actual state of research data @ ISTAustria. IST Austria.
View | Files available
 
2012 | Book Chapter | IST-REx-ID: 5745 | OA
Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 107–121). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-33386-6_10
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger, F. (2012). Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. B. Verkin Institute for Low Temperature Physics and Engineering.
View | Download Published Version (ext.) | WoS
 
2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications