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.

5483 Publications


2014 | Conference Paper | IST-REx-ID: 1869
G. Hofferek and A. Gupta, “Suraq - a controller synthesis tool using uninterpreted functions,” in HVC 2014, Haifa, Israel, 2014, vol. 8855, pp. 68–74.
View | DOI
 

2014 | Technical Report | IST-REx-ID: 5424
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2026
Z. Komárková and J. Kretinsky, “Rabinizer 3: Safraless translation of ltl to small deterministic automata,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Sydney, Australia, 2014, vol. 8837, pp. 235–241.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1903
K. Chatterjee, “Partial-observation stochastic reachability and parity games,” presented at the MFCS: Mathematical Foundations of Computer Science, Budapest, Hungary, 2014, vol. 8634, no. PART 1, pp. 1–4.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5412
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2254   OA
A. Pernia-Andrade and P. M. Jonas, “Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations,” Neuron, vol. 81, no. 1, pp. 140–152, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2228   OA
H. Hu and P. M. Jonas, “A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons,” Nature Neuroscience, vol. 17, no. 5, pp. 686–693, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2716   OA
K. Chatterjee, M. Randour, and J. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” Acta Informatica, vol. 51, no. 3–4, pp. 129–163, 2014.
View | DOI | Download (ext.)
 

2014 | Thesis | IST-REx-ID: 1403
M. Behrndt, Forces driving epithelial spreading in zebrafish epiboly. IST Austria, 2014.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2141
K. Chatterjee and M. Henzinger, “Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition,” Journal of the ACM, vol. 61, no. 3, 2014.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2211
K. Chatterjee and L. Doyen, “Partial-observation stochastic games: How to win when belief fails,” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 2, 2014.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2038
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 4, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7300
D. Aigner, S. A. Freunberger, M. Wilkening, R. Saf, S. M. Borisov, and I. Klimant, “Enhancing photoinduced electron transfer efficiency of fluorescent pH-probes with halogenated phenols,” Analytical Chemistry, vol. 86, no. 18, pp. 9293–9300, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7305
L. Johnson et al., “The role of LiO2 solubility in O2 reduction in aprotic solvents and its consequences for Li–O2 batteries,” Nature Chemistry, vol. 6, no. 12, pp. 1091–1099, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 119   OA
S. R. Waitukaitis, V. Lee, J. Pierson, S. Forman, and H. Jaeger, “Size-dependent same-material tribocharging in insulating grains,” APS Physics, Physical Review Letters, vol. 112, no. 21, 2014.
View | DOI | Download (ext.) | arXiv
 

2014 | Thesis | IST-REx-ID: 1404
M. Stock, Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria, 2014.
View
 

