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.




2682 Publications

2011 | Conference Paper | IST-REx-ID: 3348   OA
K. Chatterjee and V. Prabhu, “Synthesis of memory efficient real time controllers for safety objectives,” presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA, 2011, pp. 221–230.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3350
K. Chatterjee and R. Majumdar, “Minimum attention controller synthesis for omega regular objectives,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Aalborg, Denmark, 2011, vol. 6919, pp. 145–159.
View | DOI
 
2011 | Technical Report | IST-REx-ID: 5382
K. Chatterjee, Robustness of structurally equivalent concurrent parity games. IST Austria, 2011.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5387
K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.
View | Files available | DOI
 
2011 | Conference Poster | IST-REx-ID: 3312   OA
Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, and P. Benfey, Detailed reconstruction of 3D plant root shape. IEEE, 2011, p. 6126475.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3367
C. Chen and M. Kerber, “An output sensitive algorithm for persistent homology,” presented at the SoCG: Symposium on Computational Geometry, Paris, France, 2011, pp. 207–216.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3362   OA
J. Fisher, T. A. Henzinger, D. Nickovic, N. Piterman, A. Singh, and M. Vardi, “Dynamic reactive modules,” presented at the CONCUR: Concurrency Theory, Aachen, Germany, 2011, vol. 6901, pp. 404–418.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3267
C. Chen and D. Freedman, “Hardness results for homology localization,” Discrete & Computational Geometry, vol. 45, no. 3, pp. 425–448, 2011.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3298   OA
K. Raveendran, C. J. Wojtan, and G. Turk, “Hybrid smoothed particle hydrodynamics,” presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada, 2011, pp. 33–42.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3301   OA
T. A. Henzinger and M. Mateescu, “Tail approximation for the chemical master equation,” presented at the WCSB: Workshop on Computational Systems Biology (TICSP), 2011.
View | Files available
 
2011 | Conference Paper | IST-REx-ID: 3313   OA
C. Chen and H. Edelsbrunner, “Diffusion runs low on persistence fast,” in Proceedings of the IEEE International Conference on Computer Vision, Barcelona, Spain, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3318   OA
E. Eggermann and P. M. Jonas, “How the ‘slow’ Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses,” Nature Neuroscience, vol. 15, pp. 20–22, 2011.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3325
R. Alur and P. Cerny, “Streaming transducers for algorithmic verification of single pass list processing programs,” presented at the POPL: Principles of Programming Languages, Texas, USA, 2011, vol. 46, no. 1, pp. 599–610.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3382
O. Kroemer, C. Lampert, and J. Peters, “Learning dynamic tactile sensing with robust vision based training,” IEEE Transactions on Robotics, vol. 27, no. 3, pp. 545–557, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3387   OA
A. Kupczok, “Split based computation of majority rule supertrees,” BMC Evolutionary Biology, vol. 11, no. 205, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3394   OA
J. Polechova and N. H. Barton, “Genetic drift widens the expected cline but narrows the expected cline width,” Genetics, vol. 189, no. 1, pp. 227–235, 2011.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3399   OA
S. Cremer, A. Schrempf, and J. Heinze, “Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior,” PLoS One, vol. 6, no. 3, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3368   OA
G. Krens, S. Möllmert, and C.-P. J. Heisenberg, “Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants,” PNAS, vol. 108, no. 3, pp. E9–E10, 2011.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3370   OA
A. Kupczok, “Consequences of different null models on the tree shape bias of supertree methods,” Systematic Biology, vol. 60, no. 2, pp. 218–225, 2011.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3375   OA
H. de Vladar and N. H. Barton, “The statistical mechanics of a polygenic character under stabilizing selection mutation and drift,” Journal of the Royal Society Interface, vol. 8, no. 58, pp. 720–739, 2011.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3337
Z. Wang, C. Lampert, K. Mülling, B. Schölkopf, and J. Peters, “Learning anticipation policies for robot table tennis,” presented at the IROS: RSJ International Conference on Intelligent Robots and Systems, San Francisco, USA, 2011, pp. 332–337.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3344
K. Chatterjee, “Graph games with reachability objectives,” presented at the RP: Reachability Problems, Genoa, Italy, 2011, vol. 6945, pp. 1–1.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3781
B. T. Fasy, “The difference in length of curves in R^n,” Acta Sci. Math. (Szeged), vol. 77, no. 1–2, pp. 359–367, 2011.
View
 
2011 | Journal Article | IST-REx-ID: 490   OA
A. Schlögl, C. Vidaurre, and T. Sander, “BioSig: The free and open source software library for biomedical signal processing,” Computational Intelligence and Neuroscience, vol. 2011, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 469   OA
N. Vyleta and S. Smith, “Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor,” European Journal of Neuroscience, vol. 31, no. 12, pp. 4593–4606, 2011.
View | DOI | Download (ext.)
 
2011 | Technical Report | IST-REx-ID: 5383   OA
T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.
View | Files available | DOI
 
2011 | Preprint | IST-REx-ID: 3363   OA
K. Chatterjee, T. A. Henzinger, and M. Tracol, “The decidability frontier for probabilistic automata on infinite words.” ArXiv.
View | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3349   OA
K. Chatterjee and N. Fijalkow, “A reduction from parity games to simple stochastic games,” presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy, 2011, vol. 54, pp. 74–86.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3351   OA
K. Chatterjee, L. Doyen, and R. Singh, “On memoryless quantitative objectives,” presented at the FCT: Fundamentals of Computation Theory, Oslo, Norway, 2011, vol. 6914, pp. 148–159.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3356
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3320   OA
S. Nowozin and C. Lampert, “Structured learning and prediction in computer vision,” Foundations and Trends in Computer Graphics and Vision, vol. 6, no. 3–4, pp. 185–365, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3332   OA
M. Kerber and M. Sagraloff, “A note on the complexity of real algebraic hypersurfaces,” Graphs and Combinatorics, vol. 27, no. 3, pp. 419–430, 2011.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3782
C. Chen and D. Freedman, “Topology noise removal for curve  and surface evolution,” in Conference proceedings MCV 2010, Beijing, China, 2010, vol. 6533, pp. 31–42.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3787   OA
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, and S. Thatje, “DNA extraction from formalin-fixed tissue: new light from the deep sea,” Scientia Marina, vol. 74, no. 3, pp. 465–470, 2010.
View | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3794
C. Lampert and O. Krömer, “Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning,” presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece, 2010, vol. 6312, pp. 566–579.
View | DOI | Download (ext.)
 
2010 | Journal Article | IST-REx-ID: 3718
J. Guzmán et al., “P2Y1 receptors inhibit long-term depression in the prefrontal cortex.,” Neuropharmacology, vol. 59, no. 6, pp. 406–415, 2010.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3833
P. M. Jonas and S. Hefft, “GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova),” The European Journal of Neuroscience, vol. 31, no. 7, pp. 1194–1195, 2010.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3838   OA
T. A. Henzinger, M. Mateescu, L. Mikeev, and V. Wolf, “Hybrid numerical solution of the chemical master equation,” presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy, 2010, pp. 55–65.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3840
T. A. Henzinger, “From boolean to quantitative notions of correctness,” presented at the POPL: Principles of Programming Languages, Madrid, Spain, 2010, vol. 45, no. 1, pp. 157–158.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3852   OA
K. Chatterjee and R. Majumdar, “Discounting in games across time scales,” presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy, 2010, vol. 25, pp. 22–29.
View | Files available | DOI | arXiv
 
2010 | Conference Paper | IST-REx-ID: 3845   OA
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Rybalchenko, “Aligators for arrays,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 2010, vol. 6397, pp. 348–356.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 4134
J. Bridle, J. Polechova, M. Kawata, and R. Butlin, “Why is adaptation prevented at ecological margins? New insights from individual-based simulations,” Ecology Letters, vol. 13, no. 4, pp. 485–494, 2010.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4362
V. Singh, “Runtime verification for software transactional memories,” presented at the RV: International Conference on Runtime Verification, St. Julians, Malta, 2010, vol. 6418, pp. 421–435.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4381   OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 489   OA
J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.
View | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3857
K. Chatterjee and T. A. Henzinger, “Probabilistic Automata on infinite words: decidability and undecidability results,” presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore, 2010, vol. 6252, pp. 1–16.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3864
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom, 2010, vol. 6174, pp. 380–395.
View | Files available | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4393
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5389
P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5391
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed