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
2013 | Journal Article | IST-REx-ID: 2297 |
Seiringer R. 2013. Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics. 8(2), 185–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2301
Desai A, Gupta V, Jackson E, Qadeer S, Rajamani S, Zufferey D. 2013. P: Safe asynchronous event-driven programming. Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Languages Design and Implementation, 321–331.
View
| DOI
| Download None (ext.)
2013 | Journal Article | IST-REx-ID: 2300 |
Giuliani A, Lieb É, Seiringer R. 2013. Realization of stripes and slabs in two and three dimensions. Physical Review B. 88(6), 064401.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2328 |
Henzinger TA, Sezgin A, Vafeiadis V. 2013. Aspect-oriented linearizability proofs. 8052, 242–256.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2412 |
Kupczok A, Bollback JP. 2013. Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology. 13(1), 54–54.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2410 |
Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. 2013. Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements. 1(3).
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2447 |
Piskac R, Wies T, Zufferey D. 2013. Automating separation logic using SMT. 8044, 773–789.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2443 |
Simon S, Kubeš M, Baster P, Robert S, Dobrev P, Friml J, Petrášek J, Zažímalová E. 2013. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. 200(4), 1034–1048.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2446 |
Chatterjee K, Gaiser A, Kretinsky J. 2013. Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. 8044, 559–575.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2444 |
Chatterjee K, Ła̧Cki J. 2013. Faster algorithms for Markov decision processes with low treewidth. 8044, 543–558.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2471 |
Sanchez-Romero I, Ariza A, Wilson K, Skjøt M, Vind J, De Maria L, Skov L, Sánchez Ruiz J. 2013. Mechanism of protein kinetic stabilization by engineered disulfide crosslinks. PLoS One. 8(7), e70013.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2472 |
Cazzonelli C, Vanstraelen M, Simon S, Yin K, Carron Arthur A, Nisar N, Tarle G, Cuttriss A, Searle I, Benková E, Mathesius U, Masle J, Friml J, Pogson B. 2013. Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One. 8(7), e70069.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2470 |
Čovanová M, Sauer M, Rychtář J, Friml J, Petrášek J, Zažímalová E. 2013. Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells. PLoS One. 8(7), e70050.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2466 |
Ando R, Thuerey N, Wojtan C. 2013. Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics. 32(4), 103.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2467 |
Bernstein G, Wojtan C. 2013. Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics. 32(4), 34.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2468 |
Bojsen-Hansen M, Wojtan C. 2013. Liquid surface tracking with error compensation. ACM Transactions on Graphics. 32(4), 68.
[Submitted Version]
View
| Files available
| DOI