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.
2975 Publications
2013 | Journal Article | IST-REx-ID: 8245 | 
Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HER2/neu breast cancer patients
B. Petricevic, J. Laengle, J. Singer, M. Sachet, J. Singer, G. Steger, R. Bartsch, E. Jensen-Jarolim, M. Bergmann, Journal of Translational Medicine 11 (2013).
View
| Files available
| DOI
| PubMed | Europe PMC
B. Petricevic, J. Laengle, J. Singer, M. Sachet, J. Singer, G. Steger, R. Bartsch, E. Jensen-Jarolim, M. Bergmann, Journal of Translational Medicine 11 (2013).
2013 | Journal Article | IST-REx-ID: 827 |
Cytokinin cross talking during biotic and abiotic stress responses
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
View
| Files available
| DOI
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
2013 | Journal Article | IST-REx-ID: 828 |
Systems approaches to study root architecture dynamics
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).
View
| Files available
| DOI
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).
2013 | Conference Paper | IST-REx-ID: 1374 |
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
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
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
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.
2013 | Conference Paper | IST-REx-ID: 1385 |
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
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
2013 | Conference Paper | IST-REx-ID: 1387 |
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
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
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.)
D. Zufferey, Analysis of Dynamic Message Passing Programs, IST Austria, 2013.
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
P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, IST Austria, 2013.
2013 | Journal Article | IST-REx-ID: 3261 |
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
J. Dubuis, G. Tkačik, E. Wieschaus, T. Gregor, W. Bialek, PNAS 110 (2013) 16301–16308.
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
N. Quadrianto, C. Lampert, in:, W. Dubitzky, O. Wolkenhauer, K. Cho, H. Yokota (Eds.), Encyclopedia of Systems Biology, Springer, 2013, pp. 1069–1069.
2013 | Journal Article | IST-REx-ID: 8462
Oligomeric states along the folding pathways of β2-microglobulin: Kinetics, thermodynamics, and structure
E. Rennella, T. Cutuil, P. Schanda, I. Ayala, F. Gabel, V. Forge, A. Corazza, G. Esposito, B. Brutscher, Journal of Molecular Biology 425 (2013) 2722–2736.
View
| DOI
E. Rennella, T. Cutuil, P. Schanda, I. Ayala, F. Gabel, V. Forge, A. Corazza, G. Esposito, B. Brutscher, Journal of Molecular Biology 425 (2013) 2722–2736.
2012 | Conference Paper | IST-REx-ID: 2048 |
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.)
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
2012 | Conference Paper | IST-REx-ID: 2049 |
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.)
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:, Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.
2012 | Journal Article | IST-REx-ID: 2263 |
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
H. Liang, S. Hippenmeyer, H. Ghashghaei, Biology Open 1 (2012) 1200–1203.
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
T.A. Henzinger, M. Mateescu, IEEE ACM Transactions on Computational Biology and Bioinformatics 10 (2012) 310–322.
2012 | Journal Article | IST-REx-ID: 2318 |
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.)
R. Seiringer, Journal of Spectral Theory 2 (2012) 321–328.
2012 | Journal Article | IST-REx-ID: 2411 |
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
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.
2012 | Journal Article | IST-REx-ID: 492 |
GiA Roots: Software for the high throughput analysis of plant root system architecture
T. Galkovskyi, Y. Mileyko, A. Bucksch, B. Moore, O. Symonova, C. Price, C. Topp, A. Iyer Pascuzzi, P. Zurek, S. Fang, J. Harer, P. Benfey, J. Weitz, BMC Plant Biology 12 (2012).
View
| Files available
| DOI
T. Galkovskyi, Y. Mileyko, A. Bucksch, B. Moore, O. Symonova, C. Price, C. Topp, A. Iyer Pascuzzi, P. Zurek, S. Fang, J. Harer, P. Benfey, J. Weitz, BMC Plant Biology 12 (2012).
2012 | Journal Article | IST-REx-ID: 493 |
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
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).
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
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).
2012 | Conference Paper | IST-REx-ID: 495 |
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
A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.
2012 | Conference Paper | IST-REx-ID: 496 |
Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
View
| DOI
| Download Preprint (ext.)
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
2012 | Conference Paper | IST-REx-ID: 497 |
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
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
2012 | Journal Article | IST-REx-ID: 498 |
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
M. Pickup, D. Field, D. Rowell, A. Young, Evolutionary Applications 5 (2012) 913–924.
2012 | Journal Article | IST-REx-ID: 506 |
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
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
2012 | Technical Report | IST-REx-ID: 5377 |
Mean-payoff pushdown games
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
View
| Files available
| DOI
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
2012 | Technical Report | IST-REx-ID: 5378 |
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
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
2012 | Technical Report | IST-REx-ID: 5396 |
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
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
2012 | Report | IST-REx-ID: 5398 |
Actual state of research data @ ISTAustria
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
View
| Files available
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
2012 | Book Chapter | IST-REx-ID: 5745 |
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
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
2012 | Conference Paper | IST-REx-ID: 2715 |
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
K. Chatterjee, M. Joglekar, N. Shah, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–473.
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
C. Lampert, in:, Neural Information Processing Systems, 2012, pp. 82–90.
2012 | Journal Article | IST-REx-ID: 2848 |
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
K. Chatterjee, D. Zufferey, M. Nowak, Journal of Theoretical Biology 301 (2012) 161–173.
2012 | Journal Article | IST-REx-ID: 2849 |
On the configuration space of Steiner minimal trees
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
View
| Files available
| DOI
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
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
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
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
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.
2012 | Conference Paper | IST-REx-ID: 2891 |
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
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
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.)
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.
2012 | Conference Paper | IST-REx-ID: 2903 |
The adaptive topology of a digital image
H. Edelsbrunner, O. Symonova, in:, IEEE, 2012, pp. 41–48.
View
| Files available
| DOI
H. Edelsbrunner, O. Symonova, in:, IEEE, 2012, pp. 41–48.
2012 | Journal Article | IST-REx-ID: 2904 |
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
F. Pausinger, Journal de Theorie Des Nombres Des Bordeaux 24 (2012) 729–749.
2012 | Journal Article | IST-REx-ID: 2912
Configuration space for shortest networks
H. Edelsbrunner, N. Strelkova, Uspekhi Mat. Nauk 67 (2012) 203–204.
View
| DOI
H. Edelsbrunner, N. Strelkova, Uspekhi Mat. Nauk 67 (2012) 203–204.
2012 | Conference Paper | IST-REx-ID: 2915
Multi-modal learning for dynamic tactile sensing
O. Kroemer, C. Lampert, J. Peters, in:, Deutsches Zentrum für Luft und Raumfahrt, 2012.
View
O. Kroemer, C. Lampert, J. Peters, in:, Deutsches Zentrum für Luft und Raumfahrt, 2012.
2012 | Conference Paper | IST-REx-ID: 2916 |
Interface Simulation Distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, pp. 29–42.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, pp. 29–42.
2012 | Journal Article | IST-REx-ID: 2917
The game of active search for extra terrestrial intelligence Breaking the Great Silence
H. Vladar, International Journal of Astrobiology 12 (2012) 53–62.
View
| DOI
H. Vladar, International Journal of Astrobiology 12 (2012) 53–62.
2012 | Preprint | IST-REx-ID: 2928 |
Generalized sequential tree-reweighted message passing
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
View
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
2012 | Conference Paper | IST-REx-ID: 2930 |
Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
View
| DOI
| Download Preprint (ext.)
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
2012 | Journal Article | IST-REx-ID: 2931
A dual decomposition approach to feature correspondence
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
View
| DOI
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
2012 | Conference Paper | IST-REx-ID: 2936 |
Finite automata with time delay blocks
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
2012 | Conference Paper | IST-REx-ID: 2937 |
Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
View
| DOI
| Download Submitted Version (ext.)
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.