2014 | Conference Paper | IST-REx-ID: 1702   OA
A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1822
V. Jakšić, C. Pillet, and R. Seiringer, “Introduction,” Journal of Mathematical Physics, vol. 55, no. 7, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1853
S. Jha, S. Tripakis, S. Seshia, and K. Chatterjee, “Game theoretic secure localization in wireless sensor networks,” presented at the IOT: Internet of Things, Cambridge, USA, 2014, pp. 85–90.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1980
A. Heikal et al., “Structure of the bacterial type II NADH dehydrogenase: a monotopic membrane protein with an essential role in energy generation,” Molecular Microbiology, vol. 91, no. 5, pp. 950–964, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1877
M. K. Sixt and K. Vaahtomeri, “Physiology: Relax and come in,” Nature, vol. 514, no. 7523, pp. 441–442, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1884
D. Landau et al., “Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples,” Blood, vol. 124, no. 21, pp. 1952–1952, 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1889   OA
G. Bräunlich, C. Hainzl, and R. Seiringer, “Translation-invariant quasi-free states for fermionic systems and the BCS approximation,” Reviews in Mathematical Physics, vol. 26, no. 7, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1891
M. Chwastyk, A. Galera Prat, M. K. Sikora, À. Gómez Sicilia, M. Carrión Vázquez, and M. Cieplak, “Theoretical tests of the mechanical protection strategy in protein nanomechanics,” Proteins: Structure, Function and Bioinformatics, vol. 82, no. 5, pp. 717–726, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1896   OA
R. Kollár, K. Bod’ová, J. Nosek, and Ľ. Tomáška, “Mathematical model of alternative mechanism of telomere length maintenance,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 3, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1916
G. Novarino et al., “Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders,” Science, vol. 343, no. 6170, pp. 506–511, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1923   OA
H. Berthoumieux, J.-L. Maître, C.-P. J. Heisenberg, E. Paluch, F. Julicher, and G. Salbreux, “Active elastic thin shell theory for cellular deformations,” New Journal of Physics, vol. 16, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1928
J. Humplik, A. Hill, and M. Nowak, “Evolutionary dynamics of infectious diseases in finite populations,” Journal of Theoretical Biology, vol. 360, pp. 149–162, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1930
D. Günther, A. Jacobson, J. Reininghaus, H. Seidel, O. Sorkine Hornung, and T. Weinkauf, “Fast and memory-efficient topological denoising of 2D and 3D scalar fields,” IEEE Transactions on Visualization and Computer Graphics, vol. 20, no. 12, pp. 2585–2594, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1935   OA
A. Giuliani, É. Lieb, and R. Seiringer, “Formation of stripes and slabs near the ferromagnetic transition,” Communications in Mathematical Physics, vol. 331, no. 1, pp. 333–350, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1904   OA
R. Frank, M. Lewin, É. Lieb, and R. Seiringer, “Strichartz inequality for orthonormal functions,” Journal of the European Mathematical Society, vol. 16, no. 7, pp. 1507–1526, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1909   OA
T. Ezard, R. Prizak, and R. Hoyle, “The fitness costs of adaptation via phenotypic plasticity and maternal effects,” Functional Ecology, vol. 28, no. 3, pp. 693–701, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1911
A. Engström and P. Noren, “Tverberg’s Theorem and Graph Coloring,” Discrete & Computational Geometry, vol. 51, no. 1, pp. 207–220, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2041   OA
P. M. Jonas and J. Lisman, “Structure, function and plasticity of hippocampal dentate gyrus microcircuits,” Frontiers in Neural Circuits, vol. 8, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2046   OA
M. Bellare and G. Fuchsbauer, “Policy-based signatures,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Buenos Aires, Argentina, 2014, vol. 8383, pp. 520–537.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2003
J. O’Neill and J. L. Csicsvari, “Learning by example in the hippocampus,” Neuron, vol. 83, no. 1, pp. 8–10, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2058   OA
K. Raveendran, C. J. Wojtan, N. Thuerey, and G. Türk, “Blending liquids,” in ACM Transactions on Graphics, Vancouver, Canada, 2014, vol. 33, no. 4.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2022   OA
P. Gao et al., “Deterministic progenitor behavior and unitary production of neurons in the neocortex,” Cell, vol. 159, no. 4, pp. 775–788, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2173   OA
S. Khamis and C. Lampert, “CoConut: Co-classification with output space regularization,” in Proceedings of the British Machine Vision Conference 2014, Nottingham, UK, 2014.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2178   OA
D. Haws, A. Martin Del Campo Sanchez, A. Takemura, and R. Yoshida, “Markov degree of the three-state toric homogeneous Markov chain model,” Beitrage zur Algebra und Geometrie, vol. 55, no. 1, pp. 161–188, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2180   OA
A. Bellet, A. Habrard, E. Morvant, and M. Sebban, “Learning a priori constrained weighted majority votes,” Machine Learning, vol. 97, no. 1–2, pp. 129–154, 2014.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2185   OA
Y. Dodis, K. Z. Pietrzak, and D. Wichs, “Key derivation without entropy waste,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, 2014, vol. 8441, pp. 93–110.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2154   OA
J. Matoušek and U. Wagner, “On Gromov’s method of selecting heavily covered points,” Discrete & Computational Geometry, vol. 52, no. 1, pp. 1–33, 2014.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2159   OA
I. Mabillard and U. Wagner, “Eliminating Tverberg points, I. An analogue of the Whitney trick,” in Proceedings of the Annual Symposium on Computational Geometry, Kyoto, Japan, 2014, pp. 171–180.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2161
C. Westhus, L. V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, and S. Cremer, “Increased grooming after repeated brood care provides sanitary benefits in a clonal ant,” Behavioral Ecology and Sociobiology, vol. 68, no. 10, pp. 1701–1710, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2224
S. Altmeyer, “On secondary instabilities generating footbridges between spiral vortex flow,” Fluid Dynamics Research, vol. 46, no. 2, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2231   OA
G. Rieckh and G. Tkacik, “Noise and information transmission in promoters with multiple internal states,” Biophysical Journal, vol. 106, no. 5, pp. 1194–1204, 2014.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2236   OA
D. Jetchev and K. Z. Pietrzak, “How to fake auxiliary input,” presented at the TCC: Theory of Cryptography Conference, San Diego, USA, 2014, vol. 8349, pp. 566–590.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2248
D. Capek, B. Metscher, and G. Müller, “Thumbs down: A molecular-morphogenetic approach to avian digit homology,” Journal of Experimental Zoology Part B: Molecular and Developmental Evolution, vol. 322, no. 1, pp. 1–12, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2250   OA
D. Kuchibhatla et al., “Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently ‘orphan’ viral proteins,” Journal of Virology, vol. 88, no. 1, pp. 10–20, 2014.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed