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.

2422 Publications


2014 | Journal Article | IST-REx-ID: 2716   OA
Chatterjee, K., Randour, M., & Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica, 51(3–4), 129–163. https://doi.org/10.1007/s00236-013-0182-6
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2038   OA
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2014). Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL), 15(4), 27. https://doi.org/10.1145/2629686
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2189   OA
Morvant, E. (2014). Adaptation de domaine de vote de majorité par auto-étiquetage non itératif (Vol. 1, pp. 49–58). Presented at the CAP: Conférence Francophone sur l’Apprentissage Automatique (Machine Learning French Conference), Saint-Etienne, France: Elsevier.
View | Download (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 (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2083   OA
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Role of sex and migration in adaptation to sink environments. Evolution, 68(8), 2296–2305. https://doi.org/10.1111/evo.12440
View | Files available | DOI
 

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, 112(21). https://doi.org/10.1103/PhysRevLett.112.218001
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 1702   OA
Gupta, A., Popeea, C., & Rybalchenko, A. (2014). Generalised interpolation by solving recursion free-horn clauses. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing. https://doi.org/10.4204/EPTCS.169.5
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1889   OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics, 26(7). https://doi.org/10.1142/S0129055X14500123
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1896   OA
Kollár, R., Bod’ová, K., Nosek, J., & Tomáška, Ľ. (2014). Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics, 89(3). https://doi.org/10.1103/PhysRevE.89.032701
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1923   OA
Berthoumieux, H., Maître, J.-L., Heisenberg, C.-P. J., Paluch, E., Julicher, F., & Salbreux, G. (2014). Active elastic thin shell theory for cellular deformations. New Journal of Physics, 16. https://doi.org/10.1088/1367-2630/16/6/065005
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed