Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2770 Publications

2013 | Journal Article | IST-REx-ID: 2856 | OA
Optical control of metabotropic glutamate receptors
J. Levitz, C. Pantoja, B. Gaub, H.L. Janovjak, A. Reiner, A. Hoagland, D. Schoppik, B. Kane, P. Stawski, A. Schier, D. Trauner, E. Isacoff, Nature Neuroscience 16 (2013) 507–516.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2857 | OA
Optical control of ligand-gated ion channels
S. Szobota, C. Mckenzie, H.L. Janovjak, Methods in Molecular Biology 998 (2013) 417–435.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2858 | OA
The effect of one additional driver mutation on tumor progression
J. Reiter, I. Božić, B. Allen, K. Chatterjee, M. Nowak, Evolutionary Applications 6 (2013) 34–45.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2859 | OA
Homology and robustness of level and interlevel sets
P. Bendich, H. Edelsbrunner, D. Morozov, A. Patel, Homology, Homotopy and Applications 15 (2013) 51–72.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2860 | OA
Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning
D. Dupret, J. O’Neill, J.L. Csicsvari, Neuron 78 (2013) 166–180.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2861
Lyapunov exponent and topological entropy plateaus in piecewise linear maps
V. Botella Soler, J. Oteo, J. Ros, P. Glendinning, Journal of Physics A: Mathematical and Theoretical 46 (2013).
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2862 | OA
Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle
H. Tay, S. Schulze, J. Compagnon, F. Foley, C.-P.J. Heisenberg, H.J. Yost, S. Abdelilah Seyfried, J. Amack, Development 140 (2013) 1550–1559.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2863 | OA
Stimulus-dependent maximum entropy models of neural population codes
E. Granot Atedgi, G. Tkačik, R. Segev, E. Schneidman, PLoS Computational Biology 9 (2013).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2880 | OA
Auxin reflux between the endodermis and pericycle promotes lateral root initiation
P. Marhavy, M. Vanstraelen, B. De Rybel, D. Zhaojun, M. Bennett, T. Beeckman, E. Benková, EMBO Journal 32 (2013) 149–158.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2882 | OA
Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism
C. Löfke, M. Zwiewka, I. Heilmann, M. Van Montagu, T. Teichmann, J. Friml, PNAS 110 (2013) 3627–3632.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2883 | OA
Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane
B. Wang, A. Bailly, M. Zwiewk, S. Henrichs, E. Azzarello, S. Mancuso, M. Maeshima, J. Friml, A. Schulz, M. Geisler, Plant Cell 25 (2013) 202–214.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2884
Cell adhesion mechanics of zebrafish gastrulation
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Medecine Sciences 29 (2013) 147–150.
View | DOI
 
2013 | Conference (Editor) | IST-REx-ID: 2885
Mathematical and Engineering Methods in Computer Science
A. Kucera, T.A. Henzinger, J. Nesetril, T. Vojnar, D. Antos, eds., Mathematical and Engineering Methods in Computer Science, Springer, 2013.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2886 | OA
Controllable-choice message sequence graphs
M. Chmelik, V. Řehák, 7721 (2013) 118–130.
View | DOI | Download Submitted Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2887 | OA
Genotypic recognition and spatial responses by rice roots
S. Fang, R. Clark, Y. Zheng, A. Iyer Pascuzzi, J. Weitz, L. Kochian, H. Edelsbrunner, H. Liao, P. Benfey, PNAS 110 (2013) 2670–2675.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 450 | OA
Source population characteristics affect heterosis following genetic rescue of fragmented plant populations
M. Pickup, D. Field, D. Rowell, A. Young, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 476 | OA View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 499
Dynamic persistence of antibiotic-stressed mycobacteria
Y. Wakamoto, N. Dhar, R.P. Chait, K. Schneider, F. Signorino Gelo, S. Leibler, J. Mckinney, Science 339 (2013) 91–95.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 500 | OA
Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza
M. Ward, S. Lycett, D. Avila, J.P. Bollback, A. Leigh Brown, BMC Evolutionary Biology 13 (2013).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 501 | OA
A new species of tapir from the Amazon
M. Cozzuol, C. Clozato, E. Holanda, F. Rodrigues, S. Nienow, B. De Thoisy, R.A. Fernandes Redondo, F. Santos, Journal of Mammalogy 94 (2013) 1331–1345.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 502
Short blind signatures
O. Blazy, G. Fuchsbauer, D. Pointcheval, D. Vergnaud, Journal of Computer Security 21 (2013) 627–661.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 505
Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins
K. Greimel, V. Perz, K. Koren, R. Feola, A. Temel, C. Sohar, E. Herrero Acero, I. Klimant, G. Guebitz, Green Chemistry 15 (2013) 381–388.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 507 | OA
Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis
S. Kim, Z. Xu, K. Song, D. Kim, H. Kang, I. Reichardt, E. Sohn, J. Friml, G. Juergens, I. Hwang, Plant Cell 25 (2013) 2970–2985.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 508 | OA
Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications
E. Tarazona Santos, M. Machado, W. Magalhães, R. Chen, F. Lyon, L. Burdett, A. Crenshaw, C. Fabbri, L. Pereira, L. Pinto, R.A. Fernandes Redondo, B. Sestanovich, M. Yeager, S. Chanock, Molecular Biology and Evolution 30 (2013) 2157–2167.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 509 | OA
The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis
S. Di Rubbo, N. Irani, S. Kim, Z. Xu, A. Gadeyne, W. Dejonghe, I. Vanhoutte, G. Persiau, D. Eeckhout, S. Simon, K. Song, J. Kleine Vehn, J. Friml, G. De Jaeger, D. Van Damme, I. Hwang, E. Russinova, Plant Cell 25 (2013) 2986–2997.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 511 | OA
Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid
A. Pěnčík, B. Simonovik, S. Petersson, E. Henyková, S. Simon, K. Greenham, Y. Zhang, M. Kowalczyk, M. Estelle, E. Zažímalová, O. Novák, G. Sandberg, K. Ljung, Plant Cell 25 (2013) 3858–3870.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 516 | OA
A map of cell type‐specific auxin responses
B. Bargmann, S. Vanneste, G. Krouk, T. Nawy, I. Efroni, E. Shani, G. Choe, J. Friml, D. Bergmann, M. Estelle, K. Birnbaum, Molecular Systems Biology 9 (2013).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 522
Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells
E. Fuertbauer, J. Zaujec, P. Uhrin, I. Raab, M. Weber, H. Schachner, M. Bauer, G. Schütz, B. Binder, M.K. Sixt, D. Kerjaschki, H. Stockinger, Immunology Letters 154 (2013) 31–41.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 527
Modeling framework for the establishment of the apical-basal embryonic axis in plants
K.T. Wabnik, H. Robert, R. Smith, J. Friml, Current Biology 23 (2013) 2513–2518.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 528
Local auxin sources orient the apical basal axis in arabidopsis embryos
H. Robert, P. Grones, A. Stepanova, L. Robles, A. Lokerse, J. Alonso, D. Weijers, J. Friml, Current Biology 23 (2013) 2506–2512.
View | DOI
 
2013 | Technical Report | IST-REx-ID: 5399 | OA
TTP: Tool for Tumor Progression
J. Reiter, I. Bozic, K. Chatterjee, M. Nowak, TTP: Tool for Tumor Progression, IST Austria, 2013.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5400 | OA
What is decidable about partially observable Markov decision processes with ω-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives, IST Austria, 2013.
View | Files available | DOI
 
2013 | Report | IST-REx-ID: 5401 | OA
Initiatives and projects related to RD
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.
View | Files available
 
2013 | Technical Report | IST-REx-ID: 5402 | OA
How free is your linearizable concurrent data structure?
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5403 | OA
Qualitative analysis of concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5404 | OA
The complexity of ergodic games
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5405 | OA
Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5406 | OA
Distributed synthesis for LTL Fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.
View | Files available | DOI
 
2013 | Report | IST-REx-ID: 5407 | OA
Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
View | Files available
 
2013 | Technical Report | IST-REx-ID: 5408 | OA
The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5409 | OA
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5410 | OA
Automatic generation of alternative starting positions for traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
View | Files available | DOI
 
2013 | Book Chapter | IST-REx-ID: 5747 | OA
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 6440 | OA
Replacing competition with cooperation to achieve scalable lock-free FIFO queues
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2901 | OA
Computing the M most probable modes of a graphical model
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, C. Lampert, in:, JMLR, 2013, pp. 161–169.
View | Download None (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2906 | OA
3D kinetic alpha complexes and their implementation
M. Kerber, H. Edelsbrunner, in:, 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2013, pp. 70–77.
View | Files available | DOI
 
2013 | Book Chapter | IST-REx-ID: 2907 | OA
Recombination and sex
N.H. Barton, in:, The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–333.
View | Files available
 
2013 | Journal Article | IST-REx-ID: 2908 | OA
Does hybridisation influence speciation?
N.H. Barton, Journal of Evolutionary Biology 26 (2013) 267–269.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2909 | OA
Modelling evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2910 | OA
Coalescent simulation in continuous space
J. Kelleher, N.H. Barton, A. Etheridge, Bioinformatics 29 (2013) 955–956.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2913 | OA
Retinal metric: a stimulus distance measure derived from population neural responses
G. Tkacik, E. Granot Atedgi, R. Segev, E. Schneidman, Physical Review Letters 110 (2013).
View | DOI | Download Preprint (ext.)
 
2013 | Journal Article | IST-REx-ID: 2914 | OA
Statistical thermodynamics of natural images
G. Stephens, T. Mora, G. Tkačik, W. Bialek, Physical Review Letters 110 (2013).
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2918
Anthrax toxin receptor 2a controls mitotic spindle positioning
I. Castanon, L. Abrami, L. Holtzer, C.-P.J. Heisenberg, F. Van Der Goot, M. González Gaitán, Nature Cell Biology 15 (2013) 28–39.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2919 | OA
SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism
P. Baster, S. Robert, J. Kleine Vehn, S. Vanneste, U. Kania, W. Grunewald, B. De Rybel, T. Beeckman, J. Friml, EMBO Journal 32 (2013) 260–274.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2920 | OA
Neurulation coordinating cell polarisation and lumen formation
J. Compagnon, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 1–3.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2926
Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2939
An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, Computational Geometry: Theory and Applications 46 (2013) 435–447.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2940 | OA
A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it
S. Krenn, K.Z. Pietrzak, A. Wadia, in:, A. Sahai (Ed.), Springer, 2013, pp. 23–39.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2944
Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates.
S. Aeschbacher, A. Futschik, M. Beaumont, Molecular Ecology 22 (2013) 987–1002.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2948 | OA
Beyond dataset bias: Multi-task unaligned shared knowledge transfer
T. Tommasi, N. Quadrianto, B. Caputo, C. Lampert, 7724 (2013) 1–15.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 3116
Code aware resource management
K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, V. Raman, Formal Methods in System Design 42 (2013) 142–174.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 3261 | OA
Positional information, in bits
J. Dubuis, G. Tkačik, E. Wieschaus, T. Gregor, W. Bialek, PNAS 110 (2013) 16301–16308.
View | Files available | DOI | PubMed | Europe PMC
 
2013 | Encyclopedia Article | IST-REx-ID: 3321
Kernel based learning
N. Quadrianto, C. Lampert, in:, W. Dubitzky, O. Wolkenhauer, K. Cho, H. Yokota (Eds.), Encyclopedia of Systems Biology, Springer, 2013, pp. 1069–1069.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 827 | OA
Cytokinin cross talking during biotic and abiotic stress responses
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 828 | OA
Systems approaches to study root architecture dynamics
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1374 | OA
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1376
Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1385 | OA
Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 1387 | OA
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
View | Files available | DOI
 
2013 | Thesis | IST-REx-ID: 1405
Analysis of dynamic message passing programs
D. Zufferey, Analysis of Dynamic Message Passing Programs, IST Austria, 2013.
View | Files available | Download None (ext.)
 
2013 | Thesis | IST-REx-ID: 1406
Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, IST Austria, 2013.
View
 
2012 | Conference Paper | IST-REx-ID: 2048 | OA
Practical leakage-resilient symmetric cryptography
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2049 | OA
Lapin: An efficient authentication protocol based on ring-LPN
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:, Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2263 | OA
A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors
H. Liang, S. Hippenmeyer, H. Ghashghaei, Biology Open 1 (2012) 1200–1203.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2302
The propagation approach for computing biochemical reaction networks
T.A. Henzinger, M. Mateescu, IEEE ACM Transactions on Computational Biology and Bioinformatics 10 (2012) 310–322.
View | DOI | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2318 | OA
Absence of bound states implies non-negativity of the scattering length
R. Seiringer, Journal of Spectral Theory 2 (2012) 321–328.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2411 | OA
A consistent phylogenetic backbone for the fungi
I. Ebersberger, R. De Matos Simoes, A. Kupczok, M. Gube, E. Kothe, K. Voigt, A. Von Haeseler, Molecular Biology and Evolution 29 (2012) 1319–1334.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2715 | OA
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–473.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2825
Dynamic pruning of factor graphs for maximum marginal prediction
C. Lampert, in:, Neural Information Processing Systems, 2012, pp. 82–90.
View
 
2012 | Journal Article | IST-REx-ID: 2848 | OA
Evolutionary game dynamics in populations with different learners
K. Chatterjee, D. Zufferey, M. Nowak, Journal of Theoretical Biology 301 (2012) 161–173.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2849 | OA
On the configuration space of Steiner minimal trees
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2888
Quantitative reactive models
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 493 | OA
Review of the BCI competition IV
M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 494
Translating to Co-Büchi made tight, unified, and useful
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 495 | OA
A Myhill Nerode theorem for automata with advice
A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 496 | OA
Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 497 | OA
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 498 | OA
Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
M. Pickup, D. Field, D. Rowell, A. Young, Evolutionary Applications 5 (2012) 913–924.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 506 | OA
Cell migration: Fibroblasts find a new way to get ahead
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5377 | OA
Mean-payoff pushdown games
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5378 | OA
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5396 | OA
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
View | Files available | DOI
 
2012 | Report | IST-REx-ID: 5398 | OA
Actual state of research data @ ISTAustria
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
View | Files available
 
2012 | Book Chapter | IST-REx-ID: 5745 | OA
Improved Single Pass Algorithms for Resolution Proof Reduction
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 6588 | OA
Elementary solutions of the Bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
View | Download Published Version (ext.) | WoS
 
2012 | Conference Paper | IST-REx-ID: 2890
Synthesis from incompatible specifications
P. Cerny, S. Gopi, T.A. Henzinger, A. Radhakrishna, N. Totla, in:, Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2891 | OA
Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2902
Fractal and computational geometry for generalizing cartographic objects
H. Edelsbrunner, O. Musin, A. Ukhalov, O. Yakimova, V. Alexeev, V. Bogaevskaya, A. Gorohov, M. Preobrazhenskaya, Modeling and Analysis of Information Systems 19 (2012) 152–160.
View | Download None (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2903 | OA
The adaptive topology of a digital image
H. Edelsbrunner, O. Symonova, in:, IEEE, 2012, pp. 41–48.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2904 | OA
Weak multipliers for generalized van der Corput sequences
F. Pausinger, Journal de Theorie Des Nombres Des Bordeaux 24 (2012) 729–749.
View | Files available | DOI
 

Search

Filter Publications