Please note that ISTA 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.
9078 Publications
2013 | Conference Paper | IST-REx-ID: 2301
P: Safe asynchronous event-driven programming
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, D. Zufferey, in:, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–331.
View
| DOI
| Download None (ext.)
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, D. Zufferey, in:, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–331.
2013 | Journal Article | IST-REx-ID: 2300 | 
Realization of stripes and slabs in two and three dimensions
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
2013 | Journal Article | IST-REx-ID: 2303
Dissection of gene function at clonal level using mosaic analysis with double markers
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.
View
| DOI
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.
2013 | Journal Article | IST-REx-ID: 2304
Van der Corput sequences and linear permutations
F. Pausinger, Electronic Notes in Discrete Mathematics 43 (2013) 43–50.
View
| DOI
F. Pausinger, Electronic Notes in Discrete Mathematics 43 (2013) 43–50.
2013 | Conference Paper | IST-REx-ID: 2315 |
Disordered Bose-Einstein condensates with interaction
R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing, 2013, pp. 610–619.
View
| DOI
| Download None (ext.)
| arXiv
R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing, 2013, pp. 610–619.