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.

3208 Publications


2014 | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee, K., Henzinger, M., Krinninger, S., Loitzenbauer, V., & Raskin, M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.06.031
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., & Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54013-4_10
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon, A., Henzinger, T. A., Nori, A., & Rajamani, S. (2014). Probabilistic programming. In Proceedings of the on Future of Software Engineering (pp. 167–181). Hyderabad, India: ACM. https://doi.org/10.1145/2593882.2593900
View | DOI | Download Published Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1507 | OA
Erdös, L. (2014). Random matrices, log-gases and Hölder regularity (Vol. 3, pp. 214–236). Presented at the ICM: International Congress of Mathematicians, Seoul, Korea: Kyung Moon SA Co. Ltd.
View | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). On the BCS gap equation for superfluid fermionic gases. In Proceedings of the QMath12 Conference (pp. 127–137). Berlin, Germany: World Scientific Publishing. https://doi.org/10.1142/9789814618144_0007
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1629 | OA
Guerrero, P., Jeschke, S., Wimmer, M., & Wonka, P. (2014). Edit propagation using geometric relationship functions. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2591010
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer, G. (2014). Constrained Verifiable Random Functions . In M. Abdalla & R. De Prisco (Eds.), SCN 2014 (Vol. 8642, pp. 95–114). Amalfi, Italy: Springer. https://doi.org/10.1007/978-3-319-10879-7_7
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 119 | OA
Waitukaitis, S. R., Lee, V., Pierson, J., Forman, S., & Jaeger, H. (2014). Size-dependent same-material tribocharging in insulating grains. APS Physics, Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.112.218001
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 9050 | OA
Takagi, D., Palacci, J. A., Braunschweig, A. B., Shelley, M. J., & Zhang, J. (2014). Hydrodynamic capture of microswimmers into sphere-bound orbits. Soft Matter. Royal Society of Chemistry . https://doi.org/10.1039/c3sm52815d
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 96 | OA
Higginbotham, A. P., Kuemmeth, F., Hanson, M., Gossard, A., & Marcus, C. (2014). Coherent operations and screening in multielectron spin qubits. APS Physics, Physical Review Letters. American Physiological Society. https://doi.org/10.1103/PhysRevLett.112.026801
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications