Items where Year is 2010

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: A | B | C | D | E | F | G | H | K | N | R | W | Č
Number of items: 43.

A

Alur, Rajeev and Černý, Pavol (2010) Expressiveness of streaming string transducers. In: FSTTCS: Foundations of Software Technology and Theoretical Computer Science, December 15 - 18, 2010, Chennai, India.

B

Barton, Nicholas H (2010) Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 365 (1552). pp. 2559-2569. ISSN 0962-8436

Barton, Nicholas H (2010) Understanding adaptation in large populations. PLoS Genetics, 6 (6). Article No. e1000987. ISSN 1553-7404

Barton, Nicholas H and Etheridge, Alison M and Véber, Amandine (2010) A new model for evolution in a spatial continuum. Electronic Journal of Probability, 15. pp. 162-216. ISSN 1083-6489

Bendich, Paul and Edelsbrunner, Herbert and Kerber, Michael (2010) Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics, 16 (6). 1251 -1260. ISSN 1077-2626

Bendich, Paul and Edelsbrunner, Herbert and Kerber, Michael and Patel, Amit (2010) Persistent homology under non-uniform error. In: MFCS: Mathematical Foundations of Computer Science, August 23-27, 2010, Brno, Czech Republic.

Bergmann, Julia and Danowski, Patrick (2010) Ist Bibliothek 2.0 überhaupt noch relevant? - Eine Einleitung. In: Handbuch Bibliothek 2.0. de Gruyter Saur, pp. 5-20. ISBN 9783110232103

Berwanger, Dietmar and Chatterjee, Krishnendu and De Wulf, Martin and Doyen, Laurent and Henzinger, Thomas A (2010) Strategy construction for parity games with imperfect information. Information and Computation, 208. ISSN 0890-5401

Beyer, Dirk and Henzinger, Thomas A and Théoduloz, Grégory and Zufferey, Damien (2010) Shape refinement through explicit heap analysis. In: FASE: Fundamental Approaches to Software Engineering, March 20-28, 2010, Paphos, Cyprus.

Bloem, Roderick and Chatterjee, Krishnendu and Greimel, Karin and Henzinger, Thomas A and Jobstmann, Barbara (2010) Robustness in the presence of liveness. In: CAV: Computer Aided Verification, July 15-19, 2010, Edinburgh, UK.

C

Chatterjee, Krishnendu and Doyen, Laurent and Edelsbrunner, Herbert and Henzinger, Thomas A and Rannou, Philippe (2010) Mean-payoff automaton expressions. In: CONCUR: Concurrency Theory, August 31 - September 3, 2010, Paris, France.

Chatterjee, Krishnendu and Doyen, Laurent and Gimbert, Hugo and Henzinger, Thomas A (2010) Randomness for free. In: MFCS: Mathematical Foundations of Computer Science, August 23-27, 2010, Brno, Czech Republic.

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2010) Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science, 6 (3). Article Nr. 3. ISSN 1860-5974

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2010) Qualitative analysis of partially-observable Markov Decision Processes. In: MFCS: Mathematical Foundations of Computer Science , August 23-27, 2010, Brno, Czech Republic.

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2010) Quantitative languages. ACM Transactions on Computational Logic (TOCL), 11. ISSN 1557-945X

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A and Raskin, Jean-François (2010) Generalized mean-payoff and energy games. In: FSTTCS: Foundations of Software Technology and Theoretical Computer Science, December 15-18, 2010, Chennai, India.

Chatterjee, Krishnendu and Fijalkow, Nathanaël (2010) Topological, automata-theoretic and logical characterization of finitary languages. Technical Report. IST Austria.

Chatterjee, Krishnendu and Henzinger, Thomas A and Jobstmann, Barbara and Radhakrishna, Arjun (2010) GIST: A solver for probabilistic games. In: CAV: Computer Aided Verification, July 15-19, 2010, Edinburgh, UK.

Chatterjee, Krishnendu and Henzinger, Thomas A and Piterman, Nir (2010) Strategy logic. Information and Computation, 208. ISSN 0890-5401

Chatterjee, Krishnendu and Majumdar, Ritankar S (2010) Discounting in games across time scales. In: GandALF: Games, Automata, Logic, and Formal Verification, June 17-18, 2010, Minori (Amalfi Coast), Italy.

Chatterjee, Krishnendu and de Alfaro, Luca and Majumdar, Ritankar S and Raman, Vishwanath (2010) Algorithms for game metrics. Logical Methods in Computer Science, 6 (3). Article No. 3. ISSN 1860-5974

Chatterjee, Krishnendu and Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun and Singh, Rohit (2010) Quantitative synthesis for concurrent programs. Technical Report. IST Austria.

D

Danowski, Patrick (2010) Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data. In: WLIC: World Library and Information Congress, August 10-15, 2010, Gothenburg, Sweden.

Didier, Frédéric and Henzinger, Thomas A and Mateescu, Maria and Wolf, Verena (2010) SABRE: A tool for the stochastic analysis of biochemical reaction networks. In: QEST: Quantitative Evaluation of Systems, September 15-18, 2010, Williamsburg, VA, USA.

Diz-Muñoz, Alba and Krieg, Michael and Bergert, Martin and Ibarlucea-Benitez, Itziar and Müller, Daniel J and Paluch, Ewa and Heisenberg, Carl-Philipp (2010) Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology, 8 (11). Article No. e1000544. ISSN 1545-7885

Doyen, Laurent and Henzinger, Thomas A and Legay, Axel and Ničković, Dejan (2010) Robustness of sequential circuits. In: ACSD: Application of Concurrency to System Design, June 21-25, 2010, Braga, Portugal.

E

Edelsbrunner, Herbert and Morozov, Dmitriy and Patel, Amit (2010) The stability of the apparent contour of an orientable 2-manifold. In: Topological Data Analysis and Visualization: Theory, Algorithms and Applications. Mathematics and Visualization . Springer , Berlin, Heidelberg , pp. 27-42. ISBN 978-3-642-15013-5

F

Féret, Jérôme and Henzinger, Thomas A and Koeppl, Heinz and Petrov, Tatjana (2010) Lumpability abstractions of rule-based systems. In: MECBIC: Membrane Computing and Biologically Inspired Process Calculi, August 23th, 2010, Jena, Germany.

G

Guerraoui, Rachid and Henzinger, Thomas A and Kapalka, Michal and Singh, Vasu (2010) Transactions in the jungle. In: SPAA: ACM Symposium on Parallel Algorithms and Architectures, June 13-15, 2010 , Santorini, Greece.

Guerraoui, Rachid and Henzinger, Thomas A and Singh, Vasu (2010) Model checking transactional memories. Distributed Computing, 22. ISSN 1432-0452

H

Henzinger, Thomas A and Hottelier, Thibaud and Kovács, Laura and Rybalchenko, Andrey (2010) Aligators for arrays. In: LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, October 10-15, 2010, Yogyakarta, Indonesia.

Henzinger, Thomas A and Hottelier, Thibaud and Kovács, Laura and Voronkov, Andrei (2010) Invariant and type inference for matrices. In: VMCAI: Verification, Model Checking, and Abstract Interpretation, January 17-19, 2010, Madrid, Spain.

Henzinger, Thomas A and Mateescu, Maria and Mikeev, Linar and Wolf, Verena (2010) Hybrid numerical solution of the chemical master equation. In: CMSB: Computational Methods in Systems Biology, September 29 - October 1, 2010, Trento, Italy.

Henzinger, Thomas A and Singh, Anmol V and Singh, Vasu and Wies, Thomas and Zufferey, Damien (2010) FlexPRICE: Flexible provisioning of resources in a cloud environment. In: CLOUD: Cloud Computing, July 5-10, 2010, Miami, FL.

Henzinger, Thomas A and Singh, Anmol V and Singh, Vasu and Wies, Thomas and Zufferey, Damien (2010) A marketplace for cloud resources. In: EMSOFT: Embedded Software, October 24-29, 2010, Scottsdale, Arizona, USA.

K

Kupczok, Anne and Schmid, Heiko A and von Haeseler, Arndt (2010) Accuracy of phylogeny reconstruction methods combining overlapping gene data sets. Algorithms for Molecular Biology, 5 (1). Article number: 37 . ISSN 1748-7188

N

Ničković, Dejan and Piterman, Nir (2010) From MTL to deterministic timed automata. In: FORMATS: Formal Modeling and Analysis of Timed Systems, September 8-10, 2010, Klosterneuburg, Austria.

R

Rosas, Ulises and Barton, Nicholas H and Copsey, Lucy and Barbier de Reuille, Pierre and Coen, Enrico (2010) Cryptic variation between species and the basis of hybrid performance. PLoS Biology, 8 (7). Article No. e1000429. ISSN 1545-7885

W

Wies, Thomas and Zufferey, Damien and Henzinger, Thomas A (2010) Forward analysis of depth-bounded processes. In: FoSSaCS: Foundations of Software Science and Computation Structures, March 20-28, 2010, Paphos, Cyprus.

Wolf, Verena and Goel, Rushil and Mateescu, Maria and Henzinger, Thomas A (2010) Solving the chemical master equation using sliding windows. BMC Systems Biology, 4. ISSN 1752-0509

Č

Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun (2010) Simulation distances. In: CONCUR: Concurrency Theory, August 31 - September 3, 2010, Paris, France.

Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun (2010) Simulation distances. Technical Report. IST Austria.

Černý, Pavol and Radhakrishna, Arjun and Zufferey, Damien and Chaudhuri, Swarat and Alur, Rajeev (2010) Model checking of linearizability of concurrent list implementations. Technical Report. IST Austria.

This list was generated on Wed Oct 17 01:00:06 2018 CEST.