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.




4839 Publications

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 | 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: 2466 | OA
Highly adaptive liquid simulations on tetrahedral meshes
Ando, Ryoichi, Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics 32 (4). 2013
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2467 | OA
Putting holes in holey geometry: Topology change for arbitrary surfaces
G. Bernstein, C. Wojtan, ACM Transactions on Graphics 32 (2013).
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2468 | OA
Liquid surface tracking with error compensation
M. Bojsen-Hansen, C. Wojtan, ACM Transactions on Graphics 32 (2013).
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2469 | OA
Three functions of cadherins in cell adhesion
J.-L. Maître, C.-P.J. Heisenberg, Current Biology 23 (2013) R626–R633.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 2470 | OA
Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells
M. Čovanová, M. Sauer, J. Rychtář, J. Friml, J. Petrášek, E. Zažímalová, PLoS One 8 (2013).
[Published Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2471 | OA
Mechanism of protein kinetic stabilization by engineered disulfide crosslinks
I. Sanchez-Romero, A. Ariza, K. Wilson, M. Skjøt, J. Vind, L. De Maria, L. Skov, J. Sánchez Ruiz, PLoS One 8 (2013).
[Published Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2472 | OA
Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development
C. Cazzonelli, M. Vanstraelen, S. Simon, K. Yin, A. Carron Arthur, N. Nisar, G. Tarle, A. Cuttriss, I. Searle, E. Benková, U. Mathesius, J. Masle, J. Friml, B. Pogson, PLoS One 8 (2013).
[Published Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2473 | OA
Genetic hitch-hiking in spatially extended populations
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 75–89.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2517 | OA
Formalizing and reasoning about quality
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2518 | OA
The power of linear programming for finite-valued CSPs: A constructive characterization
V. Kolmogorov, in:, Springer, 2013, pp. 625–636.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 2520 | OA
The supervised IBP: Neighbourhood preserving infinite latent feature models
N. Quadrianto, V. Sharmanska, D. Knowles, Z. Ghahramani, in:, Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–536.
[Submitted Version] View | Files available
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed