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.

6065 Publications


2015 | Conference Paper | IST-REx-ID: 1596 | OA
Fulek R, Radoičić R. Vertical visibility among parallel polygons in three dimensions. 2015;9411:373-379. doi:10.1007/978-3-319-27261-0_31
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598 | OA
Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science. 2015;573(3):71-89. doi:10.1016/j.tcs.2015.01.050
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
Babiak T, Blahoudek F, Duret Lutz A, et al. The Hanoi omega-automata format. In: Vol 9206. Springer; 2015:479-486. doi:10.1007/978-3-319-21690-4_31
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
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 Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. Counterexample explanation by learning small strategies in Markov decision processes. In: Vol 9206. Springer; 2015:158-177. doi:10.1007/978-3-319-21690-4_10
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1604
Chatterjee K, Pavlogiannis A, Velner Y. Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . 2015;50(1):539-551. doi:10.1145/2676726.2676968
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1605 | OA
Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. Abstraction-based parameter synthesis for multiaffine systems. In: Vol 9434. Springer; 2015:19-35. doi:10.1007/978-3-319-26287-1_2
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
Nguyen L, Schilling C, Bogomolov S, Johnson T. Runtime verification for hybrid analysis tools. 2015;9333:281-286. doi:10.1007/978-3-319-23820-3_19
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1607 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for quantitative verification in constant treewidth graphs. In: Vol 9206. Springer; 2015:140-157. doi:10.1007/978-3-319-21690-4_9
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
Chatterjee K, Doyen L, Vardi M. The complexity of synthesis from probabilistic components. 2015;9135:108-120. doi:10.1007/978-3-662-47666-6_9
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. 2015;9135(Part II):121-133. doi:10.1007/978-3-662-47666-6_10
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611 | OA
Whitfield J, Zhang W, Herde M, et al. Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. 2015;24(9):1412-1422. doi:10.1002/pro.2721
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 1615 | OA
Hammer M, Krueger Burg D, Tuffy L, et al. Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. 2015;13(3):516-523. doi:10.1016/j.celrep.2015.09.011
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1618 | OA
Veldkamp C, Kiermaier E, Gabel Eissens S, et al. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 2015;54(27):4163-4166. doi:10.1021/acs.biochem.5b00560
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1619 | OA
Chevereau G, Lukacisinova M, Batur T, et al. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 2015;13(11). doi:10.1371/journal.pbio.1002299
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1623 | OA
Hammar P, Angermayr A, Sjostrom S, et al. Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. 2015;8(1). doi:10.1186/s13068-015-0380-2
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1624 | OA
Pavlogiannis A, Chatterjee K, Adlam B, Nowak M. Cellular cooperation with shift updating and repulsion. Scientific Reports. 2015;5. doi:10.1038/srep17147
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1625
Bermano A, Beeler T, Kozlov Y, Bradley D, Bickel B, Gross M. Detailed spatio-temporal reconstruction of eyelids. In: Vol 34. ACM; 2015. doi:10.1145/2766924
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
Martin T, Umetani N, Bickel B. OmniAD: Data-driven omni-directional aerodynamics. In: Vol 34. ACM; 2015. doi:10.1145/2766919
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
Pérez J, Thomaszewski B, Coros S, et al. Design and fabrication of flexible rod meshes. In: Vol 34. ACM; 2015. doi:10.1145/2766998
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628 | OA
Schumacher C, Bickel B, Rys J, Marschner S, Daraio C, Gross M. Microstructures to control elasticity in 3D printing. In: Vol 34. ACM; 2015:136. doi:10.1145/2766926
View | DOI | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1630 | OA
Guerrero P, Jeschke S, Wimmer M, Wonka P. Learning shape placements by example. In: Vol 34. ACM; 2015. doi:10.1145/2766933
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1632 | OA
Ando R, Thuerey N, Wojtan CJ. A stream function solver for liquid simulations. In: Vol 34. ACM; 2015. doi:10.1145/2766935
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
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 | Conference Paper | IST-REx-ID: 1634 | OA
Da F, Batty C, Wojtan CJ, Grinspun E. Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams. In: Vol 34. ACM; 2015. doi:10.1145/2767003
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1635 | OA
Erbar M, Maas J, Tetali P. Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de la faculté des sciences de Toulouse. 2015;24(4):781-800. doi:10.5802/afst.1464
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1636 | OA
Kolmogorov V, Rolinek M, Takhanov R. Effectiveness of structural restrictions for hybrid CSPs. 2015;9472:566-577. doi:10.1007/978-3-662-48971-0_48
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1637 | OA
Kolmogorov V, Krokhin A, Rolinek M. The complexity of general-valued CSPs. In: IEEE; 2015:1246-1258. doi:10.1109/FOCS.2015.80
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1638
Sazanov LA. A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology. 2015;16(6):375-388. doi:10.1038/nrm3997
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1639 | OA
Maas J, Rumpf M, Schönlieb C, Simon S. A generalized model for optimal transport of images including dissipation and density modulation. ESAIM: Mathematical Modelling and Numerical Analysis. 2015;49(6):1745-1769. doi:10.1051/m2an/2015043
View | DOI | Download Preprint (ext.) | arXiv
 

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: 1642 | OA
Fulek R, Kynčl J, Malinovič I, Pálvölgyi D. Clustered planarity testing revisited. Electronic Journal of Combinatorics. 2015;22(4).
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1644 | OA
Demay G, Gazi P, Maurer U, Tackmann B. Query-complexity amplification for random oracles. In: Vol 9063. Springer; 2015:159-180. doi:10.1007/978-3-319-17470-9_10
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1645
Gazi P, Tessaro S. Secret-key cryptography from ideal primitives: A systematic verview. In: 2015 IEEE Information Theory Workshop. IEEE; 2015. doi:10.1109/ITW.2015.7133163
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1646 | OA
Banerjee A, Fuchsbauer G, Peikert C, Pietrzak KZ, Stevens S. Key-homomorphic constrained pseudorandom functions. 2015;9015:31-60. doi:10.1007/978-3-662-46497-7_2
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1647 | OA
Fuchsbauer G, Hanser C, Slamanig D. Practical round-optimal blind signatures in the standard model. In: Vol 9216. Springer; 2015:233-253. doi:10.1007/978-3-662-48000-7_12
View | Files available | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1648 | OA
Fuchsbauer G, Jafargholi Z, Pietrzak KZ. A quasipolynomial reduction for generalized selective decryption on trees. In: Vol 9215. Springer; 2015:601-620. doi:10.1007/978-3-662-47989-6_29
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1649 | OA
Benhamouda F, Krenn S, Lyubashevsky V, Pietrzak KZ. Efficient zero-knowledge proofs for commitments from learning with errors over rings. 2015;9326:305-325. doi:10.1007/978-3-319-24174-6_16
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650 | OA
Skórski M, Golovnev A, Pietrzak KZ. Condensed unpredictability . In: Vol 9134. Springer; 2015:1046-1057. doi:10.1007/978-3-662-47672-7_85
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1651
Baldimtsi F, Chase M, Fuchsbauer G, Kohlweiss M. Anonymous transferable e-cash. In: Vol 9020. Springer; 2015:101-124. doi:10.1007/978-3-662-46447-2_5
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1652 | OA
Alwen JF, Serbinenko V. High parallel complexity graphs and memory-hard functions. In: Proceedings of the 47th Annual ACM Symposium on Theory of Computing. ACM; 2015:595-603. doi:10.1145/2746539.2746622
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1654 | OA
Gazi P, Pietrzak KZ, Tessaro S. Generic security of NMAC and HMAC with input whitening. 2015;9453:85-109. doi:10.1007/978-3-662-48800-3_4
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655 | OA
Martius GS, Olbrich E. Quantifying emergent behavior of autonomous robots. Entropy. 2015;17(10):7266-7297. doi:10.3390/e17107266
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee K, Henzinger TA, Otop J. Nested weighted automata. In: Proceedings - Symposium on Logic in Computer Science. Vol 2015-July. IEEE; 2015. doi:10.1109/LICS.2015.72
View | Files available | DOI | arXiv
 

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 | Conference Paper | IST-REx-ID: 1658
Bogomolov S, Henzinger TA, Podelski A, Ruess J, Schilling C. Adaptive moment closure for parameter inference of biochemical reaction networks. 2015;9308:77-89. doi:10.1007/978-3-319-23401-4_8
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1659 | OA
Boker U, Henzinger TA, Otop J. The target discounted-sum problem. In: LICS. Logic in Computer Science. IEEE; 2015:750-761. doi:10.1109/LICS.2015.74
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1660 | OA
Brázdil T, Kiefer S, Kučera A, Novotny P. Long-run average behaviour of probabilistic vector addition systems. In: IEEE; 2015:44-55. doi:10.1109/LICS.2015.15
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1661 | OA
Chatterjee K, Henzinger M, Loitzenbauer V. Improved algorithms for one-pair and k-pair Streett objectives. In: Proceedings - Symposium on Logic in Computer Science. Vol 2015-July. IEEE; 2015. doi:10.1109/LICS.2015.34
View | Files available | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications