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.

2601 Publications


2015 | Journal Article | IST-REx-ID: 524
Chatterjee K, Ibsen-Jensen R. 2015. Qualitative analysis of concurrent mean payoff games. Information and Computation. 242(6), 2–24.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5431   OA
Chatterjee K, Ibsen-Jensen R, Hansen K. 2015. The patience of concurrent stochastic games with safety and reachability objectives, IST Austria, 25p.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1939
Dereziński J, Napiórkowski MM. 2015. Erratum to: Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincare. 16(7), 1709–1711.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. 2015. On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34. 476–490.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5443
Chatterjee K, Chmelik M, Davies J. 2015. A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs, IST Austria, 23p.
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1605
Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. 2015. Abstraction-based parameter synthesis for multiaffine systems. HVC: Haifa Verification Conference, LNCS, vol. 9434. 19–35.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1814   OA
Jeschke S, Wojtan CJ. 2015. Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. 34(3), 27.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681   OA
Priklopil T, Chatterjee K. 2015. Evolution of decisions in population games with sequentially searching individuals. Games. 6(4), 413–437.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1732   OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2015. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. ICRA: International Conference on Robotics and Automation 325–330.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1698   OA
Velner Y, Chatterjee K, Doyen L, Henzinger TA, Rabinovich A, Raskin J. 2015. The complexity of multi-mean-payoff and multi-energy games. Information and Computation. 241(4), 177–196.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701   OA
Tkacik G, Mora T, Marre O, Amodei D, Palmer S, Berry Ii M, Bialek W. 2015. Thermodynamics and signatures of criticality in a network of neurons. PNAS. 112(37), 11508–11513.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1838   OA
Bloem R, Chatterjee K, Jacobs S, Könighofer R. 2015. Assume-guarantee synthesis for concurrent reactive programs with partial information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9035. 517–532.
View | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5429
Chatterjee K, Komarkova Z, Kretinsky J. 2015. Unifying two views on multiple mean-payoff objectives in Markov decision processes, IST Austria, 41p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata, IST Austria, 29p.
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549   OA
Fellner A. 2015. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes, IST Austria,p.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1430   OA
Paixao T, Sudholt D, Heredia J, Trubenova B. 2015. First steps towards a runtime comparison of natural and artificial evolution. Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. GECCO: Genetic and evolutionary computation conference 1455–1462.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1497   OA
Andergassen D, Dotter C, Kulinski T, Guenzl P, Bammer P, Barlow D, Pauler F, Hudson Q. 2015. Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research. 43(21), e146.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1505   OA
Bao Z, Pan G, Zhou W. 2015. Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics. 43(1), 382–421.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo Y, Van Bel M, Van Hautegem T, Fendrych M, Huysmans M, Šimášková M, Van Durme M, Buscaill P, Rivas S, Coll N, Coppens F, Maere S, Nowack M. 2015. A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants. Plant Physiology. 169(4), 2684–2699.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1548   OA
Milutinovic B, Höfling C, Futo M, Scharsack J, Kurtz J. 2015. Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination. Applied and Environmental Microbiology. 81(23), 8135–8144.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1550   OA
Mayer C, Jaglin X, Cobbs L, Bandler R, Streicher C, Cepko C, Hippenmeyer S, Fishell G. 2015. Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries. Neuron. 87(5), 989–998.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1555
Knipl D, Pilarczyk P, Röst G. 2015. Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems. 14(2), 980–1017.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1562
Grones P, Chen X, Simon S, Kaufmann W, De Rycke R, Nodzyński T, Zažímalová E, Friml J. 2015. Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles. Journal of Experimental Botany. 66(16), 5055–5065.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1567
Edelsbrunner H. 2015. Shape, homology, persistence, and stability. 9411.
View
 

