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.

5295 Publications


2014 | Journal Article | IST-REx-ID: 6122   OA
Linneweber, G. A., Jacobson, J., Busch, K. E., Hudry, B., Christov, C. P., Dormann, D., … Miguel-Aliaga, I. (2014). Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell, 156(1–2), 69–83. https://doi.org/10.1016/j.cell.2013.12.008
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1999
Stroeymeyt, N., Casillas Perez, B. E., & Cremer, S. (2014). Organisational immunity in social insects. Current Opinion in Insect Science, 5(1), 1–15. https://doi.org/10.1016/j.cois.2014.09.001
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 774
Alistarh, D., Censor Hille, K., & Shavit, N. (2014). Brief announcement: Are lock-free concurrent algorithms practically wait-free? (pp. 50–52). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/2611462.2611502
View | DOI
 

2014 | Journal Article | IST-REx-ID: 856
Pougach, K., Voet, A., Kondrashov, F., Voordeckers, K., Christiaens, J., Baying, B., … Verstrepen, K. (2014). Duplication of a promiscuous transcription factor drives the emergence of a new regulatory network. Nature Communications, 5. https://doi.org/10.1038/ncomms5868
View | DOI
 

2014 | Journal Article | IST-REx-ID: 863
Moroz, L., Kocot, K., Citarella, M., Dosung, S., Norekian, T., Povolotskaya, I., … Kohn, A. (2014). The ctenophore genome and the evolutionary origins of neural systems. Nature, 510(7503), 109–114. https://doi.org/10.1038/nature13400
View | DOI
 

2014 | Journal Article | IST-REx-ID: 926
Hannezo, E., Prost, J., & Joanny, J. (2014). Growth homeostatic regulation and stem cell dynamics in tissues. Journal of the Royal Society Interface, 11(93). https://doi.org/10.1098/rsif.2013.0895
View | DOI
 

2014 | Journal Article | IST-REx-ID: 96   OA
Higginbotham, A. P., Kuemmeth, F., Hanson, M., Gossard, A., & Marcus, C. (2014). Coherent operations and screening in multielectron spin qubits. APS Physics, Physical Review Letters, 112(2). https://doi.org/10.1103/PhysRevLett.112.026801
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 117
Jaeger, H., Miskin, M., & Waitukaitis, S. R. (2013). From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions. In AIP Conference Proceedings (Vol. 1542, pp. 3–6). Sydney, Australia: AIP. https://doi.org/10.1063/1.4811858
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 1387
Boker, U., Kuperberg, D., Kupferman, O., & Skrzypczak, M. (2013). Nondeterminism in the presence of a diverse or unknown future. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39212-2_11
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1469
Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics, 234, 85–128. https://doi.org/10.1016/j.aim.2012.10.009
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1786   OA
Nissen, F., Fink, J. M., Mlynek, J., Wallraff, A., & Keeling, J. (2013). Collective suppression of linewidths in circuit QED. Physical Review Letters, 110(20). https://doi.org/10.1103/PhysRevLett.110.203602
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1988
Bonny, M., Fischer Friedrich, E., Loose, M., Schwille, P., & Kruse, K. (2013). Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation. PLoS Computational Biology, 9(12). https://doi.org/10.1371/journal.pcbi.1003347
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2107
Skouras, M., Thomaszewski, B., Coros, S., Bickel, B., & Groß, M. (2013). Computational design of actuated deformable characters. ACM Transactions on Graphics, 32(4). https://doi.org/10.1145/2461912.2461979
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2114
Bickel, B., & Alexa, M. (2013). Computational aspects of fabrication: Modeling, design and 3d printing. IEEE Computer Graphics and Applications, 33(6), 24–25. https://doi.org/10.1109/MCG.2013.89
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2152   OA
Bhongale, S., Mathey, L., Zhao, E., Yelin, S., & Lemeshko, M. (2013). Erratum: Quantum phases of quadrupolar fermi gases in optical lattices. Physical Review Letters, 111(23). https://doi.org/10.1103/PhysRevLett.111.239901
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2210   OA
Biedl, T., Held, M., & Huber, S. (2013). Reconstructing polygons from embedded straight skeletons. In 29th European Workshop on Computational Geometry (pp. 95–98). Braunschweig, Germany: TU Braunschweig.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2284   OA
Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., & Cremer, S. (2013). Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology, 13(1). https://doi.org/10.1186/1471-2148-13-225
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2289   OA
Henzinger, T. A. (2013). Quantitative reactive modeling and verification. Computer Science Research and Development, 28(4), 331–344. https://doi.org/10.1007/s00450-013-0251-7
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2291   OA
Ferrara, A., Fuchsbauer, G., & Warinschi, B. (2013). Cryptographically enforced RBAC (pp. 115–129). Presented at the CSF: Computer Security Foundations, New Orleans, LA, United States: IEEE. https://doi.org/10.1109/CSF.2013.15
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2304
Pausinger, F. (2013). Van der Corput sequences and linear permutations. Electronic Notes in Discrete Mathematics, 43, 43–50. https://doi.org/10.1016/j.endm.2013.07.008
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2258   OA
Kiltz, E., Pietrzak, K. Z., & Szegedy, M. (2013). Digital signatures with minimal overhead from indifferentiable random invertible functions. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_31
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2260   OA
Bernhard, D., Fuchsbauer, G., & Ghadafi, E. (2013). Efficient signatures of knowledge and DAA in the standard model. Presented at the ACNS: Applied Cryptography and Network Security, Banff, AB, Canada: Springer. https://doi.org/10.1007/978-3-642-38980-1_33
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2272   OA
Takhanov, R., & Kolmogorov, V. (2013). Inference algorithms for pattern-based CRFs on sequence data. In ICML’13 Proceedings of the 30th International Conference on International (Vol. 28, pp. 145–153). Atlanta, GA, USA: International Machine Learning Society.
View | Files available | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2277   OA
Simmons, K., Prentice, J., Tkacik, G., Homann, J., Yee, H., Palmer, S., … Balasubramanian, V. (2013). Transformation of stimulus correlations by the retina. PLoS Computational Biology, 9(12). https://doi.org/10.1371/journal.pcbi.1003344
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2518   OA
Kolmogorov, V. (2013). The power of linear programming for finite-valued CSPs: A constructive characterization (Vol. 7965, pp. 625–636). Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39206-1_53
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2520   OA
Quadrianto, N., Sharmanska, V., Knowles, D., & Ghahramani, Z. (2013). The supervised IBP: Neighbourhood preserving infinite latent feature models. In Proceedings of the 29th conference uncertainty in Artificial Intelligence (pp. 527–536). Bellevue, WA, United States: AUAI Press.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2448   OA
Remy, E., Baster, P., Friml, J., & Duque, P. (2013). ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior, 8(10). https://doi.org/10.4161/psb.25688
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2450
Liu, J., Menhi, S., Topping, J., Friml, J., & Lindsey, K. (2013). Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development. Frontiers in Plant Science, 4(75). https://doi.org/10.3389/fpls.2013.00075
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2467   OA
Bernstein, G., & Wojtan, C. J. (2013). Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics, 32(4). https://doi.org/10.1145/2461912.2462027
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2405   OA
Frank, R., Lieb, É., & Seiringer, R. (2013). Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics, 319(2), 557–573. https://doi.org/10.1007/s00220-012-1604-y
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2412   OA
Kupczok, A., & Bollback, J. P. (2013). Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology, 13(1), 54–54. https://doi.org/10.1186/1471-2148-13-54
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2443
Simon, S., Kubeš, M., Baster, P., Robert, S., Dobrev, P., Friml, J., … Zažímalová, E. (2013). Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist, 200(4), 1034–1048. https://doi.org/10.1111/nph.12437
View | DOI
 

2013 | Journal Article | IST-REx-ID: 251
De La Bretèche, R., & Browning, T. D. (2013). Counter examples to the Hasse principle among certain coflasque tori. Journal de Theorie Des Nombres de Bordeaux, 26(1), 25–44. https://doi.org/10.5802/jtnb.857
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2328   OA
Henzinger, T. A., Sezgin, A., & Vafeiadis, V. (2013). Aspect-oriented linearizability proofs. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-40184-8_18
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2823
Pickup, M., Wilson, S., Freudenberger, D., Nicholls, N., Gould, L., Hnatiuk, S., & Delandre, J. (2013). Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology, 38(3), 300–312. https://doi.org/10.1111/j.1442-9993.2012.02404.x
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2828   OA
Kolmogorov, V., & Živný, S. (2013). The complexity of conservative valued CSPs. Journal of the ACM, 60(2). https://doi.org/10.1145/2450142.2450146
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2830
Moussion, C., & Sixt, M. K. (2013). A conduit to amplify innate immunity. Immunity, 38(5), 853–854. https://doi.org/10.1016/j.immuni.2013.05.005
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2835   OA
Yu, H., Karampelias, M., Robert, S., Peer, W., Swarup, R., Ye, S., … Estelle, M. (2013). Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology, 162(2), 965–976. https://doi.org/10.1104/pp.113.217018
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2842   OA
Barton, N. H., Etheridge, A., Kelleher, J., & Véber, A. (2013). Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology, 87(1), 105–119. https://doi.org/10.1016/j.tpb.2013.03.001
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2690
Budisantoso, T., Harada, H., Kamasawa, N., Fukazawa, Y., Shigemoto, R., & Matsui, K. (2013). Evaluation of glutamate concentration transient in the synaptic cleft of the rat calyx of Held. Journal of Physiology, 591(1), 219–239. https://doi.org/10.1113/jphysiol.2012.241398
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2816   OA
Božić, I., Reiter, J., Allen, B., Antal, T., Chatterjee, K., Shah, P., … Nowak, M. (2013). Evolutionary dynamics of cancer in response to targeted combination therapy. ELife, 2. https://doi.org/10.7554/eLife.00747
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2811   OA
Avila, M., & Hof, B. (2013). Nature of laminar-turbulence intermittency in shear flows. Physical Review E, 87(6). https://doi.org/10.1103/PhysRevE.87.063012
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2861
Botella Soler, V., Oteo, J., Ros, J., & Glendinning, P. (2013). Lyapunov exponent and topological entropy plateaus in piecewise linear maps. Journal of Physics A: Mathematical and Theoretical, 46(12). https://doi.org/10.1088/1751-8113/46/12/125101
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2880   OA
Marhavy, P., Vanstraelen, M., De Rybel, B., Zhaojun, D., Bennett, M., Beeckman, T., & Benková, E. (2013). Auxin reflux between the endodermis and pericycle promotes lateral root initiation. EMBO Journal, 32(1), 149–158. https://doi.org/10.1038/emboj.2012.303
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera, A., Henzinger, T. A., Nesetril, J., Vojnar, T., & Antos, D. (Eds.). (2013). Mathematical and Engineering Methods in Computer Science (Vol. 7721, pp. 1–228). Presented at the MEMICS: Mathematical and Engineering methods in computer science, Znojmo, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-36046-6
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2900
Azevedo, R., Lohaus, R., & Paixao, T. (2013). Networking networks. Evolution & Development, 10(5), 514–515.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2854   OA
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2013). Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences, 79(5), 640–657. https://doi.org/10.1016/j.jcss.2012.12.001
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2847   OA
Bansal, K., Koskinen, E., Wies, T., & Zufferey, D. (2013). Structural Counter Abstraction. (N. Piterman & S. Smolka, Eds.). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy: Springer. https://doi.org/10.1007/978-3-642-36742-7_5
View | Files available | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2859   OA
Bendich, P., Edelsbrunner, H., Morozov, D., & Patel, A. (2013). Homology and robustness of level and interlevel sets. Homology, Homotopy and Applications, 15(1), 51–72. https://doi.org/10.4310/HHA.2013.v15.n1.a3
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2948   OA
Tommasi, T., Quadrianto, N., Caputo, B., & Lampert, C. (2013). Beyond dataset bias: Multi-task unaligned shared knowledge transfer. Presented at the ACCV: Asian Conference on Computer Vision, Daejeon, Korea: Springer. https://doi.org/10.1007/978-3-642-37331-2_1
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed