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.




4963 Publications

2016 | Published | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov S. The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. 2016;16(1):1-25. doi:10.17323/1609-4514-2016-16-1-1-25
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1523 | OA
Gundert A, Wagner U. On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. 2016;144(4):1815-1828. doi:10.1090/proc/12824
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1524 | OA
Beica A, Guet CC, Petrov T. Efficient reduction of kappa models by static inspection of the rule-set. In: Vol 9271. Springer; 2016:173-191. doi:10.1007/978-3-319-26916-0_10
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger TA, Otop J, Samanta R. Lipschitz robustness of timed I/O systems. In: Vol 9583. Springer; 2016:250-267. doi:10.1007/978-3-662-49122-5_12
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 2016;234:26-48. doi:10.1016/j.artint.2016.01.007
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1545 | OA
Nam P, Napiórkowski MM, Solovej J. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 2016;270(11):4340-4368. doi:10.1016/j.jfa.2015.12.007
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Published | Journal Article | IST-REx-ID: 1552 | OA
Qi Q, Toll Riera M, Heilbron K, Preston G, Maclean RC. The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa. Proceedings of the Royal Society of London Series B Biological Sciences. 2016;283(1822). doi:10.1098/rspb.2015.2452
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1592
Abe M, Fuchsbauer G, Groth J, Haralambiev K, Ohkubo M. Structure preserving signatures and commitments to group elements. Journal of Cryptology. 2016;29(2):363-421. doi:10.1007/s00145-014-9196-7
View | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1597
Schwarz J, Sixt MK. Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. 2016;570:567-581. doi:10.1016/bs.mie.2015.11.004
View | DOI | PubMed | Europe PMC
 
2016 | Published | Journal Article | IST-REx-ID: 1599 | OA
Kiermaier E, Moussion C, Veldkamp C, et al. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 2016;351(6269):186-190. doi:10.1126/science.aad0512
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Published | Journal Article | IST-REx-ID: 1608 | OA
Sadel C. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 2016;17(7):1631-1675. doi:10.1007/s00023-015-0456-3
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Journal Article | IST-REx-ID: 1612 | OA
Kazda A. CSP for binary conservative relational structures. Algebra Universalis. 2016;75(1):75-84. doi:10.1007/s00012-015-0358-8
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1319
Bächer M, Hepp B, Pece F, et al. DefSense: computational design of customized deformable input devices. In: ACM; 2016:3806-3816. doi:10.1145/2858036.2858354
View | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1320
Lang M, Sontag E. Scale-invariant systems realize nonlinear differential operators. In: Vol 2016-July. IEEE; 2016. doi:10.1109/ACC.2016.7526722
[Preprint] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1321 | OA
Leithner AF, Eichner A, Müller J, et al. Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. 2016;18:1253-1259. doi:10.1038/ncb3426
[Submitted Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1322 | OA
Hilbe C, Hagel K, Milinski M. Asymmetric power boosts extortion in an economic experiment. PLoS One. 2016;11(10). doi:10.1371/journal.pone.0163867
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1323 | OA
Vyleta N, Borges Merjane C, Jonas PM. Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses. eLife. 2016;5. doi:10.7554/eLife.17977
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1324
Chatterjee K, Chmelik M. Indefinite-horizon reachability in Goal-DEC-POMDPs. In: Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling. Vol 2016-January. AAAI Press; 2016:88-96.
View | Download None (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1325 | OA
Brázdil T, Forejt V, Kučera A, Novotný P. Stability in graphs and games. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.10
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1326 | OA
Brázdil T, Kučera A, Novotný P. Optimizing the expected mean payoff in Energy Markov Decision Processes. In: Vol 9938. Springer; 2016:32-49. doi:10.1007/978-3-319-46520-3_3
[Preprint] View | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed