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.
1850 Publications
2013 |Published| Conference Paper | IST-REx-ID: 2847 | 
Bansal, Kshitij, et al. Structural Counter Abstraction. Edited by Nir Piterman and Scott Smolka, vol. 7795, Springer, 2013, pp. 62–77, doi:10.1007/978-3-642-36742-7_5.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 |Published| Conference Paper | IST-REx-ID: 2000 |
Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 2445 |
Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2926
Tragust, Simon, et al. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology, vol. 23, no. 1, Cell Press, 2013, pp. 76–82, doi:10.1016/j.cub.2012.11.034.
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 1055
Erne, Barbara, et al. “Bulla in the Lung.” The Lancet, vol. 380, no. 9849, Elsevier, 2012, doi:10.1016/S0140-6736(12)60690-4.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 11751
Lukas, K. C., et al. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science, vol. 47, no. 15, Springer Nature, 2012, pp. 5729–34, doi:10.1007/s10853-012-6463-6.
[Preprint]
View
| DOI
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 11794 |
Dütting, Paul, et al. “Auctions with Heterogeneous Items and Budget Limits.” 8th International Workshop on Internet and Network Economics, vol. 7695, Springer Nature, 2012, pp. 44–57, doi:10.1007/978-3-642-35311-6_4.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi, Riccardo, et al. “On Multiple Keyword Sponsored Search Auctions with Budgets.” 39th International Colloquium on Automata, Languages, and Programming, vol. 7392, Springer Nature, 2012, pp. 1–12, doi:10.1007/978-3-642-31585-5_1.
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 1384 |
Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Journal Article | IST-REx-ID: 1757 |
Zhang, Jianjun, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .” Physical Review Letters, vol. 109, no. 8, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.085502.
View
| DOI
| Download (ext.)
2012 |Published| Journal Article | IST-REx-ID: 1783 |
Mlynek, Jonas, et al. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5, American Physical Society, 2012, doi:10.1103/PhysRevA.86.053838.
View
| DOI
| Download (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 2048 |
Faust, Sebastian, et al. “Practical Leakage-Resilient Symmetric Cryptography.” Conference Proceedings CHES 2012, vol. 7428, Springer, 2012, pp. 213–32, doi:10.1007/978-3-642-33027-8_13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 2049 |
Heyse, Stefan, et al. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” Conference Proceedings FSE 2012, vol. 7549, Springer, 2012, pp. 346–65, doi:10.1007/978-3-642-34047-5_20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Journal Article | IST-REx-ID: 2262
Tasic, Bosiljka, et al. “Extensions of MADM (Mosaic Analysis with Double Markers) in Mice .” PLoS One, vol. 7, no. 3, Public Library of Science, 2012, doi:10.1371/journal.pone.0033332.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 237
De La Bretèche, Régis, et al. “On Manin’s Conjecture for a Family of Châtelet Surfaces.” Annals of Mathematics, vol. 175, no. 1, Princeton University Press, 2012, pp. 297–343, doi:10.4007/annals.2012.175.1.8.
View
| DOI
2012 |Published| Book Chapter | IST-REx-ID: 2399
Seiringer, Robert. “Cold Quantum Gases and Bose Einstein Condensation.” Quantum Many Body Systems, edited by Vincent Rivasseau et al., vol. 2051, Springer, 2012, pp. 55–92, doi:10.1007/978-3-642-29511-9_2.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 242 |
Baier, Stephan, et al. “Averages of Shifted Convolutions of D3 (N).” Proceedings of the Edinburgh Mathematical Society, vol. 55, no. 3, Cambridge University Press, 2012, pp. 551–76, doi:10.1017/S001309151100037X.
View
| DOI
| Download (ext.)
2012 |Published| Journal Article | IST-REx-ID: 2689
Parajuli, Laxmi, et al. “Quantitative Regional and Ultra Structural Localization of the Ca v2 3 Subunit of R Type Calcium Channel in Mouse Brain.” Journal of Neuroscience, vol. 32, no. 39, Society for Neuroscience, 2012, pp. 13555–67, doi:10.1523/JNEUROSCI.1142-12.2012.
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 10904
Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, vol. 7454, Springer, 2012, pp. 115–31, doi:10.1007/978-3-642-32940-1_10.
[Preprint]
View
| Files available
| DOI
| arXiv
2012 |Published| Journal Article | IST-REx-ID: 2770
Erdös, László, et al. “Rigidity of Eigenvalues of Generalized Wigner Matrices.” Advances in Mathematics, vol. 229, no. 3, Academic Press, 2012, pp. 1435–515, doi:10.1016/j.aim.2011.12.010.
View
| DOI