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
K. Chatterjee and R. Ibsen-Jensen, “Qualitative analysis of concurrent mean payoff games,” Information and Computation, vol. 242, no. 6, pp. 2–24, 2015.
View | Files available | DOI | Download (ext.) | arXiv
 

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

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

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

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

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

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

2015 | Journal Article | IST-REx-ID: 1814   OA
S. Jeschke and C. J. Wojtan, “Water wave animation via wavefront parameter interpolation,” ACM Transactions on Graphics, vol. 34, no. 3, 2015.
View | Files available | DOI
 

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

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

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

2015 | Journal Article | IST-REx-ID: 1701   OA
G. Tkacik et al., “Thermodynamics and signatures of criticality in a network of neurons,” PNAS, vol. 112, no. 37, pp. 11508–11513, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

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

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

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

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

2015 | Journal Article | IST-REx-ID: 1497   OA
D. Andergassen et al., “Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data,” Nucleic Acids Research, vol. 43, no. 21, 2015.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1543
Y. Olvera Carrillo et al., “A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants,” Plant Physiology, vol. 169, no. 4, pp. 2684–2699, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1548   OA
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, and J. Kurtz, “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, vol. 81, no. 23, pp. 8135–8144, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1550   OA
C. Mayer et al., “Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries,” Neuron, vol. 87, no. 5, pp. 989–998, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

2015 | Journal Article | IST-REx-ID: 1562
P. Grones et al., “Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles,” Journal of Experimental Botany, vol. 66, no. 16, pp. 5055–5065, 2015.
View | DOI
 

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

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

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

2015 | Journal Article | IST-REx-ID: 1536
J. Sasse et al., “Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport,” Current Biology, vol. 25, no. 5, pp. 647–655, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1574   OA
Q. Chen et al., “A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development,” Nature Communications, vol. 6, 2015.
View | Files available | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1581
M. T. Bollenbach and C.-P. J. Heisenberg, “Gradients are shaping up,” Cell, vol. 161, no. 3, pp. 431–432, 2015.
View | DOI
 

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

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

2015 | Conference Paper | IST-REx-ID: 1651
F. Baldimtsi, M. Chase, G. Fuchsbauer, and M. Kohlweiss, “Anonymous transferable e-cash,” presented at the PKC: Public Key Crypography, Gaithersburg, MD, USA, 2015, vol. 9020, pp. 101–124.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1618   OA
C. Veldkamp et al., “Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites,” Biochemistry, vol. 54, no. 27, pp. 4163–4166, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1625
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, and M. Gross, “Detailed spatio-temporal reconstruction of eyelids,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1632   OA
R. Ando, N. Thuerey, and C. J. Wojtan, “A stream function solver for liquid simulations,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 2015, vol. 34, no. 4.
View | Files available | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1687   OA
M. Sarris and M. K. Sixt, “Navigating in tissue mazes: Chemoattractant interpretation in complex environments,” Current Opinion in Cell Biology, vol. 36, no. 10, pp. 93–102, 2015.
View | Files available | DOI
 

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

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

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

2015 | Journal Article | IST-REx-ID: 1834   OA
C. Chen et al., “Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats,” ASN Neuro, vol. 7, no. 2, 2015.
View | Files available | DOI
 

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

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

2015 | Conference Paper | IST-REx-ID: 1992   OA
A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta, and T. Tarrach, “Succinct representation of concurrent trace sets,” presented at the POPL: Principles of Programming Languages, Mumbai, India, 2015, pp. 433–444.
View | Files available | DOI
 

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

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed