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.
3433 Publications
2015 | Journal Article | IST-REx-ID: 1547 | 
Resolution of unmixed bipartite graphs
F. Mohammadi, S. Moradi, Bulletin of the Korean Mathematical Society 52 (2015) 977–986.
View
| DOI
| Download Preprint (ext.)
F. Mohammadi, S. Moradi, Bulletin of the Korean Mathematical Society 52 (2015) 977–986.
2015 | Journal Article | IST-REx-ID: 1548 |
Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, J. Kurtz, Applied and Environmental Microbiology 81 (2015) 8135–8144.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, J. Kurtz, Applied and Environmental Microbiology 81 (2015) 8135–8144.
2015 | Book Chapter | IST-REx-ID: 1549 |
Flipping the photoswitch: Ion channels under light control
C. Mckenzie, I. Sanchez-Romero, H.L. Janovjak, in:, Novel Chemical Tools to Study Ion Channel Biology, Springer, 2015, pp. 101–117.
View
| Files available
| DOI
C. Mckenzie, I. Sanchez-Romero, H.L. Janovjak, in:, Novel Chemical Tools to Study Ion Channel Biology, Springer, 2015, pp. 101–117.
2015 | Journal Article | IST-REx-ID: 1550 |
Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries
C. Mayer, X. Jaglin, L. Cobbs, R. Bandler, C. Streicher, C. Cepko, S. Hippenmeyer, G. Fishell, Neuron 87 (2015) 989–998.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Mayer, X. Jaglin, L. Cobbs, R. Bandler, C. Streicher, C. Cepko, S. Hippenmeyer, G. Fishell, Neuron 87 (2015) 989–998.
2015 | Journal Article | IST-REx-ID: 1551 |
Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes
L. El Masri, A. Branca, A. Sheppard, A. Papkou, D. Laehnemann, P. Guenther, S. Prahl, M. Saebelfeld, J. Hollensteiner, H. Liesegang, E. Brzuszkiewicz, R. Daniel, N. Michiels, R. Schulte, J. Kurtz, P. Rosenstiel, A. Telschow, E. Bornberg Bauer, H. Schulenburg, PLoS Biology 13 (2015) 1–30.
View
| Files available
| DOI
L. El Masri, A. Branca, A. Sheppard, A. Papkou, D. Laehnemann, P. Guenther, S. Prahl, M. Saebelfeld, J. Hollensteiner, H. Liesegang, E. Brzuszkiewicz, R. Daniel, N. Michiels, R. Schulte, J. Kurtz, P. Rosenstiel, A. Telschow, E. Bornberg Bauer, H. Schulenburg, PLoS Biology 13 (2015) 1–30.
2015 | Journal Article | IST-REx-ID: 1553
Actin flows mediate a universal coupling between cell speed and cell persistence
P. Maiuri, J. Rupprecht, S. Wieser, V. Ruprecht, O. Bénichou, N. Carpi, M. Coppey, S. De Beco, N. Gov, C.-P.J. Heisenberg, C. Lage Crespo, F. Lautenschlaeger, M. Le Berre, A. Lennon Duménil, M. Raab, H. Thiam, M. Piel, M.K. Sixt, R. Voituriez, Cell 161 (2015) 374–386.
View
| DOI
P. Maiuri, J. Rupprecht, S. Wieser, V. Ruprecht, O. Bénichou, N. Carpi, M. Coppey, S. De Beco, N. Gov, C.-P.J. Heisenberg, C. Lage Crespo, F. Lautenschlaeger, M. Le Berre, A. Lennon Duménil, M. Raab, H. Thiam, M. Piel, M.K. Sixt, R. Voituriez, Cell 161 (2015) 374–386.
2015 | Journal Article | IST-REx-ID: 1554 |
Reporters for sensitive and quantitative measurement of auxin response
C. Liao, W. Smet, G. Brunoud, S. Yoshida, T. Vernoux, D. Weijers, Nature Methods 12 (2015) 207–210.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Liao, W. Smet, G. Brunoud, S. Yoshida, T. Vernoux, D. Weijers, Nature Methods 12 (2015) 207–210.
2015 | Journal Article | IST-REx-ID: 1555 |
Rich bifurcation structure in a two patch vaccination model
D. Knipl, P. Pilarczyk, G. Röst, SIAM Journal on Applied Dynamical Systems 14 (2015) 980–1017.
View
| DOI
| Download Published Version (ext.)
D. Knipl, P. Pilarczyk, G. Röst, SIAM Journal on Applied Dynamical Systems 14 (2015) 980–1017.
2015 | Journal Article | IST-REx-ID: 1556 |
The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development
Y. Jia, H. Tian, H. Li, Q. Yu, L. Wang, J. Friml, Z. Ding, Journal of Experimental Botany 66 (2015) 4631–4642.
View
| Files available
| DOI
Y. Jia, H. Tian, H. Li, Q. Yu, L. Wang, J. Friml, Z. Ding, Journal of Experimental Botany 66 (2015) 4631–4642.
2015 | Journal Article | IST-REx-ID: 1557
Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats
F. Javdani, K. Holló, K. Hegedűs, G. Kis, Z. Hegyi, K. Dócs, Y. Kasugai, Y. Fukazawa, R. Shigemoto, M. Antal, Journal of Comparative Neurology 523 (2015) 1967–1983.
View
| DOI
F. Javdani, K. Holló, K. Hegedűs, G. Kis, Z. Hegyi, K. Dócs, Y. Kasugai, Y. Fukazawa, R. Shigemoto, M. Antal, Journal of Comparative Neurology 523 (2015) 1967–1983.
2015 | Journal Article | IST-REx-ID: 1558
The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation
M. Ivanchenko, J. Zhu, B. Wang, E. Medvecka, Y. Du, E. Azzarello, S. Mancuso, M. Megraw, S. Filichkin, J. Dubrovsky, J. Friml, M. Geisler, Development 142 (2015) 712–721.
View
| DOI
M. Ivanchenko, J. Zhu, B. Wang, E. Medvecka, Y. Du, E. Azzarello, S. Mancuso, M. Megraw, S. Filichkin, J. Dubrovsky, J. Friml, M. Geisler, Development 142 (2015) 712–721.
2015 | Journal Article | IST-REx-ID: 1559 |
Computational complexity of ecological and evolutionary spatial dynamics
R. Ibsen-Jensen, K. Chatterjee, M. Nowak, PNAS 112 (2015) 15636–15641.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
R. Ibsen-Jensen, K. Chatterjee, M. Nowak, PNAS 112 (2015) 15636–15641.
2015 | Journal Article | IST-REx-ID: 1560
The lymph node filter revealed
M. Hons, M.K. Sixt, Nature Immunology 16 (2015) 338–340.
View
| DOI
M. Hons, M.K. Sixt, Nature Immunology 16 (2015) 338–340.
2015 | Journal Article | IST-REx-ID: 1561
A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors
K. Heger, M. Kober, D. Rieß, C. Drees, I. de Vries, A. Bertossi, A. Roers, M.K. Sixt, M. Schmidt Supprian, European Journal of Immunology 45 (2015) 1614–1620.
View
| DOI
K. Heger, M. Kober, D. Rieß, C. Drees, I. de Vries, A. Bertossi, A. Roers, M.K. Sixt, M. Schmidt Supprian, European Journal of Immunology 45 (2015) 1614–1620.
2015 | Journal Article | IST-REx-ID: 1562
Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles
P. Grones, X. Chen, S. Simon, W. Kaufmann, R. De Rycke, T. Nodzyński, E. Zažímalová, J. Friml, Journal of Experimental Botany 66 (2015) 5055–5065.
View
| DOI
P. Grones, X. Chen, S. Simon, W. Kaufmann, R. De Rycke, T. Nodzyński, E. Zažímalová, J. Friml, Journal of Experimental Botany 66 (2015) 5055–5065.
2015 | Journal Article | IST-REx-ID: 1563
An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds
G. Graff, P. Pilarczyk, Topological Methods in Nonlinear Analysis 45 (2015) 273–286.
View
| DOI
G. Graff, P. Pilarczyk, Topological Methods in Nonlinear Analysis 45 (2015) 273–286.
2015 | Journal Article | IST-REx-ID: 1564 |
Editorial: Emergent neural computation from the interaction of different forms of plasticity
M. Gilson, C. Savin, F. Zenke, Frontiers in Computational Neuroscience 9 (2015).
View
| Files available
| DOI
M. Gilson, C. Savin, F. Zenke, Frontiers in Computational Neuroscience 9 (2015).
2015 | Journal Article | IST-REx-ID: 1565 |
Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells
D. Gavello, D.H. Vandael, S. Gosso, E. Carbone, V. Carabelli, Journal of Physiology 593 (2015) 4835–4853.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Gavello, D.H. Vandael, S. Gosso, E. Carbone, V. Carabelli, Journal of Physiology 593 (2015) 4835–4853.
2015 | Conference Paper | IST-REx-ID: 1567
Shape, homology, persistence, and stability
H. Edelsbrunner, 9411 (2015).
View
H. Edelsbrunner, 9411 (2015).
2015 | Conference Paper | IST-REx-ID: 1568
The classification of endoscopy images with persistent homology
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, D. Malkova, in:, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2015, p. 7034731.
View
| Files available
| DOI
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, D. Malkova, in:, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2015, p. 7034731.
2015 | Journal Article | IST-REx-ID: 1569 |
An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana
S. Doyle, A. Haegera, T. Vain, A. Rigala, C. Viotti, M. Łangowskaa, Q. Maa, J. Friml, N. Raikhel, G. Hickse, S. Robert, PNAS 112 (2015) E806–E815.
View
| DOI
| Download Published Version (ext.)
S. Doyle, A. Haegera, T. Vain, A. Rigala, C. Viotti, M. Łangowskaa, Q. Maa, J. Friml, N. Raikhel, G. Hickse, S. Robert, PNAS 112 (2015) E806–E815.
2015 | Journal Article | IST-REx-ID: 1570 |
Novel plasticity rule can explain the development of sensorimotor intelligence
R. Der, G.S. Martius, PNAS 112 (2015) E6224–E6232.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
R. Der, G.S. Martius, PNAS 112 (2015) E6224–E6232.
2015 | Journal Article | IST-REx-ID: 1571
Breaking evolutionary constraint with a tradeoff ratchet
M. de Vos, A. Dawid, V. Šunderlíková, S. Tans, PNAS 112 (2015) 14906–14911.
View
| DOI
M. de Vos, A. Dawid, V. Šunderlíková, S. Tans, PNAS 112 (2015) 14906–14911.
2015 | Journal Article | IST-REx-ID: 1572 |
Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
View
| DOI
| Download Preprint (ext.)
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
2015 | Journal Article | IST-REx-ID: 1573 |
Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Communications on Pure and Applied Mathematics 68 (2015) 1845–1884.
View
| DOI
| Download Preprint (ext.)
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Communications on Pure and Applied Mathematics 68 (2015) 1845–1884.
2015 | Journal Article | IST-REx-ID: 1574 |
A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development
Chen Q, Liu Y, Maere S, Lee E, Van Isterdael G, Xie Z, Xuan W, Lucas J, Vassileva V, Kitakura S, Marhavý P, Wabnik KT, Geldner N, Benková E, Le J, Fukaki H, Grotewold E, Li C, Friml J, Sack F, Beeckman T, Vanneste S. 2015. A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications. 6, 8821.
View
| Files available
| DOI
Chen Q, Liu Y, Maere S, Lee E, Van Isterdael G, Xie Z, Xuan W, Lucas J, Vassileva V, Kitakura S, Marhavý P, Wabnik KT, Geldner N, Benková E, Le J, Fukaki H, Grotewold E, Li C, Friml J, Sack F, Beeckman T, Vanneste S. 2015. A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications. 6, 8821.
2015 | Journal Article | IST-REx-ID: 1575 |
Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells
M. Chabaud, M. Heuzé, M. Bretou, P. Vargas, P. Maiuri, P. Solanes, M. Maurin, E. Terriac, M. Le Berre, D. Lankar, T. Piolot, R. Adelstein, Y. Zhang, M.K. Sixt, J. Jacobelli, O. Bénichou, R. Voituriez, M. Piel, A. Lennon Duménil, Nature Communications 6 (2015).
View
| Files available
| DOI
M. Chabaud, M. Heuzé, M. Bretou, P. Vargas, P. Maiuri, P. Solanes, M. Maurin, E. Terriac, M. Le Berre, D. Lankar, T. Piolot, R. Adelstein, Y. Zhang, M.K. Sixt, J. Jacobelli, O. Bénichou, R. Voituriez, M. Piel, A. Lennon Duménil, Nature Communications 6 (2015).
2015 | Journal Article | IST-REx-ID: 1576 |
Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation
S.A. Cepeda Humerez, G. Rieckh, G. Tkačik, Physical Review Letters 115 (2015).
View
| Files available
| DOI
| Download Preprint (ext.)
S.A. Cepeda Humerez, G. Rieckh, G. Tkačik, Physical Review Letters 115 (2015).
2015 | Journal Article | IST-REx-ID: 1577 |
Birth of a new gene on the Y chromosome of Drosophila melanogaster
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, A. Clark, PNAS 112 (2015) 12450–12455.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, A. Clark, PNAS 112 (2015) 12450–12455.
2015 | Journal Article | IST-REx-ID: 1578
Triangulations from topologically correct digital Voronoi diagrams
T. Cao, H. Edelsbrunner, T. Tan, Computational Geometry 48 (2015) 507–519.
View
| DOI
T. Cao, H. Edelsbrunner, T. Tan, Computational Geometry 48 (2015) 507–519.
2015 | Journal Article | IST-REx-ID: 1579 |
Galois groups of Schubert problems of lines are at least alternating
C. Brooks, A. Martin del Campo Sanchez, F. Sottile, Transactions of the American Mathematical Society 367 (2015) 4183–4206.
View
| DOI
| Download Preprint (ext.)
C. Brooks, A. Martin del Campo Sanchez, F. Sottile, Transactions of the American Mathematical Society 367 (2015) 4183–4206.
2015 | Journal Article | IST-REx-ID: 1580 |
Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons
O. Brenes, D.H. Vandael, E. Carbone, P. Montarolo, M. Ghirardi, Neuroscience 311 (2015) 430–443.
View
| Files available
| DOI
O. Brenes, D.H. Vandael, E. Carbone, P. Montarolo, M. Ghirardi, Neuroscience 311 (2015) 430–443.
2015 | Journal Article | IST-REx-ID: 1582 |
Weighted straight skeletons in the plane
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 120–133.
View
| Files available
| DOI
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 120–133.
2015 | Journal Article | IST-REx-ID: 1583 |
A simple algorithm for computing positively weighted straight skeletons of monotone polygons
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Information Processing Letters 115 (2015) 243–247.
View
| Files available
| DOI
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Information Processing Letters 115 (2015) 243–247.
2015 | Journal Article | IST-REx-ID: 1584 |
Reprint of: Weighted straight skeletons in the plane
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 429–442.
View
| Files available
| DOI
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 429–442.
2015 | Journal Article | IST-REx-ID: 1585
Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices
Z. Bao, G. Pan, W. Zhou, IEEE Transactions on Information Theory 61 (2015) 3413–3426.
View
| DOI
Z. Bao, G. Pan, W. Zhou, IEEE Transactions on Information Theory 61 (2015) 3413–3426.
2015 | Journal Article | IST-REx-ID: 1586
Metabolic engineering of cyanobacteria for the synthesis of commodity products
A. Angermayr, A. Gorchs, K. Hellingwerf, Trends in Biotechnology 33 (2015) 352–361.
View
| DOI
A. Angermayr, A. Gorchs, K. Hellingwerf, Trends in Biotechnology 33 (2015) 352–361.
2015 | Journal Article | IST-REx-ID: 1587 |
Quantum interference shifts in laser spectroscopy with elliptical polarization
P. Amaro, F. Fratini, L. Safari, A. Antognini, P. Indelicato, R. Pohl, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 92 (2015).
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Amaro, F. Fratini, L. Safari, A. Antognini, P. Indelicato, R. Pohl, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 92 (2015).
2015 | Journal Article | IST-REx-ID: 1588
Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows
S. Altmeyer, Y. Do, Y. Lai, Physical Review E 92 (2015).
View
| DOI
S. Altmeyer, Y. Do, Y. Lai, Physical Review E 92 (2015).
2015 | Journal Article | IST-REx-ID: 1589 |
Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).
View
| Files available
| DOI
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).
2015 | Book Chapter | IST-REx-ID: 1590 |
Representing directed trees as straight skeletons
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer, 2015, pp. 335–347.
View
| DOI
| Download Preprint (ext.)
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer, 2015, pp. 335–347.
2015 | Journal Article | IST-REx-ID: 1591 |
PIN-dependent auxin transport: Action, regulation, and evolution
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
2015 | Journal Article | IST-REx-ID: 1593 |
Strategies of seedlings to overcome their sessile nature: Auxin in mobility control
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, E. Benková, Frontiers in Plant Science 6 (2015).
View
| Files available
| DOI
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, E. Benková, Frontiers in Plant Science 6 (2015).
2015 | Conference Paper | IST-REx-ID: 1594
Controller synthesis for MDPs and frequency LTL\GU
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
View
| DOI
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
2015 | Conference Paper | IST-REx-ID: 1595 |
Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
View
| Files available
| DOI
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
2015 | Conference Paper | IST-REx-ID: 1596 |
Vertical visibility among parallel polygons in three dimensions
R. Fulek, R. Radoičić, 9411 (2015) 373–379.
View
| Files available
| DOI
R. Fulek, R. Radoičić, 9411 (2015) 373–379.
2015 | Journal Article | IST-REx-ID: 1598 |
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.
2015 | Conference Paper | IST-REx-ID: 1601 |
The Hanoi omega-automata format
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
View
| Files available
| DOI
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
2015 | Journal Article | IST-REx-ID: 1602 |
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.
2015 | Conference Paper | IST-REx-ID: 1603 |
Counterexample explanation by learning small strategies in Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
View
| Files available
| DOI
| Download Preprint (ext.)
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.