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.
7461 Publications
2014 | Published | Conference Paper | IST-REx-ID: 1853
Game theoretic secure localization in wireless sensor networks
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.
View
| DOI
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.
2014 | Published | Conference Paper | IST-REx-ID: 1870 | 
Lipschitz robustness of finite-state transducers
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
2014 | Published | Conference Paper | IST-REx-ID: 1875 |
Cost-aware automatic program repair
R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.
[Submitted Version]
View
| Files available
| DOI
R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.
2014 | Published | Journal Article | IST-REx-ID: 1884
Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples
D. Landau, C. Stewart, J. Reiter, M. Lawrence, C. Sougnez, J. Brown, A. Lopez Guillermo, S. Gabriel, E. Lander, D. Neuberg, C. López Otín, E. Campo, G. Getz, C. Wu, Blood 124 (2014) 1952–1952.
View
| Download None (ext.)
D. Landau, C. Stewart, J. Reiter, M. Lawrence, C. Sougnez, J. Brown, A. Lopez Guillermo, S. Gabriel, E. Lander, D. Neuberg, C. López Otín, E. Campo, G. Getz, C. Wu, Blood 124 (2014) 1952–1952.
2014 | Published | Journal Article | IST-REx-ID: 1887 |
Gemeinsame Krankheitsabwehr in Ameisengesellschaften
S. Cremer, Zoologie (2014) 23–30.
[Published Version]
View
| Download Published Version (ext.)
S. Cremer, Zoologie (2014) 23–30.
2014 | Published | Book Chapter | IST-REx-ID: 1888
Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften
S. Cremer, in:, Soziale Insekten in Einer Sich Wandelnden Welt, Verlag Dr. Friedrich Pfeil, 2014, pp. 65–72.
View
S. Cremer, in:, Soziale Insekten in Einer Sich Wandelnden Welt, Verlag Dr. Friedrich Pfeil, 2014, pp. 65–72.
2014 | Published | Conference Paper | IST-REx-ID: 1907 |
Optimality of non-adaptive strategies: The case of parallel games
G. Demay, P. Gazi, U. Maurer, B. Tackmann, in:, IEEE International Symposium on Information Theory, IEEE, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
G. Demay, P. Gazi, U. Maurer, B. Tackmann, in:, IEEE International Symposium on Information Theory, IEEE, 2014.
2014 | Published | Journal Article | IST-REx-ID: 1929
An algorithm for cartographic generalization that preserves global topology
V.V. Alexeev, V.G. Bogaevskaya, M.M. Preobrazhenskaya, A.Y. Ukhalov, H. Edelsbrunner, O. Yakimova, Journal of Mathematical Sciences 203 (2014) 754–760.
View
| DOI
V.V. Alexeev, V.G. Bogaevskaya, M.M. Preobrazhenskaya, A.Y. Ukhalov, H. Edelsbrunner, O. Yakimova, Journal of Mathematical Sciences 203 (2014) 754–760.
2014 | Published | Journal Article | IST-REx-ID: 1979
The mechanism of coupling between electron transfer and proton translocation in respiratory complex I
L.A. Sazanov, Journal of Bioenergetics and Biomembranes 46 (2014) 247–253.
View
| DOI
L.A. Sazanov, Journal of Bioenergetics and Biomembranes 46 (2014) 247–253.
2014 | Published | Journal Article | IST-REx-ID: 1980
Structure of the bacterial type II NADH dehydrogenase: a monotopic membrane protein with an essential role in energy generation
A. Heikal, Y. Nakatani, E. Dunn, M. Weimar, C. Day, E. Baker, S. Lott, L.A. Sazanov, G. Cook, Molecular Microbiology 91 (2014) 950–964.
View
| DOI
A. Heikal, Y. Nakatani, E. Dunn, M. Weimar, C. Day, E. Baker, S. Lott, L.A. Sazanov, G. Cook, Molecular Microbiology 91 (2014) 950–964.
2014 | Research Data Reference | IST-REx-ID: 2007 |
gIPFrm: Generalized iterative proportional fitting for relational models
A. Klimova, T. Rudas, (2014).
[Published Version]
View
| Download Published Version (ext.)
A. Klimova, T. Rudas, (2014).
2014 | Published | Conference Paper | IST-REx-ID: 2052
Parameterized model checking of rendezvous systems
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 109–124.
View
| DOI
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 109–124.
2014 | Published | Conference Paper | IST-REx-ID: 2081
Designing inflatable structures
M. Skouras, B. Thomaszewski, P. Kaufmann, A. Garg, B. Bickel, E. Grinspun, M. Gross, in:, ACM, 2014.
View
| DOI
M. Skouras, B. Thomaszewski, P. Kaufmann, A. Garg, B. Bickel, E. Grinspun, M. Gross, in:, ACM, 2014.
2014 | Published | Journal Article | IST-REx-ID: 2133 |
An analog of the 2-Wasserstein metric in non-commutative probability under which the fermionic Fokker-Planck equation is gradient flow for the entropy
E. Carlen, J. Maas, Communications in Mathematical Physics 331 (2014) 887–926.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
E. Carlen, J. Maas, Communications in Mathematical Physics 331 (2014) 887–926.
2014 | Published | Journal Article | IST-REx-ID: 2140 |
Dissipative preparation of spatial order in Rydberg-dressed Bose-Einstein condensates
J. Otterbach, M. Lemeshko, Physical Review Letters 113 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J. Otterbach, M. Lemeshko, Physical Review Letters 113 (2014).
2014 | Published | Conference Paper | IST-REx-ID: 2160 |
A PAC-Bayesian bound for Lifelong Learning
A. Pentina, C. Lampert, in:, ML Research Press, 2014, pp. 991–999.
[Submitted Version]
View
| Download Submitted Version (ext.)
A. Pentina, C. Lampert, in:, ML Research Press, 2014, pp. 991–999.
2014 | Published | Conference Paper | IST-REx-ID: 2177
On the computational complexity of betti numbers reductions from matrix rank
H. Edelsbrunner, S. Parsa, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2014, pp. 152–160.
View
| DOI
H. Edelsbrunner, S. Parsa, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2014, pp. 152–160.
2014 | Published | Conference Paper | IST-REx-ID: 2185 |
Key derivation without entropy waste
Y. Dodis, K.Z. Pietrzak, D. Wichs, in:, P. Nguyen, E. Oswald (Eds.), Springer, 2014, pp. 93–110.
[Submitted Version]
View
| Files available
| DOI
Y. Dodis, K.Z. Pietrzak, D. Wichs, in:, P. Nguyen, E. Oswald (Eds.), Springer, 2014, pp. 93–110.
2014 | Published | Conference Paper | IST-REx-ID: 2189 |
Adaptation de domaine de vote de majorité par auto-étiquetage non itératif
E. Morvant, in:, Elsevier, 2014, pp. 49–58.
[Preprint]
View
| Download Preprint (ext.)
E. Morvant, in:, Elsevier, 2014, pp. 49–58.
2014 | Published | Journal Article | IST-REx-ID: 2208 |
Detecting quadrupole interactions in ultracold Fermi gases
M. Lahrz, M. Lemeshko, K. Sengstock, C. Becker, L. Mathey, Physical Review A - Atomic, Molecular, and Optical Physics 89 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Lahrz, M. Lemeshko, K. Sengstock, C. Becker, L. Mathey, Physical Review A - Atomic, Molecular, and Optical Physics 89 (2014).