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.




4768 Publications

2013 | Published | Conference Paper | IST-REx-ID: 2327 | OA
From model checking to model measuring
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2328 | OA
Aspect-oriented linearizability proofs
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2329 | OA
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2410 | OA
Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements 1 (2013).
[Published Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2412 | OA
Probabilistic models for CRISPR spacer content evolution
A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
[Published Version] View | Files available | DOI
 
2013 | Published | Book Chapter | IST-REx-ID: 2413
Neuronal oscillations scale up and scale down the brain dynamics
M. Valderrama, V. Botella Soler, M. Le Van Quyen, in:, M. Meyer, Z. Pesenson (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, Wiley-VCH, 2013.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2443 | OA
Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
S. Simon, M. Kubeš, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrášek, E. Zažímalová, New Phytologist 200 (2013) 1034–1048.
[Published Version] View | DOI | Download Published Version (ext.)
 
2013 | Published | Conference Paper | IST-REx-ID: 2444 | OA
Faster algorithms for Markov decision processes with low treewidth
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 2445 | OA
Efficient synthesis for concurrency by semantics-preserving transformations
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2446 | OA
Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 2447 | OA
Automating separation logic using SMT
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2448 | OA
ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8 (2013).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 2449
Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis
T. Nodzyński, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene, G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 9459 | OA
The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin
A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K. Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 9481 | OA
Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm
J.A. Rodrigues, R. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences 110 (2013) 7934–7939.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 9520 | OA
A conversation across generations: Soma-germ cell crosstalk in plants
X. Feng, D. Zilberman, H. Dickinson, Developmental Cell 24 (2013) 215–225.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Research Data Reference | IST-REx-ID: 9749
Forgiver triumphs in alternating prisoner's dilemma
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, (2013).
[Published Version] View | Files available | DOI
 
2013 | Research Data Reference | IST-REx-ID: 9751 | OA
Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2013 | Research Data Reference | IST-REx-ID: 9754 | OA
Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies
J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2013 | Published | Journal Article | IST-REx-ID: 10396 | OA
Stimfit: A fast visualization and analysis environment for cellular neurophysiology
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Export / Embed