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.




6931 Publications

2015 | Published | Journal Article | IST-REx-ID: 1811 | OA
Safari L, Santos J, Amaro P, Jänkälä K, Fratini F. 2015. Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. 56(5), 052105.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1677 | OA
Alt J. 2015. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 56(10), 103301.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1587 | OA
Amaro P, Fratini F, Safari L, Antognini A, Indelicato P, Pohl R, Santos J. 2015. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A. 92(6), 062506.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1940 | OA
Sokolowski TR, Tkačik G. 2015. Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E. 91(6), 062710.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1883 | OA
Keller-Schmidt S, Tugrul M, Eguíluz V, Hernandez Garcia E, Klemm K. 2015. Anomalous scaling in an age-dependent branching model. Physical Review E. 91(2), 022803.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1820 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2015. Optimal cost almost-sure reachability in POMDPs. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence . IAAI: Innovative Applications of Artificial Intelligence, Artifical Intelligence, vol. 5, 3496–3502.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1619 | OA
Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan D, Toprak E, Bollenbach MT. 2015. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 13(11), e1002299.
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | Book Chapter | IST-REx-ID: 10817
Günther D, Reininghaus J, Seidel H-P, Weinkauf T. 2014.Notes on the simplification of the Morse-Smale complex. In: Topological Methods in Data Analysis and Visualization III. , 135–150.
View | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 10884 | OA
Aminof B, Jacobs S, Khalimov A, Rubin S. 2014. Parameterized model checking of token-passing systems. Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 262–281.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
earlier version | 2014 | Published | Conference Paper | IST-REx-ID: 10885 | OA
Chatterjee K, Doyen L, Filiot E, Raskin J-F. 2014. Doomsday equilibria for omega-regular games. VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 78–97.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 10886
Zobel V, Reininghaus J, Hotz I. 2014. Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. Topological Methods in Data Analysis and Visualization III . , Mathematics and Visualization, , 249–262.
View | DOI
 
earlier version | 2014 | Published | Conference Paper | IST-REx-ID: 10892
Biedl T, Huber S, Palfrader P. 2014. Planar matchings for weighted straight skeletons. 25th International Symposium, ISAAC 2014. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 8889, 117–127.
View | Files available | DOI | WoS
 
2014 | Published | Book Chapter | IST-REx-ID: 10893
Kasten J, Reininghaus J, Reich W, Scheuermann G. 2014.Toward the extraction of saddle periodic orbits. In: Topological Methods in Data Analysis and Visualization III . vol. 1, 55–69.
View | DOI
 
earlier version | 2014 | Published | Conference Paper | IST-REx-ID: 10894
Bauer U, Kerber M, Reininghaus J, Wagner H. 2014. PHAT – Persistent Homology Algorithms Toolbox. ICMS 2014: International Congress on Mathematical Software. ICMS: International Congress on Mathematical SoftwareLNCS vol. 8592, 137–143.
View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 2212
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2014. Perfect-information stochastic mean-payoff parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 210–225.
View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 2213 | OA
Chatterjee K, Doyen L, Nain S, Vardi M. 2014. The complexity of partial-observation stochastic parity games with finite-memory strategies. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 242–257.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2214 | OA
Stoler Barak L, Moussion C, Shezen E, Hatzav M, Sixt MK, Alon R. 2014. Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. 9(1), e85699.
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 2215
Renkawitz J, Lademann C, Jentsch S. 2014. Mechanisms and principles of homology search during recombination. Nature Reviews Molecular Cell Biology. 15(6), 369–383.
View | DOI | WoS
 
2014 | Published | Conference Paper | IST-REx-ID: 2216 | OA
Chatterjee K, Ibsen-Jensen R, Majumdar R. 2014. Edit distance for timed automata. HSCC: Hybrid Systems - Computation and Control, 303–312.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Published | Conference Paper | IST-REx-ID: 2217 | OA
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. HSCC: Hybrid Systems - Computation and Control, 213–222.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed