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.
8930 Publications
2013 | Book Review | IST-REx-ID: 2205 |
Manipulation of molecules with electromagnetic fields
M. Lemeshko, R. Krems, J. Doyle, S. Kais, Molecular Physics 111 (2013) 1648–1682.
View
| DOI
| Download (ext.)
M. Lemeshko, R. Krems, J. Doyle, S. Kais, Molecular Physics 111 (2013) 1648–1682.
2013 | Journal Article | IST-REx-ID: 2207 |
Dissipative binding of atoms by non-conservative forces
M. Lemeshko, H. Weimer, Nature Communications 4 (2013).
View
| DOI
| Download (ext.)
M. Lemeshko, H. Weimer, Nature Communications 4 (2013).
2013 | Conference Paper | IST-REx-ID: 2210 |
Reconstructing polygons from embedded straight skeletons
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
[Submitted Version]
View
| Download Submitted Version (ext.)
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
2013 | Conference Paper | IST-REx-ID: 2237 |
Tree interpolation in Vampire
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
[Submitted Version]
View
| Files available
| DOI
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
2013 | Conference Paper | IST-REx-ID: 2238
Multi-objective discounted reward verification in graphs and MDPs
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
View
| DOI
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.