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.




3768 Publications

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1093 | OA
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 
2016 | Book Chapter | IST-REx-ID: 1094
Immunogold protein localization on grid-glued freeze-fracture replicas
H. Harada, R. Shigemoto, in:, High-Resolution Imaging of Cellular Proteins, Springer, 2016, pp. 203–216.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1095 | OA
Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1096
Actin rings of power
C. Schwayer, M.K. Sikora, J. Slovakova, R. Kardos, C.-P.J. Heisenberg, Developmental Cell 37 (2016) 493–506.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1097 | OA
Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1098 | OA
Lifelong learning with weighted majority votes
A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.
View | Files available
 
2016 | Conference Paper | IST-REx-ID: 1099 | OA
FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1101
Rangefinder: A semisynthetic FRET sensor design algorithm
J. Mitchell, J. Whitfield, W. Zhang, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, ACS SENSORS 1 (2016) 1286–1290.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1102 | OA
Improving weakly-supervised object localization by micro-annotation
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.
View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1103 | OA
Parallel reachability analysis for hybrid systems
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1105
Estimating nonlinear neural response functions using GP priors and Kronecker methods
C. Savin, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 3610–3618.
View | Download None (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1115 | OA
Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Thesis | IST-REx-ID: 1121 | OA
Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1122 | OA
Tracking, correcting and absorbing water surface waves
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, IST Austria, 2016.
View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1123 | OA
Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1124 | OA
Optical functionalization of human class A orphan G-protein coupled receptors
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1125 | OA
Evolutionary proccesses in variable emvironments
S. Novak, Evolutionary Proccesses in Variable Emvironments, IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1126 | OA
Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, IST Austria, 2016.
View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1128 | OA
Studying the complexities of transcriptional regulation
G. Rieckh, Studying the Complexities of Transcriptional Regulation, IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1129 | OA
Quantitative analysis of haptotactic cell migration
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1130 | OA
Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, IST Austria, 2016.
View | Files available | DOI | Download Published Version (ext.)
 
2016 | Thesis | IST-REx-ID: 1131 | OA
Evolution of transcriptional regulatory sequences
M. Tugrul, Evolution of Transcriptional Regulatory Sequences, IST Austria, 2016.
View | Files available
 
2016 | Conference Paper | IST-REx-ID: 1134
Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1135 | OA
Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1136 | OA
Space-time sculpting of liquid animation
P. Manteaux, U. Vimont, C.J. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1137 | OA
RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 1138 | OA
Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1140 | OA
Model and objective separation with conditional lower bounds disjunction is harder than conjunction
K. Chatterjee, W. Dvoák, M. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1141
Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization
R. Łazarz, M. Idzik, K. Gądek, E.P. Gajda-Zagorska, Journal of Computational Science 17 (2016) 249–260.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1142 | OA
Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions
Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 17(12), 1361–1372.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1143 | OA
Ground states of large bosonic systems: The gross Pitaevskii limit revisited
P. Nam, N. Rougerie, R. Seiringer, Analysis and PDE 9 (2016) 459–485.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1145 | OA
Enquiry into the topology of plasma membrane localized PIN auxin transport components
T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, J. Friml, Molecular Plant 9 (2016) 1504–1519.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1147 | OA
Auxin flow mediated competition between axillary buds to restore apical dominance
J. Balla, Z. Medved’Ová, P. Kalousek, N. Matiješčuková, J. Friml, V. Reinöhl, S. Procházka, Scientific Reports 6 (2016).
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1148
Adaptive moment closure for parameter inference of biochemical reaction networks
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1149
A study of rigorous ODE integrators for multi scale set oriented computations
T. Miyaji, P. Pilarczyk, M. Gameiro, H. Kokubu, K. Mischaikow, Applied Numerical Mathematics 107 (2016) 34–47.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1150
A Radical Break Restraining Neutrophil Migration
J. Renkawitz, M.K. Sixt, Developmental Cell 38 (2016) 448–450.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1151 | OA
A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.
View | Files available | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1153 | OA
A model of differential growth guided apical hook formation in plants
P. Žádníková, K.T. Wabnik, A. Abuzeineh, M. Gallemí, D. Van Der Straeten, R. Smith, D. Inze, J. Friml, P. Prusinkiewicz, E. Benková, Plant Cell 28 (2016) 2464–2477.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1154 | OA
A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients
J. Schwarz, V. Bierbaum, J. Merrin, T. Frank, R. Hauschild, M.T. Bollenbach, S. Tay, M.K. Sixt, M. Mehling, Scientific Reports 6 (2016).
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1157 | OA
Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population
J. Lee, K. Schnelli, Annals of Applied Probability 26 (2016) 3786–3839.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1158 | OA
Shedding light on the grey zone of speciation along a continuum of genomic divergence
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, PLoS Biology 14 (2016).
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1164 | OA
Hanani-Tutte for radial planarity II
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2016, pp. 468–481.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1165 | OA
C-planarity of embedded cyclic c-graphs
R. Fulek, in:, Springer, 2016, pp. 94–106.
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1166
A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
View | Files available
 
2016 | Journal Article | IST-REx-ID: 1167 | OA
Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks
M.P. Zagórski, Z. Burda, B. Wacław, PLoS Computational Biology 12 (2016).
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1170
Modular parameter identification of biomolecular networks
M. Lang, J. Stelling, SIAM Journal on Scientific Computing 38 (2016) B988–B1008.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1171
Understanding regulatory networks requires more than computing a multitude of graph statistics: Comment on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function" by O. C. Martin et al.
G. Tkačik, Physics of Life Reviews 17 (2016) 166–167.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1172 | OA
Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae
H. Sachdeva, M. Barma, M. Rao, Scientific Reports 6 (2016).
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1545 | OA
Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations
P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

type<>research_data

Search

Filter Publications