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.

6224 Publications


2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee K, Doyen L. Computation tree logic for synchronization properties. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.98
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. In: Vol 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ESA.2016.28
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Łangowski Ł, Wabnik KT, Li H, et al. Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. 2016;2. doi:10.1038/celldisc.2016.18
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk MJ, Marre O, Tkačik G. Relevant sparse codes with variational information bottleneck. In: Vol 29. Neural Information Processing Systems; 2016:1965-1973.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1083
Booker S, Althof D, Gross A, et al. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 2016;27(3):2318-2334. doi:10.1093/cercor/bhw090
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1088
Uhler C, Shivashankar GV. Geometric control and modeling of genome reprogramming. BioArchitecture. 2016;6(4):76-84. doi:10.1080/19490992.2016.1201620
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.24
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. Linear distances between Markov chains. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.20
View | Files available | DOI
 

2016 | Book Chapter | IST-REx-ID: 1094
Harada H, Shigemoto R. Immunogold protein localization on grid-glued freeze-fracture replicas. In: High-Resolution Imaging of Cellular Proteins. Vol 1474. Springer; 2016:203-216. doi:10.1007/978-1-4939-6352-2_12
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
Haas A, Henzinger TA, Holzer A, et al. Local linearizability for concurrent container-type data structures. In: Leibniz International Proceedings in Informatics. Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.6
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1096
Schwayer C, Sikora MK, Slovakova J, Kardos R, Heisenberg C-PJ. Actin rings of power. Developmental Cell. 2016;37(6):493-506. doi:10.1016/j.devcel.2016.05.024
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
Du T, Schulz A, Zhu B, Bickel B, Matusik W. Computational multicopter design. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982427
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
Pentina A, Urner R. Lifelong learning with weighted majority votes. In: Vol 29. Neural Information Processing Systems; 2016:3619-3627.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo L, Pietroni N, Bickel B, Cignoni P. FlexMolds: Automatic design of flexible shells for molding. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982397
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1101
Mitchell J, Whitfield J, Zhang W, et al. Rangefinder: A semisynthetic FRET sensor design algorithm. ACS SENSORS. 2016;1(11):1286-1290. doi:10.1021/acssensors.6b00576
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov A, Lampert C. Improving weakly-supervised object localization by micro-annotation. In: Proceedings of the British Machine Vision Conference 2016. Vol 2016-September. BMVA Press; 2016:92.1-92.12. doi:10.5244/C.30.92
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. Parallel reachability analysis for hybrid systems. In: IEEE; 2016. doi:10.1109/MEMCOD.2016.7797741
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1105
Savin C, Tkačik G. Estimating nonlinear neural response functions using GP priors and Kronecker methods. In: Vol 29. Neural Information Processing Systems; 2016:3610-3618.
View | Download None (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda A, Sedlmeir F, Collodo M, et al. Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator. In: IEEE; 2016. doi:10.1364/CLEO_SI.2016.SF2G.3
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen M. Tracking, correcting and absorbing water surface waves. 2016. doi:10.15479/AT:ISTA:th_640
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina A. Theoretical foundations of multi-task lifelong learning. 2016. doi:10.15479/AT:ISTA:TH_776
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Rieckh G. Studying the complexities of transcriptional regulation. 2016.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1134
Duggirala P, Fan C, Potok M, et al. Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In: 2016 IEEE Conference on Control Applications. IEEE; 2016. doi:10.1109/CCA.2016.7587948
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni G, Guha S, Rodríguez Navas G. Synthesizing time triggered schedules for switched networks with faulty links. In: Proceedings of the 13th International Conference on Embedded Software . ACM; 2016. doi:10.1145/2968478.2968499
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux P, Vimont U, Wojtan CJ, Rohmer D, Cani M. Space-time sculpting of liquid animation. In: Proceedings of the 9th International Conference on Motion in Games . ACM; 2016. doi:10.1145/2994258.2994261
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
Salzer E, Çaǧdaş D, Hons M, et al. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 2016;17(12):1352-1360. doi:10.1038/ni.3575
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
Chatterjee K, Henzinger TA, Otop J. Quantitative automata under probabilistic semantics. In: Proceedings of the 31st Annual ACM/IEEE Symposium. IEEE; 2016:76-85. doi:10.1145/2933575.2933588
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1139
Düllberg CF, Cade N, Surrey T. Microtubule aging probed by microfluidics assisted tubulin washout. Molecular Biology and Evolution. 2016;27(22):3563-3573. doi:10.1091/mbc.E16-07-0548
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee K, Dvoák W, Henzinger M, Loitzenbauer V. Model and objective separation with conditional lower bounds disjunction is harder than conjunction. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2016:197-206. doi:10.1145/2933575.2935304
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1141
Łazarz R, Idzik M, Gądek K, Gajda-Zagorska EP. Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization. Journal of Computational Science. 2016;17(1):249-260. doi:10.1016/j.jocs.2016.03.004
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1142 | OA
Martins R, Maier J, Gorki A, et al. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 2016;17(12):1361-1372. doi:10.1038/ni.3590
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143 | OA
Nam P, Rougerie N, Seiringer R. Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. 2016;9(2):459-485. doi:10.2140/apde.2016.9.459
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński T, Vanneste S, Zwiewka M, Pernisová M, Hejátko J, Friml J. Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. 2016;9(11):1504-1519. doi:10.1016/j.molp.2016.08.010
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1147 | OA
Balla J, Medved’Ová Z, Kalousek P, et al. Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. 2016;6. doi:10.1038/srep35955
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1148
Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. 2016;149:15-25. doi:10.1016/j.biosystems.2016.07.005
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1149
Miyaji T, Pilarczyk P, Gameiro M, Kokubu H, Mischaikow K. A study of rigorous ODE integrators for multi scale set oriented computations. Applied Numerical Mathematics. 2016;107:34-47. doi:10.1016/j.apnum.2016.04.005
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1150
Renkawitz J, Sixt MK. A Radical Break Restraining Neutrophil Migration. Developmental Cell. 2016;38(5):448-450. doi:10.1016/j.devcel.2016.08.017
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1151 | OA
Simonini S, Deb J, Moubayidin L, et al. A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. 2016;30(20):2286-2296. doi:10.1101/gad.285361.116
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1153 | OA
Žádníková P, Wabnik KT, Abuzeineh A, et al. A model of differential growth guided apical hook formation in plants. Plant Cell. 2016;28(10):2464-2477. doi:10.1105/tpc.15.00569
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1154 | OA
Schwarz J, Bierbaum V, Merrin J, et al. A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. 2016;6. doi:10.1038/srep36440
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1156
Hibi T, Solus LT. Facets of the r-stable (n, k)-hypersimplex. Annals of Combinatorics. 2016;20(4):815-829. doi:10.1007/s00026-016-0325-x
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1157 | OA
Lee J, Schnelli K. Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. 2016;26(6):3786-3839. doi:10.1214/16-AAP1193
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158 | OA
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. 2016;14(12). doi:10.1371/journal.pbio.2000234
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity II. In: Vol 9801. Springer; 2016:468-481. doi:10.1007/978-3-319-50106-2_36
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
Fulek R. C-planarity of embedded cyclic c-graphs. In: Vol 9801. Springer; 2016:94-106. doi:10.1007/978-3-319-50106-2_8
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. Vol 2016. AAAI Press; 2016:3225-3232.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1167 | OA
Zagórski MP, Burda Z, Wacław B. Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. 2016;12(12). doi:10.1371/journal.pcbi.1005218
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1170
Lang M, Stelling J. Modular parameter identification of biomolecular networks. SIAM Journal on Scientific Computing. 2016;38(6):B988-B1008. doi:10.1137/15M103306X
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1171
Tkačik G. 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. Physics of Life Reviews. 2016;17:166-167. doi:10.1016/j.plrev.2016.06.005
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1172 | OA
Sachdeva H, Barma M, Rao M. Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. Scientific Reports. 2016;6. doi:10.1038/srep38840
View | Files available | DOI
 

Search

Filter Publications