Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications for Java classes. POPL: Principles of Programming Languages, 98–109.
LibreCat: https://research-explorer.ista.ac.at/record/4404
DOI: 1542

Matic S, Henzinger TA. 2005. Trading end-to-end latency for composability. RTSS: Real-Time Systems Symposium, 99–110.
LibreCat: https://research-explorer.ista.ac.at/record/4412
DOI: 10.1109/RTSS.2005.43

Kirsch C, Sanvido M, Henzinger TA. 2005. A programmable microkernel for real-time systems. VEE: Virtual Execution Environments, 35–45.
LibreCat: https://research-explorer.ista.ac.at/record/4418
DOI: 10.1145/1064979.1064986

Henzinger TA, Majumdar R, Raskin J. 2005. A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). 6(1), 1–32.
LibreCat: https://research-explorer.ista.ac.at/record/4454
DOI: 10.1145/1042038.1042039

Henzinger TA, Majumdar R, Prabhu V. 2005. Quantifying similarities between timed systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 226–241.
LibreCat: https://research-explorer.ista.ac.at/record/4455
DOI: 10.1007/11603009_18

Henzinger TA, Jhala R, Majumdar R. 2005. Permissive interfaces. FSE: Foundations of Software Engineering, 31–40.
LibreCat: https://research-explorer.ista.ac.at/record/4456
DOI: 10.1145/1081706.1081713

Henzinger TA, Kirsch C, Matic S. 2005. Composable code generation for distributed Giotto. LCTES: Languages, Compilers, and Tools for Embedded Systems, 21–30.
LibreCat: https://research-explorer.ista.ac.at/record/4457
DOI: 10.1145/1065910.1065914

Doyen L, Henzinger TA, Raskin J. 2005. Automatic rectangular refinement of affine hybrid systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 144–161.
LibreCat: https://research-explorer.ista.ac.at/record/4536
DOI: DOI: 10.1007/11603009_13

Chatterjee K, Henzinger TA. 2005. Semiperfect-information games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 3821, 1–18.
LibreCat: https://research-explorer.ista.ac.at/record/4541
DOI: 10.1007/11590156_1

Chatterjee K, De Alfaro L, Henzinger TA. 2005. The complexity of stochastic Rabin and Streett games. ICALP: Automata, Languages and Programming, LNCS, vol. 3580, 878–890.
LibreCat: https://research-explorer.ista.ac.at/record/4553
DOI: 10.1007/11523468_71

Chatterjee K, Henzinger TA, Jurdziski M. 2005. Mean-payoff parity games. LICS: Logic in Computer Science, 178–187.
LibreCat: https://research-explorer.ista.ac.at/record/4554
DOI: 10.1109/LICS.2005.26

Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. 2005. Verifying quantitative properties using bound functions. CHARME: Correct Hardware Design and Verification Methods, LNCS, vol. 3725, 50–64.
LibreCat: https://research-explorer.ista.ac.at/record/4560
DOI: 10.1007/11560548_7

Chatterjee K, Henzinger TA, Jhala R, Majumdar R. 2005. Counterexample-guided planning. UAI: Uncertainty in Artificial Intelligence, 104–111.
LibreCat: https://research-explorer.ista.ac.at/record/4557

Beyer D, Henzinger TA, Jhala R, Majumdar R. 2005. Checking memory safety with BLAST. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 3442, 2–18.
LibreCat: https://research-explorer.ista.ac.at/record/4579
DOI: 10.1007/978-3-540-31984-9_2

Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. WWW: World Wide Web Conference, 148–159.
LibreCat: https://research-explorer.ista.ac.at/record/4576
DOI: 10.1145/1060745.1060770

De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2005. Model checking discounted temporal properties. Theoretical Computer Science. 345(1), 139–170.
LibreCat: https://research-explorer.ista.ac.at/record/4625
DOI: 10.1016/j.tcs.2005.07.033

De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
LibreCat: https://research-explorer.ista.ac.at/record/4624
DOI: 10.1007/1-4020-3532-2_3

Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2005. Counterfactual quantum computation. QELS: Quantum Electronics and Laser Science, QELS, vol. 1, 365–367.
LibreCat: https://research-explorer.ista.ac.at/record/575
DOI:  10.1109/QELS.2005.1548783

de Bono M, Villu Maricq A. 2005. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 28, 451–501.
LibreCat: https://research-explorer.ista.ac.at/record/6153
DOI: 10.1146/annurev.neuro.27.070203.144259
PMID: 16022603

Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. 2005. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 15(10), 905–917.
LibreCat: https://research-explorer.ista.ac.at/record/6154
DOI: 10.1016/j.cub.2005.04.017
PMID: 15916947

Vogels TP, Abbott LF. 2005. Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. 25(46), 10786–10795.
LibreCat: https://research-explorer.ista.ac.at/record/8028
DOI: 10.1523/jneurosci.3508-05.2005
PMID: 16291952

Vogels TP, Rajan K, Abbott LF. 2005. Neural network dynamics. Annual Review of Neuroscience. 28(1), 357–376.
LibreCat: https://research-explorer.ista.ac.at/record/8029
DOI: 10.1146/annurev.neuro.28.061604.135637
PMID: 16022600

Tran RK, Henikoff JG, Zilberman D, Ditt RF, Jacobsen SE, Henikoff S. 2005. DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes. Current Biology. 15(2), 154–159.
LibreCat: https://research-explorer.ista.ac.at/record/9491
DOI: 10.1016/j.cub.2005.01.008
PMID: 15668172 

Tran RK, Zilberman D, de Bustos C, Ditt RF, Henikoff JG, Lindroth AM, Delrow J, Boyle T, Kwong S, Bryson TD, Jacobsen SE, Henikoff S. 2005. Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. 6(11), .
LibreCat: https://research-explorer.ista.ac.at/record/9514
DOI: 10.1186/gb-2005-6-11-r90
PMID: 16277745

Yampolsky L, Kondrashov F, Kondrashov A. 2005. Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. 14(21), 3191–3201.
LibreCat: https://research-explorer.ista.ac.at/record/843
DOI: 10.1093/hmg/ddi350

Schanda P, Kupde , Brutscher B. 2005. SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds. Journal of Biomolecular NMR. 33(4), 199–211.
LibreCat: https://research-explorer.ista.ac.at/record/8491
DOI: 10.1007/s10858-005-4425-x

Schanda P, Brutscher B. 2005. Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds. Journal of the American Chemical Society. 127(22), 8014–8015.
LibreCat: https://research-explorer.ista.ac.at/record/8492
DOI: 10.1021/ja051306e

Bourgain J, Kaloshin V. 2005. On diffusion in high-dimensional Hamiltonian systems. Journal of Functional Analysis. 229(1), 1–61.
LibreCat: https://research-explorer.ista.ac.at/record/8516
DOI: 10.1016/j.jfa.2004.09.006

Kondrashov F. 2005. The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution. Biofizika. 50(3), 389–395.
LibreCat: https://research-explorer.ista.ac.at/record/877
PMID: 15977826

Kondrashov F. 2005. In search of the limits of evolution. Nature Genetics. 37(1), 9–10.
LibreCat: https://research-explorer.ista.ac.at/record/878
DOI: 10.1038/ng0105-9

Kondrashov F. 2005. Prediction of pathogenic mutations in mitochondrially encoded human tRNAs. Human Molecular Genetics. 14(16), 2415–2419.
LibreCat: https://research-explorer.ista.ac.at/record/882
DOI: 10.1093/hmg/ddi243

Kondrashov F. 2005. The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus. Biofizika. 50(3), 396–403.
LibreCat: https://research-explorer.ista.ac.at/record/880
PMID: 15977827

Jordan I, Kondrashov F, Adzhube0 I, Wolf Y, Koonin E, Kondrashov A, Sunyaev S. 2005. A universal trend of amino acid gain and loss in protein evolution. Nature. 433(7026), 633–638.
LibreCat: https://research-explorer.ista.ac.at/record/893
DOI: 10.1038/nature03306

Zilberman D, Henikoff S. 2005. Epigenetic inheritance in Arabidopsis: Selective silence. Current Opinion in Genetics and Development. 15(5), 557–562.
LibreCat: https://research-explorer.ista.ac.at/record/9529
DOI: 10.1016/j.gde.2005.07.002
PMID: 16085410

Smoukov SK, Bishop KJM, Klajn R, Campbell CJ, Grzybowski BA. 2005. Cutting into solids with micropatterned gels. Advanced Materials. 17(11), 1361–1365.
LibreCat: https://research-explorer.ista.ac.at/record/13431
DOI: 10.1002/adma.200402086
PMID: 34412440

Witt D, Klajn R, Barski P, Grzybowski B. 2005. Applications, properties and synthesis of w-functionalized n-alkanethiols and disulfides - the building blocks of self-assembled monolayers. Current Organic Chemistry. 8(18), 1763–1797.
LibreCat: https://research-explorer.ista.ac.at/record/13433
DOI: 10.2174/1385272043369421

Campbell CJ, Klajn R, Fialkowski M, Grzybowski BA. 2005. One-step multilevel microfabrication by reactiondiffusion. Langmuir. 21(1), 418–423.
LibreCat: https://research-explorer.ista.ac.at/record/13432
DOI: 10.1021/la0487747
PMID: 15620333