2015 | Journal Article | IST-REx-ID: 1517   OA
Erbar M, Maas J, Renger M. 2015. From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. 20, 89.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1531
Zobel V, Reininghaus J, Hotz I. 2015. Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature. Mathematics and Visualization. 40, 257–267.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1536
Sasse J, Simon S, Gübeli C, Liu G, Cheng X, Friml J, Bouwmeester H, Martinoia E, Borghi L. 2015. Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport. Current Biology. 25(5), 647–655.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1574   OA
Chen Q, Liu Y, Maere S, Lee E, Van Isterdael G, Xie Z, Xuan W, Lucas J, Vassileva V, Kitakura S, Marhavy P, Wabnik KT, Geldner N, Benková E, Le J, Fukaki H, Grotewold E, Li C, Friml J, Sack F, Beeckman T, Vanneste S. 2015. A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications. 6, 8821.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1593   OA
Žádníková P, Smet D, Zhu Q, Van Der Straeten D, Benková E. 2015. Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. 6(4).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1579   OA
Brooks C, Martin Del Campo Sanchez A, Sottile F. 2015. Galois groups of Schubert problems of lines are at least alternating. Transactions of the American Mathematical Society. 367(6), 4183–4206.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1581
Bollenbach MT, Heisenberg C-PJ. 2015. Gradients are shaping up. Cell. 161(3), 431–432.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1586
Angermayr A, Gorchs A, Hellingwerf K. 2015. Metabolic engineering of cyanobacteria for the synthesis of commodity products. Trends in Biotechnology. 33(6), 352–361.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1649   OA
Benhamouda F, Krenn S, Lyubashevsky V, Pietrzak KZ. 2015. Efficient zero-knowledge proofs for commitments from learning with errors over rings. 9326, 305–325.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1651
Baldimtsi F, Chase M, Fuchsbauer G, Kohlweiss M. 2015. Anonymous transferable e-cash. PKC: Public Key Crypography, LNCS, vol. 9020. 101–124.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1644   OA
Demay G, Gazi P, Maurer U, Tackmann B. 2015. Query-complexity amplification for random oracles. ICITS: International Conference on Information Theoretic Security, LNCS, vol. 9063. 159–180.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1618   OA
Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1625
Bermano A, Beeler T, Kozlov Y, Bradley D, Bickel B, Gross M. 2015. Detailed spatio-temporal reconstruction of eyelids. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1632   OA
Ando R, Thuerey N, Wojtan CJ. 2015. A stream function solver for liquid simulations. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 34.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1699   OA
Uecker H, Setter D, Hermisson J. 2015. Adaptive gene introgression after secondary contact. Journal of Mathematical Biology. 70(7), 1523–1580.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1682   OA
Franek P, Krcál M. 2015. Robust satisfiability of systems of equations. Journal of the ACM. 62(4), 26.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1687   OA
Sarris M, Sixt MK. 2015. Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology. 36(10), 93–102.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1668   OA
Gazi P, Lee J, Seurin Y, Steinberger J, Tessaro S. 2015. Relaxing full-codebook security: A refined analysis of key-length extension schemes. 9054, 319–341.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1663
Kovács K, Steinmann M, Halfon O, Magistretti P, Cardinaux J. 2015. Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2. Cellular Signalling. 27(11), 2252–2260.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1827   OA
Friedlander T, Mayo A, Tlusty T, Alon U. 2015. Evolution of bow-tie architectures in biology. PLoS Computational Biology. 11(3).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1834   OA
Chen C, Wang C, Zhao X, Zhou T, Xu D, Wang Z, Wang Y. 2015. Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. 7(2).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1808
Gupta A, Henzinger TA. 2015. Guest editors’ introduction to special issue on computational methods in systems biology. ACM Transactions on Modeling and Computer Simulation. 25(2), 7.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1841   OA
Kolmogorov V. 2015. A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. 37(5), 919–930.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1992   OA
Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. 2015. Succinct representation of concurrent trace sets. POPL: Principles of Programming Languages 433–444.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1997   OA
Noren P. 2015. The three-state toric homogeneous Markov chain model has Markov degree two. Journal of Symbolic Computation. 68/Part 2(May-June), 285–296.
View | DOI | Download (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed