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.




4935 Publications

2015 | Journal Article | IST-REx-ID: 1828 | OA
Akopyan A, Pirogov S, Rybko A. 2015. Invariant measures of genetic recombination process. Journal of Statistical Physics. 160(1), 163–167.
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1836
Cerny P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. 2015. Segment abstraction for worst-case execution time analysis. 9032, 105–131.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1838 | OA
Bloem R, Chatterjee K, Jacobs S, Könighofer R. 2015. Assume-guarantee synthesis for concurrent reactive programs with partial information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9035, 517–532.
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1839 | OA
Brázdil T, Chatterjee K, Forejt V, Kučera A. 2015. Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. 9035, 181–187.
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1837 | OA
Kühnen J, Braunshier P, Schwegel M, Kuhlmann H, Hof B. 2015. Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics. 770(5), R3.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1846 | OA
Beneš N, Kretinsky J, Larsen K, Möller M, Sickert S, Srba J. 2015. Refinement checking on parametric modal transition systems. Acta Informatica. 52(2–3), 269–297.
[Submitted Version] View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1845 | OA
Vandael DH, Espinoza Martinez C, Jonas PM. 2015. Excitement about inhibitory presynaptic terminals. Neuron. 85(6), 1149–1151.
[Published Version] View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1840 | OA
Geiger B, Petrov T, Kubin G, Koeppl H. 2015. Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. 60(4), 1010–1022.
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1841 | OA
Kolmogorov V. 2015. A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. 37(5), 919–930.
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1849
Himschoot E, Beeckman T, Friml J, Vanneste S. 2015. Calcium is an organizer of cell polarity in plants. Biochimica et Biophysica Acta - Molecular Cell Research. 1853(9), 2168–2172.
View | DOI
 

Search

Filter Publications