Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

358 Publications


2015 | Conference Paper | IST-REx-ID: 1605
Abstraction-based parameter synthesis for multiaffine systems
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1648   OA
A quasipolynomial reduction for generalized selective decryption on trees
G. Fuchsbauer, Z. Jafargholi, K.Z. Pietrzak, in:, Springer, 2015, pp. 601–620.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650   OA
Condensed unpredictability
M. Skórski, A. Golovnev, K.Z. Pietrzak, in:, Springer, 2015, pp. 1046–1057.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655   OA
Quantifying emergent behavior of autonomous robots
G.S. Martius, E. Olbrich, Entropy 17 (2015) 7266–7297.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1636   OA
Effectiveness of structural restrictions for hybrid CSPs
V. Kolmogorov, M. Rolinek, R. Takhanov, 9472 (2015) 566–577.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1693   OA
Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1698   OA
The complexity of multi-mean-payoff and multi-energy games
Y. Velner, K. Chatterjee, L. Doyen, T.A. Henzinger, A. Rabinovich, J. Raskin, Information and Computation 241 (2015) 177–196.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701   OA
Thermodynamics and signatures of criticality in a network of neurons
G. Tkacik, T. Mora, O. Marre, D. Amodei, S. Palmer, M. Berry Ii, W. Bialek, PNAS 112 (2015) 11508–11513.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1706   OA
Multi-task and lifelong learning of kernels
A. Pentina, S. Ben David, in:, Springer, 2015, pp. 194–208.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1679   OA
Taylor's Forest
G.M. Lemoult, P. Maier, B. Hof, Physics of Fluids 27 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681   OA
Evolution of decisions in population games with sequentially searching individuals
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1686 View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1667   OA
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T. Brázdil, L. Korenčiak, J. Krčál, P. Novotny, V. Řehák, 9259 (2015) 141–159.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1674   OA
Edge universality for deformed Wigner matrices
J. Lee, K. Schnelli, Reviews in Mathematical Physics 27 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1807   OA
Sharp interface limit for two components Bose-Einstein condensates
M. Goldman, J. Royo-Letelier, ESAIM - Control, Optimisation and Calculus of Variations 21 (2015) 603–624.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1814   OA
Water wave animation via wavefront parameter interpolation
S. Jeschke, C.J. Wojtan, ACM Transactions on Graphics 34 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1819
Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana
M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1838   OA
Assume-guarantee synthesis for concurrent reactive programs with partial information
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1840   OA
Optimal Kullback-Leibler aggregation via information bottleneck
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1857   OA
Curriculum learning of multiple tasks
A. Pentina, V. Sharmanska, C. Lampert, in:, IEEE, 2015, pp. 5492–5500.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1864   OA
The Altshuler–Shklovskii formulas for random band matrices II: The general case
L. Erdös, A. Knowles, Annales Henri Poincare 16 (2015) 709–799.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1871   OA
Auxin transporters and binding proteins at a glance
P. Grones, J. Friml, Journal of Cell Science 128 (2015) 1–7.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1883
Anomalous scaling in an age-dependent branching model
S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, K. Klemm, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1845   OA
Excitement about inhibitory presynaptic terminals
D.H. Vandael, C.M. Espinoza Martinez, P.M. Jonas, Neuron 85 (2015) 1149–1151.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2014   OA
Faithfulness and learning hypergraphs from discrete distributions
A. Klimova, C. Uhler, T. Rudas, Computational Statistics & Data Analysis 87 (2015) 57–72.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1713
Correction: Plasma membrane bound AGC3 kinases phosphorylate PIN auxin carriers at TPRXS N S motifs to direct apical PIN recycling
P. Dhonukshe, F. Huang, C. Galván Ampudia, A. Mähönen, J. Kleine Vehn, J. Xu, A. Quint, K. Prasad, J. Friml, B. Scheres, R. Offringa, Development 142 (2015) 2386–2387.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 473   OA
Derivation of nonlinear gibbs measures from many-body quantum mechanics
M. Lewin, N. Phan Thanh, N. Rougerie, Journal de l’Ecole Polytechnique - Mathematiques 2 (2015) 65–115.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 524
Qualitative analysis of concurrent mean payoff games
K. Chatterjee, R. Ibsen-Jensen, Information and Computation 242 (2015) 2–24.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1732
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, IEEE, 2015, pp. 325–330.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5429
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5443   OA
A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, J. Davies, A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5431   OA
The patience of concurrent stochastic games with safety and reachability objectives
K. Chatterjee, R. Ibsen-Jensen, K. Hansen, The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436   OA
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549   OA
Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
A. Fellner, Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes, IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5804
From prima quadraginta octant to lattice sphere through primitive integer operations
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1939
Erratum to: Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit
J. Dereziński, M.M. Napiórkowski, Annales Henri Poincare 16 (2015) 1709–1711.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511
On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 6737   OA
Achieving Marton’s region for broadcast channels using polar codes
M. Mondelli, H. Hassani, I. Sason, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 783–800.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 815
The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly
F. Schur, R. Dick, W. Hagen, V. Vogt, J. Briggs, Journal of Virology 89 (2015) 10294–10302.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 928   OA
Assembly and positioning of actomyosin rings by contractility and planar cell polarity
I. Sehring, P. Recho, E. Denker, M. Kourakis, B. Mathiesen, E.B. Hannezo, B. Dong, D. Jiang, ELife 4 (2015).
View | Files available | DOI
 

2015 | Book Review | IST-REx-ID: 1473   OA
Cohomology of large semiprojective hyperkähler varieties
T. Hausel, F. Rodríguez Villegas, Asterisque 2015 (2015) 113–156.
View | Download (ext.)
 

2015 | Conference Poster | IST-REx-ID: 1500
Poster: HyRG: A random generation tool for affine hybrid automata
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata, Springer, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1531
Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature
V. Zobel, J. Reininghaus, I. Hotz, Mathematics and Visualization 40 (2015) 257–267.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1788
Strong opto-electro-mechanical coupling in a silicon photonic crystal cavity
A. Pitanti, J.M. Fink, A. Safavi Naeini, J. Hill, C. Lei, A. Tredicucci, O. Painter, Optics Express 23 (2015) 3196–3208.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1803
Basolateral amygdala bidirectionally modulates stress induced hippocampal learning and memory deficits through a p25/Cdk5-dependent pathway
D. Rei, X. Mason, J. Seo, J. Gräff, A. Rudenko, J. Wang, R. Rueda, S. Siegert, S. Cho, R. Canter, A. Mungenast, K. Deisseroth, L. Tsai, PNAS 112 (2015) 7291–7296.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 260
Erratum Rational points on intersections of cubic and quadric hypersurfaces
T.D. Browning, R. Dietmann, R. Heath Brown, Journal of the Institute of Mathematics of Jussieu 14 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 354
Electron doping in bottom up engineered thermoelectric nanomaterials through HCl mediated ligand displacement
M. Ibanez, R. Korkosz, Z. Luo, P. Riba, D. Cadavid, S. Ortega, A. Cabot, M. Kanatzidis, Journal of the American Chemical Society 137 (2015) 4046–4049.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 361
Cu2ZnSnS4–PtM (M = Co, Ni) nanoheterostructures for photocatalytic hydrogen evolution
X. Yu, X. An, A. Genç, M. Ibanez, J. Arbiol, Y. Zhang, A. Cabot, Journal of Physical Chemistry C 119 (2015) 21882–21888.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 777
Streaming min-max hypergraph partitioning
D. Alistarh, J. Iglesias, M. Vojnović, in:, Neural Information Processing Systems, 2015, pp. 1900–1908.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 866
Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13
C. Kretz, M. Dai, O. Soylemez, A. Yee, K. Desch, D. Siemieniak, K. Tomberg, F. Kondrashov, F. Meng, D. Ginsburg, PNAS 112 (2015) 9328–9333.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 924
Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop
R. Boubaker, V. Platel, A. Bergès, M. Bancelin, E. Hannezo, Applied Thermal Engineering 76 (2015) 1–8.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 929
Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes
E. Hannezo, B. Dong, P. Recho, J. Joanny, S. Hayashi, PNAS 112 (2015) 8620–8625.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 981   OA
Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators
I. Zeljkovic, Y. Okada, M. Serbyn, R. Sankar, D. Walkup, W. Zhou, J. Liu, G. Chang, Y. Wang, M. Hasan, F. Chou, H. Lin, A. Bansil, L. Fu, V. Madhavan, Nature Materials 14 (2015) 318–324.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1106
Mutations in either TUBB or MAPRE2 cause circumferential skin creases Kunze type
M. Isrie, M. Breuss, G. Tian, A.H. Hansen, F. Cristofoli, J. Morandell, Z.A. Kupchinsky, A. Sifrim, C. Rodriguez Rodriguez, E.P. Dapena, K. Doonanco, N. Leonard, F. Tinsa, S. Moortgat, H. Ulucan, E. Koparir, E. Karaca, N. Katsanis, V. Marton, J.R. Vermeesch, E.E. Davis, N.J. Cowan, D. Keays, H. Van Esch, The American Journal of Human Genetics 97 (2015) 790–800.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 121   OA
Origami multistability: From single vertices to metasheets
S.R. Waitukaitis, R. Menaut, B. Chen, M. Van Hecke, APS Physics, Physical Review Letters 114 (2015) 055503.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1430   OA
First steps towards a runtime comparison of natural and artificial evolution
T. Paixao, D. Sudholt, J. Heredia, B. Trubenova, in:, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–1462.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1517   OA
From large deviations to Wasserstein gradient flows in multiple dimensions
M. Erbar, J. Maas, M. Renger, Electronic Communications in Probability 20 (2015) 89.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1497   OA
Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data
D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow, F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1505   OA
Universality for the largest eigenvalue of sample covariance matrices with general population
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1543
A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants
Y. Olvera Carrillo, M. Van Bel, T. Van Hautegem, M. Fendrych, M. Huysmans, M. Šimášková, M. Van Durme, P. Buscaill, S. Rivas, N. Coll, F. Coppens, S. Maere, M. Nowack, Plant Physiology 169 (2015) 2684–2699.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1548   OA
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 (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1550   OA
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 (ext.) | PubMed | Europe PMC
 

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
 

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
 

2015 | Conference Paper | IST-REx-ID: 1567
Shape, homology, persistence, and stability
H. Edelsbrunner, 9411 (2015).
View
 

2015 | Journal Article | IST-REx-ID: 1574   OA
A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development
Q. Chen, Y. Liu, S. Maere, E. Lee, G. Van Isterdael, Z. Xie, W. Xuan, J. Lucas, V. Vassileva, S. Kitakura, P. Marhavy, K.T. Wabnik, N. Geldner, E. Benková, J. Le, H. Fukaki, E. Grotewold, C. Li, J. Friml, F. Sack, T. Beeckman, S. Vanneste, Nature Communications 6 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1536
Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport
J. Sasse, S. Simon, C. Gübeli, G. Liu, X. Cheng, J. Friml, H. Bouwmeester, E. Martinoia, L. Borghi, Current Biology 25 (2015) 647–655.
View | DOI
 

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 | DOI
 

2015 | Journal Article | IST-REx-ID: 1593   OA
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
 

2015 | Journal Article | IST-REx-ID: 1579   OA
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 (ext.)
 

2015 | Journal Article | IST-REx-ID: 1581
Gradients are shaping up
M.T. Bollenbach, C.-P.J. Heisenberg, Cell 161 (2015) 431–432.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
Runtime verification for hybrid analysis tools
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, 9333 (2015) 281–286.
View | DOI
 

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
 

2015 | Journal Article | IST-REx-ID: 1618   OA
Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites
C. Veldkamp, E. Kiermaier, S. Gabel Eissens, M. Gillitzer, D. Lippner, F. Disilvio, C. Mueller, P. Wantuch, G. Chaffee, M. Famiglietti, D. Zgoba, A. Bailey, Y. Bah, S. Engebretson, D. Graupner, E. Lackner, V. Larosa, T. Medeiros, M. Olson, A. Phillips, H. Pyles, A. Richard, S. Schoeller, B. Touzeau, L. Williams, M.K. Sixt, F. Peterson, Biochemistry 54 (2015) 4163–4166.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1625
Detailed spatio-temporal reconstruction of eyelids
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, M. Gross, in:, ACM, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1632   OA
A stream function solver for liquid simulations
R. Ando, N. Thuerey, C.J. Wojtan, in:, ACM, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1644   OA
Query-complexity amplification for random oracles
G. Demay, P. Gazi, U. Maurer, B. Tackmann, in:, Springer, 2015, pp. 159–180.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1649   OA
Efficient zero-knowledge proofs for commitments from learning with errors over rings
F. Benhamouda, S. Krenn, V. Lyubashevsky, K.Z. Pietrzak, 9326 (2015) 305–325.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1651
Anonymous transferable e-cash
F. Baldimtsi, M. Chase, G. Fuchsbauer, M. Kohlweiss, in:, Springer, 2015, pp. 101–124.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1694
Quantitative temporal simulation and refinement distances for timed systems
K. Chatterjee, V. Prabhu, IEEE Transactions on Automatic Control 60 (2015) 2291–2306.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1699   OA
Adaptive gene introgression after secondary contact
H. Uecker, D. Setter, J. Hermisson, Journal of Mathematical Biology 70 (2015) 1523–1580.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1682   OA
Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1687   OA
Navigating in tissue mazes: Chemoattractant interpretation in complex environments
M. Sarris, M.K. Sixt, Current Opinion in Cell Biology 36 (2015) 93–102.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1668   OA
Relaxing full-codebook security: A refined analysis of key-length extension schemes
P. Gazi, J. Lee, Y. Seurin, J. Steinberger, S. Tessaro, 9054 (2015) 319–341.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1670
PDDL+ planning with hybrid automata: Foundations of translating must behavior
S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1663
Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2
K. Kovács, M. Steinmann, O. Halfon, P. Magistretti, J. Cardinaux, Cellular Signalling 27 (2015) 2252–2260.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1858   OA View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1860   OA
Classifier adaptation at prediction time
A. Royer, C. Lampert, in:, IEEE, 2015, pp. 1401–1409.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1865
Plant embryogenesis requires AUX/LAX-mediated auxin influx
H. Robert, W. Grunewald, M. Sauer, B. Cannoot, M. Soriano, R. Swarup, D. Weijers, M. Bennett, K. Boutilier, J. Friml, Development 142 (2015) 702–711.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1827   OA
Evolution of bow-tie architectures in biology
T. Friedlander, A. Mayo, T. Tlusty, U. Alon, PLoS Computational Biology 11 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1834   OA View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1846
Refinement checking on parametric modal transition systems
N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, J. Srba, Acta Informatica 52 (2015) 269–297.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1839   OA
Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1841   OA
A new look at reweighted message passing
V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 919–930.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1808
Guest editors' introduction to special issue on computational methods in systems biology
A. Gupta, T.A. Henzinger, ACM Transactions on Modeling and Computer Simulation 25 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1810   OA
Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution
M.T. Bollenbach, Current Opinion in Microbiology 27 (2015) 1–9.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1992   OA
Succinct representation of concurrent trace sets
A. Gupta, T.A. Henzinger, A. Radhakrishna, R. Samanta, T. Tarrach, in:, ACM, 2015, pp. 433–444.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1997   OA
The three-state toric homogeneous Markov chain model has Markov degree two
P. Noren, Journal of Symbolic Computation 68/Part 2 (2015) 285–296.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2008   OA
Iterative scaling in curved exponential families
A. Klimova, T. Rudas, Scandinavian Journal of Statistics 42 (2015) 832–847.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2034   OA
Probabilistic opacity for Markov decision processes
B. Bérard, K. Chatterjee, N. Sznajder, Information Processing Letters 115 (2015) 52–59.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Export / Embed