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.

5703 Publications


2015 | Technical Report | IST-REx-ID: 5440   OA
Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolutionary Games on Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-323-v2-2
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 778   OA
Alistarh D-A, Kopinsky J, Kuznetsov P, Ravi S, Shavit N. Inherent limitations of hybrid transactional memory. In: Vol 9363. Springer; 2015:185-199. doi:10.1007/978-3-662-48653-5_13
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 780   OA
Alistarh D-A, Gelashvili R. Polylogarithmic-time leader election in population protocols. In: Vol 9135. Springer; 2015:479-491. doi:10.1007/978-3-662-47666-6_38
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 886
Kondrashov D, Kondrashov F. Topological features of rugged fitness landscapes in sequence space. Trends in Genetics. 2015;31(1):24-33. doi:10.1016/j.tig.2014.09.009
View | DOI
 

2015 | Journal Article | IST-REx-ID: 906
Arkhipova O, Meer M, Mikoulinskaia G, et al. Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer. PLoS One. 2015;10(5). doi:10.1371/journal.pone.0125888
View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
Usmanova D, Ferretti L, Povolotskaya I, Vlasov P, Kondrashov F. A model of substitution trajectories in sequence space and long-term protein evolution. Molecular Biology and Evolution. 2015;32(2):542-554. doi:10.1093/molbev/msu318
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633
Hahn D, Wojtan CJ. High-resolution brittle fracture simulation with boundary elements. In: Vol 34. ACM; 2015. doi:10.1145/2766896
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 982   OA
Serbyn M, Papić Z, Abanin D. Criterion for many-body localization-delocalization phase transition. Physical Review X. 2015;5(4). doi:10.1103/PhysRevX.5.041047
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1498   OA
Dragoi C, Henzinger TA, Zufferey D. The need for language support for fault-tolerant distributed systems. 2015;32:90-102. doi:10.4230/LIPIcs.SNAPL.2015.90
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501   OA
Chatterjee K, Chmelik M, Daca P. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 2015;47(2):230-264. doi:10.1007/s10703-015-0235-2
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1594
Forejt V, Krčál J, Kretinsky J. Controller synthesis for MDPs and frequency LTL\GU. In: Vol 9450. Springer; 2015:162-177. doi:10.1007/978-3-662-48899-7_12
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537   OA
Ruprecht V, Wieser S, Callan Jones A, et al. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 2015;160(4):673-685. doi:10.1016/j.cell.2015.01.008
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1640   OA
Šimášková M, O’Brien J, Khan-Djamei M, et al. Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications. 2015;6. doi:10.1038/ncomms9717
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1614   OA
Strüber M, Jonas PM, Bartos M. Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. 2015;112(4):1220-1225. doi:10.1073/pnas.1412996112
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking gene regulatory networks. 2015;9035:469-483. doi:10.1007/978-3-662-46681-0_47
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1823   OA
Chevereau G, Bollenbach MT. Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. 2015;11(4). doi:10.15252/msb.20156098
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1690
Bak S, Bogomolov S, Johnson T. HYST: A source transformation and translation tool for hybrid automaton models. In: Springer; 2015:128-133. doi:10.1145/2728606.2728630
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1657
Chatterjee K, Komárková Z, Kretinsky J. Unifying two views on multiple mean-payoff objectives in Markov decision processes. 2015:244-256. doi:10.1109/LICS.2015.32
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5438
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit Distance for Pushdown Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-334-v1-1
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A, Goyal P. Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. 2015;50(1):97-109. doi:10.1145/2676726.2676979
View | Files available | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed