Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
LibreCat: https://research-explorer.ista.ac.at/record/2299
DOI: 10.1007/s10009-011-0207-9

Hot topics in cold gases: A mathematical physics perspective
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
LibreCat: https://research-explorer.ista.ac.at/record/2297
DOI: 10.1007/s11537-013-1264-5
arXiv: 0908.3686

(Open) Linked Data in Bibliotheken
P. Danowski, A. Pohl, (Open) Linked Data in Bibliotheken, De Gruyter, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2306
DOI: 10.1515/9783110278736

P: Safe asynchronous event-driven programming
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, D. Zufferey, in:, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–331.
LibreCat: https://research-explorer.ista.ac.at/record/2301
DOI: 10.1145/2491956.2462184

Realization of stripes and slabs in two and three dimensions
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2300
DOI: 10.1103/PhysRevB.88.064401
arXiv: 1305.5323

Dissection of gene function at clonal level using mosaic analysis with double markers
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.
LibreCat: https://research-explorer.ista.ac.at/record/2303
DOI: 10.1007/s11515-013-1279-6

Van der Corput sequences and linear permutations
F. Pausinger, Electronic Notes in Discrete Mathematics 43 (2013) 43–50.
LibreCat: https://research-explorer.ista.ac.at/record/2304
DOI: 10.1016/j.endm.2013.07.008

Aspect-oriented linearizability proofs
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
LibreCat: https://research-explorer.ista.ac.at/record/2328
DOI: 10.1007/978-3-642-40184-8_18

Probabilistic models for CRISPR spacer content evolution 
A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
LibreCat: https://research-explorer.ista.ac.at/record/2412
DOI: 10.1186/1471-2148-13-54

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.
LibreCat: https://research-explorer.ista.ac.at/record/2413
DOI: 10.1002/9783527671632.ch08

Complete genome sequence of the novel phage MG- infecting bacillus weihenstephanensis
R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements 1 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2410
DOI: 10.1128/genomeA.00216-13

Automating separation logic using SMT
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
LibreCat: https://research-explorer.ista.ac.at/record/2447
DOI: 10.1007/978-3-642-39799-8_54

Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
S. Simon, M. Kubes, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrásek, E. Zaeímalová, New Phytologist 200 (2013) 1034–1048.
LibreCat: https://research-explorer.ista.ac.at/record/2443
DOI: 10.1111/nph.12437

Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
LibreCat: https://research-explorer.ista.ac.at/record/2446
DOI: 10.1007/978-3-642-39799-8_37
arXiv: 1304.5281

Faster algorithms for Markov decision processes with low treewidth
K. Chatterjee, J. aCki, 8044 (2013) 543–558.
LibreCat: https://research-explorer.ista.ac.at/record/2444
DOI: 10.1007/978-3-642-39799-8_36
arXiv: 1304.0084

Retromer subunits VPA and VP mediate prevacuolar compartment (PVC) function in Arabidopsis
T. Nodzyski, 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.
LibreCat: https://research-explorer.ista.ac.at/record/2449
DOI: 10.1093/mp/sst044

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).
LibreCat: https://research-explorer.ista.ac.at/record/2471
DOI: 10.1371/journal.pone.0070013

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).
LibreCat: https://research-explorer.ista.ac.at/record/2472
DOI: 10.1371/journal.pone.0070069

Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells
M. covanová, M. Sauer, J. Rychtá, J. Friml, J. Petrásek, E. Zaeímalová, PLoS One 8 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2470
DOI: 10.1371/journal.pone.0070050

Highly adaptive liquid simulations on tetrahedral meshes
R. Ando, N. Thuerey, C. Wojtan, ACM Transactions on Graphics 32 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2466
DOI: 10.1145/2461912.2461982