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.




5871 Publications

2017 | Published | Journal Article | IST-REx-ID: 1196
T. A. Henzinger and J. Otop, “Model measuring for discrete and hybrid systems,” Nonlinear Analysis: Hybrid Systems, vol. 23. Elsevier, pp. 166–190, 2017.
View | DOI | WoS
 
2017 | Published | Technical Report | IST-REx-ID: 6426 | OA
T. A. Henzinger, B. Kragl, and S. Qadeer, Synchronizing the asynchronous. IST Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 941 | OA
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic  PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.
[Published Version] View | DOI | Download Published Version (ext.)
 
2017 | Published | Conference Paper | IST-REx-ID: 950 | OA
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
[Published Version] View | Files available | DOI | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 10416 | OA
K. Chatterjee, B. Choudhary, and A. Pavlogiannis, “Optimal Dyck reachability for data-dependence and Alias analysis,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
[Published Version] View | Files available | DOI | arXiv
 
2017 | Published | Technical Report | IST-REx-ID: 5455 | OA
K. Chatterjee, B. Choudhary, and A. Pavlogiannis, Optimal Dyck reachability for data-dependence and alias analysis. IST Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5559 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak , “Strong amplifiers of natural selection.” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 464 | OA
K. Chatterjee, M. Henzinger, and V. Loitzenbauer, “Improved algorithms for parity and Streett objectives,” Logical Methods in Computer Science, vol. 13, no. 3. International Federation of Computational Logic, 2017.
[Published Version] View | Files available | DOI | arXiv
 
2017 | Published | Thesis | IST-REx-ID: 820 | OA
F. Jesse, “The lac operon in the wild,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9709 | OA
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, and M. Berry, “Data from: Error-robust modes of the retinal population code.” Dryad, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 945 | OA
A. K. Huylmans, A. Macon, and B. Vicoso, “Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome,” Molecular Biology and Evolution, vol. 34, no. 10. Oxford University Press, pp. 2637–2649, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 1001 | OA
R. Guseinov, E. Miguel, and B. Bickel, “CurveUps: Shaping objects from flat plates with tension-actuated curvature,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2017, vol. 36, no. 4.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 910 | OA
S. Novak and N. H. Barton, “When does frequency-independent selection maintain genetic variation?,” Genetics, vol. 207, no. 2. Genetics Society of America, pp. 653–668, 2017.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1111 | OA
Heredia, Jorge, Selection limits to adaptive walks on correlated landscapes. Genetics 205 (2). 2017
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 1336 | OA
T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime comparison of natural and artificial evolution,” Algorithmica, vol. 78, no. 2. Springer, pp. 681–713, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1169 | OA
Novak, Sebastian, Spatial gene frequency waves under genotype dependent dispersal. Genetics 205 (1). 2017
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1198 | OA
T. Moser and R. Seiringer, “Triviality of a model of particles with point interactions in the thermodynamic limit,” Letters in Mathematical Physics, vol. 107, no. 3. Springer, pp. 533–552, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 741 | OA
Moser, Thomas, Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics 356 (1). 2017
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Book Chapter | IST-REx-ID: 1213
Baranova, Natalia, Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. Cytokinesis 137. 2017
View | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 605 | OA
J. Brody, S. Dziembowski, S. Faust, and K. Z. Pietrzak, “Position based cryptography and multiparty communication complexity,” presented at the TCC: Theory of Cryptography Conference, Baltimore, MD, United States, 2017, vol. 10677, pp. 56–81.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed