en
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.
2708 Publications
2013 | Journal Article | IST-REx-ID: 2468 
M. Bojsen-Hansen and C. J. Wojtan, “Liquid surface tracking with error compensation,” ACM Transactions on Graphics, vol. 32, no. 4, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2470
M. Čovanová, M. Sauer, J. Rychtář, J. Friml, J. Petrášek, and E. Zažímalová, “Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells,” PLoS One, vol. 8, no. 7, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2862
H. Tay et al., “Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle,” Development, vol. 140, no. 7, pp. 1550–1559, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2901
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, and C. Lampert, “Computing the M most probable modes of a graphical model,” presented at the AISTATS: Conference on Uncertainty in Artificial Intelligence, Scottsdale, AZ, United States, 2013, vol. 31, pp. 161–169.
View
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2906
M. Kerber and H. Edelsbrunner, “3D kinetic alpha complexes and their implementation,” in 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, New Orleans, LA, United States, 2013, pp. 70–77.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2913
G. Tkacik, E. Granot Atedgi, R. Segev, and E. Schneidman, “Retinal metric: a stimulus distance measure derived from population neural responses,” Physical Review Letters, vol. 110, no. 5, 2013.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2829
L. Shi, M. Avila, and B. Hof, “Scale invariance at the onset of turbulence in couette flow,” Physical Review Letters, vol. 110, no. 20, 2013.
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2855
S. Hippenmeyer, R. Johnson, and L. Luo, “Mosaic analysis with double markers reveals cell type specific paternal growth dominance,” Cell Reports, vol. 3, no. 3, pp. 960–967, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2812
D. Attali, U. Bauer, O. Devillers, M. Glisse, and A. Lieutier, “Homological reconstruction and simplification in R3,” in Proceedings of the 29th annual symposium on Computational Geometry, Rio de Janeiro, Brazil, 2013, pp. 117–125.
View
| Files available
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2843
H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,” in 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Seville, Spain, 2013, vol. 7749, pp. XV–XIX.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2920
J. Compagnon and C.-P. J. Heisenberg, “Neurulation coordinating cell polarisation and lumen formation,” EMBO Journal, vol. 32, no. 1, pp. 1–3, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 500
M. Ward, S. Lycett, D. Avila, J. P. Bollback, and A. Leigh Brown, “Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza,” BMC Evolutionary Biology, vol. 13, no. 1, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 827
J. O’Brien and E. Benková, “Cytokinin cross talking during biotic and abiotic stress responses,” Frontiers in Plant Science, vol. 4, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 1376
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2247
B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in alternating prisoner’s dilemma ,” PLoS One, vol. 8, no. 12, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2305
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance for stability in Markov decision processes,” in 28th Annual ACM/IEEE Symposium, New Orleans, LA, United States, 2013, pp. 331–340.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2013 | Technical Report | IST-REx-ID: 5405
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5400
K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2444
K. Chatterjee and J. Ła̧Cki, “Faster algorithms for Markov decision processes with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2836
K. Chatterjee and V. Raman, “Assume-guarantee synthesis for digital contract signing,” Formal Aspects of Computing, vol. 26, no. 4, pp. 825–859, 2013.
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2817
S. Novak, K. Chatterjee, and M. Nowak, “Density games,” Journal of Theoretical Biology, vol. 334, pp. 26–34, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2886
M. Chmelik and V. Řehák, “Controllable-choice message sequence graphs,” vol. 7721. Springer, pp. 118–130, 2013.
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2329
K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional mean-payoff games,” vol. 8052. Springer, pp. 500–515, 2013.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2831
K. Chatterjee, M. Henzinger, M. Joglekar, and N. Shah, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” Formal Methods in System Design, vol. 42, no. 3, pp. 301–327, 2013.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2850
G. Tkacik, O. Marre, T. Mora, D. Amodei, M. Berry, and W. Bialek, “The simplest maximum entropy model for collective behavior in a neural network,” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3, p. P03011, 2013.
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2010
C. Uhler, G. Raskutti, P. Bühlmann, and B. Yu, “Geometry of the faithfulness assumption in causal inference,” The Annals of Statistics, vol. 41, no. 2, pp. 436–463, 2013.
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2469
J.-L. Maître and C.-P. J. Heisenberg, “Three functions of cadherins in cell adhesion,” Current Biology, vol. 23, no. 14, pp. R626–R633, 2013.
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2471
I. Sanchez Romero et al., “Mechanism of protein kinetic stabilization by engineered disulfide crosslinks,” PLoS One, vol. 8, no. 7, 2013.
View
| Files available
| DOI
2013 | Book | IST-REx-ID: 2306
P. Danowski and A. Pohl, (Open) Linked Data in Bibliotheken, vol. 50. De Gruyter, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2286
P. Campinho and C.-P. J. Heisenberg, “The force and effect of cell proliferation,” EMBO Journal, vol. 32, no. 21, pp. 2783–2784, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2293
V. Sharmanska, N. Quadrianto, and C. Lampert, “Learning to rank using privileged information,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2013, pp. 825–832.
View
| DOI
| Download (ext.)
2013 | Report | IST-REx-ID: 2274
S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, Proofs of Space. IST Austria, 2013.
View
| Files available
2013 | Journal Article | IST-REx-ID: 2813
D. Samanta et al., “Elasto-inertial turbulence,” PNAS, vol. 110, no. 26, pp. 10557–10562, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2863
E. Granot Atedgi, G. Tkacik, R. Segev, and E. Schneidman, “Stimulus-dependent maximum entropy models of neural population codes,” PLoS Computational Biology, vol. 9, no. 3, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2882
C. Löfke, M. Zwiewka, I. Heilmann, M. Van Montagu, T. Teichmann, and J. Friml, “Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism,” PNAS, vol. 110, no. 9, pp. 3627–3632, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Book Chapter | IST-REx-ID: 2907
N. H. Barton, “Recombination and sex,” in The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–333.
View
| Files available
2013 | Journal Article | IST-REx-ID: 2914
G. Stephens, T. Mora, G. Tkacik, and W. Bialek, “Statistical thermodynamics of natural images,” Physical Review Letters, vol. 110, no. 1, 2013.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2832
H. Tanaka et al., “Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana,” PLoS Genetics, vol. 9, no. 5, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2837
L. Erdös, A. Knowles, H. Yau, and J. Yin, “The local semicircle law for a general class of random matrices,” Electronic Journal of Probability, vol. 18, no. 59, pp. 1–58, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2856
J. Levitz et al., “Optical control of metabotropic glutamate receptors,” Nature Neuroscience, vol. 16, pp. 507–516, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2818
K. Rajan, O. Marre, and G. Tkacik, “Learning quadratic receptive fields from neural responses to natural stimuli,” Neural Computation, vol. 25, no. 7, pp. 1661–1692, 2013.
View
| DOI
| Download (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2940
S. Krenn, K. Z. Pietrzak, and A. Wadia, “A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it,” presented at the TCC: Theory of Cryptography Conference, Tokyo, Japan, 2013, vol. 7785, pp. 23–39.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2919
P. Baster et al., “SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism,” EMBO Journal, vol. 32, no. 2, pp. 260–274, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 450
M. Pickup, D. Field, D. Rowell, and A. Young, “Source population characteristics affect heterosis following genetic rescue of fragmented plant populations,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1750, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 501
M. Cozzuol et al., “A new species of tapir from the Amazon,” Journal of Mammalogy, vol. 94, no. 6, pp. 1331–1345, 2013.
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5401
J. Porsche, Initiatives and projects related to RD. IST Austria, 2013.
View
| Files available
2013 | Journal Article | IST-REx-ID: 828
C. Cuesta, K. T. Wabnik, and E. Benková, “Systems approaches to study root architecture dynamics,” Frontiers in Plant Science, vol. 4, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2926
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L. V. Ugelvig, and S. Cremer, “Ants disinfect fungus-exposed brood by oral uptake and spread of their poison,” Current Biology, vol. 23, no. 1, pp. 76–82, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5406
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2445
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient synthesis for concurrency by semantics-preserving transformations,” presented at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 951–967.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2298
C. Dragoi, C. Enea, and M. Sighireanu, “Local shape analysis for overlaid data structures,” presented at the SAS: Static Analysis Symposium, Seattle, WA, United States, 2013, vol. 7935, pp. 150–171.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2301
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, and D. Zufferey, “P: Safe asynchronous event-driven programming,” in Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seattle, WA, United States, 2013, pp. 321–331.
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2243
J. Michaliszyn and J. Otop, “Elementary modal logics over transitive structures,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 563–577, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2279
K. Chatterjee, L. Doyen, M. Randour, and J. Raskin, “Looking at mean-payoff and total-payoff through windows,” vol. 8172. Springer, pp. 118–132, 2013.
View
| Files available
| DOI
| Download (ext.)
2013 | Book Chapter | IST-REx-ID: 5747
C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2820
K. Chatterjee, A. Kößler, and U. Schmid, “Automated analysis of real-time scheduling using graph games,” in Proceedings of the 16th International conference on Hybrid systems: Computation and control, Philadelphia, PA, United States, 2013, pp. 163–172.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2887
S. Fang et al., “Genotypic recognition and spatial responses by rice roots,” PNAS, vol. 110, no. 7, pp. 2670–2675, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2009
C. Uhler, A. Slavkovic, and S. Fienberg, “Privacy-preserving data sharing for genome-wide association studies,” Journal of Privacy and Confidentiality , vol. 5, no. 1, pp. 137–166, 2013.
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2270
Y. Bachrach, P. Kohli, V. Kolmogorov, and M. Zadimoghaddam, “Optimal Coalition Structures in Cooperative Graph Games,” presented at the AAAI: Conference on Artificial Intelligence, Bellevue, WA, United States, 2013, pp. 81–87.
View
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2256
P. Danowski, D. Goldfarb, V. Schaffner, and W. Seidler, “Linked (Open) Data - Bibliographische Daten im Semantic Web,” VÖB Mitteilungen, vol. 66, no. 3/4, pp. 559–587, 2013.
View
| Files available
2013 | Conference Paper | IST-REx-ID: 2244
J. Matoušek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems of noncrossing curves,” vol. 8242. Springer, pp. 472–483, 2013.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2472
C. Cazzonelli et al., “Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development,” PLoS One, vol. 8, no. 7, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2410
R. A. Fernandes Redondo, A. Kupczok, G. Stift, and J. P. Bollback, “Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis,” Genome Announcements, vol. 1, no. 3, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2287
M. Pickup and S. Barrett, “The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant,” Ecology and Evolution, vol. 3, no. 3, pp. 629–639, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2294
T. Kazmar, E. Kvon, A. Stark, and C. Lampert, “Drosophila Embryo Stage Annotation using Label Propagation,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2013.
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2718
N. H. Barton and T. Paixao, “Can quantitative and population genetics help us understand evolutionary computation?,” in Proceedings of the 15th annual conference on Genetic and evolutionary computation, Amsterdam, Netherlands, 2013, pp. 1573–1580.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2720
H. Long, T. Paixao, R. Azevedo, and R. Zufall, “Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila,” Genetics, vol. 195, no. 2, pp. 527–540, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2782
L. Erdös and B. Farrell, “Local eigenvalue density for general MANOVA matrices,” Journal of Statistical Physics, vol. 152, no. 6, pp. 1003–1032, 2013.
View
| DOI
| Download (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2807
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, and U. Wagner, “Extending continuous maps: Polynomiality and undecidability,” in 45th Annual ACM Symposium on theory of computing, Palo Alto, CA, United States, 2013, pp. 595–604.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2698
L. Erdös, S. Fournais, and J. Solovej, “Stability and semiclassics in self-generated fields,” Journal of the European Mathematical Society, vol. 15, no. 6, pp. 2093–2113, 2013.
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2883
B. Wang et al., “Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane,” Plant Cell, vol. 25, no. 1, pp. 202–214, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2908
N. H. Barton, “Does hybridisation influence speciation? ,” Journal of Evolutionary Biology, vol. 26, no. 2, pp. 267–269, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2910
J. Kelleher, N. H. Barton, and A. Etheridge, “Coalescent simulation in continuous space,” Bioinformatics, vol. 29, no. 7, pp. 955–956, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2821
E. Remy et al., “A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis,” Plant Cell, vol. 25, no. 3, pp. 901–926, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2826
K. Tran Viet et al., “Mutations in SCO2 are associated with autosomal-dominant high-grade myopia,” American Journal of Human Genetics, vol. 92, no. 5, pp. 820–826, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2838
G. Arquè Fuste, A. Casanovas, and M. Dierssen, “Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome,” PLoS One, vol. 8, no. 1, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2857
S. Szobota, C. Mckenzie, and H. L. Janovjak, “Optical control of ligand-gated ion channels,” Methods in Molecular Biology, vol. 998, pp. 417–435, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 3261
J. Dubuis, G. Tkacik, E. Wieschaus, T. Gregor, and W. Bialek, “Positional information, in bits,” PNAS, vol. 110, no. 41, pp. 16301–16308, 2013.
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 507
S. Kim et al., “Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis,” Plant Cell, vol. 25, no. 8, pp. 2970–2985, 2013.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Technical Report | IST-REx-ID: 5402
T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5407
J. Porsche, Technical requirements and features. IST Austria, 2013.
View
| Files available
2013 | Conference Paper | IST-REx-ID: 1385
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, and R. Bloem, “Synthesizing multiple boolean functions using interpolation on a single proof,” in 2013 Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 77–84.
View
| DOI
| Download (ext.)
| arXiv
2013 | Technical Report | IST-REx-ID: 5399
J. Reiter, I. Bozic, K. Chatterjee, and M. Nowak, TTP: Tool for Tumor Progression. IST Austria, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2181
T. A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, and A. Sokolova, “Quantitative relaxation of concurrent data structures,” in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language, Rome, Italy, 2013, pp. 317–328.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2299
Y. Godhal, K. Chatterjee, and T. A. Henzinger, “Synthesis of AMBA AHB from formal specification: A case study,” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, pp. 585–601, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2814
K. Chatterjee, L. Alfaro, and R. Majumdar, “The complexity of coverage,” International Journal of Foundations of Computer Science, vol. 24, no. 2, pp. 165–185, 2013.
View
| DOI
| Download (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2819
K. Chatterjee and V. Prabhu, “Quantitative timed simulation functions and refinement metrics for real-time systems,” in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Philadelphia, PA USA, 2013, vol. 1, pp. 273–282.
View
| DOI
| Download (ext.)