Items where Year is 2011

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: B | C | D | E | H | J | K | P | R | S | T | U | W | Z | Č
Number of items: 37.

B

Barton, Nicholas H and Turelli, Michael (2011) Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist, 178 (3). E48-E75. ISSN 1537-5323

Boker, Udi and Chatterjee, Krishnendu and Henzinger, Thomas A and Kupferman, Orna (2011) Temporal specifications with accumulative values. In: LICS: Logics in Computer Science, 21-24 June 2011 , Toronto, ON .

Boker, Udi and Chatterjee, Krishnendu and Henzinger, Thomas A and Kupferman, Orna (2011) Temporal specifications with accumulative values. Technical Report. IST Austria.

Boker, Udi and Henzinger, Thomas A (2011) Determinizing discounted-sum automata. In: CSL: Computer Science Logic.

C

Chatterjee, Krishnendu (2011) Bounded rationality in concurrent parity games. Technical Report. IST Austria.

Chatterjee, Krishnendu (2011) Robustness of structurally equivalent concurrent parity games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent (2011) Energy and mean-payoff parity Markov decision processes. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent (2011) Partial-observation Stochastic games: How to win when belief fails. Technical Report. IST Austria.

Chatterjee, Krishnendu and Henzinger, Monika (2011) An O(n2) time algorithm for alternating Büchi games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Henzinger, Thomas A and Jobstmann, Barbara and Singh, Rohit (2011) QUASY: quantitative synthesis tool. In: TACAS: Tools and Algorithms for the Construction and Analysis of Systems.

Chatterjee, Krishnendu and Henzinger, Thomas A and Prabhu, Vinayak (2011) Timed parity games: Complexity and robustness. Logical Methods in Computer Science, 7 (4). Article No. 8. ISSN 1860-5974

Chatterjee, Krishnendu and Mathieu, Tracol (2011) Decidable problems for probabilistic automata on infinite words. Technical Report. IST Austria.

Chen, Chao and Edelsbrunner, Herbert (2011) Diffusion runs low on persistence fast. In: ICCG: International Conference Computer Vision, November 6-13, 2011 , Barcelona, Spain.

Chen, Chao and Freedman, Daniel and Lampert, Christoph H (2011) Enforcing topological constraints in random field image segmentation. Technical Report. IST Austria.

Cremer, Sylvia and Schrempf, Alexandra and Heinze, Jürgen (2011) Competition and Opportunity Shape the Reproductive Tactics of Males in the Ant Cardiocondyla obscurior. PLoS One, 6 (3). Article No. e17323. ISSN 1932-6203

D

Didier, Frédéric and Henzinger, Thomas A and Mateescu, Maria and Wolf, Verena (2011) Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science, 412. ISSN 0304-3975

E

Edelsbrunner, Herbert and Kerber, Michael (2011) Covering and packing with spheres by diagonal distortion in R^n. In: Rainbow of Computer Science. LNCS, 6570 . Springer , Berlin, Heidelberg, pp. 20-35. ISBN 978-3-642-19391-0

H

Halalai, Raluca and Henzinger, Thomas A and Singh, Vasu (2011) Quantitative evaluation of BFT protocols. In: QEST: Quantitative Evaluation of Systems, 5-8 Sept. 2011 , Aachen.

Henzinger, Thomas A and Jobstmann, Barbara and Wolf, Verena (2011) Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science, 22 (4). 823 -841. ISSN 1793-6373

Henzinger, Thomas A and Mateescu, Maria (2011) Propagation models for computing biochemical reaction networks. In: CMSB: Conference on Computational Methods in Systems Biology, September 21 - 23, 2011 , Paris, France.

Henzinger, Thomas A and Mateescu, Maria (2011) Tail approximation for the chemical master equation. In: WCSB: Workshop on Computational Systems Biology (TICSP). (Submitted)

Henzinger, Thomas A and Singh, Anmol V and Singh, Vasu and Wies, Thomas and Zufferey, Damien (2011) Static scheduling in clouds. In: HotCloud: Workshop on Hot Topics in Cloud Computing.

J

Janovjak, Harald and Sandoz, Guillaume and Isacoff, Ehud Y (2011) Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications, 2 (232 ). pp. 1-6. ISSN 2041-1723

K

Kupczok, Anne (2011) Split based computation of majority rule supertrees. BMC Evolutionary Biology, 11. ISSN 1471-2148

P

Prentice, Jason S and Homann, Jan and Simmons, Kristina D and Tkačik, Gašper and Balasubramanian, Vijay and Nelson, Philip C (2011) Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS One, 6 (7). Article No. e19884. ISSN 1932-6203

R

Raveendran, Karthik and Wojtan, Chris and Türk, Greg C (2011) Hybrid smoothed particle hydrodynamics. In: SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, August 5-7, 2011, Vancouver, BC, Canada.

S

Schlögl, Alois and Vidaurre, Carmen and Sander, Tilmann H (2011) BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience, 2011. ISSN 16875265

Schumann, Kathrin (2011) The role of chemotactic gradients in dendritic cell migration. PhD thesis, IST Austria.

Sixt, Michael and Parent, Carole A (2011) Cells on the move in Philadelphia. Molecular Biology and Evolution, 22. p. 724. ISSN 0737-4038

T

Tkačik, Gašper and Garrigan, Patrick and Ratliff, Charles and Milcinski, Grega and Klein, Jennifer M and Seyfarth, Lucia H and Sterling, Peter and Brainard, David H and Balasubramanian, Vijay (2011) Natural images from the birthplace of the human eye. PLoS One, 6 (6). Article No. e20409. ISSN 1932-6203

Tripakis, Stavros and Lickly, Ben and Henzinger, Thomas A and Lee, Edward A (2011) A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS), 33. ISSN 0164-0925

U

Ugelvig, Line V and Nielsen, Per S and Boomsma, Jacobus J and Nash, David R (2011) Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology, 11. ISSN 1471-2148

W

Wies, Thomas and Muñiz, Marco and Kuncak, Viktor (2011) On an efficient decision procedure for imperative tree data structures. Technical Report. IST Austria.

Wojtan, Chris and Müler-Fischer, Matthias and Brochu, Tyson (2011) Liquid simulation with mesh-based surface tracking. In: SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, August 7-11, 2011, Vancouver, BC, Canada.

Z

Zheng, Ying and Gu, Steve and Edelsbrunner, Herbert and Tomasi, Carlo and Benfey, Philip (2011) Detailed reconstruction of 3D plant root shape. In: ICCG: International Conference Computer Vision, November 6-13, 2011, Barcelona, Spain.

Č

Černý, Pavol and Chatterjee, Krishnendu and Henzinger, Thomas A (2011) The complexity of quantitative information flow problems. In: CSF: Computer Security Foundations, Abbaye des Vaux de Cernay, France.

Černý, Pavol and Chatterjee, Krishnendu and Henzinger, Thomas A and Radhakrishna, Arjun and Singh, Rohit (2011) Quantitative synthesis for concurrent programs. In: CAV: Computer Aided Verification, July 14-20, 2011, Snowbird, UT, USA.

This list was generated on Wed Dec 12 01:00:11 2018 CET.